4164 search results - page 84 / 833 » Timing model reduction for hierarchical timing analysis |
207
click to vote
ECMDAFA
2005
Springer
15 years 11 months ago
2005
Springer
The model-driven software development for hard real-time systems promotes the usage of the platform independent model as major design artifact. It is used to develop the software l...
162
click to vote
ESORICS
2006
Springer
15 years 10 months ago
2006
Springer
Timing side channels are a serious threat to the security of cryptographic algorithms. This paper presents a novel method for the timing-sensitive analysis of information flow in s...
210
click to vote
CSREAESA
2006
15 years 7 months ago
2006
- We present a software tool for high-level design and analysis of large-scale embedded real-time software, which has been integrated into a vehicle control platform development to...
157
click to vote
WSC
2007
15 years 8 months ago
2007
This paper is motivated by a case study performed at a company that manufactures two main types of customized products. In an effort to significantly increase their throughput cap...
154
click to vote
JMLR
2011
15 years 1 months ago
2011
The Causality Workbench project is an environment to test causal discovery algorithms. Via a web portal (http://clopinet.com/causality), it provides a number of resources, includi...