4047 search results - page 459 / 810 » Algebraic Model Checking |
164
click to vote
ISQED
2006
IEEE
16 years 23 days ago
2006
IEEE
The continuing VLSI technology scaling leads to increasingly significant power supply fluctuations, which need to be modeled accurately in circuit design and verification. Meanwhi...
181
click to vote
ADG
2006
Springer
16 years 22 days ago
2006
Springer
This paper describes the recent convergence of four topics: polynomial systems, flexibility of three dimensional objects, computational chemistry, and computer algebra. We discuss...
173
click to vote
ACMSE
2006
ACM
16 years 22 days ago
2006
ACM
Reconstructing networks from time series data is a difficult inverse problem. We apply two methods to this problem using co-temporal functions. Co-temporal functions capture mathe...
154
click to vote
SWAT
2004
Springer
16 years 3 days ago
2004
Springer
For n disjoint line segments in the plane we can construct a binary encompassing tree such that every vertex is pointed, what’s more, at every segment endpoint all incident edges...
164
click to vote
FORMATS
2003
Springer
15 years 12 months ago
2003
Springer
Abstract. The verification formalism / modeling and simulation language hybrid Chi is defined. The semantics of hybrid Chi is formally specified using Structured Operational Sem...