501 search results - page 77 / 101 » Diagram Techniques for Confluence |
133
click to vote
GECCO
2010
Springer
15 years 2 months ago
2010
Springer
State machines are a popular method of representing a syshigh level of abstraction that enables developers to gain an overview of the system they represent and quickly understand ...
CGF
2008
15 years 2 months ago
2008
A knitted animal is made of a closed surface consisting of several knitted patches knitted out of yarn and stuffed with cotton (Fig. 1). We introduce a system to create a knitting...
129
click to vote
ICFEM
2010
Springer
15 years 13 days ago
2010
Springer
Abstract. The success of industrial-scale model checkers such as Uppaal [3] or NuSMV [12] relies on the efficiency of their respective symbolic state space representations. While d...
156
click to vote
FORMATS
2010
Springer
14 years 12 months ago
2010
Springer
We present a general approach to combine symbolic state space representations for the discrete and continuous parts in the synthesis of winning strategies for timed reachability ga...
113
click to vote
DSD
2009
IEEE
14 years 11 months ago
2009
IEEE
Several traditional VHDL fault injection mechanisms like mutants or saboteurs have been adapted to SystemC model descriptions. The main drawback of these approaches is the necessi...