252 search results - page 28 / 51 » SaveCCM: An Analysable Component Model for Real-Time Systems |
SIGSOFT
2004
ACM
14 years 9 months ago
2004
ACM
Constructing rigorous models for analysing the behaviour of concurrent and distributed systems is a complex task. Our aim is to facilitate model construction. Scenarios provide si...
RTCSA
2005
IEEE
14 years 2 months ago
2005
IEEE
We propose a new architecture for a content protection system that conceals confidential data and algorithms in an FPGA as electrical circuits. This architecture is designed for a...
ISLPED
1999
ACM
14 years 28 days ago
1999
ACM
—Energy-efficient design of battery-powered systems demands optimizations in both hardware and software. We present a modular approach for enhancing instruction level simulators ...
COR
2008
13 years 7 months ago
2008
Quantitative performance modeling of complex information systems is of immense importance for designing enterprise e-business infrastructures and applications. In this paper, we p...
COMPUTER
2000
13 years 8 months ago
2000
hysical world. How do you adapt software abstractions designed merely to transform data to meet requirements like real-time constraints, concurrency, and stringent safety considera...