4299 search results - page 487 / 860 » Concurrent Test Generation |
143
click to vote
DAC
1990
ACM
15 years 9 months ago
1990
ACM
Symbolic simulation involves evaluating circuit behavior using special symbolic values to encode a range of circuit operating conditions. In one simulation run, a symbolic simulat...
127
Voted
CAV
2010
Springer
15 years 9 months ago
2010
Springer
Abstract. We propose a purely implicit solution to the contextual assumption generation problem in assume-guarantee reasoning. Instead of improving the L∗ algorithm — a learnin...
129
Voted
PKDD
2000
Springer
15 years 8 months ago
2000
Springer
This paper investigates the use of reinforcement learning in electric power system emergency control. The approach consists of using numerical simulations together with on-policy M...
145
Voted
ASPDAC
2005
ACM
15 years 7 months ago
2005
ACM
Abstract— In this paper we study the testability of circuits derived from Binary Decision Diagrams (BDDs) under the bridging fault model. It is shown that testability can be form...
166
click to vote
CLEF
2008
Springer
15 years 6 months ago
2008
Springer
WebCLEF is about supporting a user who is an expert in writing a survey article on a specific topic with a clear goal and audience by generating a ranked list with relevant snippet...