Sciweavers

623 search results - page 115 / 125
» Velocity-Dependent Dynamic Manipulability
Sort
View
173
Voted
VIS
2004
IEEE
169views Visualization» more  VIS 2004»
16 years 4 months ago
Rendering Implicit Flow Volumes
Traditional flow volumes construct an explicit geometrical or parametrical representation from the vector field. The geometry is updated interactively and then rendered using an u...
Daqing Xue, Caixia Zhang, Roger Crawfis
114
Voted
SIGSOFT
2008
ACM
16 years 4 months ago
Doloto: code splitting for network-bound web 2.0 applications
Modern Web 2.0 applications, such as GMail, Live Maps, Facebook and many others, use a combination of Dynamic HTML, JavaScript and other Web browser technologies commonly referred...
V. Benjamin Livshits, Emre Kiciman
174
Voted
WWW
2002
ACM
16 years 4 months ago
Clustering for opportunistic communication
We describe ongoing work on I2I, a system aimed at fostering opportunistic communication among users viewing or manipulating content on the Web and in productivity applications. U...
Jay Budzik, Shannon Bradshaw, Xiaobin Fu, Kristian...
257
Voted
POPL
2009
ACM
16 years 4 months ago
A combination framework for tracking partition sizes
ibe an abstract interpretation based framework for proving relationships between sizes of memory partitions. Instances of this framework can prove traditional properties such as m...
Sumit Gulwani, Tal Lev-Ami, Mooly Sagiv
246
Voted
ECOOP
2009
Springer
16 years 4 months ago
Failboxes: Provably Safe Exception Handling
The primary goal of exception mechanisms is to help ensure that when an operation fails, code that depends on the operation's successful completion is not executed (a property...
Bart Jacobs 0002, Frank Piessens