Sciweavers

7520 search results - page 293 / 1504
» Applications Development for the Computational Grid
Sort
View
VSTTE
2005
Springer
16 years 1 days ago
On the Formal Development of Safety-Critical Software
Abstract. We reflect on the formal development models applicable to embedded control systems in light of our experience with safety-critical applications from the aerospace domain....
Andy Galloway, Frantz Iwu, John A. McDermid, Ian T...
APCHI
2008
IEEE
16 years 1 months ago
Development of a WS-ECA Rule Management System for a Healthcare Robot
Providing healthcare services to patients and elderly people has been an emerging application domain in ubiquitous computing technologies. The current trend toward long-term health...
Jaeil Park, Haining Lee, Peom Park, Dongmin Shin
ICDCS
1991
IEEE
15 years 10 months ago
Supporting the development of network programs
of ‘‘network computers’’ is inherently lessAbstract predictable than that of more traditional distributed memory systems, such as hypercubes [22], since both theFor computa...
Bernd Bruegge, Peter Steenkiste
GLVLSI
2010
IEEE
190views VLSI» more  GLVLSI 2010»
15 years 8 months ago
A linear statistical analysis for full-chip leakage power with spatial correlation
In this paper, we present an approved linear-time algorithm for statistical leakage analysis in the present of any spatial correlation condition (strong or weak). The new algorith...
Ruijing Shen, Sheldon X.-D. Tan, Jinjun Xiong
ISCOPE
1998
Springer
15 years 10 months ago
Dynamic Reconfiguration and Virtual Machine Management in the Harness Metacomputing System
Metacomputing frameworks have received renewed attention of late, fueled both by advances in hardware and networking, and by novel concepts such as computational grids. However the...
Mauro Migliardi, Jack Dongarra, Al Geist, Vaidy S....