Sciweavers

2334 search results - page 134 / 467
» How are Real Grids Used
Sort
View
ICFEM
1997
Springer
14 years 2 months ago
Formally Specifying and Verifying Real-Time Systems
A real-time computer system is a system that must perform its functions within specified time bounds. These systems are generally characterized by complex interactions with the en...
Richard A. Kemmerer
ICSE
1997
IEEE-ACM
14 years 2 months ago
Analyzing Partially-Implemented Real-Time Systems
—Most analysis methods for real-time systems assume that all the components of the system are at roughly the same stage of development and can be expressed in a single notation, ...
George S. Avrunin, James C. Corbett, Laura K. Dill...
ESEC
1993
Springer
14 years 2 months ago
Software Faults in Evolving a Large, Real-Time System: a Case Study
We report the results of a survey about the software faults encountered during the testing phases in evolving a large real-time system. The survey was done in two parts: the rst pa...
Dewayne E. Perry, Carol S. Stieg
DATE
2004
IEEE
135views Hardware» more  DATE 2004»
14 years 2 months ago
Quasi-Static Scheduling for Real-Time Systems with Hard and Soft Tasks
This report addresses the problem of scheduling for real-time systems that include both hard and soft tasks. In order to capture the relative importance of soft tasks and how the ...
Luis Alejandro Cortés, Petru Eles, Zebo Pen...
CGVR
2007
13 years 12 months ago
Simplified Muscle Dynamics for Appealing Real-Time Skin Deformation
- We propose significant simplifications in muscle modeling and simulation to facilitate real-time anatomical skin deformation for full-body articulated characters. The muscle shap...
Keng Siang Lee, Golam Ashraf