Sciweavers

5377 search results - page 702 / 1076
» Programming Languages For Interactive Computing
Sort
View
HPCA
2006
IEEE
15 years 11 months ago
Speculative synchronization and thread management for fine granularity threads
Performance of multithreaded programs is heavily influenced by the latencies of the thread management and synchronization operations. Improving these latencies becomes especially...
Alex Gontmakher, Avi Mendelson, Assaf Schuster, Gr...
NIME
2004
Springer
155views Music» more  NIME 2004»
15 years 10 months ago
A New Mix of Forgotten Technology: Sound Generation, Sequencing and Performance Using an Optical Turntable
This report presents a novel interface for musical performance which utilizes a record-player turntable augmented with a computation engine and a high-density optical sensing arra...
Nikita Pashenkov
155
Voted
VSTTE
2010
Springer
15 years 2 months ago
Dafny Meets the Verification Benchmarks Challenge
A suite of verification benchmarks for software verification tools and techniques, presented at VSTTE 2008 [11], provides an initial catalogue of benchmark challenges for the Verif...
K. Rustan M. Leino, Rosemary Monahan
140
Voted
ASSETS
2006
ACM
15 years 11 months ago
Dynamically adapting GUIs to diverse input devices
Many of today’s desktop applications are designed for use with a pointing device and keyboard. Someone with a disability, or in a unique environment, may not be able to use one ...
Scott Carter, Amy Hurst, Jennifer Mankoff, Jack Li
WOMPAT
2004
Springer
15 years 10 months ago
Dragon: A Static and Dynamic Tool for OpenMP
A program analysis tool can play an important role in helping users understand and improve OpenMP codes. Dragon is a robust interactive program analysis tool based on the Open64 co...
Oscar Hernandez, Chunhua Liao, Barbara M. Chapman