2357 search results - page 102 / 472 » Computing Refactorings of Behavior Models |
VLSID
2005
IEEE
15 years 10 months ago
2005
IEEE
This paper explores the recovery and rate capacity effect for batteries used in embedded systems. It describes the prominent battery models with their advantages and drawbacks. It...
71
Voted
DAC
1999
ACM
15 years 11 months ago
1999
ACM
Abstract { This paper presents the machine description language LISA for the generation of bitand cycle accurate models of DSP processors. Based on a behavioral operation descripti...
79
Voted
ICCAD
2001
IEEE
15 years 7 months ago
2001
IEEE
Once the battery becomes fully discharged, a battery-powered portable electronic system goes off-line. Therefore, it is important to take the battery behavior into account. A syst...
80
Voted
AIED
2009
Springer
15 years 4 months ago
2009
Springer
The core problem we address in this paper is how to take a declarative conceptual representation of a complex system and produce an agent-based simulation of that model. In particu...
75
Voted
TGC
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. We present a formal system that models programmable abstractions for access control. Composite abstractions and patterns of arbitrary complexity are modeled as a configu...