Sciweavers

1179 search results - page 226 / 236
» Event Model Interfaces for Heterogeneous System Analysis
Sort
View
CHI
2006
ACM
14 years 8 months ago
The springboard: multiple modes in one spring-loaded control
Modes allow a few inputs to invoke many operations, yet if a user misclassifies or forgets the state of a system, modes can result in errors. Spring-loaded modes (quasimodes) main...
Edward Cutrell, François Guimbretièr...
TACAS
2009
Springer
131views Algorithms» more  TACAS 2009»
14 years 2 months ago
Verifying Reference Counting Implementations
Reference counting is a widely-used resource management idiom which maintains a count of references to each resource by incrementing the count upon an acquisition, and decrementing...
Michael Emmi, Ranjit Jhala, Eddie Kohler, Rupak Ma...
ISCC
2007
IEEE
109views Communications» more  ISCC 2007»
14 years 2 months ago
MBMS Power Planning in Macro and Micro Cell Environments
Multimedia Broadcast Multicast Services (MBMS), introduced in Third Generation Partnership Project (3GPP) Release 6, is a point-to-multipoint downlink bearer service that addresse...
Antonios G. Alexiou, Christos Bouras, Vasileios Ko...
MM
2003
ACM
145views Multimedia» more  MM 2003»
14 years 29 days ago
Proscenium: a framework for spatio-temporal video editing
We present an approach to video editing where movie sequences are treated as spatio-temporal volumes that can be sheered and warped under user control. This simple capability enab...
Eric P. Bennett, Leonard McMillan
ATAL
2006
Springer
13 years 9 months ago
ReAgents: behavior-based remote agents and their performance
We present a performance analysis of an agent-based middleware system we have developed based on "reAgents," remotely executing agents that enhance the performance of cl...
Eugene Hung, Joseph Pasquale