7380 search results - page 1233 / 1476 » Engineering Software Intensive Systems |
131
Voted
IUI
2010
ACM
15 years 10 months ago
2010
ACM
A typical knowledge worker is involved in multiple tasks and switches frequently between them every work day. These frequent switches become expensive because each task switch req...
149
Voted
CODES
2007
IEEE
15 years 10 months ago
2007
IEEE
Heterogeneous multiprocessors are emerging as the dominant implementation approach to embedded multiprocessor systems. In addition to having processing elements suited to the targ...
143
Voted
PPDP
2007
Springer
15 years 9 months ago
2007
Springer
The problem of mechanically formalizing and proving metatheoretic properties of programming language calculi, type systems, operational semantics, and related formal systems has r...
146
Voted
WOSP
2010
ACM
15 years 9 months ago
2010
ACM
Virtualization has been shown to be an attractive path to increase overall system resource utilization. The use of live virtual machine (VM) migration has enabled more effective ...
170
Voted
KBSE
2003
IEEE
15 years 9 months ago
2003
IEEE
Physics-based animation programs can often be modeled in terms of hybrid automata. A hybrid automaton includes both discrete and continuous dynamical variables. The discrete varia...