1624 search results - page 234 / 325 » Integrating Fault-Tolerant Techniques into the Design of Cri... |
CSCW
2004
ACM
15 years 4 months ago
2004
ACM
Mission critical applications and legacy systems may be difficult to revise and rebuild, and yet it is sometimes desirable to retrofit their user interfaces with new collaborative...
90
Voted
VMCAI
2004
Springer
15 years 4 months ago
2004
Springer
Abstract. Java is a very successful programming language which is also becoming widespread in embedded systems, where software correctness is critical. Jlint is a simple but highly...
89
Voted
DSD
2004
IEEE
15 years 2 months ago
2004
IEEE
Validation of programmable architectures, consisting of processor cores, coprocessors, and memory subsystems, is one of the major bottlenecks in current Systemon-Chip design metho...
ICRA
2007
IEEE
15 years 5 months ago
2007
IEEE
— In order to enable robotic surgery without human assistance, a means must be developed to change tools. As part of the larger Trauma Pod Project, we developed the Tool Rack Sub...
106
Voted
CCS
2011
ACM
13 years 11 months ago
2011
ACM
We develop a flexible information-flow type system for a range of encryption primitives, precisely reflecting their diverse functional and security features. Our rules enable e...