Sciweavers

5672 search results - page 152 / 1135
» Design techniques for low-power systems
Sort
View
DATE
2004
IEEE
136views Hardware» more  DATE 2004»
15 years 10 months ago
An Integrated Design and Verification Methodology for Reconfigurable Multimedia Systems
Recently a lot of multimedia applications are emerging on portable appliances. They require both the flexibility of upgradeable devices (traditionally software based) and a powerf...
Michele Borgatti, Andrea Capello, Umberto Rossi, J...
FM
2003
Springer
107views Formal Methods» more  FM 2003»
15 years 11 months ago
A Formal Framework for Modular Synchronous System Design
We present the formal framework for a novel approach for specifying and automatically implementing systems such as digital circuits and network protocols. The goal is to reduce the...
Maria-Cristina V. Marinescu, Martin C. Rinard
MDM
2004
Springer
197views Communications» more  MDM 2004»
15 years 12 months ago
MobiVoD: A Video-on-Demand System Design for Mobile Ad Hoc Networks
— We present a design for a system that provides video-on-demand (VOD) services to mobile ad hoc clients. Such a system allows the clients to access video information anytime any...
Duc A. Tran, Minh Le, Kien A. Hua
ISCAS
2003
IEEE
135views Hardware» more  ISCAS 2003»
15 years 11 months ago
Formal verification of LTL formulas for SystemC designs
To handle today’s complexity, modern circuits and systems be specified at a high level of abstraction. Recently, SystemC has been proposed as a language that allows a fast on o...
Daniel Große, Rolf Drechsler
ICUMT
2009
15 years 4 months ago
A new approach to the design of wireless data broadcasting systems: An analysis-based cost-effective scheme
Abstract--A new approach to the design of wireless data broadcasting systems is introduced. The proposed approach is based on the mathematical analysis of the aforementioned system...
Christos Liaskos, Sophia G. Petridou, Georgios I. ...