71 search results - page 7 / 15 » Parameterized Memory Models and Concurrent Separation Logic |
DCOSS
2006
Springer
13 years 11 months ago
2006
Springer
Abstract. Resource constrained systems often are programmed using an eventbased model. Many applications do not lend themselves well to an event-based approach, but preemptive mult...
IPPS
2000
IEEE
13 years 12 months ago
2000
IEEE
We propose a high-level language based on rst order logic for expressing synchronization in concurrent object-oriented programs. The language allows the programmer to declaratively...
MTDT
2003
IEEE
14 years 26 days ago
2003
IEEE
ct Defect-based testing for digital logic concentrates primarily on methods of test application, including for example at-speed structural tests and IDDQ testing. In contrast, defe...
ICLP
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. Region-based memory management is a form of compiletime memory management, well-known from the functional programming world. This paper describes a static region analysis...
NGC
1998
Springer
13 years 7 months ago
1998
Springer
Much progress has been made in distributed computing in the areas of distribution structure, open computing, fault tolerance, and security. Yet, writing distributed applications r...