Sciweavers

6102 search results - page 494 / 1221
» Generating Optimizing Specializers
Sort
View
CICLING
2006
Springer
15 years 8 months ago
Abbreviation Recognition with MaxEnt Model
Abbreviated words carry critical information in the literature of many special domains. This paper reports our research in recognizing dotted abbreviations with MaxEnt model. The k...
Chunyu Kit, Xiaoyue Liu, Jonathan J. Webster
ARITH
2001
IEEE
15 years 8 months ago
The Use of the Multi-Dimensional Logarithmic Number System in DSP Applications
A recently introduced double-base number representation has proved to be successful in optimizing the performance of several algorithms in cryptography and digital signal processi...
Vassil S. Dimitrov, Jonathan Eskritt, Laurent Imbe...
EUROPAR
2000
Springer
15 years 8 months ago
BitValue Inference: Detecting and Exploiting Narrow Bitwidth Computations
We present a compiler algorithm called BitValue, which can discover both unused and constant bits in dusty-deck C programs. BitValue uses forward and backward dataflow analyses, ge...
Mihai Budiu, Majd Sakr, Kip Walker, Seth Copen Gol...
IPPS
1998
IEEE
15 years 8 months ago
Protocols for Non-Deterministic Communication over Synchronous Channels
In this paper, we propose several deadlock-free protocols for implementing the generalized alternative construct, where a process non-deterministically chooses between sending or ...
Erik D. Demaine
AIPS
2008
15 years 7 months ago
Using Constraint Networks on Timelines to Model and Solve Planning and Scheduling Problems
In the last decades, there has been an increasing interest in the connection between planning and constraint programming. Several approaches were used, leading to different forms ...
Cédric Pralet, Gérard Verfaillie