Sciweavers

5639 search results - page 786 / 1128
» Timed Abstract Non-interference
Sort
View
ISVLSI
2007
IEEE
181views VLSI» more  ISVLSI 2007»
15 years 11 months ago
Code-coverage Based Test Vector Generation for SystemC Designs
Abstract— Time-to-Market plays a central role on System-ona-Chip (SoC) competitiveness and the quality of the final product is a matter of concern as well. As SoCs complexity in...
Alair Dias Jr., Diógenes Cecilio da Silva J...
RTCSA
2007
IEEE
15 years 11 months ago
A Dynamic Medial Axis Model for Sensor Networks
An important property in a sensor network is the monitoring of temporal changes of hazardous situations such as forest fires. Rescue groups need to be aware of dynamic changes th...
Lan Lin, Hyunyoung Lee
SIES
2007
IEEE
15 years 11 months ago
Refactoring an Automotive Embedded Software Stack using the Component-Based Paradigm
Abstract— The number of electronic systems in cars is continuously growing. Electronic systems, consisting of so-called electronic control units (ECUs) interconnected by a commun...
Thomas M. Galla, Dietmar Schreiner, Wolfgang Forst...
VTC
2007
IEEE
15 years 11 months ago
Performance Evaluation of A Multiuser Detection Based MAC Design for Ad Hoc Networks
Abstract— In general, the performance and radio resource utilization of Ad Hoc networks are limited by half-duplex operation and possible collisions. In this paper, we propose a ...
Jinfang Zhang, Zbigniew Dziong, François Ga...
VTC
2007
IEEE
15 years 11 months ago
Packet Centric vs. Radio Centric Link Layer Approaches: A Quantitative Analysis
Abstract— A well-known concept to adapt the transmitted payload to the current channel capacity is to perform segmentation of the uncoded user payload. In [1], a new cross layera...
Francesco Rossetto, Michael Meyer, Michele Zorzi