1022 search results - page 52 / 205 » The Modelling of Embedded Systems Using HASoC |
DAC
1999
ACM
14 years 11 months ago
1999
ACM
This paper presents a methodology for cycle-accurate simulation of energy dissipation in embedded systems. The ARM Ltd. 1 instruction-level cycle-accurate simulator is extended wi...
ENTCS
2006
13 years 10 months ago
2006
We build a realizability model for linear logic using a name-passing process calculus. The construction is based on testing semantics for processes, drawing ideas from spatial and...
IFIP
2007
Springer
14 years 4 months ago
2007
Springer
Many large-scale Internet applications optimize their overlay network to reduce latencies. Embedding coordinate systems like Vivaldi are valuable tools for this new range of applic...
EMSOFT
2009
Springer
14 years 3 months ago
2009
Springer
Embedded systems such as smart cards or sensors are now widespread, but are often closed systems, only accessed via dedicated terminals. A new trend consists in embedding Web serv...
ECRTS
2010
IEEE
13 years 11 months ago
2010
IEEE
Energy conservation is an important issue in the design of embedded systems. Dynamic Voltage Scaling (DVS) and Dynamic Power Management (DPM) are two widely used techniques for sav...