Sciweavers

1699 search results - page 121 / 340
» Performance Evaluation of IEEE 802.15.4: Experimental and Si...
Sort
View
ICCAD
2008
IEEE
151views Hardware» more  ICCAD 2008»
14 years 6 months ago
Race analysis for SystemC using model checking
—SystemC is a system-level modeling language that offers a wide range of features to describe concurrent systems rent levels of abstraction. The SystemC standard permits simulato...
Nicolas Blanc, Daniel Kroening
CONTEXT
2007
Springer
14 years 3 months ago
User Profiling with Hierarchical Context: An e-Retailer Case Study
In e-commerce applications, no systematic research has been provided to evaluate if the use of a detailed and rich contextual representation improves the user modeling predictive p...
Cosimo Palmisano, Alexander Tuzhilin, Michele Gorg...
DSD
2009
IEEE
77views Hardware» more  DSD 2009»
14 years 4 months ago
Pulse Generation for On-chip Data Transmission
Abstract—Pulse-based data transmission has been demonstrated as a power-saving and high performance alternative to level-based signalling over global distances. Key to its correc...
Simon Hollis
ASAP
2004
IEEE
171views Hardware» more  ASAP 2004»
14 years 1 months ago
CHARMED: A Multi-Objective Co-Synthesis Framework for Multi-Mode Embedded Systems
In this paper, we present a modular co-synthesis framework called CHARMED that solves the problem of hardware-software co-synthesis of periodic, multi-mode, distributed, embedded ...
Vida Kianzad, Shuvra S. Bhattacharyya
QEST
2009
IEEE
14 years 4 months ago
Recent Extensions to Traviando
—Traviando is a trace analyzer and visualizer for simulation traces of discrete event dynamic systems. In this paper, we briefly outline recent extensions of Traviando towards a...
Peter Kemper