1884 search results - page 128 / 377 » Abstraction from Counters: An Application on Real-Time Syste... |
106
click to vote
JSSPP
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. Grids reliability remains an order of magnitude below clusters on production infrastructures. This work is aimsed at improving grid application performances by improving ...
SOFSEM
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. Rewriting is the underlying evaluation mechanism of functional programming languages. Therefore, termination analysis of term rewrite systems (TRSs) is an important techn...
WDAG
2007
Springer
15 years 4 months ago
2007
Springer
Abstract. This paper studies the impact of omission failures on asynchronous distributed systems with crash-stop failures. We provide two different transformations for algorithms,...
PCI
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. Recent commercial virtual reality shows have become very demanding in terms of interactive credibility and visual realism. In an effort to push further the immersive qual...
COOPIS
2002
IEEE
15 years 3 months ago
2002
IEEE
Abstract. In recent years ontologies – shared conceptualizations of some domain – are increasingly seen as the key to further automation of information processing. Although man...