345 search results - page 32 / 69 » Modular and Incremental Analysis of Concurrent Software Syst... |
117
click to vote
HASE
1997
IEEE
15 years 4 months ago
1997
IEEE
: The most important aspect of concurrent and distributed computation is the interaction between system components. Integration of components into a system requires some synchroniz...
AROBOTS
2008
14 years 12 months ago
2008
Object grasping is a typical human ability which is widely studied from both a biological and an engineering point of view. This paper presents an approach to grasp synthesis inspi...
DSN
2002
IEEE
15 years 4 months ago
2002
IEEE
An important aspect in the development of dependable software is to decide where to locate mechanisms for efficient error detection and recovery. We present a comparison between ...
RE
2007
Springer
14 years 11 months ago
2007
Springer
This paper describes the use of Obstacle Analysis to identify anomaly handling requirements for a safety-critical, autonomous system. The software requirements for the system evolv...
114
click to vote
SPAA
2010
ACM
15 years 4 months ago
2010
ACM
Transactional Memory (TM) is a promising technique that simplifies parallel programming for shared-memory applications. To date, most TM systems have been designed to efficientl...