Sciweavers

4042 search results - page 10 / 809
» The EXODUS Optimizer Generator
Sort
View
ENTCS
2002
98views more  ENTCS 2002»
14 years 9 months ago
Verified Code Generation for Embedded Systems
Digital signal processors provide specialized SIMD (single instruction multiple data) operations designed to dramatically increase performance in embedded systems. While these ope...
Sabine Glesner, Rubino Geiß, Boris Boesler
EMNLP
2010
14 years 7 months ago
A Game-Theoretic Approach to Generating Spatial Descriptions
Language is sensitive to both semantic and pragmatic effects. To capture both effects, we model language use as a cooperative game between two players: a speaker, who generates an...
Dave Golland, Percy Liang, Dan Klein
TOG
2010
126views more  TOG 2010»
14 years 4 months ago
Automatic generation of destination maps
Destination maps are navigational aids designed to show anyone within a region how to reach a location (the destination). Handdesigned destination maps include only the most impor...
Johannes Kopf, Maneesh Agrawala, David Bargeron, D...
PE
2000
Springer
118views Optimization» more  PE 2000»
14 years 9 months ago
A probabilistic dynamic technique for the distributed generation of very large state spaces
Conventional methods for state space exploration are limited to the analysis of small systems because they suffer from excessive memory and computational requirements. We have dev...
William J. Knottenbelt, Peter G. Harrison, Mark Me...
87
Voted
ETS
2009
IEEE
117views Hardware» more  ETS 2009»
14 years 7 months ago
A Two Phase Approach for Minimal Diagnostic Test Set Generation
We optimize the full-response diagnostic fault dictionary from a given test set. The smallest set of vectors is selected without loss of diagnostic resolution of the given test se...
Mohammed Ashfaq Shukoor, Vishwani D. Agrawal