Sciweavers

11 search results - page 3 / 3
» Spanning Large Workspaces Using Small Haptic Devices
Sort
View
125
Voted
POPL
2010
ACM
16 years 4 days ago
Continuity Analysis of Programs
We present an analysis to automatically determine if a program represents a continuous function, or equivalently, if infinitesimal changes to its inputs can only cause infinitesim...
Swarat Chaudhuri, Sumit Gulwani, Roberto Lublinerm...