7961 search results - page 572 / 1593 » Input-Output Model Programs |
204
click to vote
HIPC
2004
Springer
16 years 21 days ago
2004
Springer
Abstract. Lock-free shared data structures in the setting of distributed computing have received a fair amount of attention. Major motivations of lock-free data structures include ...
234
click to vote
KI
2004
Springer
16 years 20 days ago
2004
Springer
Abstract. DTGolog was proposed by Boutilier et al. as an integration of decision-theoretic (DT) planning and the programming language Golog. Advantages include the ability to handl...
209
click to vote
OOPSLA
2004
Springer
16 years 20 days ago
2004
Springer
This paper presents the design of G, a new language specifically created for generic programming. We review and identify important language features of C++ and Haskell in light o...
193
click to vote
TLDI
2003
ACM
16 years 17 days ago
2003
ACM
We develop a logic for reasoning about adjacency and separation of memory blocks, as well as aliasing of pointers. We provide a memory model for our logic and present a sound set ...
236
click to vote
BIRTHDAY
2003
Springer
16 years 16 days ago
2003
Springer
Combinatorial optimization problems naturally arise in many application areas, including logistics, manufacturing, supplychain management, and resource allocation. They often give...