2014 · 10 citations · 4 references
EngineeringTime RepresentationSoftware EngineeringSimulationDiscrete-event SimulationFormal VerificationSoftware AnalysisData ScienceSystems EngineeringTemporal DataModeling And SimulationTimed SystemSimulation LanguageData TypeDiscrete Event SimulationDevs Simulation ModelComputer EngineeringSoftware SimulationComputer ScienceSoftware DesignTemporal DatabaseSystem SpecificationEvent-driven ProgrammingVirtual TiFormal MethodsIndustrial InformaticsSystem SoftwareData Modeling
This paper addresses the problems related to data types used for time representation in DEVS, a formalism for the specification and simulation of discrete-event systems. When evaluating a DEVS simulation model into an actual computer simulation program, a data type is required to hold the virtual ti
4
Jan Himmelspach, Adelinde M. Uhrmacher · 2007 · 150 citations
What Every Computer Scientist Should Know About Floating-Point Arithmetic
Garcia Avenue · 1992 · 16 citations