5409 search results - page 1016 / 1082 » Basic Observables for Processes |
126
click to vote
HPCA
2003
IEEE
16 years 2 months ago
2003
IEEE
Java-based middleware, and application servers in particular, are rapidly gaining importance as a new class of workload for commercial multiprocessor servers. SPEC has recognized ...
142
click to vote
CHI
2001
ACM
16 years 2 months ago
2001
ACM
While predictions abound that electronic books will supplant traditional paper-based books, many people bemoan the coming loss of the book as cultural artifact. In this project we...
215
Voted
POPL
2002
ACM
16 years 2 months ago
2002
ACM
Program verification is a promising approach to improving program quality, because it can search all possible program executions for specific errors. However, the need to formally...
132
Voted
RECOMB
2008
Springer
16 years 2 months ago
2008
Springer
Since the discovery of the "Philadelphia chromosome" in chronic myelogenous leukemia in 1960, there is an ongoing intensive research of chromosomal aberrations in cancer....
130
Voted
RECOMB
2003
Springer
16 years 2 months ago
2003
Springer
We develop a new framework for inferring models of transcriptional regulation. The models in this approach, which we call physical models, are constructed on the basis of verifiab...