2637 search results - page 220 / 528 » Tool Supported Specification and Simulation of Distributed S... |
188
Voted
ISORC
1999
IEEE
15 years 10 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...
179
click to vote
RTCSA
2006
IEEE
16 years 4 days ago
2006
IEEE
Hardware/software codesign involves various design problems including system specification, design space exploration, hardware/software co-verification, and system synthesis. A co...
184
click to vote
SEUS
2007
IEEE
16 years 12 days ago
2007
IEEE
In this paper we present a distributed Hardware-in-the-Loop (HiL) simulation approach that supports the verification and validation activities in an integrated architecture as rec...
167
click to vote
BMCBI
2005
15 years 6 months ago
2005
Background: Population genetics studies based on the analysis of mtDNA and mitochondrial disease studies have produced a huge quantity of sequence data and related information. Th...
183
click to vote
INTEGRATION
2010
15 years 4 months ago
2010
1 — This paper presents a new design automation tool based on a modified genetic algorithm kernel, in order to increase efficiency on the analog circuit and system design cycle. ...