Sciweavers

606 search results - page 43 / 122
» Library Miniaturization Using Static and Dynamic Information
Sort
View
AFP
2008
Springer
249views Formal Methods» more  AFP 2008»
14 years 2 months ago
An iTask Case Study: A Conference Management System
Workflow systems are automated systems in which tasks are coordinated by assigning them to either humans or computers. Contemporary workflow systems are static and not very flex...
Rinus Plasmeijer, Peter Achten, Pieter W. M. Koopm...
CC
2005
Springer
153views System Software» more  CC 2005»
14 years 1 months ago
Completeness Analysis for Incomplete Object-Oriented Programs
We introduce a new approach, called completeness analysis, to computing points-to sets for incomplete Java programs such as library modules or applications in the presence of dynam...
Jingling Xue, Phung Hua Nguyen
ATAL
2008
Springer
13 years 9 months ago
Dynamic scheduling of multi-media streams in home automation systems
A new trend in home automation is to integrate audio en video applications. However in current domotics systems, these are usually conFigured statically. We implemented a home aut...
Koen Vangheluwe, Wouter Souffriau, Katja Verbeeck,...
CVPR
2004
IEEE
14 years 9 months ago
Space-Time Video Completion
We present a method for space-time completion of large space-time "holes" in video sequences of complex dynamic scenes. The missing portions are filled-in by sampling sp...
Yonatan Wexler, Eli Shechtman, Michal Irani
HPCA
2005
IEEE
14 years 8 months ago
Software Directed Issue Queue Power Reduction
The issue logic of a superscalar processor dissipates a large amount of static and dynamic power. Furthermore, its power density makes it a hot-spot requiring expensive cooling sy...
Antonio González, Jaume Abella, Michael F. ...