1222 search results - page 175 / 245 » Verifying a File System Implementation |
102
click to vote
CHI
2006
ACM
16 years 2 months ago
2006
ACM
We describe an implementation that has users `flick' notes, images, audio, and video files onto virtual piles beyond the display of small-screen devices. This scheme allows P...
135
click to vote
ACMSE
2005
ACM
15 years 8 months ago
2005
ACM
The CECA VisLab is currently investigating the educational uses of a GeoWall 3D Stereo Rendering system. Many commercial and non-commercial programs are currently available for ge...
103
click to vote
SC
2004
ACM
15 years 7 months ago
2004
ACM
Programmers of message-passing codes for clusters of workstations face a daunting challenge in understanding the performance bottlenecks of their applications. This is largely due...
117
Voted
SERVICES
2010
15 years 3 months ago
2010
Abstract--Conducting valid comparative evaluations of techniques in the field of Music Information Retrieval (MIR) presents particular challenges to MIR researchers due to issues o...
104
Voted
GEOINFO
2007
15 years 3 months ago
2007
This work aims at increasing the development productivity of the Geographic Information Systems through the MDA. We defined an UML extension which adds geographic information to th...