66 search results - page 3 / 14 » Analysis of the IPv4 Address Space Delegation Structure |
CAV
2007
Springer
14 years 4 months ago
2007
Springer
Bounded context switch reachability analysis is a useful and efficient approach for detecting bugs in multithreaded programs. In this paper, we address the application of this app...
BMCBI
2006
13 years 9 months ago
2006
Background: It has become increasingly apparent that a comprehensive database of RNA motifs is essential in order to achieve new goals in genomic and proteomic research. Secondary...
ACMMSP
2005
ACM
14 years 3 months ago
2005
ACM
64-bit address spaces are increasingly important for modern applications, but they come at a price: pointers use twice as much memory, reducing the effective cache capacity and m...
PVLDB
2010
13 years 4 months ago
2010
Skyline queries have gained considerable attention for multicriteria analysis of large-scale datasets. However, the skyline queries are known to return too many results for highdi...
IASTEDSEA
2004
13 years 11 months ago
2004
Java applets run on a Virtual Machine that checks code's integrity and correctness before execution using a module called Bytecode Verifier. Java Card technology allows Java ...