Sciweavers

226 search results - page 31 / 46
» Modular Compilation of a Synchronous Language
Sort
View
102
Voted
FCCM
2007
IEEE
108views VLSI» more  FCCM 2007»
15 years 6 months ago
Configurable Transactional Memory
Programming efficiency of heterogeneous concurrent systems is limited by the use of lock-based synchronization mechanisms. Transactional memories can greatly improve the programmi...
Christoforos Kachris, Chidamber Kulkarni
OOPSLA
2004
Springer
15 years 5 months ago
Practical predicate dispatch
Predicate dispatch is an object-oriented (OO) language mechanism for determining the method implementation to be invoked upon a message send. With predicate dispatch, each method ...
Todd D. Millstein
118
Voted
TLDI
2010
ACM
225views Formal Methods» more  TLDI 2010»
15 years 8 months ago
Race-free and memory-safe multithreading: design and implementation in cyclone
We present the design of a formal low-level multi-threaded language with advanced region-based memory management and synchronization primitives, where well-typed programs are memo...
Prodromos Gerakios, Nikolaos Papaspyrou, Konstanti...
ICMCS
2000
IEEE
90views Multimedia» more  ICMCS 2000»
15 years 4 months ago
Extension of SMIL with QoS Control and its Implementation
In this paper, we propose a language called QOS-SMIL where some QoS guarantee statements are added to a subclass of SMIL, and give its implementation technique. In QOS-SMIL, in ad...
Yoshiki Terashima, Keiichi Yasumoto, Teruo Higashi...
94
Voted
PROCEDIA
2010
148views more  PROCEDIA 2010»
14 years 6 months ago
SysCellC: a data-flow programming model on multi-GPU
High performance computing with low cost machines becomes a reality with GPU. Unfortunately, high performances are achieved when the programmer exploits the architectural specific...
Dominique Houzet, Sylvain Huet, Anis Rahman