4166 search results - page 174 / 834 » Automating the constraining process |
146
click to vote
ITC
1994
IEEE
15 years 7 months ago
1994
IEEE
Previous approaches to designing random pattern testable circuits use post-synthesis test point insertion to eliminate random pattern resistant (r.p.r.) faults. The approach taken...
127
click to vote
COMPSAC
2007
IEEE
15 years 7 months ago
2007
IEEE
Despite the availability of a variety of program analysis tools, evaluation of these tools is difficult, as only few benchmark suites exist. Existing benchmark suites lack the uni...
143
click to vote
EDOC
2007
IEEE
15 years 7 months ago
2007
IEEE
The decentralized process of configuring enterprise applications is complex and error-prone, involving multiple participants/roles and numerous configuration changes across multipl...
132
click to vote
HICSS
2009
IEEE
15 years 7 months ago
2009
IEEE
Humans use computers to carry out tasks that neither is able to do easily alone: humans provide eyes, hands, and judgment while computers provide computation, networking, and stor...
224
click to vote
ATAL
2008
Springer
15 years 5 months ago
2008
Springer
Multi-Agent Reinforcement Learning (MARL) algorithms suffer from slow convergence and even divergence, especially in large-scale systems. In this work, we develop a supervision fr...