Sciweavers

762 search results - page 93 / 153
» Conditionally correct superoptimization
Sort
View
HPCA
2005
IEEE
14 years 10 months ago
Improving Multiple-CMP Systems Using Token Coherence
Improvements in semiconductor technology now enable Chip Multiprocessors (CMPs). As many future computer systems will use one or more CMPs and support shared memory, such systems ...
Michael R. Marty, Jesse D. Bingham, Mark D. Hill, ...
ESOP
2010
Springer
14 years 4 months ago
A Universal Calculus for Stream Processing Languages
Stream processing applications such as algorithmic trading, MPEG processing, and web content analysis are ubiquitous and essential to business and entertainment. Language designers...
Robert Soulé, Martin Hirzel, Robert Grimm, ...
BMCBI
2010
117views more  BMCBI 2010»
13 years 10 months ago
New decoding algorithms for Hidden Markov Models using distance measures on labellings
Background: Existing hidden Markov model decoding algorithms do not focus on approximately identifying the sequence feature boundaries. Results: We give a set of algorithms to com...
Daniel G. Brown 0001, Jakub Truszkowski
ICCV
2003
IEEE
14 years 12 months ago
Appearance Sampling for Obtaining A Set of Basis Images for Variable Illumination
Previous studies have demonstrated that the appearance of an object under varying illumination conditions can be represented by a low-dimensional linear subspace. A set of basis i...
Imari Sato, Takahiro Okabe, Yoichi Sato, Katsushi ...
VLDB
2007
ACM
126views Database» more  VLDB 2007»
14 years 10 months ago
Querying Complex Structured Databases
Correctly generating a structured query (e.g., an XQuery or a SQL query) requires the user to have a full understanding of the database schema, which can be a daunting task. Alter...
Cong Yu, H. V. Jagadish