5726 search results - page 744 / 1146 » Supporting annotations on relations |
214
click to vote
APN
2000
Springer
15 years 10 months ago
2000
Springer
Many techniques for the verification of reactive systems rely on the analysis of their reachable state spaces. In this paper, a new algorithm for the symbolic generation of the sta...
193
click to vote
MICRO
2000
IEEE
15 years 10 months ago
2000
IEEE
Functionality and performance of EPIC architectural features depend on extensive compiler support. Predication, one of these features, promises to reduce control flow overhead and...
234
click to vote
OODBS
2000
15 years 10 months ago
2000
A generic graphical query language for ODMG-compliant object databases is proposed, based on the ideas of Query-By-Example, and using UML-like diagrams as schema notation. Ease of ...
173
click to vote
RTAS
2000
IEEE
15 years 10 months ago
2000
IEEE
Policing of incoming packets can produce very high load in worst-case situations on a receiving computer. In realtime systems, resources must be allocated for such worstcase situa...
159
click to vote
MFCS
1997
Springer
15 years 10 months ago
1997
Springer
Abstract. Action refinement in process algebras has been widely studied in the last few years as a means to support top-down design of systems. A specific notion of refinement aris...