617 search results - page 83 / 124 » Using Formal Methods in a Retrospective Safety Case |
CEC
2010
IEEE
13 years 8 months ago
2010
IEEE
Problems in which some entities interact with each other are common in computational intelligence. This scenario, typical for co-evolving artificial-life agents, learning strategie...
AI
2008
Springer
13 years 7 months ago
2008
Springer
The execution performance of an information gathering plan can suffer significantly due to remote I/O latencies. A streaming dataflow model of execution addresses the problem to s...
DATE
2007
IEEE
14 years 2 months ago
2007
IEEE
An important aspect of Design for Yield for embedded SRAM is identifying the expected worst case behavior in order to guarantee that sufficient design margin is present. Previousl...
SAS
2009
Springer
14 years 8 months ago
2009
Springer
In this paper we present a new shape analysis algorithm. The key distinguishing aspect of our algorithm is that it is completely compositional, bottom-up and non-iterative. We pres...
FM
2001
Springer
14 years 6 days ago
2001
Springer
To develop efficient algorithms for the reachability analysis of timed automata, a promising approach is to use binary decision diagrams (BDDs) as data structure for the representa...