6274 search results - page 462 / 1255 » Proofs, Programs, Processes |
172
click to vote
CSB
2003
IEEE
16 years 5 days ago
2003
IEEE
Genomes to Life (GTL), the U.S. Department of Energy Office of Science’s systems biology program, focuses on environmental microbiology. Over the next 10 to 20 years, GTL’s ke...
181
Voted
ICVS
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. At the first ICVS, we presented SA-C (“sassy”), a singleassignment variant of the C programming language designed to exploit both coarse-grain and fine-grain parallel...
203
Voted
HICSS
2000
IEEE
15 years 11 months ago
2000
IEEE
Distributed multithreaded software systems are becoming more and more important in modern networked environment. For these systems, concurrency control and thread synchronization ...
152
click to vote
IRREGULAR
1997
Springer
15 years 11 months ago
1997
Springer
ing with shared data abstractions Simon Dobson1 and Don Goodeve2 1 Well-Founded Systems Unit, CLRC Rutherford Appleton Laboratory, UK 2 School of Computer Studies, University of Le...
170
Voted
ATAL
2006
Springer
15 years 10 months ago
2006
Springer
Developing scalable algorithms for solving partially observable Markov decision processes (POMDPs) is an important challenge. One promising approach is based on representing POMDP...