7099 search results - page 366 / 1420 » Context for models of concurrency |
208
Voted
HICSS
2003
IEEE
16 years 26 days ago
2003
IEEE
The paper reports on an analysis technology based on the tracing approach to test trustworthy requirements of a distributed system. The system under test is instrumented such that...
164
click to vote
ICSE
1995
IEEE-ACM
15 years 11 months ago
1995
IEEE-ACM
The ViewPoints framework for distributed and concurrent software engineering provides an alternative approach to traditional centralised software development environments. We inve...
196
click to vote
ANSS
1991
IEEE
15 years 11 months ago
1991
IEEE
This paper first summerizes and then presents a formal proof to a new conservative deadlock-free algorithm, YADDES [l], for asynchronous discrete event simulation. The proof not o...
318
click to vote
POPL
2009
ACM
16 years 8 months ago
2009
ACM
Deadlock in multithreaded programs is an increasingly important problem as ubiquitous multicore architectures force parallelization upon an ever wider range of software. This pape...
210
click to vote
EMSOFT
2009
Springer
16 years 2 months ago
2009
Springer
Concurrent programming languages are growing in importance with the advent of multi-core systems. However, concurrent programs suffer from problems, such as data races and deadloc...