9316 search results - page 247 / 1864 » Analysis of traceback techniques |
135
click to vote
ERSHOV
2001
Springer
15 years 10 months ago
2001
Springer
A general semantics-based framework for the analysis of logic programs with delay declarations is presented. The framework incorporates well known refinement techniques based on r...
189
click to vote
COMPSAC
2000
IEEE
15 years 10 months ago
2000
IEEE
Understanding program dependencies in a computer program is essential for many software engineering tasks such as program understanding, testing, debugging, reverse engineering, a...
147
click to vote
DAC
2007
ACM
15 years 9 months ago
2007
ACM
It is now widely believed that FlexRay will emerge as the predominant protocol for in-vehicle automotive communication systems. As a result, there has been a lot of recent interes...
165
click to vote
CAISE
2003
Springer
15 years 9 months ago
2003
Springer
This paper presents an approach for the improvement of the efficiency of the performance analysis of large workflow models. We propose a simple and powerful decidable Petri net red...
128
Voted
EPEW
2008
Springer
15 years 7 months ago
2008
Springer
We apply performance analysis techniques to a biological modelling problem, that of capturing and reproducing the Circadian rhythm. A Circadian rhythm provides cells with a clock b...