Sciweavers

5111 search results - page 768 / 1023
» The Embedded Systems Design Challenge
Sort
View
SIGSOFT
2001
ACM
16 years 7 months ago
An empirical methodology for introducing software processes
There is a growing interest in empirical study in software engineering, both for validating mature technologies and for guiding improvements of less-mature technologies. This pape...
Forrest Shull, Jeffrey Carver, Guilherme Travassos
CHI
2010
ACM
16 years 1 months ago
Home, habits, and energy: examining domestic interactions and energy consumption
This paper presents findings from a qualitative study of people’s everyday interactions with energy-consuming products and systems in the home. Initial results from a large onli...
James Pierce, Diane J. Schiano, Eric Paulos
ICECCS
2009
IEEE
161views Hardware» more  ICECCS 2009»
16 years 1 months ago
Formal Modelling and Analysis of Business Information Applications with Fault Tolerant Middleware
Distributed information systems are critical to the functioning of many businesses; designing them to be dependable is a challenging but important task. We report our experience i...
Jeremy Bryans, John S. Fitzgerald, Alexander Roman...
DATE
2007
IEEE
105views Hardware» more  DATE 2007»
16 years 1 months ago
Understanding voltage variations in chip multiprocessors using a distributed power-delivery network
— Recent efforts to address microprocessor power dissipation through aggressive supply voltage scaling and power management require that designers be increasingly cognizant of po...
Meeta Sharma Gupta, Jarod L. Oatley, Russ Joseph, ...
HICSS
2007
IEEE
141views Biometrics» more  HICSS 2007»
16 years 29 days ago
Second-Best Combinatorial Auctions - The Case of the Pricing-Per-Column Mechanism
One of the main contributions of classical mechanism design is the derivation of the Groves mechanisms. The class of Groves mechanisms are the only mechanisms that are strategy-pr...
Dirk Neumann, Björn Schnizler, Ilka Weber, Ch...