Sciweavers

2810 search results - page 232 / 562
» Contract-Based Component System Design
Sort
View
121
Voted
WISE
2006
Springer
15 years 9 months ago
Construction of a Distributed Learning Resource Management System Based on RSS Technology
- RSS is the first letter abbreviations of English Rich Site Summary (enriches the website summary ) or Really Simple Syndication (really simple merger ), it is a kind of simple an...
Chengling Zhao, Liyong Wan, Ying Yu, Qi Luo
180
Voted
FPT
2005
IEEE
198views Hardware» more  FPT 2005»
15 years 9 months ago
From TLM to FPGA: Rapid Prototyping with SystemC and Transaction Level Modeling
We describe a communication-centric design methodology with SystemC that allows for efficient FPGA prototype generation of transaction level models (TLM). Using a framework compr...
Wolfgang Klingauf, Robert Günzel
WORDS
2005
IEEE
15 years 9 months ago
Towards a Flow Analysis for Embedded System C Programs
Reliable program Worst-Case Execution Time (WCET) estimates are a key component when designing and verifying real-time systems. One way to derive such estimates is by static WCET ...
Jan Gustafsson, Andreas Ermedahl, Björn Lispe...
124
Voted
GC
2004
Springer
15 years 9 months ago
A Software Framework for Rapid Prototyping of Run-Time Systems for Mobile Calculi
We describe the architecture and the implementation of the MIKADO software framework, that we call IMC (Implementing Mobile Calculi). The framework aims at providing the programmer...
Lorenzo Bettini, Rocco De Nicola, Daniele Falassi,...
129
Voted
NIME
2004
Springer
106views Music» more  NIME 2004»
15 years 9 months ago
Aura II: Making Real-Time Systems Safe for Music
Real-time interactive software can be difficult to construct and debug. Aura is a software platform to facilitate highly interactive systems that combine audio signal processing, ...
Roger B. Dannenberg