Sciweavers

2201 search results - page 203 / 441
» Improvement of ASIC Design Processes
Sort
View
183
Voted
PPOPP
2003
ACM
15 years 9 months ago
Optimizing data aggregation for cluster-based internet services
Large-scale cluster-based Internet services often host partitioned datasets to provide incremental scalability. The aggregation of results produced from multiple partitions is a f...
Lingkun Chu, Hong Tang, Tao Yang, Kai Shen
148
Voted
IJSNET
2011
110views more  IJSNET 2011»
14 years 10 months ago
Sensor integration for perinatology research
— The numbers of high-risk pregnancies and premature births are increasing due to the steadily higher age at which women get pregnant. The long-term quality of life of the neonat...
Wei Chen, Jun Hu, Sibrecht Bouwstra, Sidarto Bamba...
133
Voted
ERCIMDL
2005
Springer
109views Education» more  ERCIMDL 2005»
15 years 9 months ago
MedioVis - A User-Centred Library Metadata Browser
MedioVis is a visual information seeking system which was designed especially for library data. The objective target was to create a system which simplifies and optimizes the userâ...
Christian Grün, Jens Gerken, Hans-Christian J...
ICCD
2004
IEEE
106views Hardware» more  ICCD 2004»
16 years 20 days ago
Energy Characterization of Hardware-Based Data Prefetching
This paper evaluates several hardware-based data prefetching techniques from an energy perspective, and explores their energy/performance tradeoffs. We present detailed simulation...
Yao Guo, Saurabh Chheda, Israel Koren, C. Mani Kri...
110
Voted
DAC
2009
ACM
15 years 10 months ago
Beyond verification: leveraging formal for debugging
The latest advancements in the commercial formal model checkers have enabled the integration of formal property verification with the conventional testbench based methods in the o...
Rajeev K. Ranjan, Claudionor Coelho, Sebastian Ska...