9316 search results - page 275 / 1864 » Analysis of traceback techniques |
213
Voted
ANSS
1997
IEEE
15 years 11 months ago
1997
IEEE
Existing performance analysis techniques have limitations when used on distributed virtual reality systems, including a lack of support for the measurement of interaction latency....
185
click to vote
ICCAD
1994
IEEE
15 years 10 months ago
1994
IEEE
Embedded computer systems are characterized by the presence of a dedicated processor and the software that runs on it. Power constraints are increasingly becoming the critical com...
161
click to vote
BPM
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. Enterprises are finding limitations with current modelling and hierarchical methodologies which have human agents as a key component. By requiring a priori knowledge of b...
191
click to vote
FM
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. The paper presents a deductive framework for proving program equivalence and its application to automatic verification of transformations performed by optimizing compiler...
189
click to vote
APCCM
2009
15 years 7 months ago
2009
In life science, deeper understanding of biomolecular systems is acquired by computational modeling and analysis. For the modeling of several kinds of reaction networks, e.g. sign...