213 search results - page 20 / 43 » Analyzing Requirements for a Large Scale System for Cancer R... |
PASTE
1998
ACM
14 years 3 days ago
1998
ACM
FLAVERS, a tool for verifying properties of concurrent systems, uses composite data flow analysis to incrementally improve the precision of the results of its verifications. Altho...
BRAIN
2009
Springer
14 years 3 months ago
2009
Springer
The essence of computer applications is to store things in the real world into computer systems in the form of data, i.e., it is a process of producing data. Some data are the reco...
GLOBECOM
2006
IEEE
14 years 2 months ago
2006
IEEE
This paper presents results from the first double-directional measurements of the Multiple-Input Multiple-Output (MIMO) peer-to-peer radio channel in the 300 MHz frequency range....
BMCBI
2006
13 years 8 months ago
2006
Background: The biological information in genomic expression data can be understood, and computationally extracted, in the context of systems of interacting molecules. The automat...
EUROPAR
2007
Springer
14 years 2 months ago
2007
Springer
The continuous increase of computational power has made viable the implementation of more and more sophisticated virtualization techniques. The use of virtualization in cluster env...