9316 search results - page 162 / 1864 » Analysis of traceback techniques |
189
click to vote
PLDI
2012
ACM
13 years 6 months ago
2012
ACM
Concurrent, object-oriented programs often use thread-safe library classes. Existing techniques for testing a thread-safe class either rely on tests using the class, on formal spe...
QEST
2007
IEEE
15 years 10 months ago
2007
IEEE
—MOQA is a language specifically designed to facilitate average-case execution time analysis. It incorporates some innovative techniques to make this possible. Following on from...
ICSE
2010
IEEE-ACM
15 years 6 months ago
2010
IEEE-ACM
In my dissertation, I aim to develop a dependence-based impact analysis technique for event-based systems and eventbased components that communicate via messages. This paper motiv...
126
click to vote
APLAS
2005
ACM
15 years 6 months ago
2005
ACM
In this paper we propose a new parametric abstract finite model of Mobile Ambients able to express several properties on processes. The model can be used for the analysis of these...
102
click to vote
ISCAS
1994
IEEE
15 years 8 months ago
1994
IEEE
A novel two-dimensional z-transform approach to the analysis of analog/digital (A/D) converter nonlinearity is presented. It was primarily developed to study the stability behavio...