4042 search results - page 674 / 809 » The EXODUS Optimizer Generator |
157
click to vote
ERSHOV
1999
Springer
15 years 10 months ago
1999
Springer
Abstract. An abstract framework is developed to describe program transformation by specializing a given program to a restricted set of inputs. Particular cases include partial eval...
152
click to vote
MSS
1999
IEEE
15 years 10 months ago
1999
IEEE
When the BaBar experiment at the Stanford Linear Accelerator Center starts in April 1999, it will generate approximately 200TB/year of data at a rate of 10MB/sec for 10 years. A m...
186
click to vote
RSP
1999
IEEE
15 years 10 months ago
1999
IEEE
SDL is currently gaining interest as a system level specification language for HW/SW codesign. Automated synthesis of SDL in hardware so far had problems with its efficiency. The ...
174
click to vote
EUROCOLT
1999
Springer
15 years 10 months ago
1999
Springer
Many settings of unsupervised learning can be viewed as quantization problems — the minimization of the expected quantization error subject to some restrictions. This allows the ...
150
click to vote
SRDS
1999
IEEE
15 years 10 months ago
1999
IEEE
We study how to efficiently diffuse updates to a large distributed system of data replicas, some of which may exhibit arbitrary (Byzantine) failures. We assume that strictly fewer...