4911 search results - page 382 / 983 » Tree dependence analysis |
143
click to vote
ICSM
2005
IEEE
15 years 10 months ago
2005
IEEE
Distributed applications provide numerous advantages related to software performance, reliability, interoperability, and extensibility. This paper focuses on distributed Java prog...
150
click to vote
RTAS
2003
IEEE
15 years 10 months ago
2003
IEEE
This paper presents a novel approach for calculating a probabilistic worst-case response-time for messages in the Controller Area Network (CAN). CAN uses a bit-stuffing mechanism...
154
click to vote
IPPS
1996
IEEE
15 years 9 months ago
1996
IEEE
This paper introduces an analysis technique, commutativity analysis, for automatically parallelizing computations that manipulate dynamic, pointer-based data structures. Commutati...
257
click to vote
POPL
2007
ACM
16 years 5 months ago
2007
ACM
This work presents a framework for fusing flow analysis and theorem proving called logic-flow analysis (LFA). The framework itthe reduced product of two abstract interpretations: ...
129
click to vote
DIGRA
2003
Springer
15 years 10 months ago
2003
Springer
The Diverse Worlds Project analysed 130 computer and video games (CVGs) to understand their textual landscape. Titles were sampled from the five gaming platforms dominant in 2002....