Sciweavers

3095 search results - page 413 / 619
» Ubiquitous presence systems
Sort
View
POPL
2003
ACM
14 years 10 months ago
Static prediction of heap space usage for first-order functional programs
We show how to efficiently obtain linear a priori bounds on the heap space consumption of first-order functional programs. The analysis takes space reuse by explicit deallocation ...
Martin Hofmann, Steffen Jost
ICCAD
2008
IEEE
150views Hardware» more  ICCAD 2008»
14 years 7 months ago
Performance estimation and slack matching for pipelined asynchronous architectures with choice
— This paper presents a fast analytical method for estimating the throughput of pipelined asynchronous systems, and then applies that method to develop a fast solution to the pro...
Gennette Gill, Vishal Gupta, Montek Singh
ICCAD
2004
IEEE
118views Hardware» more  ICCAD 2004»
14 years 7 months ago
Optimizing mode transition sequences in idle intervals for component-level and system-level energy minimization
New embedded systems offer rich power management features in the form of multiple operational and non-operational power modes. While they offer mechanisms for better energy effic...
Jinfeng Liu, Pai H. Chou
HICSS
2010
IEEE
170views Biometrics» more  HICSS 2010»
14 years 5 months ago
Artifacts as Instant Messaging Buddies
Interpersonal awareness is one person’s up-to-the moment knowledge about other group members, while artifact awareness is one person’s up-to-the-moment knowledge about other g...
Saul Greenberg, Stephen Voida, Nathan Stehr, Kimbe...
ICDE
2009
IEEE
143views Database» more  ICDE 2009»
14 years 5 months ago
Supporting Generic Cost Models for Wide-Area Stream Processing
— Existing stream processing systems are optimized for a specific metric, which may limit their applicability to diverse applications and environments. This paper presents XFlow...
Olga Papaemmanouil, Ugur Çetintemel, John J...