Sciweavers

4635 search results - page 833 / 927
» Modeling Design Knowledge on Structure
Sort
View
180
Voted
SIGMOD
2010
ACM
255views Database» more  SIGMOD 2010»
15 years 10 months ago
Indexing multi-dimensional data in a cloud system
Providing scalable database services is an essential requirement for extending many existing applications of the Cloud platform. Due to the diversity of applications, database ser...
Jinbao Wang, Sai Wu, Hong Gao, Jianzhong Li, Beng ...
SPAA
2010
ACM
15 years 10 months ago
Towards optimizing energy costs of algorithms for shared memory architectures
Energy consumption by computer systems has emerged as an important concern. However, the energy consumed in executing an algorithm cannot be inferred from its performance alone: i...
Vijay Anand Korthikanti, Gul Agha
POPL
2000
ACM
15 years 9 months ago
Modular Refinement of Hierarchic Reactive Machines
with existing analysis tools. Modular reasoning principles such as abstraction, compositional refinement, and assume-guarantee reasoning are well understood for architectural hiera...
Rajeev Alur, Radu Grosu
BMCBI
2006
103views more  BMCBI 2006»
15 years 5 months ago
Meta-All: a system for managing metabolic pathway information
Background: Many attempts are being made to understand biological subjects at a systems level. A major resource for these approaches are biological databases, storing manifold inf...
Stephan Weise, Ivo Grosse, Christian Klukas, Dirk ...
DAC
2005
ACM
16 years 6 months ago
Device and architecture co-optimization for FPGA power reduction
Device optimization considering supply voltage Vdd and threshold voltage Vt tuning does not increase chip area but has a great impact on power and performance in the nanometer tec...
Lerong Cheng, Phoebe Wong, Fei Li, Yan Lin, Lei He