614 search results - page 115 / 123 » Design Methodology for a Modular Component Based Software Ar... |
109
Voted
SAT
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. We introduce a new conceptual model for representing and designing Stochastic Local Search (SLS) algorithms for the propositional satisfiability problem (SAT). Our model...
115
click to vote
TOMS
1998
15 years 1 days ago
1998
This paper presents the software architecture and implementation of the problem solving environment (PSE) PELLPACK for modeling physical objects described by partial differential ...
91
Voted
ASPDAC
2006
ACM
15 years 6 months ago
2006
ACM
- This paper presents an H.264/AVC baseline profile decoder based on a SoC platform design methodology. The overall decoding throughput is increased by optimized software and a ded...
128
click to vote
CASES
2003
ACM
15 years 5 months ago
2003
ACM
CRYPTONITE is a programmable processor tailored to the needs of crypto algorithms. The design of CRYPTONITE was based on an in-depth application analysis in which standard crypto ...
115
click to vote
DAC
2005
ACM
16 years 1 months ago
2005
ACM
We propose a system architecture for real-time hardware speech recognition on low-cost, power-constrained devices. The system is intended to support real-time speech-based user in...