785 search results - page 81 / 157 » First-class Synchronous Operations |
SPIN
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. We present a new decision procedure for detecting property violations in pushdown models for concurrent programs that use lock-based synchronization, where each thread’...
PRDC
2007
IEEE
15 years 4 months ago
2007
IEEE
This paper assesses message missing failures in a FlexRay-based network. The assessment is based on about 35680 bit-flip fault injections inside different parts of the FlexRay com...
ICRA
2006
IEEE
15 years 4 months ago
2006
IEEE
— As we progress towards a world where robots play an integral role in society, a critical problem that remains to be solved is the Pickup Team Challenge; that is, dynamically fo...
HICSS
2005
IEEE
15 years 3 months ago
2005
IEEE
— This paper considers a formal object-oriented model for distributed computing. Object orientation appears as a leading framework for concurrent and distributed systems. However...
CSCWD
2005
Springer
15 years 3 months ago
2005
Springer
Exchange of procedural CAD models between heterogeneous CAD systems is still a challenging issue in CAD area. Previously we proposed an approach for effectively constructing synch...