Sciweavers

2251 search results - page 154 / 451
» Specification and Implementation Problems for C
Sort
View
123
Voted
CC
2004
Springer
160views System Software» more  CC 2004»
15 years 9 months ago
Elkhound: A Fast, Practical GLR Parser Generator
The Generalized LR (GLR) parsing algorithm is attractive for use in parsing programming languages because it is asymptotically efficient for typical grammars, and can parse with an...
Scott McPeak, George C. Necula
121
Voted
ICPR
2006
IEEE
16 years 4 months ago
A Unified Formulation of Invariant Point Pattern Matching
We present a unified framework for modeling and solving invariant point pattern matching problems. Invariant features are encoded as potentials in a probabilistic graphical model....
Terry Caelli, Tibério S. Caetano
107
Voted
DAC
2005
ACM
16 years 4 months ago
Incremental retiming for FPGA physical synthesis
In this paper, we present a new linear-time retiming algorithm that produces near-optimal results. Our implementation is specifically targeted at Altera's Stratix [1] FPGAbas...
Deshanand P. Singh, Valavan Manohararajah, Stephen...
127
Voted
IPPS
2003
IEEE
15 years 9 months ago
Remote and Partial Reconfiguration of FPGAs: Tools and Trends
This work describes the implementation of digital reconfigurable systems (DRS) using commercial FPGA devices. This paper has three main goals. The first one is to present the tren...
Daniel Mesquita, Fernando Gehm Moraes, José...
131
Voted
LCTRTS
1998
Springer
15 years 8 months ago
A Tool to Assist in Fine-Tuning and Debugging Embedded Real-Time Systems
: During the latter stages of a software product cycle, developers may be faced with the task of fine-tuning an embedded system that is not meeting all of its timing requirements. ...
Gaurav Arora, David B. Stewart