Sciweavers

15155 search results - page 53 / 3031
» System Software
Sort
View
ISORC
2003
IEEE
14 years 3 months ago
Integrating COTS Software Components into Dependable Software Architectures
sents some concluding remarks and discusses future work. This paper considers the problem of integrating commercial off-the-shelf (COTS) software components into systems with high ...
Paulo Asterio de Castro Guerra, Alexander B. Roman...
ICSE
2000
IEEE-ACM
14 years 1 months ago
Improvement of a configuration management system
The company CAD-UL AG develops software tools for embedded systems. Single tools as compilers, linkers and debuggers are offered as well as complete development tool chains for th...
Frank Titze
VSTTE
2005
Springer
14 years 3 months ago
Reliable Software Systems Design: Defect Prevention, Detection, and Containment
The grand challenge that is the focus of this conference targets the development of a practical methodology for software verification: a methodology that can help us to reduce the ...
Gerard J. Holzmann, Rajeev Joshi
EUROSYS
2009
ACM
14 years 7 months ago
A runtime system for software lock elision
Amitabha Roy 0002, Steven Hand, Timothy L. Harris
CLUSTER
2007
IEEE
13 years 9 months ago
The computer as software component: A mechanism for developing and testing resource management software
— In this paper, we present an architecture that encapsulates system hardware inside a software component used for job execution and status monitoring. The development of this in...
Narayan Desai, Theron Voran, Ewing L. Lusk, Andrew...