Sciweavers

1114 search results - page 29 / 223
» Validating optimizations of concurrent C C programs
Sort
View

Source Code
1476views
17 years 10 days ago
Simplex Optimization Using Vtk 4.2
A C++ program that utilizes the quick and accurate implementation of the simplex method (i.e., unconstrained nonlinear optimization) using vtk 4.2.
M. Sabry Hassouna
DAC
1997
ACM
15 years 3 months ago
Developing a Concurrent Methodology for Standard-Cell Library Generation
Abstract - This paper describes the development of a concurrent methodology for standard cell library generation. Use of a novel physical design automation method enables a high de...
Donald G. Baltus, Thomas Varga, Robert C. Armstron...
SIGCSE
2008
ACM
92views Education» more  SIGCSE 2008»
14 years 11 months ago
Patterns for programming in parallel, pedagogically
Pipeline, Delta, and Black Hole are three simple patterns used in concurrent software design. We recently presented these and other patterns for parallelism at a nine-hour worksho...
Matthew C. Jadud, Jon Simpson, Christian L. Jacobs...
IPPS
2000
IEEE
15 years 3 months ago
Real-Time Transaction Processing Using Two-Stage Validation in Broadcast Disks
Conventional concurrency control protocols are inapplicable in mobile computing environments due to a number of constraints of wireless communications. In this paper, we design a p...
Kwok-Wa Lam, Victor C. S. Lee, Sang Hyuk Son
DAC
2000
ACM
16 years 7 days ago
Compiling Esterel into sequential code
This paper presents a novel compiler for Esterel, a concurrent synchronous imperative language. It generates fast, small object code by compiling away concurrency, producing a sin...
Stephen A. Edwards