39362 search results - page 350 / 7873 » Global Computing Systems |
131
click to vote
ECRTS
2000
IEEE
15 years 9 months ago
2000
IEEE
We present a tool for the design and validation of embedded real-time applications. The tool integrates two approaches, the use of the synchronous programming language ESTEREL for...
173
click to vote
DDECS
2006
IEEE
15 years 8 months ago
2006
IEEE
Abstract-- Hard real-time systems need methods to determine upper bounds for their execution times, usually called worst-case execution times. Timing anomalies are counterintuitive...
179
click to vote
CC
2011
Springer
14 years 8 months ago
2011
Springer
Abstract. We present a disjoint reachability analysis for Java. Our analysis computes extended points-to graphs annotated with reachability states. Each heap annotated with a set o...
137
click to vote
MSWIM
2006
ACM
15 years 10 months ago
2006
ACM
Recent studies and publications have shown a demand for a secure method to proof someones or somenthings position via a communication channel. In this paper we present a concept a...
111
click to vote
STORAGESS
2006
ACM
15 years 10 months ago
2006
ACM
Distributed computation systems have become an important tool for scientific simulation, and a similarly distributed replica management system may be employed to increase the loc...