1264 search results - page 57 / 253 » Designing Safe, Reliable Systems using Scade |
124
click to vote
ICRA
2008
IEEE
15 years 10 months ago
2008
IEEE
— Facing new tasks, the conventional rigid design of robotic joints has come to its limits. Operating in unknown environments current robots are prone to failure when hitting unf...
128
click to vote
IUI
2005
ACM
15 years 10 months ago
2005
ACM
A task-oriented space can benefit from an augmented reality interface that layers the existing tools and surfaces with useful information to make cooking more easy, safe and effic...
117
click to vote
SIGOPSE
1996
ACM
15 years 8 months ago
1996
ACM
We introduce server operating systems, which are sets of abstractions and runtime support for specialized, highperformance server applications. We have designed and are implementi...
115
click to vote
IEEEPACT
2008
IEEE
15 years 10 months ago
2008
IEEE
In a hardware transactional memory system with lazy versioning and lazy conflict detection, the process of transaction commit can emerge as a bottleneck. This is especially true ...
145
click to vote
AGP
1994
IEEE
15 years 8 months ago
1994
IEEE
This paper considers compositions of conditional term rewriting systems as a basis for a modular approach to the design and analysis of equational logic programs. In this context,...