3335 search results - page 454 / 667 » Grid result checking |
170
click to vote
IPSN
2007
Springer
16 years 4 days ago
2007
Springer
Many sensor nodes contain resource constrained microcontrollers where user level applications, operating system components, and device drivers share a single address space with no...
169
click to vote
PPDP
2007
Springer
16 years 3 days ago
2007
Springer
The problem of mechanically formalizing and proving metatheoretic properties of programming language calculi, type systems, operational semantics, and related formal systems has r...
215
click to vote
SUTC
2006
IEEE
16 years 2 hour ago
2006
IEEE
Abstract— Sensor networks are being increasingly deployed for collecting critical data in various applications. Once deployed, a sensor network may experience faults at the indiv...
200
click to vote
SIGSOFT
2006
ACM
15 years 12 months ago
2006
ACM
Bitwise operations are commonly used in low-level systems code to access multiple data fields that have been packed into a single word. Program analysis tools that reason about s...
177
click to vote
ECOOP
2005
Springer
15 years 11 months ago
2005
Springer
The three problems of the title — the first two widely discussed in the literature, the third less well known but just as important for further development of object technology ...