Sciweavers

3273 search results - page 445 / 655
» Structured Design of Microelectromechanical Systems
Sort
View
TSD
2001
Springer
15 years 11 months ago
A New Czech Morphological Analyser ajka
This paper deals with the effective implementation of the new Czech morphological analyser ajka which is based on the algorithmic description of the Czech formal morphology. First...
Radek Sedlácek, Pavel Smrz
ISSS
2000
IEEE
128views Hardware» more  ISSS 2000»
15 years 11 months ago
Hardware Synthesis from SPDF Representation for Multimedia Applications
Even though high-level hardware synthesis from dataflow graphs becomes popular in designing DSP systems, currently used dataflow models are inefficient to deal with emerging multi...
Chanik Park, Soonhoi Ha
DATE
2010
IEEE
163views Hardware» more  DATE 2010»
15 years 10 months ago
Enhanced Q-learning algorithm for dynamic power management with performance constraint
- This paper presents a novel power management techniques based on enhanced Q-learning algorithms. By exploiting the submodularity and monotonic structure in the cost function of a...
Wei Liu, Ying Tan, Qinru Qiu
ASIAN
1999
Springer
114views Algorithms» more  ASIAN 1999»
15 years 10 months ago
Entailment of Non-structural Subtype Constraints
Entailment of subtype constraints was introduced for constraint simplification in subtype inference systems. Designing an efficient algorithm for subtype entailment turned out to...
Joachim Niehren, Tim Priesnitz
ISORC
1999
IEEE
15 years 10 months ago
Applying Use Cases for the Requirements Validation of Component-Based Real-Time Software
Component-based software development is a promising way to improve quality, time to market and handle the increasing complexity of software for real-time systems. In this paper th...
Wolfgang Fleisch