Sciweavers

906 search results - page 45 / 182
» Modeling methodology for application development in petroleu...
Sort
View
132
Voted
ICECCS
2009
IEEE
161views Hardware» more  ICECCS 2009»
15 years 8 months ago
Formal Modelling and Analysis of Business Information Applications with Fault Tolerant Middleware
Distributed information systems are critical to the functioning of many businesses; designing them to be dependable is a challenging but important task. We report our experience i...
Jeremy Bryans, John S. Fitzgerald, Alexander Roman...
120
Voted
HYBRID
2005
Springer
15 years 7 months ago
Mode-Automata Based Methodology for Scade
In this paper, we present a new design methodology for synchronous reactive systems, based on a clear separation between control and data flow parts. This methodology allows to fa...
Ouassila Labbani, Jean-Luc Dekeyser, Pierre Boulet
TCAD
2010
136views more  TCAD 2010»
14 years 8 months ago
Bounded Model Debugging
Design debugging is a major bottleneck in modern VLSI design flows as both the design size and the length of the error trace contribute to its inherent complexity. With typical des...
Brian Keng, Sean Safarpour, Andreas G. Veneris
99
Voted
WSC
1997
15 years 3 months ago
A Simulation-Based Finite Capacity Scheduling System
This paper describes the methodology of a finite capacity scheduling system which uses an objectoriented discrete event simulation as its engine. The scheduling system is develop...
Alexander J. Weintraub, Andrew Zozom Jr., Thom J. ...
PDP
2007
IEEE
15 years 8 months ago
RealPeer--A Framework for Simulation-Based Development of Peer-to-Peer Systems
In the process of developing P2P systems simulation has proved to be an essential tool for the evaluation of existing and conceived P2P systems. So far, in practice there has been...
Dieter Hildebrandt, Ludger Bischofs, Wilhelm Hasse...