458 search results - page 42 / 92 » Designing and executing protocols using the event calculus |
ICPP
2007
IEEE
14 years 3 months ago
2007
IEEE
Ever-increasing memory footprint of applications and increasing mainstream popularity of shared memory parallel computing motivate us to explore memory compression potential in di...
TGC
2007
Springer
14 years 3 months ago
2007
Springer
Distributed applications can be structured using sessions that specify flows of messages between roles. We design a small specific language to declare sessions. We then build a c...
CODES
1998
IEEE
14 years 1 months ago
1998
IEEE
Timing analysis for checking satisfaction of constraints is a crucial problem in real-time system design. In some current approaches, the delay of software modules is precalculate...
DSRT
2008
IEEE
14 years 3 months ago
2008
IEEE
The DEVS formalism has been adopted and developed independently by many research teams, which led to various DEVS implementation versions. Consequently, different DEVS implementat...
FASE
2007
Springer
14 years 25 days ago
2007
Springer
Abstract. We study resource management in distributed systems. Incorrect handling of resources may lead to deadlocks, missed deadlines, priority inversions, and other forms of inco...