Sciweavers

9110 search results - page 477 / 1822
» Formally-Based Design Evaluation
Sort
View
161
Voted
PATMOS
2007
Springer
16 years 29 days ago
Exploiting Input Variations for Energy Reduction
The deep submicron semiconductor technologies will make the worst-case design impossible, since they can not provide design margins that it requires. Research directions should go ...
Toshinori Sato, Yuji Kunitake
FPL
2004
Springer
113views Hardware» more  FPL 2004»
16 years 7 days ago
An Evolvable Hardware Tutorial
Abstract. Evolvable Hardware (EHW) is a scheme - inspired by natural evolution, for automatic design of hardware systems. By exploring a large design search space, EHW may find so...
Jim Torresen
ICWE
2004
Springer
16 years 6 days ago
WAPS: Web Application Prototyping System
The growing demand for web applications and the new multi-user and multi-device requirements of these has led to the need for a structured and well-reasoned approach that helps bo...
Roberto Paiano, Andrea Pandurino
SIGMOD
2012
ACM
253views Database» more  SIGMOD 2012»
13 years 9 months ago
Skew-aware automatic database partitioning in shared-nothing, parallel OLTP systems
The advent of affordable, shared-nothing computing systems portends a new class of parallel database management systems (DBMS) for on-line transaction processing (OLTP) applicatio...
Andrew Pavlo, Carlo Curino, Stanley B. Zdonik
GI
2009
Springer
15 years 4 months ago
An Improved Method for creating Shared Belief in Communication Constrained Sensor Networks
: Networked systems that gather sensor data in order to react to phenomena in their surroundings are faced with a growing need for adaptive behavior to operate in dynamically chang...
Eelke van Foeken, Peter Hiemstra, Leon Kester