5838 search results - page 906 / 1168 » A File System for System Programming in Ubiquitous Computing |
134
click to vote
SIGSOFT
2006
ACM
15 years 10 months ago
2006
ACM
Interpolation based automatic abstraction is a powerful and robust technique for the automated analysis of hardware and software systems. Its use has however been limited to contr...
140
click to vote
IEEEPACT
2005
IEEE
15 years 10 months ago
2005
IEEE
Global address space languages like UPC exhibit high performance and portability on a broad class of shared and distributed memory parallel architectures. The most scalable applic...
152
click to vote
DCOSS
2005
Springer
15 years 10 months ago
2005
Springer
Tracking is one of the major applications of wireless sensor networks. EnviroSuite, as a programming paradigm, provides a comprehensive solution for programming tracking applicatio...
140
click to vote
EUROPAR
2005
Springer
15 years 10 months ago
2005
Springer
Most programs are repetitive, meaning that some parts of a program are executed more than once. As a result, a number of phases can be extracted in which each phase exhibits simila...
129
click to vote
CSCW
2004
ACM
15 years 10 months ago
2004
ACM
Mission critical applications and legacy systems may be difficult to revise and rebuild, and yet it is sometimes desirable to retrofit their user interfaces with new collaborative...