Sciweavers

3307 search results - page 39 / 662
» The meaning of concurrent programs
Sort
View
71
Voted
ICALP
2007
Springer
15 years 6 months ago
Ready Simulation for Concurrency: It's Logical!
Gerald Lüttgen, Walter Vogler
62
Voted
ICLP
2005
Springer
15 years 6 months ago
Concurrent Methodologies for Global Optimization
Luca Bortolussi
137
Voted
LMO
2000
15 years 2 months 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
15 years 6 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