Sciweavers

760 search results - page 50 / 152
» A visualization system for multithreaded programming
Sort
View
SIGGRAPH
2009
ACM
15 years 4 months ago
InTune: a musician's intonation visualization system
We present a freely downloadable program, InTune, designed to help musicians better hear and improve their intonation. The program uses the musical score from which the musician p...
Kyung Ae Lim, Christopher Raphael
CHI
2003
ACM
15 years 10 months ago
Fusion: interactive coordination of diverse data, visualizations, and mining algorithms
Fusion is a web-based system that enables end-users to rapidly and dynamically construct personalized visualization workspaces without programming. Users first use advanced data s...
Chris North, Nathan Conklin, Kiran Indukuri, Varun...
IJACTAICIT
2010
95views more  IJACTAICIT 2010»
14 years 7 months ago
Expert System Design of Two Electrostatic Lenses Column by Mixing Dynamic Programming and AI Techniques
This paper have shown an expert system design by using optimization methods for the Focused ion beam FIB optical system, by mixing the dynamic programming procedure and artificial...
Fadhil A. Ali
TLDI
2010
ACM
210views Formal Methods» more  TLDI 2010»
15 years 6 months ago
Effects for cooperable and serializable threads
Reasoning about the correctness of multithreaded programs is complicated by the potential for unexpected interference between threads. Previous work on controlling thread interfer...
Jaeheon Yi, Cormac Flanagan
ECOOP
2006
Springer
15 years 1 months ago
Session Types for Object-Oriented Languages
A session takes place between two parties; after establishing a connection, each party interleaves local computations and communications (sending or receiving) with the other. Ses...
Mariangiola Dezani-Ciancaglini, Dimitris Mostrous,...