1713 search results - page 45 / 343 » Analysis of Procedure Splitability |
CAV
2012
Springer
11 years 11 months ago
2012
Springer
An algorithmic-learning-based termination analysis technique is presented. The new technique combines transition predicate abstraction, algorithmic learning, and decision procedure...
DAC
1996
ACM
14 years 1 months ago
1996
ACM
-- This paper presents an efficient method for the timing verification of concurrent systems, modeled as labeled Timed Petri nets. The verification problems we consider require us ...
ICCAD
1992
IEEE
14 years 1 months ago
1992
IEEE
This paper presents a comprehensive timing model for behavioral-level specifications and algorithms for timing analysis in high-level synthesis. It is based on a timing network wh...
ASYNC
1997
IEEE
14 years 24 days ago
1997
IEEE
This paper presents new timing analysis algorithms for efficient state space exploration during timed circuit synthesis. Timed circuits are a class of asynchronous circuits that i...
CRITICAL
2005
13 years 11 months ago
2005
The goal of the UsersAward programme is to develop and maintain a strategy for better workplace software through user-driven quality assessment. One of its key activities is the u...