2111 search results - page 169 / 423 » How to Program Pervasive Systems |
104
Voted
FASE
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. Blast is an automatic verification tool for checking temporal safety properties of C programs. Given a C program and a temporal safety property, Blast statically proves ...
106
Voted
COMPLEXITY
2007
15 years 25 days ago
2007
Distributed computing systems are becoming bigger and more complex. While the complexity of large-scale distributed systems has been acknowledged to be an important challenge, the...
IISWC
2009
IEEE
15 years 7 months ago
2009
IEEE
Abstract—Dynamic runtimes can simplify parallel programming by automatically managing concurrency and locality without further burdening the programmer. Nevertheless, implementin...
91
Voted
CLUSTER
2004
IEEE
15 years 4 months ago
2004
IEEE
We describe the use of component architecture in an area to which this approach has not been classically applied, the area of cluster system software. By "cluster system soft...
102
Voted
HYBRID
2000
Springer
15 years 4 months ago
2000
Springer
Abstract. An algorithm for computing the maximal controlled invariant set and the least restrictive controller for discrete time systems is proposed. We show how the algorithm can ...