6014 search results - page 1148 / 1203 » Structural Testing with Use Cases |
177
click to vote
ESOP
2009
Springer
16 years 1 months ago
2009
Springer
Just as some functions have uniform behavior over distinct types, other functions have uniform behavior over distinct arities. These variable-arity functions are widely used in scr...
199
click to vote
TPHOL
2009
IEEE
16 years 1 months ago
2009
IEEE
In this paper a general framework for separation logic inside the HOL theorem prover is presented. This framework is based on Abeparation Logic. It contains a model of an abstract,...
169
click to vote
CIKM
2007
Springer
16 years 24 days ago
2007
Springer
Visualizing network data, from tree structures to arbitrarily connected graphs, is a difficult problem in information visualization. A large part of the problem is that in network...
202
click to vote
ICTAI
2006
IEEE
16 years 19 days ago
2006
IEEE
The goal of spatial co-location pattern mining is to find subsets of spatial features frequently located together in spatial proximity. Example co-location patterns include servi...
177
click to vote
ISLPED
2004
ACM
16 years 1 days ago
2004
ACM
While set-associative caches incur fewer misses than directmapped caches, they typically have slower hit times and higher power consumption, when multiple tag and data banks are p...