4 citations found. Retrieving documents...
Bagrodia, R. and W-T. Liao. 1994. Maisie: A language for design of efficient discret-event simulations.

 Home/Search   Document Not in Database   Summary   Related Articles   Check  

This paper is cited in the following contexts:
Language Support For Parallel Discrete-Event Simulations - Bagrodia (1994)   (1 citation)  Self-citation (Bagrodia)   (Correct)

....a set of optimistic protocols; the advantage of committing to a specific (class of) protocol is that typically the data structures in the underlying simulator can be tailored to exploit the specific features of the protocol. The latter category includes multi algorithm environments like Maisie [Bagrodia and Liao, 1994], SPECTRUM [Reynolds, 1989] and YADDES [Preiss, 1989] that support both conservative and optimistic protocols. As the viability of specific protocols to support efficient parallel execution of models in different application domains is still not well understood, it is perhaps desirable to develop ....

....facilities needed to implement optimistic methods include checkpointing, message cancellation, rollback and recomputation, and GVT computation. Recently, a new protocol has been suggested that allows each LP to individually select either the conservative or the optimistic execution mode [Jha and Bagrodia, 1994]. This protocol defines a local metric called EIT (for Earliest Input Time) for each LP. Conservative LPs can process all events that are timestamped earlier than its EIT, whereas optimistic LPs can use EIT to reclaim memory. A separate global control mechanism is defined to allow each LP to ....

[Article contains additional citation context not shown here]

Bagrodia, R. and W-T. Liao. 1994. Maisie: A language for design of efficient discret-event simulations.


PARALLEL SWITCH-LEVEL SIMULATION of VLSI CIRCUITS - Chen, Jha, Bagrodia (1995)   Self-citation (Bagrodia)   (Correct)

....in the simulator. The IRSIM simulates repeatedly executes events from the global event list until there is no event in it or reaches the end of simulation time. 3. 1 Parallel Implementation A parallel implementation of IRSIM, called MIRSIM, was designed by implementing the IRSIM simulator in Maisie[4]. Maisie is among the few existing languages that supports the execution of a discrete event simulation model with multiple algorithms and provides constructs to reduce the simulation overheads with both conservative and optimistic parallel algorithms. A program written in Maisie is independent of ....

....incur a number of overheads including checkpointing, rollback, and GVT computation, which must be reduced to derive reasonable benefit from parallel execution of the simulation model. Details of the optimistic implementation of Maisie designed to reduce many of these overheads are described in [4, 3]. 4 Experiments and Results Five different circuits were used to measure the performance of MIRSIM. The largest, a 64 bit squaring circuit called Square64, consists of approximately 68K transistors. The smallest circuit, an 8x8x8 dynamic RAM called Chip2u, has about 3K transistors. The other ....

R. Bagrodia and Wen toh Liao. Maisie: A language for design of efficient discret-event simulations. IEEE Transactions on Software Engineering, April 1994.


Parallel Simulation of Data parallel Programs - Sundeep Prakash (1995)   Self-citation (Bagrodia)   (Correct)

....communication pattern is one in which the sequence of messages that is accepted at a processor cannot be predetermined. We next present some examples of data parallel code and their equivalent SPMD code, in order to explain the communication pattern classification. We assume the following Maisie[BtL94] like syntax for message passing calls in the SPMD code: send to dest message msgtype f msg g; This statement describes the send of a message msg to a process dest . msgtype is a user defined message type, and in the programs we consider, messages can be of type data ....

....difficult because they require complex mechanisms for detection and handling of causality errors, termination detection, exception handling, and memory management. A comprehensive discussion of parallel discrete event simulations may be found in [Fuj90, Mis86] A simulation language called Maisie[BtL94] has been designed at UCLA to support the execution of parallel discrete event models. Maisie is a C based discrete event simulation language that was designed to cleanly separate a simulation model from the underlying algorithm (sequential or parallel) used for the execution of the model. With ....

[Article contains additional citation context not shown here]

R. Bagrodia and Wen toh Liao. Maisie: A language for design of efficient discret-event simulations. IEEE Transactions on Software Engineering, April 1994.


Parallel Switch-Level Simulation of VLSI Circuits - Chen, Jha, Bagrodia (1995)   (Correct)

No context found.

R. Bagrodia and Wen toh Liao. Maisie: A language for design of efficient discretevent simulations. IEEE Transactions on Software Engineering, April 1994.

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC