4350 search results - page 316 / 870 » Case studies for contract-based systems |
157
click to vote
ICCAD
2003
IEEE
16 years 3 months ago
2003
IEEE
Dynamic voltage scaling (DVS) is arguably the most effective energy reduction technique. The multiple-voltage DVS systems, which can operate only at pre-determined discrete voltag...
163
click to vote
JAR
2008
15 years 6 months ago
2008
Hybrid systems are models for complex physical systems and are defined as dynamical systems with interacting discrete transitions and continuous evolutions along differential equat...
170
click to vote
CODES
2006
IEEE
16 years 23 days ago
2006
IEEE
This paper presents a methodology to combine Transaction Level Modeling and System/Network co-simulation for the design of networked embedded systems. As a result, a new design di...
149
click to vote
WSC
1997
15 years 8 months ago
1997
Automotive manufacturing is a complex task involving several steps of machining and assembly. Typically, larger components of an automobile such as the body, engine etc. are assem...
163
click to vote
ICAC
2007
IEEE
16 years 1 months ago
2007
IEEE
— Reactive systems are those that maintain an ongoing interaction with their environment at a speed dictated by the latter. Examples of such systems include web servers, network ...