Sciweavers

561 search results - page 62 / 113
» Multithreaded programming in Cilk
Sort
View
ASPLOS
2012
ACM
12 years 6 months ago
Scalable address spaces using RCU balanced trees
Software developers commonly exploit multicore processors by building multithreaded software in which all threads of an application share a single address space. This shared addre...
Austin T. Clements, M. Frans Kaashoek, Nickolai Ze...

Book
349views
15 years 7 months ago
Thinking in Java
"Much of the motivation and effort for this edition is to bring the book up to date with the Java JDK 1.4 release of the language. However, it has also become clear that most ...
Jolt Award
ICSE
2009
IEEE-ACM
14 years 12 months ago
Effective static deadlock detection
We present an effective static deadlock detection algorithm for Java. Our algorithm uses a novel combination of static analyses each of which approximates a different necessary co...
Mayur Naik, Chang-Seo Park, Koushik Sen, David Gay
FCCM
2007
IEEE
101views VLSI» more  FCCM 2007»
14 years 5 months ago
Mapping Real Time Operating System on Reconfigurable Instruction Cell Based Architectures
This paper presents the porting of an RTOS Micro C/OS-II on a novel reconfigurable instruction cell based architecture which fills the gap between DSP, FPGA and ASIC with high per...
Han Wei, Mark Muir, Ioannis Nousias, Tughrul Arsla...
CAV
2010
Springer
201views Hardware» more  CAV 2010»
14 years 3 months ago
Contessa: Concurrency Testing Augmented with Symbolic Analysis
Testing of multi-threaded programs poses enormous challenges. To improve the coverage of testing, we present a framework named CONTESSA that augments conventional testing (concrete...
Sudipta Kundu, Malay K. Ganai, Chao Wang