1492 search results - page 172 / 299 » Concurrent programming in VISO |
CGO
2009
IEEE
15 years 7 months ago
2009
IEEE
—Fast track is a software speculation system that enables unsafe optimization of sequential code. It speculatively runs optimized code to improve performance and then checks the ...
77
Voted
ESOP
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. Multithreaded programs are prone to errors caused by unintended interference between concurrent threads. This paper focuses on verifying that deterministically-parallel c...
109
click to vote
RTAS
2009
IEEE
15 years 7 months ago
2009
IEEE
—We define a family of execution policies for a programming model called PTIDES (Programming Temporally Integrated Distributed Embedded Systems). A PTIDES application (factory a...
89
Voted
COORDINATION
2007
Springer
15 years 6 months ago
2007
Springer
Our aim is to define the kernel of a simple and uniform programming model—the reactor model—suitable for building and evolving internet-scale programs. A reactor consists of t...
97
Voted
ICLP
1999
Springer
15 years 4 months ago
1999
Springer
A central service of a constraint programming system is search. In almost all constraint programming systems search is based on trailing, which is well understood and known to be ...