410 search results - page 44 / 82 » Analysis of stochastic dual dynamic programming method |
GECCO
2005
Springer
15 years 5 months ago
2005
Springer
An experimental form of Modulation (Reinterpretation) of the Search Space is presented. This modulation is developed as a mathematical method that can be implemented directly into...
PPDP
2005
Springer
15 years 5 months ago
2005
Springer
fects are statically generated program abstractions, that can be model checked for verification of assertions in a temporal program logic. In this paper we develop a type and eff...
PASTE
2004
ACM
15 years 5 months ago
2004
ACM
Digital Signal Processors are widely used in critical embedded systems to pilot low-level, often critical functionalities. We describe a static analyzer based on abstract interpre...
101
click to vote
VISSYM
2007
15 years 2 months ago
2007
We present a set of techniques and design principles for the visualization of large dynamic software logs consisting of attributed change events, such as obtained from instrumenti...
ASYNC
1997
IEEE
15 years 4 months ago
1997
IEEE
This paper presents an in-depth case study in highperformance asynchronous adder design. A recent method, called “speculative completion”, is used. This method uses single-rai...