13489 search results - page 2429 / 2698 » Self-migration of operating systems |
169
click to vote
POPL
2010
ACM
16 years 4 months ago
2010
ACM
We address the verification problem of finite-state concurrent programs running under weak memory models. These models capture the reordering of program (read and write) operation...
184
click to vote
POPL
2010
ACM
16 years 4 months ago
2010
ACM
This paper describes a novel technique for the synthesis of imperative programs. Automated program synthesis has the potential to make programming and the design of systems easier...
182
click to vote
PPOPP
2010
ACM
16 years 3 months ago
2010
ACM
To achieve high-performance on multicore systems, sharedmemory parallel languages must efficiently implement atomic operations. The commonly used and studied paradigms for atomici...
200
click to vote
ESOP
2010
Springer
16 years 1 months ago
2010
Springer
Stream processing applications such as algorithmic trading, MPEG processing, and web content analysis are ubiquitous and essential to business and entertainment. Language designers...
168
click to vote
ACSAC
2009
IEEE
16 years 1 months ago
2009
IEEE
For many years, online criminals have been able to conduct their illicit activities by masquerading behind disreputable Internet Service Providers (ISPs). For example, organizatio...