208 search results - page 7 / 42 » Performance evaluation and model checking join forces |
GEOINFORMATICA
1998
14 years 9 months ago
1998
Due to the increasing popularity of spatial databases, researchers have focused their efforts on improving the query processing performance of the most expensive spatial database ...
171
click to vote
GIS
2004
ACM
15 years 10 months ago
2004
ACM
Spatial co-location patterns represent the subsets of events whose instances are frequently located together in geographic space. We identified the computational bottleneck in the...
91
Voted
POPL
2010
ACM
15 years 7 months ago
2010
ACM
Concurrent programming errors arise when threads share data incorrectly. Programmers often avoid these errors by using synchronization to enforce a simple ownership policy: data i...
414
click to vote
Lecture Notes
I have been designing and building applications, including the databases used by those applications, for several decades now. I have seen similar problems approached by different d...
FASE
2010
Springer
15 years 2 months ago
2010
Springer
Software design models are routinely adapted to domains, companies, and applications. This requires customizable consistency checkers that allow engineers to dynamically adapt mode...