2111 search results - page 227 / 423 » How to Program Pervasive Systems |
111
Voted
SIGMOD
2002
ACM
16 years 3 months ago
2002
ACM
After a system crash, databases recover to the last committed transaction, but applications usually either crash or cannot continue. The Phoenix purpose is to enable application s...
116
Voted
SCAM
2002
IEEE
15 years 8 months ago
2002
IEEE
Tools that analyze and enhance large-scale software systems using symbolic reasoning are computationally expensive, and yet processors are cheap. We believe that enabling tools wi...
149
Voted
ITC
1996
IEEE
15 years 7 months ago
1996
IEEE
Abstract. In complex systems, embedded processors may be used to run software routines for test pattern generation and response evaluation. For system components which are not comp...
155
click to vote
CC
1994
Springer
15 years 7 months ago
1994
Springer
This paper concerns the solution of demand versions of interprocedural analysis problems. In a demand version of a program-analysis problem, some piece of summary information (e.g...
148
Voted
FMOODS
2007
15 years 5 months ago
2007
The success of distributed event-based infrastructures such as SIENA and Elvin is partially due to their ease of use. Even novice users of these infrastructures not versed in distr...