Sciweavers

5799 search results - page 1004 / 1160
» Patterns Generate Architectures
Sort
View
121
Voted
CASES
2009
ACM
15 years 7 months ago
Exploiting residue number system for power-efficient digital signal processing in embedded processors
2's complement number system imposes a fundamental limitation on the power and performance of arithmetic circuits, due to the fundamental need of cross-datapath carry propaga...
Rooju Chokshi, Krzysztof S. Berezowski, Aviral Shr...
131
Voted
CASES
2007
ACM
15 years 7 months ago
An integrated ARM and multi-core DSP simulator
In this paper we describe the design and implementation of a flexible, and extensible, just-in-time ARM simulator designed to run co-operatively with a multi-core DSP simulator on...
Sharad Singhai, MingYung Ko, Sanjay Jinturkar, May...
QOSA
2010
Springer
15 years 7 months ago
Evaluating Maintainability with Code Metrics for Model-to-Model Transformations
Using model-to-model transformations to generate analysis models or code from architecture models is sought to promote compliance and reuse of components. The maintainability of tr...
Lucia Kapová, Thomas Goldschmidt, Steffen B...
ASYNC
2004
IEEE
61views Hardware» more  ASYNC 2004»
15 years 7 months ago
Long Wires and Asynchronous Control
As integrated circuit technologies get smaller, circuit and architectural trends make transmitting data across long on-chip wires increasingly important yet increasingly expensive...
Ron Ho, Jonathan Gainsley, Robert J. Drost
145
Voted
ATVA
2006
Springer
191views Hardware» more  ATVA 2006»
15 years 7 months ago
Automatic Verification of Hybrid Systems with Large Discrete State Space
We address the problem of model checking hybrid systems which exhibit nontrivial discrete behavior and thus cannot be treated by considering the discrete states one by one, as most...
Werner Damm, Stefan Disch, Hardi Hungar, Jun Pang,...
« Prev « First page 1004 / 1160 Last » Next »