Sciweavers

673 search results - page 28 / 135
» A timing model for synchronous language implementations in s...
Sort
View
GECCO
2004
Springer
125views Optimization» more  GECCO 2004»
14 years 1 months ago
An Island-Based GA Implementation for VLSI Standard-Cell Placement
Genetic algorithms require relatively large computation time to solve optimization problems, especially in VLSI CAD such as module placement. Therefore, island-based parallel GAs a...
Guangfa Lu, Shawki Areibi
ANLP
1994
113views more  ANLP 1994»
13 years 9 months ago
Real-Time Spoken Language Translation Using Associative Processors
This paper proposes a model using associative processors (APs) for real-time spoken language translation. Spoken language translation requires (1) an accurate translation and (2) ...
Kozo Oi, Eiichiro Sumita, Osamu Furuse, Hitoshi Ii...
LCTRTS
2005
Springer
14 years 1 months ago
Cache aware optimization of stream programs
Effective use of the memory hierarchy is critical for achieving high performance on embedded systems. We focus on the class of streaming applications, which is increasingly preval...
Janis Sermulins, William Thies, Rodric M. Rabbah, ...
CAV
2012
Springer
251views Hardware» more  CAV 2012»
11 years 10 months ago
A Model Checker for Hierarchical Probabilistic Real-Time Systems
Real-life systems are usually hard to control, due to their complicated structures, quantitative time factors and even stochastic behaviors. In this work, we present a model checke...
Songzheng Song, Jun Sun 0001, Yang Liu 0003, Jin S...
EMSOFT
2001
Springer
14 years 5 days ago
Giotto: A Time-Triggered Language for Embedded Programming
rovides an abstract programmer’s model for the implementation of embedded control systems with hard real-time constraints. A typical control application consists of periodic soft...
Thomas A. Henzinger, Benjamin Horowitz, Christoph ...