16190 search results - page 2725 / 3238 » Applicative programming with effects |
136
Voted
SIGSOFT
1996
ACM
15 years 8 months ago
1996
ACM
In this paper we present our experiences in using symbolic model checking to analyze a specification of a software system for aircraft collision avoidance. Symbolic model checking ...
130
Voted
ISCA
1994
IEEE
15 years 8 months ago
1994
IEEE
In the near future, semiconductor technology will allow the integration of multiple processors on a chip or multichipmodule (MCM). In this paper we investigate the architecture an...
119
Voted
APN
1993
Springer
15 years 7 months ago
1993
Springer
This paper introduces an efficient numerical algorithm for transient analysis of deterministic and stochastic Petri nets (DSPNs) and other discrete-event stochastic systems with ...
135
Voted
SIGGRAPH
1994
ACM
15 years 7 months ago
1994
ACM
In this paper we discuss the efficient and accurate incorporation of texture maps into a hierarchical Galerkin radiosity algorithm. This extension of the standard algorithm allows...
187
click to vote
ECOOPW
1998
Springer
15 years 7 months ago
1998
Springer
PrincipalDomain is an administrative scoping construct for establishing security policies based on the principals invoking object services that may entail objects moving around a ...