1888 search results - page 67 / 378 » Automatic Implementation of Distributed Systems Formal Speci... |
109
click to vote
IPPS
2005
IEEE
15 years 8 months ago
2005
IEEE
This paper presents the design and the implementation of a compiler and runtime infrastructure for automatic program distribution. We are building a research infrastructure that e...
155
click to vote
CODES
2004
IEEE
15 years 7 months ago
2004
IEEE
In this paper, a novel method for high-level specification and validation of SoC designs using UML is proposed. UML is introduced as a formal model of specification for SoC design...
119
click to vote
SAMOS
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. Contemporary SoC designs ask for system-level debugging tools suitable to heterogeneous platforms. Such tools will have to rely on some low-level model-driven debugging e...
148
click to vote
ISORC
1999
IEEE
15 years 7 months ago
1999
IEEE
We describe the design of VIP, a graphical front-end to the model checker SPIN. VIP supports a visual formalism, called v-Promela that connects the model checker to modern hierarc...
103
click to vote
CAISE
2000
Springer
15 years 7 months ago
2000
Springer
This paper presents an approach and a tool to increase specification quality by using a combination of UML and formal languages. Our approach is based on the expression of the UML ...