Sciweavers

2899 search results - page 307 / 580
» Engineering Optimization Using a Simple Evolutionary Algorit...
Sort
View
142
Voted
LCTRTS
2010
Springer
15 years 11 months ago
Versatile system-level memory-aware platform description approach for embedded MPSoCs
In this paper, we present a novel system modeling language which targets primarily the development of source-level multiprocessor memory aware optimizations. In contrast to previo...
Robert Pyka, Felipe Klein, Peter Marwedel, Stylian...
GLVLSI
2002
IEEE
160views VLSI» more  GLVLSI 2002»
15 years 9 months ago
Computing walsh, arithmetic, and reed-muller spectral decision diagrams using graph transformations
Spectral techniques have found many applications in computeraided design, including synthesis, verification, and testing. Decision diagram representations permit spectral coeffici...
Whitney J. Townsend, Mitchell A. Thornton, Rolf Dr...
NOSSDAV
1995
Springer
15 years 8 months ago
Meeting Arbitrary QoS Constraints Using Dynamic Rate Shaping of Coded Digital Video
Abstract. We introduce the concept of Dynamic Rate Shaping, a technique to adapt the rate ofcompressed video bitstreams MPEG-1, MPEG2, H.261, as well as JPEG to dynamically varyi...
Alexandros Eleftheriadis, Dimitris Anastassiou
CIARP
2006
Springer
15 years 8 months ago
Alignment of Paragraphs in Bilingual Texts Using Bilingual Dictionaries and Dynamic Programming
Parallel text alignment is a special type of pattern recognition task aimed to discover the similarity between two sequences of symbols. Given the same text in two different langua...
Alexander F. Gelbukh, Grigori Sidorov
DAC
2007
ACM
16 years 5 months ago
On Resolution Proofs for Combinational Equivalence
Modern combinational equivalence checking (CEC) engines are complicated programs which are difficult to verify. In this paper we show how a modern CEC engine can be modified to pr...
Satrajit Chatterjee, Alan Mishchenko, Robert K. Br...