2810 search results - page 232 / 562 » Contract-Based Component System Design |
161
click to vote
WISE
2006
Springer
16 years 16 days ago
2006
Springer
- 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...
240
click to vote
FPT
2005
IEEE
16 years 4 days ago
2005
IEEE
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...
163
click to vote
WORDS
2005
IEEE
16 years 3 days ago
2005
IEEE
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 ...
156
click to vote
GC
2004
Springer
15 years 12 months ago
2004
Springer
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...
177
click to vote
NIME
2004
Springer
15 years 12 months ago
2004
Springer
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, ...