3994 search results - page 149 / 799 » A Linear Logical Framework |
129
click to vote
SAS
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. In his seminal paper [5], Granger presents an analysis which infers linear congruence relations between integer variables. For affine programs without guards, his analys...
122
click to vote
HICSS
1996
IEEE
15 years 8 months ago
1996
IEEE
Parallel simulation is expected to speed up simulation run time in a signi cant way. This paper describes a framework that is used to evaluate the performance of parallel simulati...
142
click to vote
ETAI
1998
15 years 4 months ago
1998
Any model of the world a robot constructs on the basis of its sensor data is necessarily both incomplete, due to the robot’s limited window on the world, and uncertain, due to s...
154
click to vote
CDC
2009
IEEE
15 years 7 months ago
2009
IEEE
The paper is devoted to the stability analysis of linear time varying delay. We first model the time varying delay system as an interconnected system between a known linear trans...
147
click to vote
QEST
2008
IEEE
15 years 10 months ago
2008
IEEE
We present a new version of PROBDIVINE – a parallel tool for verification of probabilistic systems against properties formulated in linear temporal logic. Unlike the previous r...