4 search results - page 1 / 1 » SeismoSpin: a physical instrument for digital data |
CHI
2003
ACM
13 years 10 months ago
2003
ACM
SeismoSpin is a novel interactive instrument designed around a “Disc-Jockey/mixer” metaphor that gives seismologists a quick and powerful way to explore earthquake data. The c...
PLDI
2003
ACM
13 years 10 months ago
2003
ACM
CCured is a program transformation system that adds memory safety guarantees to C programs by verifying statically that memory errors cannot occur and by inserting run-time checks...
AVI
2006
13 years 6 months ago
2006
Mixed reality systems seek to smoothly link the physical and data processing (digital) environments. Although mixed reality systems are becoming more prevalent, we still do not ha...
CLOUD
2010
ACM
13 years 10 months ago
2010
ACM
Virtualization is often used in cloud computing platforms for its several advantages in efficiently managing resources. However, virtualization raises certain additional challeng...