Sciweavers

2035 search results - page 186 / 407
» Working memory
Sort
View
121
Voted
CODES
2001
IEEE
15 years 7 months ago
Formal synthesis and code generation of embedded real-time software
Due to rapidly increasing system complexity, shortening time-tomarket, and growing demand for hard real-time systems, formal methods are becoming indispensable in the synthesis of...
Pao-Ann Hsiung
138
Voted
ISHPC
2000
Springer
15 years 7 months ago
Automatic Generation of OpenMP Directives and Its Application to Computational Fluid Dynamics Codes
The shared-memory programming model is a very effective way to achieve parallelism on shared memory parallel computers. As great progress was made in hardware and software technolo...
Haoqiang Jin, Michael A. Frumkin, Jerry C. Yan
152
Voted
SC
1995
ACM
15 years 7 months ago
Predicting Application Behavior in Large Scale Shared-memory Multiprocessors
In this paper we present an analytical-based framework for parallel program performance prediction. The main thrust of this work is to provide a means for treating realistic appli...
Karim Harzallah, Kenneth C. Sevcik
120
Voted
ASPLOS
2008
ACM
15 years 5 months ago
Concurrency control with data coloring
Concurrency control is one of the main sources of error and complexity in shared memory parallel programming. While there are several techniques to handle concurrency control such...
Luis Ceze, Christoph von Praun, Calin Cascaval, Pa...
149
Voted
ECTEL
2008
Springer
15 years 5 months ago
Knowledge Management in the Communities of Practice of e-Learning
Abstract. A lot of research has been done to promote and develop good elearning models, practices, and technological environments. However, fewer efforts were deployed to support e...
Akila Sarirete