Sciweavers

541 search results - page 85 / 109
» Towards COTS distributed simulation using GRIDS
Sort
View
SIGSOFT
2007
ACM
16 years 4 months ago
State space exploration using feedback constraint generation and Monte-Carlo sampling
The systematic exploration of the space of all the behaviours of a software system forms the basis of numerous approaches to verification. However, existing approaches face many c...
Sriram Sankaranarayanan, Richard M. Chang, Guofei ...
108
Voted
SCANGIS
2003
15 years 4 months ago
On the Adequacy of GIS-Generated Weed Maps for Precision Farming
Discrete sampling data is used in several environmental studies to create maps in order to support decision-making processes. The decision maps represent an increasing importance i...
Matthias Backes, Lutz Plümer
130
Voted
CCGRID
2003
IEEE
15 years 8 months ago
Multi-class Applications for Parallel Usage of a Guaranteed Rate and a Scavenger Service
— Grid computing requires network services beyond what is currently provided by the Best-Effort Internet. Among the different approaches towards network Quality of Service, aggre...
Markus Fidler, Volker Sander
148
Voted
SIGMOD
1995
ACM
132views Database» more  SIGMOD 1995»
15 years 7 months ago
Efficient Optimistic Concurrency Control Using Loosely Synchronized Clocks
This paper describes an efficient optimistic concurrency control scheme for use in distributed database systems in which objects are cached and manipulated at client machines whil...
Atul Adya, Robert Gruber, Barbara Liskov, Umesh Ma...
122
Voted
IPPS
2006
IEEE
15 years 9 months ago
A combined genetic-neural algorithm for mobility management
This work presents a new approach to solve the location management problem by using the location areas approach. A combination of a genetic algorithm and the Hopfield neural netwo...
Javid Taheri, Albert Y. Zomaya