112
Voted
DATE
2004
IEEE
15 years 7 months ago
2004
IEEE
We present the design exploration of a System-on-Chip architecture dedicated to the implementation of the HIPERLAN/2 communication protocol. The task was accomplished by means of ...
118
Voted
DATE
2004
IEEE
15 years 7 months ago
2004
IEEE
The MultiNoC system implements a programmable onchip multiprocessing platform built on top of an efficient, low area overhead intra-chip interconnection scheme. The employed inter...
156
Voted
CAV
2006
Springer
15 years 7 months ago
2006
Springer
e Abstraction and Refinement Loop Himanshu Jain1,2, Franjo Ivanci
124
Voted
DATE
2004
IEEE
15 years 7 months ago
2004
IEEE
The analysis of real-time properties of an embedded system usually relies on the worst-case execution times (WCET) of the tasks to be executed. In contrast to that, in real world ...
CAV
2006
Springer
2006
Springer
Playing with Verification, Planning and Aspects: Unusual Methods for Running Scenario-Based Programs
15 years 7 months ago