71 search results - page 8 / 15 » An Interface Algebra for Real-Time Components |
PPSC
1997
13 years 8 months ago
1997
This article outlines the content and performance of some of the ScaLAPACK software. ScaLAPACK is a collection of mathematical software for linear algebra computations on distribu...
VRML
1999
ACM
13 years 11 months ago
1999
ACM
User interfaces have evolved from punched cards, to text terminals, to windowing systems. As interface standards move into the third dimension, we have the opportunity to ensure t...
APSEC
2001
IEEE
13 years 10 months ago
2001
IEEE
Formal specifications are now widely accepted in software development. Recently, the need for a separation of concerns with reference to static and dynamic aspects appeared. Furth...
ICCS
2007
Springer
14 years 26 days ago
2007
Springer
This paper describes a preliminary cyberinfrastructure for contaminant characterization in water distribution systems and its deployment on the grid. The cyberinfrastructure consis...
COMPUTER
2000
13 years 6 months ago
2000
hysical world. How do you adapt software abstractions designed merely to transform data to meet requirements like real-time constraints, concurrency, and stringent safety considera...