Sciweavers

6978 search results - page 125 / 1396
» Reframing Requirements Analysis
Sort
View
SIGOPS
2010
113views more  SIGOPS 2010»
14 years 4 months ago
Energy proportionality for storage: impact and feasibility
This paper highlights the growing importance of storage energy consumption in a typical data center, and asserts that storage energy research should drive towards a vision of ener...
Jorge Guerra, Wendy Belluomini, Joseph S. Glider, ...
VLUDS
2010
163views Visualization» more  VLUDS 2010»
14 years 4 months ago
Modeling and visualizing urban sprawl and carbon footprints in Phoenix metropolitan area
Urban planners are dealing with problems of urban sprawl and CO2 emissions. The multidimensional character of these phenomena requires new analysis and visualization tools that ar...
Sebastian Petsch, Subhrajit Guhathakurta, Hans Hag...
AGI
2011
14 years 1 months ago
Multigame Playing by Means of UCT Enhanced with Automatically Generated Evaluation Functions
General Game Playing (GGP) contest provides a research framework suitable for developing and testing AGI approaches in game domain. In this paper, we propose a new modification of...
Karol Waledzik, Jacek Mandziuk
COMPGEOM
2011
ACM
14 years 1 months ago
Ant-sweep: a decentral strategy for cooperative cleaning in expanding domains
Several recent works considered cooperative cleaning in static and dynamic environments, which incorporates a swarm of simple robots cleaning an expanding region of contaminated c...
Thilo Beckmann, Rolf Klein, David Kriesel, Elmar L...
POPL
2011
ACM
14 years 24 days ago
Precise reasoning for programs using containers
Containers are general-purpose data structures that provide functionality for inserting, reading, removing, and iterating over elements. Since many applications written in modern ...
Isil Dillig, Thomas Dillig, Alex Aiken