2292 search results - page 230 / 459 » Techniques and tools for dynamic optimization |
146
click to vote
ENTCS
2006
15 years 6 months ago
2006
In this paper we describe an algorithm for distributed, BDD-based bounded property checking and its implementation in the verification tool SymC. The distributed algorithm verifie...
156
click to vote
JAR
2007
15 years 6 months ago
2007
SAT-solvers have turned into essential tools in many areas of applied logic like, for example, hardware verification or satisfiability checking modulo theories (SMT). And althoug...
175
click to vote
ISPASS
2005
IEEE
16 years 6 days ago
2005
IEEE
Simulation-based microarchitecture research is often hindered by the slow speed of simulators. In this work, we propose a novel statistical technique to identify highly representa...
178
click to vote
CDC
2008
IEEE
16 years 1 months ago
2008
IEEE
— This paper extends a method for integrating source-code model checking with dynamic system analysis to verify properties of controllers for nonlinear dynamic systems. Source-co...
191
click to vote
WECWIS
2005
IEEE
16 years 6 days ago
2005
IEEE
This paper studies adaptive bilateral negotiation between software agents in e-commerce environments. Specifically, we assume that the agents are self-interested, the environment...