501 search results - page 80 / 101 » Diagram Techniques for Confluence |
145
click to vote
CGO
2010
IEEE
16 years 1 months ago
2010
IEEE
Prior work has shown that reduced, ordered, binary decision diagrams (BDDs) can be a powerful tool for program trace analysis and visualization. Unfortunately, it can take hours o...
172
click to vote
CP
2009
Springer
16 years 29 days ago
2009
Springer
The problem of finding a collection of solutions to a combinatorial problem that is optimal in terms of an inter-solution objective function exists in many application settings. F...
160
click to vote
ICRA
2007
IEEE
16 years 15 days ago
2007
IEEE
— This paper presents a sensor analysis based fault detection approach (which we call SAFDetection) that is used to monitor tightly-coupled multi-robot team tasks. Our approach a...
180
click to vote
ICSE
2007
IEEE-ACM
16 years 10 days ago
2007
IEEE-ACM
Abstract. We describe an approach to designing and implementing a distributed system as a family of related finite state machines, generated from a single abstract model. Various a...
145
click to vote
MODELS
2007
Springer
16 years 9 days ago
2007
Springer
Abstract. Alloy is a formal language, which has been applied to modelling of systems in a wide range of application domains. It is supported by Alloy Analyzer, a tool, which allows...