1528 search results - page 181 / 306 » Performance Assertion Checking |
117
click to vote
PPDP
2001
Springer
15 years 6 months ago
2001
Springer
We introduce a new system of trust analysis for concurrent and distributed systems using the π-calculus[13, 14, 15] as a modelling tool. A Type system using boolean annotations g...
143
click to vote
IPPS
2000
IEEE
15 years 6 months ago
2000
IEEE
This paper presents a new approach to improve performance of Java programs by extending the superthreaded speculative execution model [14, 15] to exploit coarsegrained parallelism...
117
click to vote
DATE
1998
IEEE
15 years 6 months ago
1998
IEEE
Simple disjunctive decomposition is a special case of logic function decompositions, where variables are divided into two disjoint sets and there is only one newly introduced vari...
103
click to vote
SP
1997
IEEE
15 years 6 months ago
1997
IEEE
This paper discusses the development of a methodology for reasoning about properties of security policies. We view a security policy as a special case of regulation which specifi...
116
click to vote
VRST
1997
ACM
15 years 6 months ago
1997
ACM
We present a simple, but efficient view collision detection method for the walk-through system. The basic idea is to check if the current view position intersects with the range d...