Sciweavers

3307 search results - page 39 / 662
» The meaning of concurrent programs
Sort
View
ICALP
2007
Springer
14 years 5 months ago
Ready Simulation for Concurrency: It's Logical!
Gerald Lüttgen, Walter Vogler
LMO
2000
14 years 8 days ago
A Metamodel for Concurrent, Object-based Programming
The development of flexible and reusable concurrent object-oriented programming ions has suffered from the inherent problem that reusability and extensibility is limited due to pos...
Jean-Guy Schneider, Markus Lumpe
IPPS
2003
IEEE
14 years 4 months ago
Reasoning about Deadlines in Concurrent Real-Time Programs
We propose a method for the timing analysis of concurrent real-time programs with hard deadlines. We divide the analysis into a machine-independent and a machinedependent task. Th...
Sibylle Peuker, Ian J. Hayes