3639 search results - page 534 / 728 » Experiments on IPv6 Testing |
ECOOP
2008
Springer
14 years 12 days ago
2008
Springer
Abstract. Lightweight bytecode verification uses stack maps to annotate Java bytecode programs with type information in order to reduce the verification to type checking. This pape...
EMSOFT
2008
Springer
14 years 12 days ago
2008
Springer
Runtime property checking (as implemented in tools like Purify or Valgrind) checks whether a program execution satisfies a property. Active property checking extends runtime check...
ESEM
2008
ACM
14 years 12 days ago
2008
ACM
Software review is a necessity activity to build high reliability software in software development. In this paper, we experimentally analyze the difference in performance between ...
INFOSCALE
2007
ACM
14 years 5 days ago
2007
ACM
—Due to the proliferation of WiFi access points, indoor localization methods based on WiFi signal strengths are becoming more and more attractive because they don’t require add...
FPL
2008
Springer
14 years 5 days ago
2008
Springer
An example of an FPGA based application for a high-energy physics experiment is presented which features all facets of modern FPGA design. The special requirements here are high b...