Paul Le Guernic – författare
Visar alla böcker från författaren Paul Le Guernic. Handla med fri frakt och snabb leverans.
3 produkter
Formal Methods and Models for System Design
A System Level Perspective
Av Rajesh Gupta, Paul Le Guernic m. fl.
Inbunden, 2004
1748 kr
Lägg i varukorg
The gap between the size of microelectronic design/validation task and our ability to design these in a reasonable time is steadly increasing. We need tools and techniques to bridge this gap. Formal models and methods hold this promise by their focus on scalability, efficiency and design …
Formal Methods and Models for System Design
A System Level Perspective
Av Rajesh Gupta, Paul Le Guernic m. fl.
2004
2431 kr
Lägg i varukorg
The gap between the size of microelectronic design/validation task and our ability to design these in a reasonable time is steadly increasing. We need tools and techniques to bridge this gap. Formal models and methods hold this promise by their focus on scalability, efficiency and design …
Formal Methods and Models for System Design
A System Level Perspective
Av Rajesh Gupta, Paul Le Guernic m. fl.
Häftad, 2011
1748 kr
Lägg i varukorg
Perhaps nothing characterizes the inherent heterogeneity in embedded sys tems than the ability to choose between hardware and software implementations of a given system function. Indeed, most embedded systems at their core repre sent a careful division and design of hardware and software parts of …
