562 search results - page 76 / 113 » Concurrent Turing Machines |
176
click to vote
ASPLOS
2009
ACM
16 years 15 days ago
2009
ACM
Multicore hardware is making concurrent programs pervasive. Unfortunately, concurrent programs are prone to bugs. Among different types of concurrency bugs, atomicity violation bu...
NIME
2004
Springer
15 years 5 months ago
2004
Springer
On-the-fly programming is a style of programming in which the programmer/performer/composer augments and modifies the program while it is running, without stopping or restarting, ...
124
click to vote
APSEC
2001
IEEE
15 years 3 months ago
2001
IEEE
Word processing software, email, and spreadsheet have revolutionized office activities. There are many other office tasks that are amenable to automation, such as: scheduling a vi...
102
click to vote
CACM
2010
14 years 12 months ago
2010
Exploiting the multiprocessors that have recently become ubiquitous requires high-performance and reliable concurrent systems code, for concurrent data structures, operating syste...
108
click to vote
SP
2009
IEEE
15 years 6 months ago
2009
IEEE
We present a logic for reasoning about properties of secure systems. The logic is built around a concurrent programming language with constructs for modeling machines with shared ...