Sciweavers

779 search results - page 23 / 156
» A programming model for concurrent object-oriented programs
Sort
View
136
Voted
MM
2004
ACM
114views Multimedia» more  MM 2004»
15 years 7 months ago
ChucK: a programming language for on-the-fly, real-time audio synthesis and multimedia
In this paper, we describe ChucK – a programming language and programming model for writing precisely timed, concurrent audio synthesis and multimedia programs. Precise concurre...
Ge Wang, Perry R. Cook
OMER
2001
15 years 3 months ago
Implementing Function Block Adapters
: Function Block Adapters (FBAs) are new modeling elements, responsible for the connection of UML capsules and function blocks of the IEC 61131-3 standard. FBAs contain an interfac...
Torsten Heverhagen, Rudolf Tracht
CC
2012
Springer
227views System Software» more  CC 2012»
13 years 9 months ago
Programming Paradigm Driven Heap Analysis
The computational cost and precision of a shape style heap analysis is highly dependent on the way method calls are handled. This paper introduces a new approach to analyzing metho...
Mark Marron, Ondrej Lhoták, Anindya Banerje...
PLDI
2012
ACM
13 years 4 months ago
Fully automatic and precise detection of thread safety violations
Concurrent, object-oriented programs often use thread-safe library classes. Existing techniques for testing a thread-safe class either rely on tests using the class, on formal spe...
Michael Pradel, Thomas R. Gross