302 search results - page 56 / 61 » An approach to synthesise safe systems |
FPL
2006
Springer
14 years 1 months ago
2006
Springer
Given large circuit sizes, high clock frequencies, and possibly extreme operating environments, Field Programmable Gate Arrays (FPGAs) are capable of heating beyond their designed...
EMSOFT
2009
Springer
14 years 4 months ago
2009
Springer
An important step in model-based embedded system design consists in mapping functional specifications and their tasks/operations onto execution architectures and their ressources...
CCGRID
2001
IEEE
14 years 1 months ago
2001
IEEE
Charging of services in a distributed system will become more and more important for systems which are utilized commercially. Such an important distributed system exists in form o...
VMCAI
2009
Springer
14 years 4 months ago
2009
Springer
Abstract. Because of its critical importance underlying all other software, lowlevel system software is among the most important targets for formal verification. Low-level systems...
SIGMETRICS
2004
ACM
14 years 3 months ago
2004
ACM
This paper develops and evaluates new share-based scheduling algorithms for differentiated service quality in network services, such as network storage servers. This form of resou...