Sciweavers

202 search results - page 37 / 41
» Software Implementation Techniques for Hw Sw Embedded System...
Sort
View
AOSE
2003
Springer
14 years 22 days ago
A Framework for Constructing Multi-agent Applications and Training Intelligent Agents
As agent-oriented paradigm is reaching a significant level of acceptance by software developers, there is a lack of integrated highstraction tools for the design and development o...
Pericles A. Mitkas, Dionisis Kehagias, Andreas L. ...
DSD
2007
IEEE
164views Hardware» more  DSD 2007»
14 years 1 months ago
Execution-time Prediction for Dynamic Streaming Applications with Task-level Parallelism
— Programmable multiprocessor systems-on-chip are becoming the preferred implementation platform for embedded streaming applications. This enables using more software components,...
Peter Poplavko, Twan Basten, Jef L. van Meerbergen
RTCSA
1999
IEEE
13 years 11 months ago
A Symbolic Model Checker for Testing ASTRAL Real-Time Specifications
ASTRAL is a high-level formal specification language for real-time (infinite state) systems. It is provided with structuring mechanisms that allow one to build modularized specifi...
Zhe Dang, Richard A. Kemmerer
POPL
2009
ACM
14 years 8 months ago
Modular code generation from synchronous block diagrams: modularity vs. code size
We study modular, automatic code generation from hierarchical block diagrams with synchronous semantics. Such diagrams are the fundamental model behind widespread tools in the emb...
Roberto Lublinerman, Christian Szegedy, Stavros Tr...
DAC
2002
ACM
14 years 8 months ago
Scheduler-based DRAM energy management
Previous work on DRAM power-mode management focused on hardware-based techniques and compiler-directed schemes to explicitly transition unused memory modules to low-power operatin...
Victor Delaluz, Anand Sivasubramaniam, Mahmut T. K...