2334 search results - page 54 / 467 » How are Real Grids Used |
FGCS
2007
13 years 7 months ago
2007
Clusters of computers have emerged as cost-effective parallel and/or distributed computing systems for computationally intensive tasks. Normally, clusters are composed of high per...
ISOLA
2010
Springer
13 years 6 months ago
2010
Springer
Abstract. This article deals with performance verifications of architecture models of real-time embedded systems. We focus on models verified with the real-time scheduling theory...
FORMATS
2004
Springer
13 years 11 months ago
2004
Springer
We discuss the modeling and verification of real-time systems using the SAL model checker. A new modeling framework based on event calendars enables dense timed systems to be descr...
JOT
2007
13 years 7 months ago
2007
This paper describes the integration of our Java-based screensaver framework with our Initium Remote Job Submission (IRJS) grid computing middleware. Initium RJS is a Java Web Sta...
MOC
2002
13 years 7 months ago
2002
Abstract. We show how to use the parallelized kangaroo method for computing invariants in real quadratic function fields. Specifically, we show how to apply the kangaroo method to ...