6308 search results - page 373 / 1262 » Modeling Urgency in Timed Systems |
171
click to vote
ISQED
2007
IEEE
16 years 1 months ago
2007
IEEE
In this paper, we propose a new approach to enforcing the passivity of a reduced system of general passive linear time invariant circuits. Instead of making the reduced models pas...
132
click to vote
WSC
2004
15 years 8 months ago
2004
Data Farming is a methodology and capability that makes use of high performance computing to run models many times. This capability gives modelers and their clients the enhanced a...
149
click to vote
SAFECOMP
2005
Springer
16 years 6 days ago
2005
Springer
When the safety community designs their systems to also maintain security properties, it is likely that public-key encryption will be among the tools that are applied. The security...
190
click to vote
DAC
2006
ACM
16 years 21 days ago
2006
ACM
Reduction of the on-chip memory size is a key issue in video codec system design. Because video codec applications involve complex algorithms that are both data-intensive and cont...
157
click to vote
WSC
1998
15 years 8 months ago
1998
Constructing models of systems that change their structure over time has proved to be a challenging problem, with several proposed solutions. We present two of these approaches an...