425 search results - page 32 / 85 » Automated Synthesis of Multitolerance |
102
click to vote
DATE
2010
IEEE
15 years 8 months ago
2010
IEEE
— Pattern recognition has many applications in design automation. A generalized pattern recognition algorithm is presented in this paper which can efficiently extract similar pat...
110
Voted
ICFEM
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. Automated verification of memory safety and functional correctness for heap-manipulating programs has been a challenging task, especially when dealing with complex data ...
132
Voted
TCAD
2010
14 years 10 months ago
2010
Clock mesh networks are well known for their variation tolerance. But their usage is limited to high-end designs due to the significantly high resource requirements compared to clo...
108
click to vote
DAC
2000
ACM
16 years 4 months ago
2000
ACM
The idea of Force-Directed Scheduling (FDS) was first introduced by Paulin and Knight to minimize the number of resources required in the high-level synthesis of high-throughput A...
228
Voted
ICLP
2009
Springer
16 years 3 months ago
2009
Springer
PRISM is a probabilistic extension of Prolog. It is a high level language for probabilistic modeling capable of learning statistical parameters from observed data. After reviewing ...