Sciweavers

1279 search results - page 159 / 256
» Fast Implementations of Automata Computations
Sort
View
119
Voted
SC
1991
ACM
15 years 6 months ago
Performance results for two of the NAS parallel benchmarks
Two problems from the recently published “NAS Parallel Benchmarks” have been implemented on three advanced parallel computer systems. These two benchmarks are the following: (...
David H. Bailey, Paul O. Frederickson
131
Voted
ICCAD
2010
IEEE
117views Hardware» more  ICCAD 2010»
15 years 19 days ago
A synthesis flow for digital signal processing with biomolecular reactions
Abstract--We present a methodology for implementing digital signal processing (DSP) operations such as filtering with biomolecular reactions. From a DSP specification, we demonstra...
Hua Jiang, Aleksandra P. Kharam, Marc D. Riedel, K...
160
Voted
PPSN
1994
Springer
15 years 6 months ago
Genetic L-System Programming
We present the Genetic L-System Programming (GLP) paradigm for evolutionary creation and development of parallel rewrite systems (Lsystems, Lindenmayer-systems) which provide a com...
Christian Jacob
119
Voted
DLOG
2004
15 years 4 months ago
A Uniform Tableaux-Based Approach to Concept Abduction and Contraction in ALN
We present algorithms based on truth-prefixed tableaux to solve both Concept Abduction and Contraction in ALN DL. We also analyze the computational complexity of the problems, sho...
Simona Colucci, Tommaso Di Noia, Eugenio Di Sciasc...
157
Voted
OPODIS
2004
15 years 4 months ago
Embedded Systems - Challenges and Work Directions
Embedded Systems are components integrating software and hardware jointly and specifically designed to provide given functionalities. These components may be used in many different...
Joseph Sifakis