3387 search results - page 561 / 678 » Model-Checking for Real-Time Systems |
160
click to vote
VISUALIZATION
2005
IEEE
16 years 10 days ago
2005
IEEE
A new close range virtual reality system is introduced that allows intuitive and immersive user interaction with computer generated objects. A projector with a special spherical l...
214
click to vote
CL
2008
Springer
15 years 6 months ago
2008
Springer
Currently available application frameworks that target the automatic design of real-time embedded software are poor in integrating functional and non-functional requirements for m...
221
click to vote
SDM
2012
SIAM
13 years 9 months ago
2012
SIAM
A Cyber-Physical System (CPS) integrates physical (i.e., sensor) devices with cyber (i.e., informational) components to form a situation-aware system that responds intelligently t...
228
click to vote
GLVLSI
2007
IEEE
16 years 1 months ago
2007
IEEE
Multi-Processor System-On-Chip (MPSoC) can provide the performance levels required by high-end embedded applications. However, they do so at the price of an increasing power densi...
192
click to vote
RTCSA
2006
IEEE
16 years 23 days ago
2006
IEEE
To support high-performance and low-power for multimedia applications and for hand-held devices, embedded VLIW DSP processors are of research focus. With the tight resource constr...