374 search results - page 65 / 75 » RACCOON: A Peer-Based System for Data Integration and Sharin... |
119
click to vote
POPL
1997
ACM
15 years 3 months ago
1997
ACM
Type systems currently available for imperative languages are too weak to detect a significant class of programming errors. For example, they cannot express the property that a l...
95
Voted
ASPLOS
2008
ACM
15 years 1 months ago
2008
ACM
Integrating more processor cores on-die has become the unanimous trend in the microprocessor industry. Most of the current research thrusts using chip multiprocessors (CMPs) as th...
DSVIS
2005
Springer
15 years 5 months ago
2005
Springer
Abstract. Stochastic model checking is a recent extension of traditional modelchecking techniques for the integrated analysis of both qualitative and quantitative system properties...
IUI
2006
ACM
15 years 5 months ago
2006
ACM
1 Information seeking is an important but often difficult task especially when involving large and complex data sets. We hypothesize that a context-sensitive interaction paradigm c...
106
click to vote
BMCBI
2004
14 years 11 months ago
2004
Background: Several in silico methods exist that were developed to predict protein interactions from the copious amount of genomic and proteomic data. One of these methods is Doma...