10159 search results - page 1918 / 2032 » System Design Validation Using Formal Models |
93
Voted
IMC
2003
ACM
15 years 7 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...
128
click to vote
GECCO
2009
Springer
15 years 6 months 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...
102
Voted
IPPS
1998
IEEE
15 years 6 months 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...
128
Voted
ASPLOS
2008
ACM
15 years 4 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...
123
Voted
GEOINFO
2004
15 years 3 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...