2302 search results - page 366 / 461 » The Evolution of Concurrent Programs |
129
Voted
DFT
2006
IEEE
15 years 8 months ago
2006
IEEE
Control flow checking (CFC) is a well known concurrent checking technique for ensuring that a program’s instruction execution sequence follows permissible paths. Almost all CFC...
119
click to vote
ISPASS
2006
IEEE
15 years 8 months ago
2006
IEEE
Fast, accurate, and effective performance analysis is essential for the design of modern processor architectures and improving application performance. Recent trends toward highly...
155
click to vote
LICS
2006
IEEE
15 years 8 months ago
2006
IEEE
We present an expressiveness study of linearity and persistence of processes. We choose the π-calculus, one of the main representatives of process calculi, as a framework to cond...
151
click to vote
HVC
2005
Springer
15 years 8 months ago
2005
Springer
Concurrent programs are notorious for containing errors that are difficult to reproduce and diagnose. A common kind of concurrency error is deadlock, which occurs when a set of thr...
ICALP
1989
Springer
15 years 6 months ago
1989
Springer
Category theory has been successfully employed to structure the confusing setup of models and equivalences for concurrency: Winskel and Nielsen have related the standard models nc...