697 search results - page 59 / 140 » Strategies to Parallelize ILP Systems |
EDO
2006
Springer
15 years 2 months ago
2006
Springer
In this paper we describe a new approach for increasing the reliability of ubiquitous software systems. This is achieved by executing tests at run-time. The individual software co...
ICDCS
2007
IEEE
15 years 5 months ago
2007
IEEE
This paper proposes a methodology for designing a class of algorithms for computing functions in dynamic distributed systems in which communication channels and processes may ceas...
111
click to vote
EGC
2005
Springer
15 years 4 months ago
2005
Springer
This paper is about optimizing Grid application setup by allowing a user to configure a Grid application on her own PC and thereafter migrating the entire application onto the Gri...
IPPS
2000
IEEE
15 years 3 months ago
2000
IEEE
The increasing demand for Distributed Systems(DS's) raised the need of a quality-assured development process, which could not only address the issue of requirement compliance,...
ARTS
1999
Springer
15 years 3 months ago
1999
Springer
This paper discusses the adaptation of the PVS theorem prover for performing analysis of real-time systems written in the ASTRAL formal specification language. A number of issues w...