4107 search results - page 331 / 822 » The Generalized Lambda Test |
158
click to vote
LCTRTS
2005
Springer
16 years 8 days ago
2005
Springer
Debugging, testing, and profiling microcontroller programs are notoriously difficult. The lack of supporting software such as an operating system, a narrow interface to the hard...
169
click to vote
LPAR
2005
Springer
16 years 8 days ago
2005
Springer
Integrity checking is an essential means for the preservation of the intended semantics of a deductive database. Incrementality is the only feasible approach to checking and can be...
182
click to vote
ERLANG
2004
ACM
16 years 6 days ago
2004
ACM
This paper presents the System Status suite of applications. These applications are used to provide a simple, uniform, and low developer cost system for exporting and tracking the...
144
click to vote
IMC
2004
ACM
16 years 6 days ago
2004
ACM
Conducting an Internet measurement study in a sound fashion can be much more difficult than it might first appear. We present a number of strategies drawn from experiences for a...
143
click to vote
IMC
2004
ACM
16 years 6 days ago
2004
ACM
We consider the possibility of having a (recursive) name server act as a slave to the root zone, rather than caching information after it is requested. Tests, described here, indi...