Sciweavers

RSP
2005
IEEE
13 years 10 months ago
Porting DSP Applications across Design Tools Using the Dataflow Interchange Format
Modeling DSP applications through coarse-grain dataflow graphs is popular in the DSP design community, and a growing set of rapid prototyping tools support such dataflow semantics...
Chia-Jui Hsu, Shuvra S. Bhattacharyya
RSP
2006
IEEE
13 years 10 months ago
System-on-Chip Design Methodology for a Statistical Coder
Thinh M. Le, X. H. Tian, B. L. Ho, J. Nankoo, Yong...
RSP
2006
IEEE
116views Control Systems» more  RSP 2006»
13 years 10 months ago
Performance Evaluation of an Adaptive FPGA for Network Applications
This paper presents the design and the performance evaluation of a coarse-grain dynamically reconfigurable platform for network applications. The platform consists of two MicroBla...
Christoforos Kachris, Stamatis Vassiliadis
RSP
2006
IEEE
120views Control Systems» more  RSP 2006»
13 years 10 months ago
A Case Study of Design Space Exploration for Embedded Multimedia Applications on SoCs
Embedded real-time multimedia applications usually imply data parallel processing. SIMD processors embedded in SOCs are cost-effective to exploit the underlying parallelism. Howev...
Isabelle Hurbain, Corinne Ancourt, François...
RSP
2006
IEEE
13 years 10 months ago
Wcomp: a Multi-Design Approach for Prototyping Applications using Heterogeneous Resources
This paper presents Wcomp which is a framework for rapid application prototyping. This framework has been developed for targeting wearable computing applications but can also be u...
Daniel Cheung-Foo-Wo, Jean-Yves Tigli, Stephane La...
RSP
2006
IEEE
102views Control Systems» more  RSP 2006»
13 years 10 months ago
Rapid Resource-Constrained Hardware Performance Estimation
In a hardware-software co-design environment, an application is partitioned into modules. Each module is then mapped either to software or to hardware. The mapping process is driv...
Basant Kumar Dwivedi, Arun Kejariwal, M. Balakrish...
RSP
2006
IEEE
125views Control Systems» more  RSP 2006»
13 years 10 months ago
Creation and Validation of Embedded Assertion Statecharts
This paper addresses the need to integrate formal assertions into the modeling, implementation, and testing of statechart based designs. The paper describes an iterative process f...
Doron Drusinsky, Man-tak Shing, Kadir Alpaslan Dem...
RSP
2007
IEEE
205views Control Systems» more  RSP 2007»
13 years 10 months ago
A CABAC Encoder Design of H.264/AVC with RDO Support
X. H. Tian, Thinh M. Le, B. L. Ho, Yong Lian
RSP
2007
IEEE
141views Control Systems» more  RSP 2007»
13 years 10 months ago
Rapid Prototyping of Intrusion Detection Systems
Designing security softwares that evolve as quickly as threats is a truthful challenge. In addition, current software becomes increasingly more complex and difficult to handle ev...
Fabrice Kordon, Jean-Baptiste Voron
RSP
2007
IEEE
139views Control Systems» more  RSP 2007»
13 years 10 months ago
Verifying Distributed Protocols using MSC-Assertions, Run-time Monitoring, and Automatic Test Generation
This paper addresses the need for formal specification and runtime verification of system-level requirements of distributed reactive systems. It describes a formalism for specifyi...
Doron Drusinsky, Man-tak Shing