1574 search results - page 86 / 315 » Integrated Tools for Performance-Oriented Distributed Softwa... |
137
click to vote
FAC
2006
15 years 4 months ago
2006
The Verified Software Repository is dedicated to a long-term vision of a future in which all computer systems justify the trust that Society increasingly places in them. This will ...
151
click to vote
EWSA
2004
Springer
15 years 9 months ago
2004
Springer
This paper gives an overview of the ArchWare European Project1 . The broad scope of ArchWare is to respond to the ever-present demand for software systems that are capable of accom...
103
click to vote
DAGSTUHL
2008
15 years 5 months ago
2008
We present some examples of extensions for C-XSC that have been developed lately. Among these are extensions that give access to further hardware and software environments as well ...
120
click to vote
ADAEUROPE
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. Programmable logic devices (PLDs) are now common components of safety-critical systems, and are increasingly used for safetyrelated or safety-critical functionality. Rece...
126
click to vote
SAC
1998
ACM
15 years 8 months ago
1998
ACM
This paper describes a hypermedia infrastructure, called HyperDisco, designed to address important issues such as integration, collaboration, versioning, scalability, openness, di...