1888 search results - page 7 / 378 » Automatic Implementation of Distributed Systems Formal Speci... |
RSP
1998
IEEE
13 years 11 months ago
1998
IEEE
This paper presents an algorithm for the automatic mapping of problem specifications to existing architecture templates. The proposed methodology supports the combination of exist...
MEMOCODE
2010
IEEE
13 years 5 months ago
2010
IEEE
Design of critical embedded systems demands for guarantees on the reliability of the implementation/compilation of a specification. In general, this guarantee takes either the form...
COMPSEC
2010
13 years 4 months ago
2010
Spi Calculus is an untyped high level modeling language for security protocols, used for formal protocols specification and verification. In this paper, a type system for the Spi ...
CSREAESA
2004
13 years 8 months ago
2004
In this paper we present an algorithm for automatic extraction of system behavior from a structural Verilog specification. The algorithm generates a series-parallel poset expressi...
EDOC
2006
IEEE
14 years 1 months ago
2006
IEEE