3256 search results - page 421 / 652 » Integrated Environment for Embedded Control Systems Design |
142
Voted
TACAS
2000
Springer
15 years 8 months ago
2000
Springer
Abstract. The Prosper (Proof and Specification Assisted Design Environments) project advocates the use of toolkits which allow existing verification tools to be adapted to a more f...
151
click to vote
IEEECIT
2005
IEEE
15 years 10 months ago
2005
IEEE
In embedded systems, performance and power are important inter-related issues that cannot be decoupled. Expensive and extensive simulations in a processor design space are usually...
146
click to vote
GRID
2008
Springer
15 years 4 months ago
2008
Springer
Grids are facing the challenge of seamless integration of the grid power into everyday use. One critical component for this integration is responsiveness, the capacity to support o...
124
click to vote
SMC
2007
IEEE
15 years 10 months ago
2007
IEEE
—Most virtual reality simulators are designed for complex medical procedures, such as laparoscopic surgery. While important, these simulators are of use for only a subset of spec...
139
click to vote
TNN
2008
15 years 4 months ago
2008
Aging effects, environmental changes, thermal drifts, and soft and hard faults affect physical systems by changing their nature and behavior over time. To cope with a process evolu...