Sciweavers

2466 search results - page 74 / 494
» Concurrent Clustered Programming
Sort
View
DATE
2009
IEEE
111views Hardware» more  DATE 2009»
14 years 3 months ago
Enabling concurrent clock and power gating in an industrial design flow
— Clock-gating and power-gating have proven to be very effective solutions for reducing dynamic and static power, respectively. The two techniques may be coupled in such a way th...
Leticia Maria Veiras Bolzani, Andrea Calimera, Alb...
TLDI
2009
ACM
122views Formal Methods» more  TLDI 2009»
14 years 5 months ago
Towards type-theoretic semantics for transactional concurrency
We propose a dependent type theory that integrates programming, specifications, and reasoning about higher-order concurrent programs with shared transactional memory. The design ...
Aleksandar Nanevski, Paul Govereau, Greg Morrisett
IPPS
1999
IEEE
14 years 1 months ago
Developing Parallel Applications Using the JAVAPORTS Environment
The JavaPorts system is an environment that facilitates the rapid development of modular, reusable, Java-based parallel and distributed applications for networked machines with het...
Demetris G. Galatopoullos, Elias S. Manolakos
HIS
2003
13 years 10 months ago
Concurrent Application of Genetic Algorithm in Pattern Recognition
Abstract. This paper proposes the fitness control procedure for the application of genetic algorithms (GA) in pattern recognition. Instead of using GA to solve a concomitant optim...
Mario Köppen, Evgenia Dimitriadou
IPPS
2008
IEEE
14 years 3 months ago
A deterministic multi-way rendezvous library for haskell
The advent of multicore processors requires mainstream concurrent programming languages with high level concurrency constructs and effective debugging techniques. Unfortunately, m...
Nalini Vasudevan, Satnam Singh, Stephen A. Edwards