Sciweavers

1628 search results - page 289 / 326
» Dynamically Adaptive Parallel Programs
Sort
View
FMICS
2006
Springer
15 years 5 months ago
Test Coverage for Loose Timing Annotations
Abstract. The design flow of systems-on-a-chip (SoCs) identifies several abstraction levels higher than the Register-Transfer-Level that constitutes the input of the synthesis tool...
Claude Helmstetter, Florence Maraninchi, Laurent M...
IPM
2006
144views more  IPM 2006»
15 years 1 months ago
Analysis of multiple query reformulations on the web: The interactive information retrieval context
This study examines the facets and patterns of multiple Web query reformulations with a focus on reformulation sequences. Based on IR interaction models, it was presumed that quer...
Soo Young Rieh, Hong Iris Xie
131
Voted
PVLDB
2010
190views more  PVLDB 2010»
14 years 8 months ago
Efficient B-tree Based Indexing for Cloud Data Processing
A Cloud may be seen as a type of flexible computing infrastructure consisting of many compute nodes, where resizable computing capacities can be provided to different customers. T...
Sai Wu, Dawei Jiang, Beng Chin Ooi, Kun-Lung Wu
IEEEPACT
2008
IEEE
15 years 8 months ago
Multi-optimization power management for chip multiprocessors
The emergence of power as a first-class design constraint has fueled the proposal of a growing number of run-time power optimizations. Many of these optimizations trade-off power...
Ke Meng, Russ Joseph, Robert P. Dick, Li Shang
TSE
1998
176views more  TSE 1998»
15 years 1 months ago
Constructive Protocol Specification Using Cicero
—New protocols are often useful, but are hard to implement well. Protocol synthesis is a solution, but synthesized protocols can be slow. Implementing protocols will be even more...
Yen-Min Huang, Chinya V. Ravishankar