8636 search results - page 1588 / 1728 » How Developers Copy |
125
click to vote
MOBIHOC
2003
ACM
16 years 2 months ago
2003
ACM
The development of lightweight sensing and communication protocols is a key requirement for designing resource constrained sensor networks. This paper introduces a set of efficien...
128
click to vote
PLDI
2010
ACM
16 years 17 days ago
2010
ACM
Dependent types provide a strong foundation for specifying and verifying rich properties of programs through type-checking. The earliest implementations combined dependency, which...
145
click to vote
WISE
2009
Springer
16 years 10 days ago
2009
Springer
ct One significant effort towards combining the virtues of Web search, viz. being accessible to untrained users and able to cope with vastly heterogeneous data, with those of dat...
145
click to vote
EUROSYS
2010
ACM
16 years 8 days ago
2010
ACM
Debugging real systems is hard, requires deep knowledge of the code, and is time-consuming. Bug reports rarely provide sufficient information, thus forcing developers to turn int...
EUROSYS
2006
ACM
16 years 8 days ago
2006
ACM
Bugs in kernel-level device drivers cause 85% of the system crashes in the Windows XP operating system [44]. One of the sources of these errors is the complexity of the Windows dr...