Sciweavers

99 search results - page 1 / 20
» The Implementation of the Cilk-5 Multithreaded Language
Sort
View
PLDI
1998
ACM
13 years 9 months ago
The Implementation of the Cilk-5 Multithreaded Language
The fth release of the multithreaded language Cilk uses a provably good \work-stealing" scheduling algorithm similar to the rst system, but the language has been completely r...
Matteo Frigo, Charles E. Leiserson, Keith H. Randa...
TLDI
2010
ACM
225views Formal Methods» more  TLDI 2010»
14 years 1 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...
IPPS
2000
IEEE
13 years 9 months ago
Online Computation of Critical Paths for Multithreaded Languages
We have developed an instrumentation scheme that enables programs written in multithreaded languages to compute a critical path at run time.Our scheme gives not only the length (ex...
Yoshihiro Oyama, Kenjiro Taura, Akinori Yonezawa
HOLOMAS
2009
Springer
13 years 9 months ago
Design and Implementation of LabVIEW-Based IEC61499 Compliant Device
The method of IEC 61499 compliant device implementation with the National Instruments LabVIEW is proposed. The work focuses on these aspects of the tasks of the event generation an...
Grzegorz Polaków, Mieczyslaw Metzger
CORR
2009
Springer
87views Education» more  CORR 2009»
13 years 2 months ago
A Concurrent Language with a Uniform Treatment of Regions and Locks
A challenge for programming language research is to design and implement multi-threaded low-level languages providing static guarantees for memory safety and freedom from data rac...
Prodromos Gerakios, Nikolaos Papaspyrou, Konstanti...