7988 search results - page 1454 / 1598 » A Useful Undecidable Theory |
139
Voted
CF
2005
ACM
15 years 5 months ago
2005
ACM
Result checking is the theory and practice of proving that the result of an execution of a program on an input is correct. Result checking has most often been envisioned in the fr...
121
Voted
COMPGEOM
2005
ACM
15 years 5 months ago
2005
ACM
We develop a cache-oblivious data structure for storing a set S of N axis-aligned rectangles in the plane, such that all rectangles in S intersecting a query rectangle or point ca...
155
Voted
IPSN
2010
Springer
15 years 5 months ago
2010
Springer
The IEEE 802.15.4 standard for wireless sensor networks can support energy efficient, reliable, and timely packet transmission by tuning the medium access control parameters macMi...
117
Voted
CSCW
2008
ACM
15 years 5 months ago
2008
ACM
In any collaborative system, there are both symmetries and asymmetries present in the design of the technology and in the ways that technology is appropriated. Yet media space res...
130
Voted
EMSOFT
2008
Springer
15 years 5 months ago
2008
Springer
We investigate the problem of specification based testing with dense sets of inputs and outputs, in particular with imprecision as they might occur due to errors in measurements, ...