9974 search results - page 1291 / 1995 » Software Interconnection Models |
163
click to vote
ICCD
2006
IEEE
16 years 4 months ago
2006
IEEE
— In this paper, we present a comprehensive energy estimation framework for software executing on Very Long Instruction Word (VLIW) processor cores. The proposed energy model is ...
211
click to vote
ESAW
2009
Springer
16 years 2 months ago
2009
Springer
Abstract. The deployment of agent societies —as complex systems— in dynamic and unpredictable settings brings forth critical issues concerning their design. Organizational mode...
218
click to vote
ICECCS
2007
IEEE
16 years 1 months ago
2007
IEEE
Identifying and resolving design problems in the early design phase can help ensure software quality and save costs. There are currently few tools for analyzing designs expressed ...
186
click to vote
SIGADA
2005
Springer
16 years 28 days ago
2005
Springer
This paper presents an intermediate notation used in a framework for verification of real-time properties. The framework aims at overcoming the need for the framework user to hav...
205
click to vote
DAC
2009
ACM
15 years 11 months ago
2009
ACM
The Synchronous Dataflow (SDF) model of computation is popular for modelling the timing behaviour of real-time embedded hardware and software systems and applications. It is an es...