8689 search results - page 24 / 1738 » Software: hard data |
AMAST
1997
Springer
14 years 6 days ago
1997
Springer
Abstract. We present several formal program refinement rules for designing multi-tasking programs with hard real-time constraints.
EMSOFT
2010
Springer
13 years 6 months ago
2010
Springer
Many real-time applications are designed to work in different operating modes each characterized by different functionality and resource demands. With each mode change, resource d...
PVLDB
2010
13 years 7 months ago
2010
Violations of functional dependencies (FDs) are common in practice, often arising in the context of data integration or Web data extraction. Resolving these violations is known to...
KBSE
2007
IEEE
14 years 2 months ago
2007
IEEE
Software compatibility testing is an important quality assurance task aimed at ensuring that component-based software systems build and/or execute properly across a broad range of...
RTDB
1997
13 years 10 months ago
1997
We present a new approach to implementing real-time transactions on memory-resident data on sharedmemory multiprocessors. This approach allows hard deadlines to be supported witho...