Sciweavers

734 search results - page 55 / 147
» Design and implementation of expressive footwear
Sort
View
DAC
2000
ACM
14 years 10 months ago
The use of carry-save representation in joint module selection and retiming
Joint module selection and retiming is a powerful technique to optimize the implementation cost and the speed of a circuit specified using a synchronous data-flow graph (DFG). In ...
Zhan Yu, Kei-Yong Khoo, Alan N. Willson Jr.
WICSA
2008
13 years 10 months ago
Using Types to Enforce Architectural Structure
The right software architecture is critical to achieving essential quality attributes, but these qualities are only realized if the program as implemented conforms to its intended...
Jonathan Aldrich
POPL
2007
ACM
14 years 9 months ago
Data parallel Haskell: a status report
We describe the design and current status of our effort to implement the programming model of nested data parallelism into the Glasgow Haskell Compiler. We extended the original p...
Manuel M. T. Chakravarty, Roman Leshchinskiy, Simo...
VLDB
2007
ACM
128views Database» more  VLDB 2007»
14 years 9 months ago
Periscope/SQ: Interactive Exploration of Biological Sequence Databases
Life science laboratories today have to rely on procedural techniques to store and manage large sequence datasets. Procedural techniques are cumbersome to use and are often very i...
Sandeep Tata, Willis Lang, Jignesh M. Patel
SIGMOD
2002
ACM
145views Database» more  SIGMOD 2002»
14 years 9 months ago
Continuously adaptive continuous queries over streams
We present a continuously adaptive, continuous query (CACQ) implementation based on the eddy query processing framework. We show that our design provides significant performance b...
Samuel Madden, Mehul A. Shah, Joseph M. Hellerstei...