Proceedings 33rd Annual Simulation Symposium (SS 2000)

16-20 April 2000

Filter Results

Displaying Results 1 - 25 of 41
  • Proceedings 33rd Annual Simulation Symposium (SS 2000)

    Publication Year: 2000
    Request permission for commercial reuse | |PDF file iconPDF (196 KB)
    Freely Available from IEEE
  • Author index

    Publication Year: 2000, Page(s): 338
    Request permission for commercial reuse | |PDF file iconPDF (23 KB)
    Freely Available from IEEE
  • Event-driven simulation of timed Petri net models

    Publication Year: 2000, Page(s):91 - 98
    Cited by:  Papers (1)
    Request permission for commercial reuse | Click to expandAbstract |PDF file iconPDF (204 KB)

    A collection of software tools for analysis of timed Petri nets, known as TPN-tools, developed over a number of years, has been extended by a simulation tool, TPNsim. The paper gives a brief characterization of TPNsim, and discusses some implementation aspects in greater detail View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Scheduling strategies for multitasking in a distributed system

    Publication Year: 2000, Page(s):83 - 90
    Cited by:  Papers (1)
    Request permission for commercial reuse | Click to expandAbstract |PDF file iconPDF (232 KB)

    We study various policies for scheduling tasks in distributed processor queues. Their performance is studied and compared for a variety of workloads. It is our intention to find a policy that increases throughput and also is fair to jobs. Simulation results indicate that the policy that schedules the shortest task in a queue, when there is not any other task that has been waiting more than some co... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • An environment for formal modeling and simulation of control systems

    Publication Year: 2000, Page(s):74 - 79
    Cited by:  Papers (2)
    Request permission for commercial reuse | Click to expandAbstract |PDF file iconPDF (88 KB)

    The purpose of this paper is to present the PLATUS simulation environment. PLATUS allows the formal modeling of control systems using graph grammars. In PLATUS, control systems are viewed as a collection of three distinct abstractions, that allow the system designer to keep the specification of control elements free of simulation aspects, providing the tools for formal system verification and code... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Simulation-trace-based component performance prediction

    Publication Year: 2000, Page(s):283 - 290
    Request permission for commercial reuse | Click to expandAbstract |PDF file iconPDF (60 KB)

    Large software systems are composed of interdependent distributed components, some developed in-house, some commercially available, and others developed by the customer. The system architecture, that is, the components comprising the system and their interconnections, typically varies for each design. Performance prediction is important for such software, including helping designers to select bett... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Specifying truck movement in traffic models using cell-DEVS

    Publication Year: 2000, Page(s):66 - 73
    Cited by:  Papers (4)
    Request permission for commercial reuse | Click to expandAbstract |PDF file iconPDF (76 KB)

    A specification language was defined to outline sections of cities as cell spaces. The goal is to allow the definition of complex traffic models in a simple fashion for the modeler. Once the urban section is outlined, the traffic flow is automatically set up. In this case, the language was expanded to include the behavior of trucks. The models are formally specified, avoiding a high number of erro... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Modeling and analysis of software aging and rejuvenation

    Publication Year: 2000, Page(s):270 - 279
    Cited by:  Papers (68)  |  Patents (2)
    Request permission for commercial reuse | Click to expandAbstract |PDF file iconPDF (308 KB)

    Software systems are known to suffer from outages due to transient errors. Recently, the phenomenon of “software aging”, one in which the state of the software system degrades with time, has been reported. To counteract this phenomenon, a proactive approach of fault management, called “software rejuvenation”, has been proposed. This essentially involves gracefully terminati... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Sequential dynamical systems and applications to simulations

    Publication Year: 2000, Page(s):245 - 252
    Cited by:  Papers (1)
    Request permission for commercial reuse | Click to expandAbstract |PDF file iconPDF (168 KB)

    Computer simulations are extensively used for business and science applications. However a simulation generically generates a certain class of dynamical system whose properties are poorly understood. We address some theoretical issues of computer simulations and illustrate our concepts for the simulation of circular one-lane traffic. We propose a certain class of discrete dynamical systems (SDS) t... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Using the DEVS paradigm to implement a simulated processor

    Publication Year: 2000, Page(s):58 - 65
    Request permission for commercial reuse | Click to expandAbstract |PDF file iconPDF (72 KB)

    This work is devoted to present the design and implementation of Alfa-I, a simulated computer with educational purposes. The DEVS formalism was used to attack the complexity of the design, allowing the definition of individual components that can be lately integrated into a modelling hierarchy. The tool is designed for the use in Computer Architecture and Organization courses. Its goal is allowing... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • MICA: a memory and interconnect simulation environment for cache-based architectures

    Publication Year: 2000, Page(s):317 - 325
    Cited by:  Papers (5)
    Request permission for commercial reuse | Click to expandAbstract |PDF file iconPDF (156 KB)

    MICA is a new-generation simulation environment, which provides complete simulation facilities for simulating distributed shared memory (DSM) multiprocessors. It runs on the inexpensive Linux-based PCs. MICA uses application traces as inputs and provides a core scheduler and memory, and interconnect interfaces. A rich set of synchronization algorithms and architecture simulator are also provided. ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Flow control and dynamic load balancing in Time Warp

    Publication Year: 2000, Page(s):219 - 226
    Cited by:  Patents (1)
    Request permission for commercial reuse | Click to expandAbstract |PDF file iconPDF (296 KB)

    We present an algorithm which integrates flow control and dynamic load balancing in Time Warp. The algorithm is intended for use in a distributed memory environment. Our flow control algorithm makes use of stochastic learning automata and is similar to the leaky-bucket flow control algorithm used in computer networks. It regulates the flow of messages between processors continously throughout the ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Active virtual guides as an apparatus for augmented reality based telemanipulation system on the Internet

    Publication Year: 2000, Page(s):185 - 191
    Cited by:  Papers (6)  |  Patents (13)
    Request permission for commercial reuse | Click to expandAbstract |PDF file iconPDF (140 KB)

    In many current teleoperation architectures, remote tasks are indirectly performed by a human operator (HO) by means of a virtual environment consisting in a virtual or symbolic representation of the remote site. In order to achieve virtual tasks, the interaction of the HO and the virtual representation is monitored. Monitoring results are subsequently translated into a sequence of instructions se... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Proactive fault-management in software systems

    Publication Year: 2000, Page(s): 3
    Request permission for commercial reuse | Click to expandAbstract |PDF file iconPDF (12 KB)

    First Page of the Article
    View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • First results on formal comparison of several stochastic optimization algorithms

    Publication Year: 2000, Page(s):259 - 269
    Request permission for commercial reuse | Click to expandAbstract |PDF file iconPDF (96 KB)

    This paper is a first step to formal comparisons of several leading optimization algorithms, establishing guidance to practitioners for when to use or not use a particular method. The focus in this paper is four general algorithm forms: random search, simultaneous perturbation stochastic approximation, simulated annealing and evolutionary computation. The paper summarizes the available theoretical... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Mean estimation based on phi-mixing sequences

    Publication Year: 2000, Page(s):237 - 244
    Cited by:  Papers (4)
    Request permission for commercial reuse | Click to expandAbstract |PDF file iconPDF (144 KB)

    This paper discusses the implementation of two sequential procedures to construct confidence intervals for a simulation estimator of the steady-state mean of a stochastic process. Our quasi-independent-mean (QIM) methods attempt to obtain i.i.d. samples. We show that our sequential procedures give valid confidence intervals. The two assumptions required are that the stochastic-process output seque... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A state-based scheduling algorithm for time warp synchronization

    Publication Year: 2000, Page(s):14 - 21
    Cited by:  Papers (4)
    Request permission for commercial reuse | Click to expandAbstract |PDF file iconPDF (128 KB)

    Presents a state-based scheduling algorithm for the selection of the next logical process (LP) to be run on a processor in a time-warp synchronized parallel discrete event simulation. In our solution, state information related to the LPs in the intermediate predecessor set of a given LP is used to compute its scheduling priority. This distances our algorithm from previous solutions where the sched... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Optimal resource allocation for multi-service networks

    Publication Year: 2000, Page(s):33 - 41
    Cited by:  Papers (1)  |  Patents (1)
    Request permission for commercial reuse | Click to expandAbstract |PDF file iconPDF (96 KB)

    The next generation of communication networks will simultaneously offer multiple service classes capable of supporting both real-time and best-effort traffic. At the level of an individual network router or gateway, a critical question that needs to be addressed is the development of a set of policies and metrics to determine how router resources should be shared between different service classes.... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • DSPTune: a performance evaluation toolset for the SHARC signal processor

    Publication Year: 2000, Page(s):51 - 57
    Request permission for commercial reuse | Click to expandAbstract |PDF file iconPDF (44 KB)

    Performance tuning in the embedded systems domain poses a new set of challenges for software and hardware designers. Techniques proven to work for general purpose architectures cannot always be directly applied to the signal processor environment. Program analysis and simulation tools have been shown to be available in the analysis of general purpose microprocessors. We anticipate that similar too... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Handling behavioral components in multi-level concurrent fault simulation

    Publication Year: 2000, Page(s):149 - 156
    Cited by:  Papers (1)
    Request permission for commercial reuse | Click to expandAbstract |PDF file iconPDF (60 KB)

    System level modeling is becoming a necessity in all areas of engineering design. As systems grow in complexity, designers may increasingly rely on commercial off-the-shelf (COTS) components. Frequently, these components are described at a high level of abstraction (behaviorally) that complicates fault testing. We discuss the trade-offs of using behavioral components in a design, specifically as i... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Integrating discrete and continuous phenomena models into practical advanced user interface specifications

    Publication Year: 2000, Page(s):309 - 316
    Cited by:  Papers (1)
    Request permission for commercial reuse | Click to expandAbstract |PDF file iconPDF (44 KB)

    Most current user interface specification languages and toolkits are based on serial, discrete, token exchange paradigms that perform an acceptable job of implementing traditional WIMP (Window, Icon, Menu, Pointer) interfaces. These tools, however are ill suited to address the needs of emerging interaction studies such as virtual environments and interactive simulations. These interaction styles c... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • An analytic method for predicting simulation parallelism

    Publication Year: 2000, Page(s):211 - 218
    Request permission for commercial reuse | Click to expandAbstract |PDF file iconPDF (120 KB)

    The ability to predict the performance of a simulation application before its implementation is an important factor for the adoption of parallel simulation technology in industry. Ideally, a simulationist estimates the inherent parallelism of a simulation problem to determine whether it is worthwhile to invest resources to carry out a parallel simulation. We propose an analytic method for predicti... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A methodology centered on modularization of QoS constraints for the development and performance evaluation of multimedia systems

    Publication Year: 2000, Page(s):177 - 184
    Cited by:  Papers (5)
    Request permission for commercial reuse | Click to expandAbstract |PDF file iconPDF (120 KB)

    This paper proposes a methodology for the development of multimedia systems. It is based on a time-sensitive, reflective actor framework that centers on light-weight actors, non-overkilling concurrent and customizable constraint-directed scheduling. A multimedia system can be visualized as a collection of media actors, i.e., autonomous, concurrent and computational processing entities, involved in... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Simulation of a telecommunication system using SimML

    Publication Year: 2000, Page(s):131 - 138
    Cited by:  Papers (1)  |  Patents (1)
    Request permission for commercial reuse | Click to expandAbstract |PDF file iconPDF (44 KB)

    The cost of building a new system is usually quite high and without a proper design, a mismatch might occur between the proposed system and the actual system delivered. One aspect that is important to be investigated prior to the system implementation is its performance. A simulation program could be built to obtain the performance characteristics of the new system, but constructing such a program... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A comparative evaluation of sorted priority algorithms and class based queuing using simulation

    Publication Year: 2000, Page(s):99 - 105
    Request permission for commercial reuse | Click to expandAbstract |PDF file iconPDF (72 KB)

    This paper present results from a simulation study aimed at evaluating the comparative performance of two resource control mechanisms viz. weighted fair queueing (WFQ) and class based queueing (CBQ). The purpose of this work is to assess their relative suitability for supporting multiservice in future packet switched networks. The experiment described in this paper compares their respective respon... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.