1152 search results - page 159 / 231 » Long Term Trends for Embedded System Design |
143
click to vote
SIGSOFT
2009
ACM
16 years 5 months ago
2009
ACM
System specifications have long been expressed through automata-based languages, enabling verification techniques such as model checking. These verification techniques can assess ...
135
click to vote
CHI
2010
ACM
15 years 7 months ago
2010
ACM
We conducted a field-based study at a large teaching hospital to examine doctors' use and documentation of patient care information, with a special focus on a patient's ...
140
click to vote
FDG
2009
ACM
15 years 9 months ago
2009
ACM
Procedural methods have long been used for generation of art assets, but procedural generation of scenarios has lagged behind. In particular, training games for emergency rescue w...
160
Voted
CODES
2009
IEEE
15 years 11 months ago
2009
IEEE
Time redundancy (rollback-recovery) and hardware redundancy are commonly used in real-time systems to achieve fault tolerance. From an energy consumption point of view, time redun...
147
click to vote
ECBS
2006
IEEE
15 years 10 months ago
2006
IEEE
Complex and distributed systems are more and more common. Hardware is going from strength to strength and is embedded in high performance peer-to-peer networks mostly. The task of...