8109 search results - page 1505 / 1622 » A Model of Component-Based Programming |
133
click to vote
SPIN
2010
Springer
15 years 1 months ago
2010
Springer
Pushdown systems provide a natural model of software with recursive procedure calls. We provide a tool implementing an algorithm for computing the winning regions of a pushdown par...
105
click to vote
VLSI
2010
Springer
15 years 1 months ago
2010
Springer
—Multi-Vdd techniques enable application of lower supply voltage levels on cells with timing slacks. New voltage assignment, placement and voltage island partitioning methods are...
110
Voted
ASPDAC
2010
ACM
15 years 1 months ago
2010
ACM
- In this paper, we propose a novel and global A3MAP (Architecture-Aware Analytic Mapping) algorithm applied to NoC (Networks-on-Chip) based MPSoC (Multi-Processor System-on-Chip) ...
153
click to vote
GLOBECOM
2010
IEEE
15 years 1 months ago
2010
IEEE
Mobile phones are among the most popular consumer devices and the recent developments of 3G networks and smart phones enable users to watch video programs by subscribing data plan...
145
click to vote
GLOBECOM
2010
IEEE
15 years 1 months ago
2010
IEEE
In smart grid, a home appliance can adjust its power consumption level according to the realtime power price obtained from communication channels. Most studies on smart grid do not...