10707 search results - page 235 / 2142 » Designing executable abstractions |
145
Voted
CAL
2005
15 years 3 months ago
2005
This paper shows that if the execution of a program is divided into distinct intervals, it is possible for one processor or configuration to provide the best power efficiency over ...
148
click to vote
ERSHOV
2006
Springer
15 years 7 months ago
2006
Springer
A new coordination language for distributed data-parallel programs is presented, call SNet. The intention of SNet is to introduce advanced structuring techniques into a coordinatio...
156
click to vote
DAC
2004
ACM
15 years 7 months ago
2004
ACM
In System on Chip (SoC) design, growing design complexity has esigners to start designs at higher abstraction levels. This paper proposes an SoC design methodology that makes full...
114
click to vote
ENTCS
2008
15 years 3 months ago
2008
This paper proposes a formal framework and architecture for specification and analysis of interactive agents. The framework can be used to explore the design space, study features...
133
click to vote
FMSD
2006
15 years 3 months ago
2006
The design productivity gap has been recognized by the semiconductor industry as one of the major threats to the continued growth of system-on-chips and embedded systems. Ad-hoc sy...