811 search results - page 73 / 163 » Integrating Formal Description Techniques |
CASES
2004
ACM
15 years 3 months ago
2004
ACM
Asynchronous Software Thread Integration (ASTI) provides fine-grain concurrency in real-time threads by statically scheduling (integrating) code from primary threads into secondar...
110
click to vote
MLMI
2004
Springer
15 years 5 months ago
2004
Springer
Video document retrieval is now an active part of the domain of multimedia retrieval. However, unlike for other media, the management of a collection of video documents adds the pr...
ISPD
2005
ACM
15 years 5 months ago
2005
ACM
In this paper, we summarize circuit placement techniques and algorithms developed by the BLAC CAD research group; these have been integrated into our recursive bisection based pla...
114
click to vote
FM
2003
Springer
15 years 5 months ago
2003
Springer
We present a novel application on model checking through SPIN as a means for verifying purely descriptive specifications written in TRIO, a first order, linear-time temporal logic ...
ICDCSW
2000
IEEE
15 years 3 months ago
2000
IEEE
Model-checking has turned out to be an efficient and relatively easy-to-use technique in the verification of formally described programs. However, there is one major drawback in u...