10159 search results - page 1918 / 2032 » System Design Validation Using Formal Models |
IMC
2003
ACM
14 years 1 months ago
2003
ACM
In network performance tomography, characteristics of the network interior are inferred by correlating end-to-end measurements. In much previous work, the presence of correlations...
GECCO
2009
Springer
14 years 24 days ago
2009
Springer
Radiologists disagree with each other over the characteristics and features of what constitutes a normal mammogram and the terminology to use in the associated radiology report. R...
IPPS
1998
IEEE
14 years 13 days ago
1998
IEEE
LAPI is a low-level, high-performance communication interface available on the IBM RS/6000 SP system. It provides an activemessage-like interface along with remote memory copy and...
ASPLOS
2008
ACM
13 years 10 months ago
2008
ACM
Multi-core processors, with low communication costs and high availability of execution cores, will increase the use of execution and compilation models that use short threads to e...
GEOINFO
2004
13 years 9 months ago
2004
: As the geographic information system (GIS) community grows, more and more people needs to share geographic information. As modern GIS data is stored in geographic databases their...