9067 search results - page 1579 / 1814 » Adaptive Model Checking |
219
Voted
COMPGEOM
2003
ACM
16 years 9 days ago
2003
ACM
Given a scene consisting of objects, ray shooting queries answer with the first object encountered by a given ray, and are used in ray tracing and radiosity for rendering photo-r...
234
Voted
WWW
2003
ACM
16 years 8 days ago
2003
ACM
In the past few years we have seen a huge industrial investment on the development of content delivery networks (CDNs) which provide a large number of caches and storage devices a...
219
Voted
FSR
2003
Springer
16 years 7 days ago
2003
Springer
We develop a network of distributed mobile sensor systems as a solution to the emergency response problem. The mobile sensors are inside a building and they form a connected ad-ho...
204
Voted
CCGRID
2002
IEEE
16 years 6 hour ago
2002
IEEE
Despite the large research efforts in the SW–DSM community, this technology has not yet been adapted widely for significant codes beyond benchmark suites. One of the reasons co...
220
Voted
IPPS
1998
IEEE
15 years 11 months ago
1998
IEEE
Abstract. Several computing environments including wide area networks and nondedicated networks of workstations are characterized by frequent unavailability of the participating ma...