3307 search results - page 102 / 662 » The meaning of concurrent programs |
145
Voted
ACSC
2004
IEEE
15 years 4 months ago
2004
IEEE
The Java Programming Language has been praised for its platform independence and portability, but because of its slow execution speed on a software Java Virtual Machine (JVM), som...
121
Voted
RTCSA
2006
IEEE
15 years 6 months ago
2006
IEEE
To build a “correct” implementation from a model of a concurrent real-time system, it is important to understand the relation between the properties of the model and of its co...
124
Voted
ESOP
2007
Springer
15 years 7 months ago
2007
Springer
The goal of our research project is to establish a type-based method for verification of certain critical properties (such as deadlockand race-freedom) of operating system kernels...
99
Voted
SEFM
2005
IEEE
15 years 6 months ago
2005
IEEE
Developing safe multithreaded software systems is difficult due to the potential unwanted interference among concurrent threads. This paper presents a flexible methodology for o...
IFIP
1998
Springer
15 years 5 months ago
1998
Springer
We present a distributed algorithm animation system called Catai (for Concurrent Algorithms and data Types Animation over the Internet). Among the features of this system are a lo...