425 search results - page 32 / 85 » Automated Synthesis of Multitolerance |
DATE
2010
IEEE
14 years 19 days 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...
ICFEM
2010
Springer
13 years 6 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 ...
TCAD
2010
13 years 2 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...
DAC
2000
ACM
14 years 8 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...
ICLP
2009
Springer
14 years 8 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 ...