BibSLEIGH — simul stem

Used together with:

model (288)
system (285)
base (234)
use (222)
circuit (129)

Stem simul$ (all stems)

1673 papers:

CASE-2015-AicherRV #abstraction #automation #simulation #towards #verification: Towards finding the appropriate level of abstraction to model and verify automated production systems in discrete event simulation (TA, SR, BVH), pp. 1048–1053.
CASE-2015-AlfonsoXA #approach #capacity #programming #representation #scheduling: A simulation-optimization approach for capacity planning and appointment scheduling of blood donors based on mathematical programming representation of event dynamics (EA, XX, VA), pp. 728–733.
CASE-2015-ChenXZCL #effectiveness #learning #multi #optimisation #simulation: An effective learning procedure for multi-fidelity simulation optimization with ordinal transformation (RC, JX, SZ, CHC, LHL), pp. 702–707.
CASE-2015-ForstnerM #optimisation #safety #using: Using simulation-based optimization to determine production strategies and safety stock levels in semiconductor supply chains (LF, LM), pp. 655–656.
CASE-2015-GonzalezMK #interactive #matlab #mobile: A Matlab-based interactive simulator for mobile robotics (RG, CM, MK), pp. 310–315.
CASE-2015-NonakaSLNKK #analysis #simulation #statistics: The S-Model: A digital manufacturing system combined with autonomous statistical analysis and autonomous discrete-event simulation for smart manufacturing (YN, YS, AL, SN, KK, YK), pp. 1006–1011.
CASE-2015-PanciroliTBBF #realtime #simulation: Overcoming real time bond in high level simulation environments (RP, CT, GB, RB, CF), pp. 1644–1648.
CASE-2015-SaezMBT #analysis #hybrid #performance #realtime #simulation: Real-time hybrid simulation of manufacturing systems for performance analysis and control (MS, FPM, KB, DMT), pp. 526–531.
CASE-2015-SathishRB #approach #detection #industrial #simulation: A simulation based approach to detect wear in industrial robots (VS, SR, SB), pp. 1570–1575.
CASE-2015-SunWWL15a #optimisation #scheduling: Simulation-based production scheduling with optimization of electricity consumption and cost in smart manufacturing systems (ZS, DW, LW, LL), pp. 992–997.
CASE-2015-WangZ #modelling #predict #simulation: A prediction method for interior temperature of grain storage via dynamics models: A simulation study (DW, XZ), pp. 1477–1483.
CASE-2015-YeCC #bibliography #energy #modelling #simulation: Metal-based addictive manufacturing: A literature review on modeling, simulation and energy consumption (QY, SC, QC), pp. 218–224.
DAC-2015-ChaariENTK #approach #modelling #safety: A model-based and simulation-assisted FMEDA approach for safety-relevant E/E systems (MC, WE, CN, BAT, TK), p. 6.
DAC-2015-EspinosaHAAR #analysis #correlation #robust #set #verification: Analysis and RTL correlation of instruction set simulators for automotive microcontroller robustness verification (JE, CH, JA, DdA, JCR), p. 6.
DAC-2015-HanF #analysis #approach #cpu #gpu #graph #scalability: Transient-simulation guided graph sparsification approach to scalable harmonic balance (HB) analysis of post-layout RF circuits leveraging heterogeneous CPU-GPU computing systems (LH, ZF), p. 6.
DAC-2015-HelalBH #parallel #simulation #using: Parallel circuit simulation using the direct method on a heterogeneous cloud (AEH, AMB, YYH), p. 6.
DAC-2015-HerdtLD #simulation #using #verification: Verifying SystemC using stateful symbolic simulation (VH, HML, RD), p. 6.
DAC-2015-JungC #embedded #multi #named #performance #simulation: ΣVP: host-GPU multiplexing for efficient simulation of multiple embedded GPUs on virtual platforms (YJ, LPC), p. 6.
DAC-2015-RoloffSHT #architecture #parallel #simulation: Execution-driven parallel simulation of PGAS applications on heterogeneous tiled architectures (SR, DS, FH, JT), p. 6.
DAC-2015-WasicekLKGIA #simulation: System simulation from operational data (AW, EAL, HK, LG, AI, IA), p. 6.
DAC-2015-ZhuangYKWC #algorithm #exponential #framework #performance #scalability #simulation #using: An algorithmic framework for efficient large-scale circuit simulation using exponential integrators (HZ, WY, IK, XW, CKC), p. 6.
DATE-2015-AhsanK #architecture #optimisation #quantum #using: Optimization of quantum computer architecture using a resource-performance simulator (MA, JK), pp. 1108–1113.
DATE-2015-AndradeMVAPL #analysis #data flow #modelling: Pre-simulation symbolic analysis of synchronization issues between discrete event and timed data flow models of computation (LA, TM, AV, CBA, FP, MML), pp. 1671–1676.
DATE-2015-BringmannEGGMSS #generative #prototype #simulation: The next generation of virtual prototyping: ultra-fast yet accurate simulation of HW/SW systems (OB, WE, AG, AG, DMG, PS, SS), pp. 1698–1707.
DATE-2015-ChenWY #parallel #performance: A fast parallel sparse solver for SPICE-based circuit simulators (XC, YW, HY), pp. 205–210.
DATE-2015-ChenZWWWZ #multi #named #pseudo #simulation: MRP: mix real cores and pseudo cores for FPGA-based chip-multiprocessor simulation (XC, GZ, HW, RW, PW, LZ), pp. 211–216.
DATE-2015-DghaisR #empirical #modelling #simulation: Empirical modelling of FDSOI CMOS inverter for signal/power integrity simulation (WD, JR), pp. 1555–1558.
DATE-2015-FaravelonFP #branch #performance #predict #simulation: Fast and accurate branch predictor simulation (AF, NF, FP), pp. 317–320.
DATE-2015-GerumBR #gpu #performance #simulation: Source level performance simulation of GPU cores (CG, OB, WR), pp. 217–222.
DATE-2015-GorevUD #fault #parallel #simulation: Fault simulation with parallel exact critical path tracing in multiple core environment (MG, RU, SD), pp. 1180–1185.
DATE-2015-KadryKMNSPPJS #case study #comparative #generative #simulation #testing: Comparative study of test generation methods for simulation accelerators (WK, DK, AM, AN, VS, JSP, SBP, WJ, JCS), pp. 321–324.
DATE-2015-LeeJG #functional #hardware #performance #simulation: Dynamic power and performance back-annotation for fast and accurate functional hardware simulation (DL, LKJ, AG), pp. 1126–1131.
DATE-2015-NguyenASS #gpu #simulation: Accelerating complex brain-model simulations on GPU platforms (HADN, ZAA, GS, CS), pp. 974–979.
DATE-2015-SalfelderH #adaptation #evaluation #simulation #using: Ageing simulation of analogue circuits and systems using adaptive transient evaluation (FS, LH), pp. 1261–1264.
DATE-2015-SchneiderHKWW #fault #simulation: GPU-accelerated small delay fault simulation (ES, SH, MAK, XW, HJW), pp. 1174–1179.
DATE-2015-ShonikerCHP #design #process #simulation #verification: Minimizing the number of process corner simulations during design verification (MS, BFC, JH, WP), pp. 289–292.
DATE-2015-TeysseyreNOCCG #performance #set #simulation #using: Fast optical simulation from a reduced set of impulse responses using SystemC-AMS (FT, DN, IO, FC, FC, OG), pp. 405–409.
CSEET-2015-BollinHS #education #project management #simulation: Teaching Software Project Management by Simulation: Training Team Leaders for Real World Projects (AB, EH, CS), pp. 7–9.
CHI-2015-BachynskyiPOSW #case study #comparative #performance #simulation #using: Performance and Ergonomics of Touch Surfaces: A Comparative Study using Biomechanical Simulation (MB, GP, AO, JS, TW), pp. 1817–1826.
CHI-2015-KardanC #adaptation #evaluation #interactive #learning #simulation: Providing Adaptive Support in an Interactive Simulation for Learning: An Experimental Evaluation (SK, CC), pp. 3671–3680.
CHI-2015-SchmidtKMUKCB #artificial reality #named #simulation: Level-Ups: Motorized Stilts that Simulate Stair Steps in Virtual Reality (DS, RK, VM, UU, SK, LPC, PB), pp. 2157–2160.
CSCW-2015-FreemanBBH #game studies #gender #online #simulation: Simulating Marriage: Gender Roles and Emerging Intimacy in an Online Game (GF, JB, SB, SCH), pp. 1191–1200.
DHM-EH-2015-BoZDYWF #hybrid #kernel #performance #recognition #using: Hybrid BFO-PSO and Kernel FCM for the Recognition of Pilot Performance Influenced by Simulator Movement Using Diffusion Maps (JB, YBZ, LD, BTY, QW, SF), pp. 239–247.
DHM-EH-2015-FuLCZ #modelling #simulation: Modeling and Simulating Lifting Task of Below-Knee Amputees (YF, SL, QC, WZ), pp. 134–143.
DHM-EH-2015-KollingKHC #design #evaluation #feedback #interactive #process #using: Estimating Ergonomic Comfort During the Process of Mechanism Design by Interaction with a Haptic Feedback-System — Evaluation of Simulated and Kinesthetically Displayed Mechanisms Using the Haptic Feedback System RePlaLink (TK, MK, MH, BC), pp. 62–73.
DHM-EH-2015-MaruyamaKD #adaptation #scalability #simulation: MoCap-Based Adaptive Human-Like Walking Simulation in Laser-Scanned Large-Scale as-Built Environments (TM, SK, HD), pp. 193–204.
DHM-EH-2015-PerestreloTNS #framework #modelling #simulation: Modeling of a Virtual Open Platform for Human Cranium Simulation (PP, MT, PN, JS), pp. 358–366.
DHM-EH-2015-RegazzoniRC #simulation: The Role of Virtual Ergonomic Simulation to Develop Innovative Human Centered Products (DR, CR, GC), pp. 74–83.
DUXU-IXD-2015-FioriniFASWRL #3d #education #interactive #modelling #simulation #tool support: Three-Dimensional Models and Simulation Tools Enabling Interaction and Immersion in Medical Education (STF, LF, BAdA, JRLdS, HW, ABR, CJPdL), pp. 662–671.
DUXU-IXD-2015-TeixeiraCAMLSN #game studies #named #simulation #usability: Newsgames: Gameplay and Usability in Simulation Games (CT, BJAdC, JA, VM, AL, MMS, AN), pp. 292–302.
DUXU-UI-2015-GuimaraesS #simulation: Humanizing Labor Resource in a Discrete Event Manufacturing Simulation Software (LBdMG, CSS), pp. 14–22.
HCI-DE-2015-AlenljungS #design #perspective: Designing Simulation-Based Training for Prehospital Emergency Care: Participation from a Participant Perspective (BA, HMS), pp. 297–306.
HCI-UC-2015-OhJK #approach #human-computer #simulation #using: Simulation of an Affordance-Based Human-Machine Cooperative Control Model Using an Agent-Based Simulation Approach (YgO, IJ, NK), pp. 226–237.
HIMI-IKC-2015-Bretschneider-Hagemes #development #low cost #mobile #multi #question #simulation: Development of a New Low Cost Driving Simulation for Assessing Multidimensional Task Loads Caused by Mobile ICT at Drivers’ Workplaces. — Objective-Fidelity Beats Equipment-Fidelity? (MBH), pp. 173–179.
HIMI-IKC-2015-IkeiSKKHAK #experience: Experience Simulator for the Digital Museum (YI, SS, SK, KK, KH, TA, MK), pp. 436–446.
HIMI-IKD-2015-BurkhardtNGAK #impact analysis #modelling #policy #simulation #visualisation: Explorative Visualization of Impact Analysis for Policy Modeling by Bonding Open Government and Simulation Data (DB, KN, EG, AA, JK), pp. 34–45.
LCT-2015-KimCD #artificial reality #learning #simulation: The Learning Effect of Augmented Reality Training in a Computer-Based Simulation Environment (JHK, TC, WD), pp. 406–414.
SCSM-2015-GerritsenB #analysis #predict: Simulation-Based Prediction and Analysis of Collective Emotional States (CG, WRJvB), pp. 118–126.
ICEIS-v1-2015-MpindaMSR #database #graph #simulation #using: Graph Database Application using Neo4j — Railroad Planner Simulation (SATM, LGM, MTPS, MXR), pp. 399–403.
ICEIS-v1-2015-Roos-FrantzBFSF #concept #integration #modelling #petri net #simulation #using: Using Petri Nets to Enable the Simulation of Application Integration Solutions Conceptual Models (FRF, MB, RZF, SS, VBF), pp. 87–96.
ECIR-2015-VerberneSJK #interactive #personalisation #query #simulation: User Simulations for Interactive Search: Evaluating Personalized Query Suggestion (SV, MS, KJ, WK), pp. 678–690.
MoDELS-2015-SoltanaSSB #framework #modelling #policy #probability #simulation: A model-based framework for probabilistic simulation of legal policies (GS, NS, MS, LCB), pp. 70–79.
SAC-2015-BogoniPS #artificial reality #evaluation: Evaluation of a haptic virtual reality simulator for endodontics training (TNB, MSP, RS), pp. 267–269.
SAC-2015-CremonaMN #composition #named #representation #simulation: TRES: a modular representation of schedulers, tasks, and messages to control simulations in simulink (FC, MM, MDN), pp. 1940–1947.
SAC-2015-Gregorio-Rodriguez #consistency #simulation: Extending mCRL2 with ready simulation and iocos input-output conformance simulation (CGR, LL, RMT), pp. 1781–1788.
SAC-2015-RodriguesAFSB #approach #ontology #simulation: An ontological approach for simulating legal action in the Brazilian penal code (CMdOR, RRdA, FLGdF, EPdS, PVdSB), pp. 376–381.
SAC-2015-SousaS #domain-specific language #simulation #tool support: A domain specific language for spatial simulation scenarios (DSL3S): introduction and tool support (LdS, ARdS), pp. 1854–1856.
SAC-2015-VieiraHH #mobile #testing: A context simulator as testing support for mobile apps (VV, KH, MH), pp. 535–541.
ICSE-v2-2015-Baia #approach #multi #project management #simulation: An Integrated Multi-Agent-Based Simulation Approach to Support Software Project Management (DdMB), pp. 911–914.
ICSE-v2-2015-Honsel #evolution #learning #mining #simulation #statistics: Statistical Learning and Software Mining for Agent Based Simulation of Software Evolution (VH), pp. 863–866.
ICSE-v2-2015-MonsalveLW #education #game studies #learning: Transparently Teaching in the Context of Game-based Learning: the Case of SimulES-W (ESM, JCSdPL, VMBW), pp. 343–352.
SPLC-2015-Munoz-Fernandez #adaptation #approach #named #requirements #self #simulation: REFAS: a PLE approach for simulation of self-adaptive systems requirements (JCMF, GT, IR, RM, CS), pp. 121–125.
ASPLOS-2015-TanQCAP #named #network #using: DIABLO: A Warehouse-Scale Computer Network Simulator using FPGAs (ZT, ZQ, XC, KA, DAP), pp. 207–221.
LCTES-2015-LinM #distributed #framework #named #programming #simulation #towards #verification: StarL: Towards a Unified Framework for Programming, Simulating and Verifying Distributed Robotic Systems (YL, SM), p. 10.
ICLP-2015-RoseckyPB #energy #grid #prolog #simulation: Grid Mind: Prolog-Based Simulation Environment for Future Energy Grids (JR, FP, BB).
CASE-2014-HabibRSP #multimodal #named #simulation: SkinSim: A simulation environment for multimodal robot skin (AH, IR, KS, DOP), pp. 1226–1231.
CASE-2014-MaDLZ #learning #modelling #simulation: Modeling and simulation of product diffusion considering learning effect (KPM, XD, CFL, JZ), pp. 665–670.
CASE-2014-MaTLZLD #algorithm #hybrid #optimisation #scheduling: A hybrid particle swarm optimization and simulated annealing algorithm for job-shop scheduling (PCM, FT, YL, LZ, HXL, ZD), pp. 125–130.
CASE-2014-QiuSL #multi #optimisation #simulation: A simulation based GA for multi-objective optimization in patient flow distribution (YQ, JS, ZL), pp. 1–6.
CASE-2014-XuZHCLC #framework #multi #optimisation #simulation: An ordinal transformation framework for multi-fidelity simulation optimization (JX, SZ, EH, CHC, LHL, NC), pp. 385–390.
CASE-2014-ZhangLYL #optimisation #parametricity #simulation: Simulation and parameter optimization of the key working procedure of engine box (CZ, JL, RY, GL), pp. 315–319.
CASE-2014-ZhangXG #multi #scheduling: Simulation-based surgery appointment sequencing and scheduling of multiple operating rooms (ZZ, XX, NG), pp. 399–404.
CASE-2014-ZhongWLKS #simulation: Primary care redesign: A simulation study at a pediatric clinic (XZ, MW, JL, SAK, JSS), pp. 546–551.
DAC-2014-ApostolopoulouDES #matrix #scalability #simulation: Selective Inversion of Inductance Matrix for Large-Scale Sparse RLC Simulation (IA, KD, NEE, GIS), p. 6.
DAC-2014-ChenPCWMYZC #manycore #named #parallel #simulation #thread: DAPs: Dynamic Adjustment and Partial Sampling for Multithreaded/Multicore Simulation (CCC, YCP, CFC, WSW, QM, PCY, WZ, TFC), p. 6.
DAC-2014-KoKYKH #cpu #gpu #simulation: Hardware-in-the-loop Simulation for CPU/GPU Heterogeneous Platforms (YK, TK, YY, MK, SH), p. 6.
DAC-2014-MunawarS #functional #modelling #scalability: Scalable Co-Simulation of Functional Models With Accurate Event Exchange (AM, SS), p. 6.
DAC-2014-SchneiderPP #agile #analysis #multi: MASH{fifo}: A Hardware-Based Multiple Cache Simulator for Rapid FIFO Cache Analysis (JS, JP, SP), p. 6.
DAC-2014-StoermerT #functional #interface #mockup #standard #using: Powertrain Co-Simulation using AUTOSAR and the Functional Mockup Interface standard (CS, GT), p. 1.
DAC-2014-SutariaRZRMC #modelling #random #simulation #validation: BTI-Induced Aging under Random Stress Waveforms: Modeling, Simulation and Silicon Validation (KS, AR, RZ, RR, YM, YC), p. 6.
DAC-2014-WangX #on the #performance #simulation: On the Simulation of NBTI-Induced Performance Degradation Considering Arbitrary Temperature and Voltage Variations (TW, QX), p. 6.
DAC-2014-WuXKCH #named #simulation #statistics #towards: REscope: High-dimensional Statistical Circuit Simulation towards Full Failure Region Coverage (WW, WX, RK, YLC, LH), p. 6.
DAC-2014-ZhuangWLC #distributed #framework #named #network #simulation: MATEX: A Distributed Framework for Transient Simulation of Power Distribution Networks (HZ, SHW, JHL, CKC), p. 6.
DATE-2014-AhmadC #performance #predict #simulation: Fast STA prediction-based gate-level timing simulation (TBA, MJC), pp. 1–6.
DATE-2014-ChenCT #performance #simulation: An activity-sensitive contention delay model for highly efficient deterministic full-system simulations (SYC, CHC, RST), pp. 1–6.
DATE-2014-FourmigueBN #3d #performance #simulation: Efficient transient thermal simulation of 3D ICs with liquid-cooling and through silicon vias (AF, GB, GN), pp. 1–6.
DATE-2014-FummiLSTVV #design #effectiveness #simulation: Moving from co-simulation to simulation for effective smart systems design (FF, ML, FS, DT, JV, SV), pp. 1–4.
DATE-2014-LagraaTP #data mining #mining #scalability #simulation #using: Scalability bottlenecks discovery in MPSoC platforms using data mining on simulation traces (SL, AT, FP), pp. 1–6.
DATE-2014-MarianiPZS #design #named #predict #scheduling #simulation #using: DeSpErate: Speeding-up design space exploration by using predictive simulation scheduling (GM, GP, VZ, CS), pp. 1–4.
DATE-2014-QiZ #modelling #performance #simulation: Efficient simulation and modelling of non-rectangular NoC topologies (JQ, MZ), pp. 1–4.
DATE-2014-RanaC #analysis #named #reduction #scalability #simulation: SSFB: A highly-efficient and scalable simulation reduction technique for SRAM yield analysis (MR, RC), pp. 1–6.
DATE-2014-WeinstockSLAT #parallel #simulation: Time-decoupled parallel SystemC simulation (JHW, CS, RL, GA, LT), pp. 1–4.
DATE-2014-YangHKKCPK #parallel #predict #simulation: Predictive parallel event-driven HDL simulation with a new powerful prediction strategy (SY, JH, DK, NK, DC, JP, JK), pp. 1–3.
DATE-2014-ZhangDGLZXS #framework #named #simulation: MSim: A general cycle accurate simulation platform for memcomputing studies (CZ, PD, HG, JL, QZ, JX, YS), pp. 1–5.
DATE-2014-ZhaoL #bound: Empowering study of delay bound tightness with simulated annealing (XZ, ZL), pp. 1–6.
VLDB-2014-FanWWD #distributed #graph #simulation: Distributed Graph Simulation: Impossibility and Possibility (WF, XW, YW, DD), pp. 1083–1094.
ITiCSE-2014-MonasorVPNB #assessment #development #process: Assessment process for a simulation-based training environment in global software development (MJM, AV, MP, JN, SB), pp. 231–236.
ICSME-2014-ZhangHD #automation #parallel #scalability #simulation #tool support #validation: Tools for Enabling Automatic Validation of Large-Scale Parallel Application Simulations (DZ, GH, DD), pp. 601–604.
PLDI-2014-AlglaveMT #memory management #modelling #simulation #testing: Herding cats: modelling, simulation, testing, and data-mining for weak memory (JA, LM, MT), p. 7.
STOC-2014-BerryCCKS #exponential #precise #simulation: Exponential improvement in precision for simulating sparse Hamiltonians (DWB, AMC, RC, RK, RDS), pp. 283–292.
AFL-2014-HutagalungLL #automaton #game studies #simulation: Buffered Simulation Games for Büchi Automata (MH, ML, ÉL), pp. 286–300.
ICALP-v1-2014-BringmannKPPT #performance #physics #simulation: Internal DLA: Efficient Simulation of a Physical Growth Model — (Extended Abstract) (KB, FK, KP, UP, HT), pp. 247–258.
ICALP-v1-2014-DemaineDFPSWW #assembly #simulation: One Tile to Rule Them All: Simulating Any Tile Assembly System with a Single Universal Tile (EDD, MLD, SPF, MJP, RTS, AW, DW), pp. 368–379.
LATA-2014-LiPT #probability #process #simulation: Probabilistic Simulation for Probabilistic Data-Aware Business Processes (HL, FP, FT), pp. 503–515.
IFM-2014-LaibinisBPTTP #in the cloud #modelling #simulation: Integrating Event-B Modelling and Discrete-Event Simulation to Analyse Resilience of Data Stores in the Cloud (LL, BB, IP, ET, KET, IP), pp. 103–119.
CHI-2014-BachynskyiOPW #human-computer #simulation: Is motion capture-based biomechanical simulation valid for HCI studies?: study and implications (MB, AO, GP, TW), pp. 3215–3224.
CHI-2014-LuiKAQS #simulation: Supporting learners in collecting and exploring data from immersive simulations in collective inquiry (ML, ACK, AA, CQ, JDS), pp. 2103–2112.
DHM-2014-Li0ZHZ #case study #evaluation: Study on the Evaluation of Automotive Seat Comfort during Prolonged Simulated Driving (XL, LD, QXZ, HH, CZ), pp. 101–111.
DHM-2014-LiZYD #simulation: Simulation on Thermal Control System of the Extravehicular Spacesuit (TL, JZ, XY, LD), pp. 112–123.
DHM-2014-ZhangTWHFC #modelling: Modeling Human Control Strategies in Simulated RVD Tasks through the Time-Fuel Optimal Control Model (SZ, YT, CW, SH, YF, SC), pp. 661–670.
DUXU-DI-2014-Wanner #design #empirical #game studies #simulation: Serious Economic Games: Designing a Simulation Game for an Economic Experiment (DW), pp. 782–793.
DUXU-ELAS-2014-Abdullah #monitoring #network #simulation: Simulation of Wireless Sensor Network for Flood Monitoring System (MA), pp. 255–264.
HCI-AIMT-2014-MullerT #framework #simulation #workflow: An Emotional Framework for a Real-Life Worker Simulation — Emotional Valence Scoring Inside a Workflow Enhancement Simulator (NHM, MT), pp. 675–686.
HCI-AS-2014-Nakanishi #game studies #prototype #simulation #visualisation: Prototyping for Digital Sports Integrating Game, Simulation and Visualization (YN), pp. 634–642.
HCI-AS-2014-PortouliP #adaptation #multi: Adaptive Warning Strategies from Multiple Systems: A Simulator Study with Drivers with Different Reaction Times (EP, VP), pp. 485–493.
HIMI-DE-2014-EideOK #assessment: A Post-simulation Assessment Tool for Training of Air Traffic Controllers (AWE, SSØ, AK), pp. 34–43.
LCT-NLE-2014-BrownL #education #simulation #student: Promoting Students’ Writing Skills in Science through an Educational Simulation: The GlobalEd 2 Project (SWB, KAL), pp. 371–379.
LCT-NLE-2014-Kim #feedback #learning #self #simulation: Simulation Training in Self-Regulated Learning: Investigating the Effects of Dual Feedback on Dynamic Decision-Making Tasks (JHK), pp. 419–428.
LCT-TRE-2014-HafnerHO #artificial reality #physics #using: Experiencing Physical and Technical Phenomena in Schools Using Virtual Reality Driving Simulator (PH, VH, JO), pp. 50–61.
LCT-TRE-2014-Hayes14a #approach #development #game studies #learning #simulation: An Approach to Holistic Development of Serious Games and Learning Simulations (ATH), pp. 42–49.
LCT-TRE-2014-NordvallAS #education: Exploring Simulated Provocations — Supporting Pre-Service Teachers’ Reflection on Classroom Management (MN, MA, MS), pp. 182–193.
LCT-TRE-2014-ShahoumianSZPH #education #learning #simulation: Blended Simulation Based Medical Education: A Complex Learning/Training Opportunity (AS, MS, MZ, GP, JH), pp. 478–485.
ICEIS-v2-2014-PodlouckyP #formal method #simulation #towards #validation: Towards Formal Foundations for BORM ORD Validation and Simulation (MP, RP), pp. 315–322.
ICPR-2014-MorenoS #simulation: Volume-Based Fabric Tensors through Lattice-Boltzmann Simulations (RM, ÖS), pp. 3179–3184.
KDD-2014-RadosavljevikP #interface #modelling #predict #scalability: Large scale predictive modeling for micro-simulation of 3G air interface load (DR, PvdP), pp. 1620–1629.
KEOD-2014-BrucatoD #modelling #ontology #simulation: The Minimal Ontology Principle — Philosophical Foundations of OPM-based Modelling and Simulation (JB, DD), pp. 405–409.
KEOD-2014-FatyaniIP #ontology #petri net #simulation: Transformation of DEMO Model into Coloured Petri Net — Ontology based Simulation (TF, JI, JP), pp. 388–396.
SEKE-2014-PaikariF #analysis #design #implementation #simulation: Analysis, Design and Implementation of an Agent Based System for Simulating Connected Vehicles (EP, BHF), pp. 338–343.
RE-2014-GregoriadesPS #requirements: Simulation-based requirements discovery for smart driver assistive technologies (AG, MP, AGS), pp. 317–318.
RE-2014-PorterLS #case study #experience #feedback #framework #requirements #using: Building a National E-Service using Sentire experience report on the use of Sentire: A volere-based requirements framework driven by calibrated personas and simulated user feedback (CP, EL, MAS), pp. 374–383.
SAC-2014-AvilaMRPY #distributed #quantum #simulation: GPU-aware distributed quantum simulation (AA, AM, RR, MLP, ACY), pp. 860–865.
SAC-2014-Gutierrez-GarciaG #multi #safety #simulation: Multi-agent simulation of perception of safety from crime (JOGG, AGdSG), pp. 573–578.
SAC-2014-JangJL #component #embedded #generative #prototype #simulation: Virtual prototype generation by shockwave flash for simulating HW components of embedded system (SYJ, AKJ, WJL), pp. 1755–1756.
SAC-2014-ParkY #multi #network #simulation #smarttech: Encountering smartphones in network simulation: a preliminary result on multi-radio multicast (YP, WY), pp. 1727–1728.
SAC-2014-PatanaikZK #estimation #parametricity #simulation: Parameter estimation and simulation for one-choice Ratcliff diffusion model (AP, VZ, CKK), pp. 3–7.
CGO-2014-BrankovicSGG #simulation: Warm-Up Simulation Methodology for HW/SW Co-Designed Processors (AB, KS, EG, AG), p. 284.
HPDC-2014-BakerXDLNMEVW #simulation: A methodology for evaluating the impact of data compression on climate simulation data (AHB, HX, JMD, MNL, DN, SAM, JE, MV, AW), pp. 203–214.
PPoPP-2014-TimnatP #data type #simulation: A practical wait-free simulation for lock-free data structures (ST, EP), pp. 357–368.
CAV-2014-BinghamL #bound #fault #simulation #using #verification: Verifying Relative Error Bounds Using Symbolic Simulation (JB, JLH), pp. 277–292.
ICLP-J-2014-BogaertsJBCVD #calculus #linear #simulation #using: Simulating Dynamic Systems Using Linear Time Calculus Theories (BB, JJ, MB, BdC, JV, MD), pp. 477–492.
ICTSS-2014-PalmieriCO #automation #testing: Cutting Time-to-Market by Adopting Automated Regression Testing in a Simulated Environment (MP, AC, AÖ), pp. 129–144.
RTA-TLCA-2014-Schmidt-SchaussS #call-by #λ-calculus: Applicative May- and Should-Simulation in the Call-by-Value λ Calculus with AMB (MSS, DS), pp. 379–394.
CASE-2013-DingLZC #physics #simulation: Emergency evacuation simulation in staircases considering evacuees’ physical and psychological status (ND, PBL, HZ, TC), pp. 741–746.
CASE-2013-FantiIRU #analysis #scheduling #simulation: A simulation based analysis of production scheduling in a steelmaking and continuous casting plant (MPF, GI, GR, WU), pp. 150–155.
CASE-2013-FerreiraR #comparison #design #layout #performance #simulation #using: Performance comparison of the virtual cell layout with cellular and job shop configurations using simulation and design of experiments (JCEF, PAR), pp. 795–800.
CASE-2013-Geldmann #image #monte carlo #simulation #using: Fine registration of SEM and AFM images using Monte Carlo simulations (CG), pp. 813–818.
CASE-2013-KramerKBSPG #evaluation #knowledge-based #performance #simulation: Performance evaluation of knowledge-based kitting via simulation (TRK, ZK, SB, CS, AP, SG), pp. 356–361.
CASE-2013-LiSZL #assessment #automation #difference #quality #simulation: Sensor data quality assessment for building simulation model calibration based on automatic differentiation (SL, ZS, MZ, YL), pp. 752–757.
CASE-2013-RoyerBTT #assessment #behaviour #energy #modelling #multi #simulation #using: Modelling of a multi-zone building and assessment of its thermal behaviour using an energy simulation software (SR, MB, ST, TT), pp. 735–740.
CASE-2013-ZhouSHJLS #lens #simulation: Numerical simulation in compression molding of glass lens (JZ, TS, YH, YJ, ML, LS), pp. 669–674.
DAC-2013-ChenWBA #random #reuse #simulation #verification: Simulation knowledge extraction and reuse in constrained random processor verification (WC, LCW, JB, MSA), p. 6.
DAC-2013-Fang #simulation: A new time-stepping method for circuit simulation (GPF), p. 10.
DAC-2013-GrossmanTBS #design #framework #simulation: The role of cascade, a cycle-based simulation infrastructure, in designing the anton special-purpose supercomputers (JPG, BT, JAB, DES), p. 9.
DAC-2013-HanZF #gpu #named #parallel #simulation: TinySPICE: a parallel SPICE simulator on GPU for massively repeated small circuit simulations (LH, XZ, ZF), p. 8.
DAC-2013-JangPK #simulation: An event-driven simulation methodology for integrated switching power supplies in SystemVerilog (JEJ, MJP, JK), p. 7.
DAC-2013-LeGHD #simulation #using #verification: Verifying SystemC using an intermediate verification language and symbolic simulation (HML, DG, VH, RD), p. 6.
DAC-2013-WagstaffGFT #architecture #partial evaluation #set: Early partial evaluation in a JIT-compiled, retargetable instruction set simulator generated from a high-level architecture description (HW, MG, BF, NPT), p. 6.
DAC-2013-YeWHL #parallel #segmentation #simulation: Time-domain segmentation based massively parallel simulation for ADCs (ZY, BW, SH, YL), p. 6.
DATE-2013-BeerGCCZ #challenge #metric #simulation: Metastability challenges for 65nm and beyond: simulation and measurements (SB, RG, JC, TC, DMZ), pp. 1297–1302.
DATE-2013-ChenD #parallel #predict #simulation #using: Optimized out-of-order parallel discrete event simulation using predictions (WC, RD), pp. 3–8.
DATE-2013-DaloukasMETS #approach #network #parallel #performance #power management: A parallel fast transform-based preconditioning approach for electrical-thermal co-simulation of power delivery networks (KD, AM, NEE, PT, GIS), pp. 1689–1694.
DATE-2013-DiazSSR #analysis #network #performance #security #simulation: Wireless sensor network simulation for security and performance analysis (AD, PS, JS, JR), pp. 432–435.
DATE-2013-FourmigueBN #3d #simulation: Explicit transient thermal simulation of liquid-cooled 3D ICs (AF, GB, GN), pp. 1385–1390.
DATE-2013-GielenM #modelling #probability #simulation: Stochastic degradation modeling and simulation for analog integrated circuits in nanometer CMOS (GGEG, EM), pp. 326–331.
DATE-2013-HelmstetterCGMV #performance #simulation #using: Fast and accurate TLM simulations using temporal decoupling for FIFO-based communications (CH, JC, BG, MM, PV), pp. 1185–1188.
DATE-2013-LagraaTP #concurrent #data access #data mining #identification #memory management #mining #simulation: Data mining MPSoC simulation traces to identify concurrent memory access patterns (SL, AT, FP), pp. 755–760.
DATE-2013-LeeWHY #3d #hybrid #named: NUMANA: a hybrid numerical and analytical thermal simulator for 3-D ICs (YML, THW, PYH, CPY), pp. 1379–1384.
DATE-2013-LiZCZ #analysis #multi #simulation: Multi-level phase analysis for sampling simulation (JL, WZ, HC, BZ), pp. 649–654.
DATE-2013-LuMS #embedded #performance #simulation: Fast cache simulation for host-compiled simulation of embedded software (KL, DMG, US), pp. 637–642.
DATE-2013-LyrasRPS #multi #scalability #simulation: Hypervised transient SPICE simulations of large netlists & workloads on multi-processor systems (GL, DR, AP, DS), pp. 655–658.
DATE-2013-NiakiS #automation #embedded #parallel #simulation: An automated parallel simulation flow for heterogeneous embedded systems (SHAN, IS), pp. 27–30.
DATE-2013-PaoneVZSMHL #embedded #manycore #modelling #simulation: Improving simulation speed and accuracy for many-core embedded platforms with ensemble models (EP, NV, VZ, CS, DM, GH, TL), pp. 671–676.
DATE-2013-WangH #embedded #modelling #performance #simulation: Fast and accurate cache modeling in source-level simulation of embedded software (ZW, JH), pp. 587–592.
DATE-2013-YilmazSWO #analysis #fault #industrial #scalability #simulation: Fault analysis and simulation of large scale industrial mixed-signal circuits (EY, GS, LW, SO), pp. 565–570.
DATE-2013-YuZHWLT #approach #manycore #set #simulation: A critical-section-level timing synchronization approach for deterministic multi-core instruction set simulations (FWY, BHZ, YHH, HIW, CRL, RST), pp. 643–648.
SIGMOD-2013-CaiVPAHJ #markov #simulation #using: Simulation of database-valued markov chains using SimSQL (ZC, ZV, LLP, SA, PJH, CMJ), pp. 637–648.
CSEET-2013-BollinHS #assurance #development #education #process #simulation: Teaching software development processes by simulation: Wuality assurance as a factor of success (AB, EH, LS), pp. 362–364.
ITiCSE-2013-Beltran #artificial reality #gender: The importance of the avatar gender in training simulators based on virtual reality (MB), p. 334.
ITiCSE-2013-Rodriguez-CerezoGS #compilation #comprehension #concept #education #interactive #simulation: Interactive educational simulations for promoting the comprehension of basic compiler construction concepts (DRC, MGA, JLSR), pp. 28–33.
FoSSaCS-2013-KatsumataS #algebra #monad #simulation: Preorders on Monads and Coalgebraic Simulations (SyK, TS), pp. 145–160.
STOC-2013-ChungPS #security #simulation: Non-black-box simulation from one-way functions and applications to resettable security (KMC, RP, KS), pp. 231–240.
STOC-2013-Goyal #concurrent #simulation: Non-black-box simulation in the fully concurrent setting (VG), pp. 221–230.
LATA-2013-HutagalungLL #automaton #game studies #simulation: Revealing vs. Concealing: More Simulation Games for Büchi Inclusion (MH, ML, ÉL), pp. 347–358.
IFM-2013-DemasiCMA #fault tolerance #simulation: Characterizing Fault-Tolerant Systems by Means of Simulation Relations (RD, PFC, TSEM, NA), pp. 428–442.
CHI-2013-ZadowBHBSD #education #interactive #named #simulation: SimMed: combining simulation and interactive tabletops for medical education (UvZ, SB, TH, FB, KS, RD), pp. 1469–1478.
DHM-HB-2013-MaruyamaKD #3d #simulation: Simulating a Walk of Digital Human Model Directly in Massive 3D Laser-Scanned Point Cloud of Indoor Environments (TM, SK, HD), pp. 366–375.
DHM-HB-2013-YangZF #simulation: Simulation of Pushing the Push-Pull Rod Action Based on Human Body Dynamics (ZY, YZ, SF), pp. 393–401.
DHM-SET-2013-LiuZX #behaviour #simulation: Effects of Sleep Deprivation on Pilot’s Cognitive Behavior in Flight Simulation (ZQL, QXZ, FX), pp. 45–54.
DHM-SET-2013-MamessierF #automation #interactive #modelling #simulation: Simulating the Impact of Mental Models on Human Automation Interaction in Aviation (SM, KMF), pp. 61–69.
DHM-SET-2013-MoriK #3d #evaluation #simulation: Ergonomics Study of Direct and Indirect Visibility Evaluation at Uncontrolled Intersections Based on Three-Dimensional Computer Simulation (MM, NK), pp. 70–77.
DHM-SET-2013-PuchWFP #evaluation #interactive #simulation #using: Evaluation of Drivers Interaction with Assistant Systems Using Criticality Driven Guided Simulation (SP, BW, MF, TP), pp. 108–117.
DUXU-NTE-2013-WaldronS: Calculation of Areas of Permanence in Public Spaces, According to Solar Radiation Simulated Conditions (JAW, JHS), pp. 215–223.
DUXU-PMT-2013-FilippiBFBC #interactive #simulation: Human in the Loop: A Model to Integrate Interaction Issues in Complex Simulations (SF, DB, FF, MB, UC), pp. 242–251.
DUXU-WM-2013-Aurelio #architecture #design #simulation #visualisation: Visualizing Information Associated with Architectural Design Variations and Simulations (DA), pp. 469–477.
HCI-III-2013-Joo #behaviour #reasoning #simulation: Perception and BDI Reasoning Based Agent Model for Human Behavior Simulation in Complex System (JJ), pp. 62–71.
HCI-IMT-2013-ClamannMK #artificial reality #comparison #simulation #visual notation: Comparison of Enhanced Visual and Haptic Features in a Virtual Reality-Based Haptic Simulation (MPC, WM, DBK), pp. 551–560.
HIMI-D-2013-Remy #in the cloud #simulation #standard: Quantifying the Impact of Standards When Hosting Robotic Simulations in the Cloud (SLR), pp. 365–374.
HIMI-HSM-2013-Campbell #safety #simulation #using: Safety Culture: An Examination of the Relationship between a Safety Management System and Pilot Judgment Using Simulation in Aeronautics (SAC), pp. 453–459.
HIMI-HSM-2013-DamrongratKI #multi #ontology #representation #simulation #using: Increasing Situational Awareness of Indoor Emergency Simulation Using Multilayered Ontology-Based Floor Plan Representation (CD, HK, MI), pp. 39–45.
HIMI-HSM-2013-HeinCCMLG #coordination #simulation: Developing a High-Fidelity Simulation and Training to Improve Coordination between Aerospace Specializations (MH, PC, PC, RM, GL, AG), pp. 66–75.
HIMI-HSM-2013-IsonTV #design #simulation: Designing Simulation to Meet UAS Training Needs (DCI, BAT, DAV), pp. 585–595.
HIMI-HSM-2013-ItohKMYYO #behaviour #comparison: Comparison of Cognitively Impaired, Healthy Non-Professional and Healthy Professional Driver Behavior on a Small and Low-Fidelity Driving Simulator (MI, MK, KM, KY, SY, MO), pp. 490–496.
HIMI-HSM-2013-LeeJ #analysis #simulation #using: Task Analysis of Soft Control Operations Using Simulation Data in Nuclear Power Plants (SJL, WJ), pp. 524–529.
HIMI-HSM-2013-SasakiHAI #simulation #using: Train Ride Simulation Using Assist Strap Device (TS, KH, TA, YI), pp. 189–197.
HIMI-HSM-2013-Wesugi #approach #design #experience #novel #simulation: Design Approach of Simulation Exercise with Use of Device and Its Significance — Design of Novel Device for Realistic Experience of Being a Hemiplegia Patient (SW), pp. 315–324.
ICEIS-v1-2013-IsmailHQDE #clustering #evaluation #query #simulation #using: Clustering using Hypergraph for P2P Query Routing — Simulation and Evaluation (AI, MH, MQ, ND, MES), pp. 247–254.
ICEIS-v1-2013-LiuV #modelling #simulation: An Agent-based Modeling for Price-responsive Demand Simulation (HL, JV), pp. 436–443.
ICEIS-v1-2013-ZouhaierKSS #multi #simulation: Multi-Agent System Model for Container Management Simulation (HZ, FK, FS, LBS), pp. 498–505.
ICEIS-v2-2013-TomasSGGA #api #approach #architecture #framework #using: Synaptic City — An Architectural Approach using an OSGI Infrastructure and GMaps API to Build a City Simulator (GHRPT, WMdS, KG, VCG, AÁ), pp. 427–434.
KDD-2013-MorenoNK #graph #learning #modelling: Learning mixed kronecker product graph models with simulated method of moments (SM, JN, SK), pp. 1052–1060.
RecSys-2013-AhnPLL #graph #recommendation: A heterogeneous graph-based recommendation simulator (YA, SP, SL, SgL), pp. 471–472.
SEKE-2013-FortalezaJCVP #development #distributed #simulation: Improving Software Engineers’ Skills through the Simulation of Distributed Software Development in Academic Environments (LLF, OOMJ, TC, SRCV, RP), pp. 190–195.
ICSE-2013-Lin #comprehension #evolution #simulation: Understanding and simulating software evolution (ZL), pp. 1411–1414.
HPCA-2013-ArdestaniR #manycore #named #performance #using: ESESC: A fast multicore simulator using Time-Based Sampling (EKA, JR), pp. 448–459.
HPDC-2013-KamalBBCM #scalability #simulation: Load balancing in large-scale epidemiological simulations (TK, KRB, ARB, YC, MVM), pp. 123–124.
HPDC-2013-Shaw #named #simulation: Anton: a special-purpose machine that achieves a hundred-fold speedup in biomolecular simulations (DES), pp. 129–130.
PPoPP-2013-YangXFGLXLSYZ #algorithm #cpu #gpu #simulation: A peta-scalable CPU-GPU algorithm for global atmospheric simulations (CY, WX, HF, LG, LL, YX, YL, JS, GY, WZ), pp. 1–12.
CAV-2013-ManciniMMMMT #model checking #simulation #verification: System Level Formal Verification via Model Checking Driven Simulation (TM, FM, AM, IM, FM, ET), pp. 296–312.
ICST-2013-NetterGB #composition #framework #modelling #simulation #validation: Real-Data Validation of Simulation Models in a Function-Based Modular Framework (FN, FG, BB), pp. 41–47.
LICS-2013-HofmanMT #decidability #simulation: Decidability of Weak Simulation on One-Counter Nets (PH, RM, PT), pp. 203–212.
WICSA-ECSA-2012-AstekinS #analysis #clone detection #detection #simulation: Utilizing Clone Detection for Domain Analysis of Simulation Systems (MA, HS), pp. 287–291.
WICSA-ECSA-2012-BaelenC #design #evolution #simulation: Simulating Structural Design Evolution of Software (WB, YC), pp. 258–261.
CASE-2012-DotoliFIR #agile #modelling #simulation #using: A lean manufacturing strategy using Value Stream Mapping, the Unified Modeling Language, and discrete event simulation (MD, MPF, GI, GR), pp. 668–673.
CASE-2012-HoerningSWS #analysis #robust #simulation #tool support: Improving discrete event simulation in the emergency department with innovative and robust input analysis tools (SH, JS, TW, LS), pp. 131–136.
CASE-2012-LeeB #execution #framework #lifecycle #simulation #using: Executable simulation lifecycle management framework using extensible and interoperable simulation language (HL, AB), pp. 237–242.
CASE-2012-LeeHJKL #matlab #simulation #using: Dynamic simulation of radial active magnetic bearing system for high speed rotor using ADAMS and MATLAB co-simulation (KCL, DKH, YHJ, CYK, MCL), pp. 880–885.
CASE-2012-LiLPZ #physics #simulation: Control system simulation for 360MN extrusion machine based on physical model (WL, WL, FP, QZ), pp. 243–249.
CASE-2012-WangHDS #agile #analysis #protocol #simulation #using: Analysis of hospital rapid response protocols using simulation (SW, LEH, PD, CHS), pp. 315–322.
CASE-2012-ZhangLCCJ #set #simulation: An improved simulation budget allocation procedure to efficiently select the optimal subset of many alternatives (SZ, LHL, EPC, CHC, HYJ), pp. 230–236.
CASE-2012-ZhaoLKH #data fusion #locality #simulation #using: A simulation study of sensor data fusion using UKF for bucket wheel reclaimer localization (SZ, TFL, BK, AH), pp. 1192–1197.
DAC-2012-ChangB #simulation: Improving gate-level simulation accuracy when unknowns exist (KHC, CB), pp. 936–940.
DAC-2012-FangMZLHZCLZ #manycore #named: Transformer: a functional-driven cycle-accurate multicore simulator (ZF, QM, KZ, YL, YH, WZ, HC, JL, BZ), pp. 106–114.
DAC-2012-HuangLWT #interface: A non-intrusive timing synchronization interface for hardware-assisted HW/SW co-simulation (YHH, YSL, HIW, RST), pp. 127–132.
DAC-2012-LiuH #network #scalability #simulation: Dynamic river network simulation at large scale (FL, BRH), pp. 723–728.
DAC-2012-MurilloEJYLA #hybrid #simulation: Synchronization for hybrid MPSoC full-system simulation (LGM, JFE, JJ, SY, RL, GA), pp. 121–126.
DAC-2012-RenCWZY #gpu #parallel #simulation: Sparse LU factorization for parallel circuit simulation on GPU (LR, XC, YW, CZ, HY), pp. 1125–1130.
DAC-2012-ZhaoF #on the fly #performance #simulation #towards: Towards efficient SPICE-accurate nonlinear circuit simulation with on-the-fly support-circuit preconditioners (XZ, ZF), pp. 1119–1124.
DATE-2012-AridhiZT #order #reduction #simulation #towards #using: Towards improving simulation of analog circuits using model order reduction (HA, MHZ, ST), pp. 1337–1342.
DATE-2012-BombieriFG #fault #framework #functional #named #simulation #verification: FAST-GP: An RTL functional verification framework based on fault simulation on GP-GPUs (NB, FF, VG), pp. 562–565.
DATE-2012-BrachtendorfBL #simulation: Simulation of the steady state of oscillators in the time domain (HGB, KB, RL), pp. 1355–1360.
DATE-2012-ChenHD #design #parallel #simulation: Out-of-order parallel simulation for ESL design (WC, XH, RD), pp. 141–146.
DATE-2012-JovicYMELA #hybrid #simulation: Hybrid simulation for extensible processor cores (JJ, SY, LGM, JFE, RL, GA), pp. 288–291.
DATE-2012-LafayePBGF #embedded #modelling #resource management #simulation: Model driven resource usage simulation for critical embedded systems (ML, LP, EB, MG, DF), pp. 312–315.
DATE-2012-LiuTWY #simulation: A GPU-accelerated envelope-following method for switching power converter simulation (XL, SXDT, HW, HY), pp. 1349–1354.
DATE-2012-MammoCPNZMB #approximate #simulation: Approximating checkers for simulation acceleration (BM, DC, DP, AN, AZ, RM, VB), pp. 153–158.
DATE-2012-PanagopoulosAR #approach #framework #hybrid #simulation: A framework for simulating hybrid MTJ/CMOS circuits: Atoms to system approach (GP, CA, KR), pp. 1443–1446.
DATE-2012-SchoenmakerMSBTJ #scalability #simulation: Large signal simulation of integrated inductors on semi-conducting substrates (WS, MM, BDS, SB, CT, RJ), pp. 1221–1226.
DATE-2012-StattelmannGCBR #hybrid #modelling #simulation #using: Hybrid source-level simulation of data caches using abstract cache models (SS, GG, CC, OB, WR), pp. 376–381.
DATE-2012-StripfKB #approximate #architecture: A cycle-approximate, mixed-ISA simulator for the KAHRISMA architecture (TS, RK, JB), pp. 21–26.
DATE-2012-WangH #compilation #embedded #optimisation #simulation: Accurate source-level simulation of embedded software with respect to compiler optimizations (ZW, JH), pp. 382–387.
DATE-2012-WangLPW #algorithm #difference #linear #simulation: An operational matrix-based algorithm for simulating linear and fractional differential circuits (YW, HL, GKHP, NW), pp. 1463–1466.
CSEET-2012-BollinHMS #case study #education #experience #re-engineering #simulation: Experiences with Integrating Simulation into a Software Engineering Curriculum (AB, EH, RM, LS), pp. 62–71.
CSEET-2012-BollinHS #concept #education #experience #project management #simulation #using: Teaching Software Project Management using Simulations — The AMEISE Environment: from Concepts to Class Room Experience (AB, EH, LS), pp. 85–86.
ITiCSE-2012-Black #cpu #design #education #hardware: A hardware simulator for teaching CPU design (MB), p. 380.
ITiCSE-2012-GoldweberDJ #hardware #operating system #using: Supporting operating systems projects using the μMPS2 hardware simulator (MG, RD, TJ), pp. 63–68.
CSMR-2012-Dovgalyuk #debugging #dynamic analysis #execution #multi: Deterministic Replay of System’s Execution with Multi-target QEMU Simulator for Dynamic Analysis and Reverse Debugging (PD), pp. 553–556.
IFM-2012-BlackmoreHBER #automation #generative #simulation #verification: Analysing and Closing Simulation Coverage by Automatic Generation and Verification of Formal Properties from Coverage Reports (TB, DH, PB, KE, NR), pp. 84–98.
SEFM-2012-NikolicPZ #imperative #modelling #rule-based #simulation: A Rule-Based and Imperative Language for Biochemical Modeling and Simulation (DN, CP, RZ), pp. 16–32.
CHI-2012-KreitmayerRLP #game studies #simulation: From participatory to contributory simulations: changing the game in the classroom (SK, YR, RCL, SP), pp. 49–58.
CSCW-2012-PoltrockHPM: Recognizing team context during simulated missions (SEP, MJH, SRP, PM), pp. 197–206.
CIKM-2012-JiangHHYN #evaluation #query #simulation: Contextual evaluation of query reformulations in a search session by user simulation (JJ, DH, SH, ZY, CN), pp. 2635–2638.
CIKM-2012-JiaZH #network #simulation: Non-stationary bayesian networks based on perfect simulation (YJ, WZ, JH), pp. 1095–1104.
CIKM-2012-SmuckerC #probability #simulation: Stochastic simulation of time-biased gain (MDS, CLAC), pp. 2040–2044.
ICPR-2012-JinB #multi #simulation: Single camera multi-person tracking based on crowd simulation (ZJ, BB), pp. 3660–3663.
ICPR-2012-KockelkornSGRJVRSG #classification #interactive #simulation: Interactive classification of lung tissue in CT scans by combining prior and interactively obtained training data: A simulation study (TTJPK, CIS, JCG, RR, PAdJ, MAV, JR, CSP, BvG), pp. 105–108.
ICPR-2012-PerisMMOF #simulation #towards: Towards a simulation driven stereo vision system (MP, SM, AM, YO, KF), pp. 1038–1042.
KMIS-2012-AkiyoshiSK #learning #problem #towards: A Project Manager Skill-up Simulator Towards Problem Solving-based Learning (MA, MS, NK), pp. 190–195.
KMIS-2012-HamadaAS #generative #learning #using: A Generation Method of Reference Operation using Reinforcement Learning on Project Manager Skill-up Simulator (KH, MA, MS), pp. 15–20.
KMIS-2012-OtsukiAS #using: An Improvement Method of User Operations using Decision Tree on Project Manager Skill-up Simulator (MO, MA, MS), pp. 158–163.
KR-2012-Huang12a #constraints #simulation: Search Strategy Simulation in Constraint Booleanization (JH).
SEKE-2012-GrolingerCMS #modelling #ontology #representation #simulation: Ontology-based Representation of Simulation Models (KG, MAMC, JRM, KDS), pp. 432–437.
SIGIR-2012-BaskayaKJ #interactive #simulation: Time drives interaction: simulating sessions in diverse searching environments (FB, HK, KJ), pp. 105–114.
SIGIR-2012-Cummins #modelling #monte carlo #performance #predict #simulation #using: Investigating performance predictors using monte carlo simulation and score distribution models (RC), pp. 1097–1098.
ECMFA-2012-RadjenovicPRWK #approach #plugin #simulation #uml: A Plug-in Based Approach for UML Model Simulation (AR, RFP, LMR, JW, SK), pp. 328–339.
ICMT-2012-Fernandez-RoperoPWP #assessment #empirical #model transformation #simulation: Empirical Assessment of Business Model Transformations Based on Model Simulation (MFR, RPC, BW, MP), pp. 137–151.
MoDELS-2012-AboussororOO #fault #modelling #simulation #visualisation: Seeing Errors: Model Driven Simulation Trace Visualization (EAA, IO, IO), pp. 480–496.
MoDELS-2012-AboussororOO #fault #modelling #simulation #visualisation: Seeing Errors: Model Driven Simulation Trace Visualization (EAA, IO, IO), pp. 480–496.
POPL-2012-LiangFF #concurrent #program transformation #simulation #verification: A rely-guarantee-based simulation for verifying concurrent program transformations (HL, XF, MF), pp. 455–468.
REFSQ-2012-WangLWZW #approach #dependence #impact analysis #simulation: A Simulation Approach for Impact Analysis of Requirement Volatility Considering Dependency Change (JW, JL, QW, HZ, HW), pp. 59–76.
SAC-2012-OliveiraCS #bound #on the #using: On using adversary simulators to obtain tight lower bounds for response times (RSdO, AC, RAS), pp. 1573–1579.
SAC-2012-PereiraR #architecture #simulation: An integrated architecture for autonomous vehicles simulation (JLFP, RJFR), pp. 286–292.
SAC-2012-ThanhZ #algorithm #probability #simulation: Tree-based search for stochastic simulation algorithm (VHT, RZ), pp. 1415–1416.
ICSE-2012-CordyCPSHL #abstraction #model checking #product line: Simulation-based abstractions for software product-line model checking (MC, AC, GP, PYS, PH, AL), pp. 672–682.
SPLC-2012-LeitnerZTW #identification #variability: Requirement identification for variability management in a co-simulation environment (AL, JZ, PT, DW), pp. 269–274.
LCTES-2012-BouissouC #semantics #simulation: An operational semantics for Simulink’s simulation engine (OB, AC), pp. 129–138.
LCTES-2012-KyleBFLT #embedded #manycore #set #simulation #using: Efficiently parallelizing instruction set simulation of embedded multi-core processors using region-based just-in-time dynamic binary translation (SCK, IB, BF, HL, NPT), pp. 21–30.
ICLP-2012-BryS #query #semistructured data #simulation #unification: Simulation Unification: Beyond Querying Semistructured Data (Invited Talk) (FB, SS), pp. 1–13.
ICST-2012-MewsSW #modelling: From AUTOSAR Models to Co-simulation for MiL-Testing in the Automotive Domain (MM, JS, SW), pp. 519–528.
ECSA-2011-MassowHH #architecture #component #configuration management #performance #runtime #simulation: Performance Simulation of Runtime Reconfigurable Component-Based Software Architectures (RvM, AvH, WH), pp. 43–58.
CASE-2011-ChuYSS #probability #simulation #validation: Validation of stochastic traffic flow model with microscopic traffic simulation (KCC, LY, RS, KS), pp. 672–677.
CASE-2011-GhirardiPS #case study #multimodal #throughput: Maximizing the throughput of multimodal logistic platforms by simulation-optimization: The Duferco case study (MG, GP, DS), pp. 52–57.
CASE-2011-HajiD #case study #simulation #using: A simulation case study: Reducing outpatient waiting time of otolaryngology care services using VBA (MH, HD), pp. 525–530.
CASE-2011-JulvezMV #analysis #simulation #using: Analysis and simulation of manufacturing systems using SimHPN toolbox (JJ, CM, CRV), pp. 432–437.
CASE-2011-JuWLBX #framework #simulation: Virtual battery: A simulation framework for batteries in electric vehicles (FJ, JW, JL, SB, GX), pp. 648–653.
CASE-2011-LeonardoKKDS #monitoring #simulation: Simulation of a hydraulic pump application for monitoring and diagnosis methods (DL, SK, AKH, AD, RS), pp. 341–345.
CASE-2011-LiuZCHZ #energy #evaluation #optimisation #simulation: Simulation based evaluation and optimization for energy consumption of a typical welding shop (HL, QZ, WC, NH, XZ), pp. 660–665.
DAC-2011-LiMCMS #modelling #network #performance #reliability #simulation: Device modeling and system simulation of nanophotonic on-chip networks for reliability, power and performance (ZL, MM, XC, ARM, LS), pp. 735–740.
DAC-2011-PatelACG #manycore #named: MARSS: a full system simulator for multicore x86 CPUs (AP, FA, SC, KG), pp. 1050–1055.
DAC-2011-StattelmannBR #optimisation #performance #simulation: Fast and accurate source-level simulation of software timing considering complex code optimizations (SS, OB, WR), pp. 486–491.
DAC-2011-WuWFT #distributed #manycore #scheduling #simulation: A high-parallelism distributed scheduling mechanism for multi-core instruction-set simulation (MHW, PCW, CYF, RST), pp. 339–344.
DAC-2011-YunKKH #embedded #manycore #parallel #simulation: Simulation environment configuration for parallel simulation of multicore embedded systems (DY, JK, SK, SH), pp. 345–350.
DATE-2011-AadithyaDVR #modelling #named #random #simulation: SAMURAI: An accurate method for modelling and simulating non-stationary Random Telegraph Noise in SRAMs (KVA, AD, SV, JSR), pp. 1113–1118.
DATE-2011-FunchalM #framework #modelling #named #simulation #transaction: jTLM: An experimentation framework for the simulation of transaction-level models of Systems-on-Chip (GF, MM), pp. 1184–1187.
DATE-2011-FuWT #approach #manycore #performance #simulation: A shared-variable-based synchronization approach to efficient cache coherence simulation for multi-core systems (CYF, MHW, RST), pp. 347–352.
DATE-2011-JhaLMR #simulation #statistics #trade-off #verification: When to stop verification?: Statistical trade-off between expected loss and simulation cost (SKJ, CJL, SM, SR), pp. 1309–1314.
DATE-2011-KimCSY #modelling #parallel #performance #simulation #using: Temporal parallel simulation: A fast gate-level HDL simulation using higher level models (DK, MJC, KS, SY), pp. 1584–1589.
DATE-2011-KimCY #distributed #predict #simulation: A new distributed event-driven gate-level HDL simulation by accurate prediction (DK, MJC, SY), pp. 547–550.
DATE-2011-LoCWT #modelling #performance #simulation: Cycle-count-accurate processor modeling for fast and accurate system-level simulation (CKL, LCC, MHW, RST), pp. 341–346.
DATE-2011-LuJTL #architecture #parametricity #performance #simulation: Efficient parameter variation sampling for architecture simulations (FL, RJ, GT, SL), pp. 1578–1583.
DATE-2011-MichelFP #embedded #simulation: Speeding-up SIMD instructions dynamic binary translation in embedded processor simulation (LM, NF, FP), pp. 277–280.
DATE-2011-RazaghiG #development #embedded #manycore #realtime: Host-compiled multicore RTOS simulator for embedded real-time software development (PR, AG), pp. 222–227.
DATE-2011-RemondNBM #approach #design #empirical #process #simulation: Mathematical approach based on a “Design of Experiment” to simulate process variations (ER, EN, CB, RM), pp. 1486–1490.
DATE-2011-StattelmannBR #analysis #manycore #performance #simulation: Fast and accurate resource conflict simulation for performance analysis of multi-core systems (SS, OB, WR), pp. 210–215.
DATE-2011-WangKAWMA #energy #simulation #using: Accelerated simulation of tunable vibration energy harvesting systems using a linearised state-space technique (LW, TJK, BMAH, ASW, GVM, INAG), pp. 1267–1272.
DATE-2011-WangWT #approach #modelling #named #performance #scheduling #simulation: DOM: A Data-dependency-Oriented Modeling approach for efficient simulation of OS preemptive scheduling (PCW, MHW, RST), pp. 335–340.
DATE-2011-YehHWL #framework #simulation: Speeding Up MPSoC virtual platform simulation by Ultra Synchronization Checking Method (YFY, CYH, CAW, HCL), pp. 353–358.
DATE-2011-ZaidiGH #simulation #specification: Simulation based tuning of system specification (YZ, CG, JH), pp. 1273–1278.
CSEET-2011-AndrianoMBR #assessment: A quantitative assessment method for simulation-based e-learnings (NA, MGM, CB, DR), pp. 159–168.
CSEET-2011-BollinHM #education #project management #simulation #using: Teaching software project management using simulations (AB, EH, RTM), pp. 81–90.
CSEET-2011-MonsalveWL #education #re-engineering: Teaching software engineering with SimulES-W (ESM, VMBW, JCSdPL), pp. 31–40.
CSEET-2011-PeixotoPRP #bibliography #design #education #game studies #re-engineering #simulation: An overview of the main design characteristics of simulation games in Software Engineering education (DCCP, RMP, RFR, CIPSP), pp. 101–110.
ITiCSE-2011-BlackF #architecture #education #visual notation: Teaching computer architecture with a graphical PC simulator (MDB, MF), p. 337.
ICSM-2011-ShternT #clustering #multi #using: Evaluating software clustering using multiple simulated authoritative decompositions (MS, VT), pp. 353–361.
DLT-J-2009-Petersen11 #bound #simulation: Simulations by Time-Bounded Counter Machines (HP), pp. 395–409.
CIAA-J-2010-EsikM11 #automaton #simulation: The Category of Simulations for Weighted Tree Automata (ZÉ, AM), pp. 1845–1859.
DLT-2011-CeceG #2d #automaton #online #simulation: Simulations over Two-Dimensional On-Line Tessellation Automata (GC, AG), pp. 141–152.
ICALP-v1-2011-FortnowS #robust #simulation: Robust Simulations and Significant Separations (LF, RS), pp. 569–580.
ICALP-v2-2011-CrafaR #abstract interpretation #algorithm #bisimulation #probability #simulation: Probabilistic Bisimulation and Simulation Algorithms by Abstract Interpretation (SC, FR), pp. 295–306.
ICALP-v2-2011-GoodrichM #outsourcing #privacy #ram #simulation: Privacy-Preserving Access of Outsourced Data via Oblivious RAM Simulation (MTG, MM), pp. 576–587.
FM-2011-AlbertGGJST #behaviour #bound #concurrent #simulation #worst-case: Simulating Concurrent Behaviors with Worst-Case Cost Bounds (EA, SG, MGZ, EBJ, RS, SLTT), pp. 353–368.
SEFM-2011-CorralC #simulation #towards: Towards an Agent-Based Methodology for Developing Agro-Ecosystem Simulations (JC, DC), pp. 431–446.
CHI-2011-QuekBWMTPST #design #development #human-computer #interactive #interface #simulation #social: Simulating the feel of brain-computer interfaces for design, development and social interaction (MQ, DB, JW, RMS, MT, SP, MS, MT), pp. 25–28.
CHI-2011-ToupsKHS #coordination #learning #simulation: Zero-fidelity simulation of fire emergency response: improving team coordination learning (ZOT, AK, WAH, NS), pp. 1959–1968.
DHM-2011-BenderiusMWW #analysis #modelling #optimisation #simulation: A Simulation Environment for Analysis and Optimization of Driver Models (OB, GM, KW, MW), pp. 453–462.
DHM-2011-DongWYF #evaluation #research #simulation: Research on Digital Human Model Used in Human Factor Simulation and Evaluation of Load Carriage Equipment (DD, LW, XY, SF), pp. 255–262.
DHM-2011-FritzscheJLBJP #editing #performance #process #simulation: Introducing ema (Editor for Manual Work Activities) — A New Tool for Enhancing Accuracy and Efficiency of Human Simulations in Digital Production Planning (LF, RJ, WL, SB, TJ, AP), pp. 272–281.
DHM-2011-GraggYB #modelling #re-engineering #simulation: Posture Reconstruction Method for Mapping Joint Angles of Motion Capture Experiments to Simulation Models (JG, J(Y, RB), pp. 69–78.
DHM-2011-KaklanisMMT #assessment #automation #framework: A Framework for Automatic Simulated Accessibility Assessment in Virtual Environments (NK, PM, KM, DT), pp. 302–311.
DHM-2011-KwonHBAA #artificial reality #simulation: Simulating Ingress Motion for Heavy Earthmoving Equipment (HK, MH, RB, JA, KAM), pp. 109–118.
DHM-2011-LongBY #bibliography #modelling #simulation: Cloth Modeling and Simulation: A Literature Survey (JL, KB, J(Y), pp. 312–320.
DHM-2011-OzsoyY #case study: Planar Vertical Jumping Simulation-A Pilot Study (BO, J(Y), pp. 161–170.
HCD-2011-Ciarletta #multi #pervasive: Co-simulation and Multi-models for Pervasive Computing as a Complex System (LC), pp. 197–206.
HCD-2011-IharaKY #simulation: Human Affordance as Life-Log for Environmental Simulations (MI, MK, TY), pp. 235–242.
HCI-DDA-2011-Fernandez-LlatasMSN #interactive #process #simulation: Process Choreography for Human Interaction Computer-Aided Simulation (CFL, JBM, PS, JCN), pp. 214–220.
HCI-DDA-2011-KimJRWS #behaviour #simulation #using: Human Behavioral Simulation Using Affordance-Based Agent Model (NK, JJ, LR, RAW, YJS), pp. 368–377.
HCI-ITE-2011-ShinPCPK #feedback: Needle Insertion Simulator with Haptic Feedback (SS, WP, HC, SHP, LK), pp. 119–124.
HCI-MIIE-2011-ChaoFK #framework #simulation: A Framework for Agent-Based Simulation in Tourism Planning (DC, KF, TK), pp. 280–287.
HCI-UA-2011-KanekoN #evaluation #simulation: Proposal of BCM Evaluation Method Based on Disaster Scenario Simulation (RK, YN), pp. 346–353.
HIMI-v1-2011-LifOLHS #multimodal: Multimodal Threat Cueing in Simulated Combat Vehicle with Tactile Information Switching between Threat and Waypoint Indication (PL, PAO, BL, JH, JS), pp. 454–461.
HIMI-v1-2011-LinBK #biology #design #education #multi #simulation: Learner-Centered Methodology for Designing and Developing Multimedia Simulation for Biology Education (CCL, MB, KK), pp. 20–29.
IDGD-2011-GaoQ #analysis #distributed #simulation: Analysis of the Applied Pattern of Distributed Computing Used in Simulation (SfG, HQ), pp. 152–158.
ICEIS-J-2011-ChangS11a #analysis #mobile #process #research #simulation: Research on Grid-Based Mobile Business Process and Analysis on Process Simulation (DC, LS), pp. 349–361.
ICEIS-J-2011-MeisenMSJ11a #adaptation #integration #semantic gap #simulation: Adaptive Information Integration: Bridging the Semantic Gap between Numerical Simulations (TM, PM, DS, SJ), pp. 51–65.
ICEIS-v1-2011-ChangLZ #e-commerce #grid #mobile #process #research #simulation: Simulation Research on the Mobile e-Commerce Process of Non-grid and Grid based on Arena (DC, YL, SZ), pp. 486–494.
ICEIS-v1-2011-MeisenMSJ #integration #simulation #tool support: Application Integration of Simulation Tools Considering Domain Specific Knowledge (TM, PM, DS, SJ), pp. 42–53.
ICEIS-v2-2011-LiQLZ #policy #research #simulation: Research and Demonstration of Agricultural Policy Simulation based on CGE Model (ZL, QQ, YL, DZ), pp. 13–17.
ICEIS-v2-2011-ShahK #architecture #parallel #simulation: System Architecture of the Decision Support System Employing Microscopic Simulation and Expert System in Parallel for the Post Incident Traffic Management (SAAS, HK), pp. 113–117.
ICEIS-v2-2011-TarsauliyaTS #network #search-based #using: Financial Time Series Forecast using Simulated Annealing and Threshold Acceptance Genetic BPA Neural Network (AT, RT, AS), pp. 172–177.
ICEIS-v3-2011-ZhuL11a #automation #modelling #simulation: Modeling and Simulation of the Automatic Train Protection in WLAN based CBTC Systems (XZ, JL), pp. 449–458.
ICEIS-v4-2011-ChangS #mobile #process #research #simulation: Research on Grid-based Mobile Business Process and Simulation (DC, LS), pp. 86–93.
ICEIS-v4-2011-WangL11a #modelling #optimisation #parametricity #simulation: Simulation Modeling and Parameter Optimization in Cyclic Picking System (AW, XL), pp. 690–694.
CIKM-2011-CarteretteKY #behaviour #effectiveness #evaluation #simulation: Simulating simple user behavior for system effectiveness evaluation (BC, EK, EY), pp. 611–620.
ECIR-2011-BaskayaKJ #feedback #simulation: Simulating Simple and Fallible Relevance Feedback (FB, HK, KJ), pp. 593–604.
KDD-2011-LiL #behaviour #community #detection #framework #generative #modelling #network #simulation #social: Social flocks: a crowd simulation framework for social network generation, community detection, and collective behavior modeling (CTL, SDL), pp. 765–768.
KDIR-2011-GilliesSPW #feature model #ontology #simulation: Gene Ontology based Simulation for Feature Selection (CEG, MRS, NVP, GDW), pp. 294–302.
KEOD-2011-HusakovaC #multi #ontology #recommendation #simulation: Exploitation of Ontology-based Recommendation System with Multi-agent Simulations (MH, PC), pp. 433–436.
SEKE-2011-FuginiRIRC #monitoring #risk management #simulation: Simulations of Risks for Monitoring and Prevention (MGF, FR, RI, CR, OC), pp. 602–607.
SIGIR-2011-ElsweilerLTF #evaluation #query: Seeding simulated queries with user-study data forpersonal search evaluation (DE, DEL, JCT, RTF), pp. 25–34.
MoDELS-2011-Sagar #modelling #simulation: Creating Models for Simulating the Face (MS), p. 394.
MoDELS-2011-Sagar #modelling #simulation: Creating Models for Simulating the Face (MS), p. 394.
RE-2011-HeavenL #design #modelling #optimisation #simulation: Simulating and optimising design decisions in quantitative goal models (WH, EL), pp. 79–88.
SAC-2011-FilhoSM #case study #network #simulation: Policy-driven network simulation: a resilience case study (AESF, PS, AM), pp. 492–497.
SAC-2011-KostakisKMM #comparison #graph #using: Improved call graph comparison using simulated annealing (OK, JK, HM, KM), pp. 1516–1523.
SAC-2011-LuKNB #analysis #approach #embedded #realtime #simulation #statistics #validation: A statistical approach to simulation model validation in response-time analysis of complex real-time embedded systems (YL, JK, TN, IB), pp. 711–716.
SAC-2011-YuMGTBGGTL #using: System-level co-simulation of integrated avionics using polychrony (HY, YM, YG, JPT, LB, TG, PLG, AT, OL), pp. 354–359.
ICSE-2011-ZhangJHHZ #process #simulation: Impact of process simulation on software practice: an initial report (HZ, DRJ, DH, LH, LZ), pp. 1046–1056.
HPCA-2011-PellauerAKPE #manycore #named #simulation #using: HAsim: FPGA-based high-detail multicore simulation using time-division multiplexing (MP, MA, MAK, AP, JSE), pp. 406–417.
HPDC-2011-HudsonNRWJP #case study #data-driven #experience #simulation #using: Experiences using smaash to manage data-intensive simulations (RH, JN, LBR, KW, GCJI, MEP), pp. 205–216.
CAV-2011-SinghalA #simulation #using #verification: Using Coverage to Deploy Formal Verification in a Simulation World (VS, PA), pp. 44–49.
ICLP-2011-Bottalico #consistency #hybrid #simulation: Consistency Techniques for Hybrid Simulations (MB), pp. 255–260.
CASE-2010-HewlettK #simulation: Dynamic simulation of ship-system thermal load management (PTH, TMK), pp. 734–741.
DAC-2010-FayyaziK #performance #simulation: Efficient simulation of oscillatory combinational loops (MF, LK), pp. 777–780.
DAC-2010-FonsecaDBGPVB #analysis #reliability #simulation #statistics: A statistical simulation method for reliability analysis of SRAM core-cells (RAF, LD, AB, PG, SP, AV, NB), pp. 853–856.
DAC-2010-HaquePJP #approach #embedded #named #performance #policy #simulation: SCUD: a fast single-pass L1 cache simulation approach for embedded processors with round-robin replacement policy (MSH, JP, AJ, SP), pp. 356–361.
DAC-2010-HsuPH #approach #data flow #modelling #physics #simulation: A mixed-mode vector-based dataflow approach for modeling and simulating LTE physical layer (CJH, JLP, FJH), pp. 18–23.
DAC-2010-KochteSWZ #fault #manycore #performance #simulation: Efficient fault simulation on many-core processors (MAK, MS, HJW, CGZ), pp. 380–385.
DAC-2010-TangZBM #analysis #simulation #statistics: RDE-based transistor-level gate simulation for statistical static timing analysis (QT, AZ, MB, NvdM), pp. 787–792.
DAC-2010-TanWALCPA #architecture #multi: RAMP gold: an FPGA-based architecture simulator for multiprocessors (ZT, AW, RA, YL, HC, DAP, KA), pp. 463–468.
DAC-2010-WangZD #distributed #logic #parallel #simulation: Distributed time, conservative parallel logic simulation on GPUs (BDW, YZ, YD), pp. 761–766.
DAC-2010-YeL #modelling #optimisation #parallel #performance #runtime #simulation: Parallel program performance modeling for runtime optimization of multi-algorithm circuit simulation (XY, PL), pp. 561–566.
DATE-2010-AlpaslanDKMHW #simulation: NIM- a noise index model to estimate delay discrepancies between silicon and simulation (EA, JD, BK, AKM, WMH, PvdW), pp. 1373–1376.
DATE-2010-BashirM #process #reliability #towards: Towards a chip level reliability simulator for copper/low-k backend processes (MB, LSM), pp. 279–282.
DATE-2010-BraunBLR #interface #specification #verification: Simulation-based verification of the MOST NetInterface specification revision 3.0 (AB, OB, DL, WR), pp. 538–543.
DATE-2010-CanedoYK #parallel #pipes and filters #simulation: Skewed pipelining for parallel simulink simulations (AC, TY, HK), pp. 891–896.
DATE-2010-ChanHBBC #analysis #named #network: PhoenixSim: A simulator for physical-layer analysis of chip-scale photonic interconnection networks (JC, GH, AB, KB, LPC), pp. 691–696.
DATE-2010-DammMHG #modelling #network #simulation #transaction #using: Using Transaction Level Modeling techniques for wireless sensor network simulation (MD, JM, JH, CG), pp. 1047–1052.
DATE-2010-HaastregtHK #cost analysis #modelling #multi: Cost modeling and cycle-accurate co-simulation of heterogeneous multiprocessor systems (SvH, EH, BK), pp. 1297–1300.
DATE-2010-HaquePJP #approach #embedded #named #performance #policy #simulation: DEW: A fast level 1 cache simulation approach for embedded processors with FIFO replacement policy (MSH, JP, AJ, SP), pp. 496–501.
DATE-2010-HuangX #framework #named #reliability #simulation: AgeSim: A simulation framework for evaluating the lifetime reliability of processor-based SoCs (LH, QX), pp. 51–56.
DATE-2010-KarnerASW #network #runtime #simulation #using: Holistic simulation of FlexRay networks by using run-time model switching (MK, EA, CS, RW), pp. 544–549.
DATE-2010-KhalighR #adaptation #kernel #modelling #parallel #simulation: Modeling constructs and kernel for parallel simulation of accuracy adaptive TLMs (RSK, MR), pp. 1183–1188.
DATE-2010-MaricauG #complexity #reliability #simulation #variability: Variability-aware reliability simulation of mixed-signal ICs with quasi-linear complexity (EM, GGEG), pp. 1094–1099.
DATE-2010-MelloMGP #parallel #simulation: Parallel simulation of systemC TLM 2.0 compliant MPSoC on SMP workstations (AM, IM, AG, FP), pp. 606–609.
DATE-2010-MischkallaH0 #modelling #simulation #synthesis #uml: Closing the gap between UML-based modeling, simulation and synthesis of combined HW/SW systems (FM, DH, WM), pp. 1201–1206.
DATE-2010-UbarDRJ #parallel #simulation: Parallel X-fault simulation with critical path tracing technique (RU, SD, JR, AJ), pp. 879–884.
DATE-2010-WatanabeA #modelling #multi #performance #simulation: Equivalent circuit modeling of multilayered power/ground planes for fast transient simulation (TW, HA), pp. 1153–1158.
DATE-2010-WuLCT #abstraction #automation #generative #multi #performance: Automatic generation of software TLM in multiple abstraction layers for efficient HW/SW co-simulation (MHW, WCL, CYC, RST), pp. 1177–1182.
DATE-2010-ZhangLL #approach #markov #modelling #simulation #using #verification: An abstraction-guided simulation approach using Markov models for microprocessor verification (TZ, TL, XL), pp. 484–489.
VLDB-2010-WangSSWCDGW #behaviour #pipes and filters #simulation: Behavioral Simulations in MapReduce (GW, MAVS, BS, XW, TC, AJD, JG, WMW), pp. 952–963.
FASE-2010-TorriniHR #graph transformation #probability #simulation: Stochastic Simulation of Graph Transformation Systems (PT, RH, IR), pp. 154–157.
FoSSaCS-2010-AcciaiBZ #behaviour #logic #on the #simulation: On the Relationship between Spatial Logics and Behavioral Simulations (LA, MB, GZ), pp. 146–160.
TACAS-2010-AbdullaCHMV #anti #simulation: When Simulation Meets Antichains (PAA, YFC, LH, RM, TV), pp. 158–174.
ICSM-2010-Alves #assessment #maintenance: Assessment of product maintainability for two space domain simulators (TLA), pp. 1–7.
CIAA-2010-EsikM #automaton #simulation: Simulations of Weighted Tree Automata (ZÉ, AM), pp. 321–330.
IFM-2010-FitzgeraldLPVW #collaboration #development #embedded #modelling: Collaborative Modelling and Co-simulation in the Development of Dependable Embedded Systems (JSF, PGL, KGP, MV, SW), pp. 12–26.
SEFM-2010-HegedusBRV #model transformation #simulation: Back-annotation of Simulation Traces with Change-Driven Model Transformations (ÁH, GB, IR, DV), pp. 145–155.
ICGT-2010-Donyina #modelling #probability #resource management #simulation: Stochastic Modelling and Simulation of Dynamic Resource Allocation (AD), pp. 388–390.
ICGT-2010-LaraGBHT #graph transformation #simulation: Graph Transformation for Domain-Specific Discrete Event Time Simulation (JdL, EG, AB, RH, PT), pp. 266–281.
CHI-2010-FuGN #3d #multi #scalability #simulation: Multi-touch techniques for exploring large-scale 3D astrophysical simulations (CWF, WBG, JAN), pp. 2213–2222.
CAiSE-2010-SchonenbergJSA #analysis #simulation: Business Trend Analysis by Simulation (HS, JJ, NS, WMPvdA), pp. 515–529.
ICEIS-ISAS-2010-MonfortHK #navigation #towards: Towards Extending IMS LD with Services and Context Awareness — Application to a Navigation and Fishing Simulator (VM, SH, MK), pp. 80–91.
ICEIS-J-2010-VilenicaL10a #distributed #simulation: Simulation Management for Agent-Based Distributed Systems (AV, WL), pp. 477–492.
ICEIS-SAIC-2010-VilenicaL #automation #multi #simulation #towards: Towards Automated Simulation of Multi Agent based Systems (AV, WL), pp. 38–46.
ICML-2010-LongS #approximate #simulation #strict: Restricted Boltzmann Machines are Hard to Approximately Evaluate or Simulate (PML, RAS), pp. 703–710.
ICPR-2010-KimKP #algorithm #generative #simulation: A Simulation Study on the Generative Neural Ensemble Decoding Algorithms (SPK, MKK, GTP), pp. 3797–3800.
KMIS-2010-Caballero-GilCM #analysis #clustering #information management #simulation #using: Knowledge Management using Clusters in VANETs — Description, Simulation and Analysis (CCG, PCG, JMG), pp. 170–175.
SEKE-2010-MoserDB #automation #generative #ontology #simulation #testing: Ontology-Based Test Case Generation For Simulating Complex Production Automation Systems (TM, GD, SB), pp. 478–482.
GPCE-2010-KriegerKW #automation #contract #performance #simulation: Automatic and efficient simulation of operation contracts (MPK, AK, BW), pp. 53–62.
RE-2010-LockerbieBMBE #analysis #concept #modelling #simulation #using: Using i* Modelling as a Bridge between Air Traffic Management Operational Concepts and Agent-based Simulation Analysis (JL, DB, NAMM, HAPB, MHCE), pp. 351–356.
SAC-2010-BaffaC #generative #modelling #policy #simulation: Modeling POMDPs for generating and simulating stock investment policies (ACEB, AEMC), pp. 2394–2399.
SAC-2010-DaniVAS #manycore: Accelerating multi-core simulators (AMD, KV, BA, YNS), pp. 2377–2382.
SAC-2010-HoL #algorithm #constraints: Simulated annealing based algorithm for smooth robot path planning with different kinematic constraints (YJH, JSL), pp. 1277–1281.
SAC-2010-JiCW #scalability #simulation: A simulation of large-scale groundwater flow on CUDA-enabled GPUs (XJ, TC, QW), pp. 2402–2403.
SAC-2010-JungCKCGK #interface #multi #network #protocol #stack: Virtual protocol stack interface for multiple wireless sensor network simulators (JJ, YC, YK, YC, BG, JK), pp. 240–241.
SAC-2010-PeixotoPR #education #game studies #simulation: Semiotic inspection method in the context of educational simulation games (DCCP, ROP, RFR), pp. 1207–1212.
SAC-2010-SiebertCC #coordination #distributed #modelling #multi: Agents & artefacts for multiple models coordination: objective and decentralized coordination of simulators (JS, LC, VC), pp. 2024–2028.
LDTA-2010-Giavitto #domain-specific language #simulation: A domain specific language for complex natural and artificial systems simulations (JLG), p. 1.
HPCA-2010-GenbruggeEE #abstraction #architecture #simulation: Interval simulation: Raising the level of abstraction in architectural simulation (DG, SE, LE), pp. 1–12.
HPCA-2010-MillerKKGBCEA #distributed #named #parallel: Graphite: A distributed parallel simulator for multicores (JEM, HK, GK, CGI, NB, CC, JE, AA), pp. 1–12.
HPDC-2010-BhagawatyJPABK #design #implementation #simulation: Design, implementation and use of a simulation data archive for coastal science (HB, LJ, SP, GA, NB, TK), pp. 651–657.
HPDC-2010-DocanPK #coordination #framework #interactive #named #simulation #workflow: DataSpaces: an interaction and coordination framework for coupled simulation workflows (CD, MP, SK), pp. 25–36.
HPDC-2010-DonassoloCLV #performance #scalability #simulation #using #volunteer: Fast and scalable simulation of volunteer computing systems using SimGrid (BD, HC, AL, PV), pp. 605–612.
HPDC-2010-HoeflerSL #named #scalability #simulation: LogGOPSim: simulating large-scale applications in the LogGOPS model (TH, TS, AL), pp. 597–604.
CAV-2010-AbdullaCCHHMV #automaton #simulation #testing: Simulation Subsumption in Ramsey-Based Büchi Automata Universality and Inclusion Testing (PAA, YFC, LC, LH, CDH, RM, TV), pp. 132–147.
ICST-2010-Bubevski #assessment #risk management #simulation #testing: An Application of Six Sigma and Simulation in Software Testing Risk Assessment (VB), pp. 295–302.
ICST-2010-Weissleder #state machine #test coverage #uml: Simulated Satisfaction of Coverage Criteria on UML State Machines (SW), pp. 117–126.
ICTSS-2010-VeanesB #simulation: Alternating Simulation and IOCO (MV, NB), pp. 47–62.
RTA-2010-Schmidt-SchaussSM #call-by #simulation #λ-calculus: Simulation in the Call-by-Need λ-Calculus with letrec (MSS, DS, EM), pp. 295–310.
QoSA-2009-BjornanderGL #architecture #simulation #specification #state machine: Timed Simulation of Extended AADL-Based Architecture Specifications with Timed Abstract State Machines (SB, LG, KL), pp. 101–115.
ASE-2009-BiermannEEH #eclipse #framework #generative #modelling #simulation: Generation of Simulation Views for Domain Specific Modeling Languages Based on the Eclipse Modeling Framework (EB, KE, CE, JH), pp. 625–629.
ASE-2009-LemonRMPDCPPLP #agile #development #simulation: Applications of Simulation and AI Search: Assessing the Relative Merits of Agile vs Traditional Software Development (BL, AR, TM, JP, JD, RC, TP, FP, HL, DP), pp. 580–584.
CASE-2009-BijulalVH #metric #simulation: Stability considerations and service level measures in production — inventory systems: a simulation study (DB, JV, NH), pp. 489–494.
CASE-2009-GaoKJD #automation #modelling #simulation: Semi-automated soft-tissue acquisition and modeling for surgical simulation (ZG, TK, DLJ, JPD), pp. 268–273.
DAC-2009-AbercrombiePC #design #equation #simulation: Use of lithography simulation for the calibration of equation-based design rule checks (DA, FP, CC), pp. 67–70.
DAC-2009-ChatterjeeDB #simulation: Event-driven gate-level simulation with GP-GPUs (DC, AD, VB), pp. 557–562.
DAC-2009-DengCS #authentication #hardware #performance #simulation: Hardware authentication leveraging performance limits in detailed simulations and emulations (DYD, AHC, GES), pp. 682–687.
DAC-2009-DongL #integration #performance #simulation: Parallelizable stable explicit numerical integration for efficient circuit simulation (WD, PL), pp. 382–385.
DAC-2009-IsshikiLKIS #multi #simulation: Trace-driven workload simulation method for Multiprocessor System-On-Chips (TI, DL, HK, TI, KS), pp. 232–237.
DAC-2009-WangCL #network #satisfiability #scalability #simulation: Simulation and SAT-based Boolean matching for large Boolean networks (KHW, CMC, JCL), pp. 396–401.
DAC-2009-WangH #approach #embedded #performance #simulation: An efficient approach for system-level timing simulation of compiler-optimized embedded software (ZW, AH), pp. 220–225.
DAC-2009-ZengYGP #manycore #named: MPTLsim: a simulator for X86 multicore processors (HZ, MTY, KG, DVP), pp. 226–231.
DAC-2009-Zhu #simulation: A parameterized mask model for lithography simulation (ZZ), pp. 963–968.
DATE-2009-CasteresR #architecture #integration #modelling #realtime #trade-off: Aircraft integration real-time simulator modeling with AADL for architecture tradeoffs (JC, TR), pp. 346–351.
DATE-2009-ChatterjeeDB #named #simulation: GCS: High-performance gate-level simulation with GPGPUs (DC, AD, VB), pp. 1332–1337.
DATE-2009-ChenW #3d #modelling #simulation: New simulation methodology of 3D surface roughness loss for interconnects modeling (QC, NW), pp. 1184–1189.
DATE-2009-DarbariAFB #design #simulation #using: Selective state retention design using symbolic simulation (AD, BMAH, DF, JB), pp. 1644–1649.
DATE-2009-FourmigueGNA #design #framework #protocol: Co-simulation based platform for wireless protocols design explorations (AF, BG, GN, EMA), pp. 874–877.
DATE-2009-FummiPQA #energy #flexibility #network #simulation: Flexible energy-aware simulation of heterogenous wireless sensor networks (FF, GP, DQ, AA), pp. 1638–1643.
DATE-2009-FytrakiP #configuration management: ReSim, a trace-driven, reconfigurable ILP processor simulator (SF, DNP), pp. 536–541.
DATE-2009-KirchnerBG #simulation #using: Analogue mixed signal simulation using spice and SystemC (TK, NB, CG), pp. 284–287.
DATE-2009-MaricauG #performance #reliability #simulation #variability: Efficient reliability simulation of analog ICs including variability and time-varying stress (EM, GGEG), pp. 1238–1241.
DATE-2009-PengC #parallel #simulation: Parallel transistor level full-chip circuit simulation (HP, CKC), pp. 304–307.
DATE-2009-TrautmannMBDUDPC #case study #framework #simulation: Simulation framework for early phase exploration of SDR platforms: A case study of platform dimensioning (MT, SM, BB, JD, EU, AD, LVdP, FC), pp. 312–315.
DATE-2009-ZabelM #injection #simulation: Increased accuracy through noise injection in abstract RTOS simulation (HZ, WM), pp. 1632–1637.
CSEET-2009-SaurabhK #re-engineering: Software Engineering: A System Dynamics Simulated Pedagogical Practice (KS, BK), pp. 280–283.
STOC-2009-CleveGMSY #algorithm #performance #quantum #query #simulation: Efficient discrete-time simulations of continuous-time quantum query algorithms (RC, DG, MM, RDS, DLYM), pp. 409–416.
STOC-2009-Gafni: The extended BG-simulation and the characterization of t-resiliency (EG), pp. 85–92.
DLT-2009-Petersen #bound #simulation: Simulations by Time-Bounded Counter Machines (HP), pp. 410–418.
SEFM-2009-HieronsN #distributed #interface #simulation: Simulation Relations for Systems with Distributed Interfaces (RMH, MN), pp. 41–50.
CHI-2009-KimD #artificial reality #navigation: Simulated augmented reality windshield display as a cognitive mapping aid for elder driver navigation (SK, AKD), pp. 133–142.
DHM-2009-AmantiniC #behaviour #fault #predict #simulation: A Simple Simulation Predicting Driver Behavior, Attitudes and Errors (AA, PCC), pp. 345–354.
DHM-2009-ChouvardaM #performance #simulation: Hyperkalemia vs. Ischemia Effects in Fast or Unstable Pacing: A Cardiac Simulation Study (IC, NM), pp. 492–501.
DHM-2009-FuLYB #predict: Simulation-Based Discomfort Prediction of the Lower Limb Handicapped with Prosthesis in the Climbing Tasks (YF, SL, MY, YB), pp. 512–520.
DHM-2009-JunLS #approach #fault #simulation: A Simulation Approach to Understand the Viability of RFID Technology in Reducing Medication Dispensing Errors (EJ, JL, XS), pp. 531–539.
DHM-2009-LudtkeWOW #behaviour #fault #modelling #simulation: Modeling Pilot and Driver Behavior for Human Error Simulation (AL, LW, JPO, BW), pp. 403–412.
DHM-2009-MarshallCSSGD #design #simulation: Virtual Task Simulation for Inclusive Design (RM, KC, SJS, RES, DG, PD), pp. 700–709.
DHM-2009-PitarchYA #simulation: Virtual Human Hand: Grasping and Simulation (EPP, JY, KAM), pp. 140–149.
HCD-2009-Chu #design #evaluation #simulation: User-Centered Mouse Access Evaluation Design: Windows-Based Simulation Technology (CNC), pp. 41–45.
HCD-2009-Stephane #analysis #behaviour #predict #simulation: User Behavior Patterns: Gathering, Analysis, Simulation and Prediction (LS), pp. 322–331.
HCI-NIMT-2009-HurY #data analysis #multi #named #sorting: SimulSort: Multivariate Data Exploration through an Enhanced Sorting Technique (IH, JSY), pp. 684–693.
HCI-NT-2009-DahlAS #mobile #simulation #usability: Evaluating Mobile Usability: The Role of Fidelity in Full-Scale Laboratory Simulations with Mobile ICT for Hospitals (YD, OAA, DS), pp. 232–241.
HCI-VAD-2009-SaitoMQS #development #education #mobile: Development of a Simulator of Abacus: Ancient Analog Calculator on a Mobile Phone as a Teaching Material (KS, YM, VQ, HS), pp. 204–208.
HCI-VAD-2009-SancarCITOE #case study #education #validation: Developing a Validation Methodology for Educational Driving Simulators and a Case Study (HS, KÇ, VI, GT, NO, UE), pp. 760–769.
HCI-VAD-2009-ZhangLBAMY #development #learning #simulation #visualisation: Development of a Visualised Sound Simulation Environment: An e-Approach to a Constructivist Way of Learning (JZ, BL, IB, LA, YM, SY), pp. 266–275.
OCSC-2009-DohiI #interface: A Life-Like Agent Interface System with Second Life Avatars on the OpenSimulator Server (HD, MI), pp. 182–190.
SIGAda-2009-DelangePPKSK #simulation #using #validation: Validate, simulate, and implement ARINC653 systems using the AADL (JD, LP, AP, MK, FS, FK), pp. 31–44.
ICEIS-AIDSS-2009-JuanRMJF #problem: A Simulation-based Methodology to Assist Decision-makers in Real Vehicle Routing Problems (AAJ, DR, DM, JJ, JF), pp. 212–217.
ICEIS-HCI-2009-FanSTD #evolution #simulation: Simulation of Forest Evolution — Effects of Environmental Factors to Trees Growth (JF, XyS, YT, TyD), pp. 66–71.
ICEIS-ISAS-2009-LiM #development #simulation: A Simulation Model for Managing Engineering Changes Along with New Product Development (WL, YBM), pp. 13–18.
ICEIS-J-2009-CastroS #named #simulation: AgEx: A Financial Market Simulation Tool for Software Agents (PALdC, JSS), pp. 704–715.
ICEIS-J-2009-MohebiS #ambiguity #analysis #clustering #detection #hybrid #network #using: An Optimized Hybrid Kohonen Neural Network for Ambiguity Detection in Cluster Analysis Using Simulated Annealing (EM, MNMS), pp. 389–401.
CIKM-2009-Jarvelin #feedback #interactive: Interactive relevance feedback with graded relevance and sentence extraction: simulated user experiments (KJ), pp. 2053–2056.
CIKM-2009-JinSLY #algorithm #flexibility #simulation: A flexible simulation environment for flash-aware algorithms (PJ, XS, ZL, LY), pp. 2093–2094.
CIKM-2009-SioutasPSTM #architecture #distributed #novel: A novel distributed P2P simulator architecture: D-P2P-sim (SS, GP, ES, KT, YM), pp. 2069–2070.
ECIR-2009-BidokiT #documentation: Combination of Documents Features Based on Simulated Click-through Data (AMZB, JAT), pp. 538–545.
ICML-2009-SilverT #monte carlo #simulation: Monte-Carlo simulation balancing (DS, GT), pp. 945–952.
KDD-2009-OzonatY #classification #multi #statistics #towards #web: Towards a universal marketplace over the web: statistical multi-label classification of service provider forms with simulated annealing (KMO, DY), pp. 1295–1304.
KMIS-2009-YangJH #empirical #testing: Constructing a Computer Simulated Experiment Testing System (BY, SJ, DH), pp. 271–275.
SEKE-2009-SeoL #evolution #open source #process #simulation: Agent-based Simulation Model for the Evolution Process of Open Source Software (TS, HL), pp. 170–177.
SEKE-2009-Tappan #component #modelling #physics #simulation: Pedagogy-oriented Software Modeling and Simulation of Component-based Physical Systems (DT), pp. 295–300.
MoDELS-2009-FleureyS #adaptation #execution #modelling #simulation #specification: A Domain Specific Modeling Language Supporting Specification, Simulation and Execution of Dynamic Adaptive Systems (FF, AS), pp. 606–621.
MoDELS-2009-FleureyS #adaptation #execution #modelling #simulation #specification: A Domain Specific Modeling Language Supporting Specification, Simulation and Execution of Dynamic Adaptive Systems (FF, AS), pp. 606–621.
TOOLS-EUROPE-2009-KnorreckAP #design #performance #simulation: Fast Simulation Techniques for Design Space Exploration (DK, LA, RP), pp. 308–327.
SAC-2009-AhulloLAA #network #simulation: An extensible simulation tool for overlay networks and services (JPA, PGL, MSA, MAA), pp. 2072–2076.
SAC-2009-BandiniBV #design #self #simulation: Simulation supporting the design of self-organizing ambient intelligent systems (SB, AB, GV), pp. 2082–2086.
SAC-2009-BerardNT #fault #simulation: Sources of error in a rigid body simulation of rigid parts on a vibrating rigid plate (SB, BN, JCT), pp. 1181–1185.
SAC-2009-BuckerRRW #automation #parallel #problem #simulation: Semi-automatic parallelization of direct and inverse problems for geothermal simulation (HMB, AR, VR, AW), pp. 971–975.
SAC-2009-CasadeiV #design #model checking #probability #self #simulation #using: Using probabilistic model checking and simulation for designing self-organizing systems (MC, MV), pp. 2103–2104.
SAC-2009-DrumwrightS #robust #simulation: A robust and tractable contact model for dynamic robotic simulation (ED, DAS), pp. 1176–1180.
SAC-2009-EstevesRFO #concept #framework #implementation #simulation: Conceptualization and implementation of a microscopic pedestrian simulation platform (EFE, RJFR, PAFF, ECO), pp. 2105–2106.
SAC-2009-FachadaLR #simulation: Simulating antigenic drift and shift in influenza A (NF, VVL, ACR), pp. 2093–2100.
SAC-2009-FranqueiraLE #framework #mobile #modelling #multi #simulation: Multi-step attack modelling and simulation (MsAMS) framework based on mobile ambients (VNLF, RHCL, PvE), pp. 66–73.
SAC-2009-HeinenO #evolution: Evolving morphologies and gaits of physically realistic simulated robots (MRH, FSO), pp. 1161–1165.
SAC-2009-KangCRRV #adaptation #composition #implementation #probability #simulation: Modular implementation of adaptive decisions in stochastic simulations (PK, YC, NR, CJR, SV), pp. 995–1001.
SAC-2009-LeeBPCLN #configuration management #named #precise: CPS-SIM: configurable and accurate clock precision solid state drive simulator (JL, EB, HP, JC, DL, SHN), pp. 318–325.
SAC-2009-LeezerZ #simulation: Simulating human intuitive decisions by Q-learning (JL, YZ), pp. 2077–2081.
SAC-2009-RossiTV #process #simulation: Simulating business processes with EPML.SIM (DR, ET, FV), pp. 2101–2102.
SAC-2009-ShellD #precise #simulation: Precise generalized contact point and normal determination for rigid body simulation (DAS, ED), pp. 2107–2108.
SAC-2009-ThanheiserLS #approach #assessment #named #simulation: SimSOA: an approach for agent-based simulation and design-time assessment of SOC-based IT systems (ST, LL, HS), pp. 2162–2169.
ESEC-FSE-2009-Lopes #modelling #simulation: The massification and webification of systems’ modeling and simulation with virtual worlds (CVL), pp. 63–70.
PPoPP-2009-YauKZDP #parallel #simulation: Application-aware management of parallel simulation collections (SY, VK, DZ, KD, SGP), pp. 35–44.
SAT-2009-SchaafsmaHM #simulation #symmetry: Dynamic Symmetry Breaking by Simulating Zykov Contraction (BS, MH, HvM), pp. 223–236.
QoSA-2008-CortellessaPSV #analysis #architecture #framework #modelling #named #performance #uml: MOSES: MOdeling Software and platform architEcture in UML 2 for Simulation-based performance analysis (VC, PP, RS, AV), pp. 86–102.
WICSA-2008-MucciniP #analysis #architecture #functional #simulation: Simulating Software Architectures for Functional Analysis (HM, PP), pp. 289–292.
ASE-2008-PortOM #requirements #simulation #using: Using Simulation to Investigate Requirements Prioritization Strategies (DP, AO, TM), pp. 268–277.
ASE-2008-SchumannGPMB #analysis #parametricity #scalability #simulation #tool support: Tool Support for Parametric Analysis of Large Software Simulation Systems (JS, KGB, CSP, TM, TB), pp. 497–498.
CASE-2008-AzarnasabHAF #case study #design: Progressive simulation-based design: A case study example on software defined radio (EA, XH, PA, BFB), pp. 394–399.
CASE-2008-BeghiBBC #algorithm #design #simulation: A simulation environment for dry-expansion evaporators with application to the design of autotuning control algorithms for electronic (AB, UB, CB, LC), pp. 814–820.
CASE-2008-BiasiSLI #network #process #simulation: Simulation of process control with WirelessHART networks subject to packet losses (MDB, CS, KL, AJI), pp. 548–553.
CASE-2008-BrantleyLCC #design #empirical #optimisation #probability: Optimal sampling in design of experiment for simulation-based stochastic optimization (MWB, LHL, CHC, AC), pp. 388–393.
CASE-2008-XiaoW #anti #evaluation #simulation: Simulation and effects evaluation of anti-galloping devices for overhead transmission lines (XX, JW), pp. 808–813.
CASE-2008-ZhaoYZHLG #performance #simulation: Efficient simulation for serial production lines based on aggregated event-scheduling (YZ, CBY, QZ, NH, JL, XG), pp. 406–411.
DAC-2008-DongLY #manycore #named #parallel #simulation: WavePipe: parallel transient simulation of analog and digital circuits on multi-core shared-memory machines (WD, PL, XY), pp. 238–243.
DAC-2008-GaoKKLAM #estimation #hybrid #multi #performance #simulation #using: Multiprocessor performance estimation using hybrid simulation (LG, KK, SK, RL, GA, HM), pp. 325–330.
DAC-2008-GulatiK #fault #simulation #towards #using: Towards acceleration of fault simulation using graphics processing units (KG, SPK), pp. 822–827.
DAC-2008-HsuPB #data flow #graph #parallel #simulation #thread: Multithreaded simulation for synchronous dataflow graphs (CJH, JLP, SSB), pp. 331–336.
DAC-2008-JinC #benchmark #case study #metric #performance #simulation #statistics #using: Improve simulation efficiency using statistical benchmark subsetting: an ImplantBench case study (ZJ, ACC), pp. 970–973.
DAC-2008-SchnerrBVR #embedded #simulation: High-performance timing simulation of embedded software (JS, OB, AV, WR), pp. 290–295.
DAC-2008-YeLNC #modelling #simulation #statistics: Statistical modeling and simulation of threshold variation under dopant fluctuations and line-edge roughness (YY, FL, SRN, YC), pp. 900–905.
DATE-2008-AllecKS #adaptation #simulation: Adaptive Simulation for Single-Electron Devices (NA, RGK, LS), pp. 1021–1026.
DATE-2008-AronsEOSS #low level #performance #simulation: Efficient Symbolic Simulation of Low Level Software (TA, EE, SO, JS, ES), pp. 825–830.
DATE-2008-ChengH #invariant #mining #verification: Simulation-Directed Invariant Mining for Software Verification (XC, MSH), pp. 682–687.
DATE-2008-EngelkePSB #fault #industrial #simulation: Resistive Bridging Fault Simulation of Industrial Circuits (PE, IP, JS, BB), pp. 628–633.
DATE-2008-GerinGP #implementation #performance #simulation: Efficient Implementation of Native Software Simulation for MPSoC (PG, XG, FP), pp. 676–681.
DATE-2008-Liu08a #correlation #performance #random #simulation: Spatial Correlation Extraction via Random Field Simulation and Production Chip Performance Regression (BL), pp. 527–532.
DATE-2008-MeyerowitzSSL #multi #simulation: Source-Level Timing Annotation and Simulation for a Heterogeneous Multiprocessor (TM, ALSV, MS, DL), pp. 276–279.
DATE-2008-RadetzkiK #adaptation #modelling #simulation #transaction: Accuracy-Adaptive Simulation of Transaction Level Models (MR, RSK), pp. 788–791.
DATE-2008-SamiiREP #distributed #estimation #realtime #simulation #worst-case: A Simulation Methodology for Worst-Case Response Time Estimation of Distributed Real-Time Systems (SS, SR, PE, ZP), pp. 556–561.
HT-2008-GaffneyDW #authoring #bibliography #simulation #tool support: A survey of soft skill simulation authoring tools (CG, DD, VW), pp. 181–186.
ITiCSE-2008-Albin-ClarkK #game studies #simulation: The use of role play to simulate a tethered swarm of robots for urban search and rescue (USAR) (AAC, TRVAK), p. 335.
ITiCSE-2008-Kurmas #automation #logic #performance #student #testing #using: Improving student performance using automated testing of simulated digital logic circuits (ZK), pp. 265–270.
ITiCSE-2008-PoplawskiK #design #logic #named #simulation: JLS: a pedagogically targeted logic design and simulation tool (DAP, ZK), p. 314.
ITiCSE-2008-SalterD #logic #multi #scalability #using: Using DLSim 3: a scalable, extensible, multi-level logic simulator (RMS, JLD), p. 315.
FASE-2008-LaraV #analysis #modelling: Translating Model Simulators to Analysis Models (JdL, HV), pp. 77–92.
FoSSaCS-2008-Goubault-Larrecq #game studies #infinity #probability #simulation: Simulation Hemi-metrics between Infinite-State Stochastic Games (JGL), pp. 50–65.
FoSSaCS-2008-KikuchiL #normalisation: Strong Normalisation of Cut-Elimination That Simulates β-Reduction (KK, SL), pp. 380–394.
TACAS-2008-AbdullaBHKV #automaton #simulation: Computing Simulations over Tree Automata (PAA, AB, LH, LK, TV), pp. 93–108.
AFL-2008-Bartha #automaton #equivalence #simulation: Simulation equivalence of automata and circuits (MB), pp. 86–99.
FM-2008-KitchinPM #distributed #logic #simulation: Simulation, Orchestration and Logical Clocks (DK, EP, JM), p. 34.
SFM-2008-Gillespie #biology #simulation: Simulation Methods in Systems Biology (DTG), pp. 125–167.
GT-VMT-2006-KovacsG08 #analysis #formal method #modelling #simulation #workflow: Simulation and Formal Analysis of Workflow Models (MK, LG), pp. 221–230.
GT-VC-2007-ErmelE08 #animation #behaviour: Behavior-Preserving Simulation-to-Animation Model and Rule Transformations (CE, HE), pp. 55–74.
GT-VMT-2008-Vangheluwe #modelling #simulation: Foundations of Modelling and Simulation of Complex Systems (HV).
CAiSE-2008-SpiessNWMB #analysis #modelling #performance #process #simulation #ubiquitous: Modelling, Simulation, and Performance Analysis of Business Processes Involving Ubiquitous Systems (PS, DKN, IW, IM, MB), pp. 579–582.
ECIR-2008-ValletHJ #evaluation #graph #recommendation: Use of Implicit Graph for Recommending Relevant Videos: A Simulated Evaluation (DV, FH, JMJ), pp. 199–210.
ICPR-2008-Lu #performance: Markerless human motion capture: An application of simulated annealing and Fast Marching Method (YL), pp. 1–4.
ICPR-2008-SahaB #clustering #multi #symmetry #using: A new multiobjective simulated annealing based clustering technique using stability and symmetry (SS, SB), pp. 1–4.
SEKE-2008-ErsonC #framework #simulation: A Software Framework for Integrative Physiological Model Simulation (EZE, MCC), pp. 333–338.
SIGIR-2008-LinS #automation #evaluation #how #simulation #towards: How do users find things with PubMed?: towards automatic utility evaluation with user simulations (JJL, MDS), pp. 19–26.
ECMDA-FA-2008-KuhnG #configuration management #modelling #simulation #testing: Model-Driven Platform-Specific Testing through Configurable Simulations (TK, RG), pp. 278–293.
ECMDA-FA-2008-MonperrusJMCHJ #modelling #simulation: Model-Driven Simulation of a Maritime Surveillance System (MM, FJ, GM, JC, BH, JMJ), pp. 361–368.
ICMT-2008-SyrianiV #design #graph grammar: Programmed Graph Rewriting with Time for Simulation-Based Design (ES, HV), pp. 91–106.
PADL-2008-KellerCCSB #generative #monte carlo: Specialising Simulator Generators for High-Performance Monte-Carlo Methods (GK, HCM, MMTC, DS, CBK), pp. 116–132.
REFSQ-2008-Daneva #concept #enterprise #estimation #simulation: Integrating Portfolio Management and Simulation Concepts in the ERP Project Estimation Practice (MD), pp. 147–152.
REFSQ-2008-KaschekKSM #elicitation #quality #requirements #towards: Towards Simulation-Based Quality Requirements Elicitation: A Position Paper (RHK, CK, VAS, HCM), pp. 135–140.
SAC-2008-AveglianoS #named #simulation: RePart: a reputation-based simulation tool for partnership formation (PA, JSS), pp. 46–47.
SAC-2008-ConceicaoDFB #scalability #simulation: Large-scale simulation of V2V environments (HC, LD, MF, JB), pp. 28–33.
SAC-2008-Klugl #simulation #validation: A validation methodology for agent-based simulations (FK), pp. 39–43.
SAC-2008-LiJS #coordination #distributed #simulation: Coordination schemes in distributed simulation of relativistic particle transport (RL, HJ, HCS), pp. 44–45.
SAC-2008-MartinottoJCGDP #generative #network #random: Generation of continuous random networks by simulated annealing (ALM, FJ, LAC, VG, RVD, CAP), pp. 48–49.
SAC-2008-MitrofanovaM #evolution #modelling #simulation: Population genetics of human copy number variations: models and simulation of their evolution along and across the genomes (AM, BM), pp. 1309–1310.
SAC-2008-PracaVVR #simulation: Agent-based simulation of electronic marketplaces with decision support (IP, MJV, ZAV, CR), pp. 3–7.
SAC-2008-SouzaOVO #approach #predict #simulation #statistics: A statistical approach for prediction of projects based on simulation (MMdS, HCBdO, AMLdV, SRBO), pp. 23–27.
SAC-2008-VizzariPS #3d #execution #framework #simulation #visualisation: A framework for execution and 3D visualization of situated cellular agent based crowd simulations (GV, GP, FSCdS), pp. 18–22.
SAC-2008-WalterG #approach #multi #simulation: Electricity market simulation: multiagent system approach (IW, FACG), pp. 34–38.
HPCA-2008-KuskinYGBDDS #flexibility #simulation: Incorporating flexibility in Anton, a specialized machine for molecular dynamics simulation (JK, CY, JPG, BB, MMD, ROD, DES), pp. 343–354.
HPCA-2008-LarsonSDDYGSKS #interactive #simulation: High-throughput pairwise point interactions in Anton, a specialized machine for molecular dynamics simulation (RHL, JKS, ROD, MMD, CY, JPG, YS, JLK, DES), pp. 331–342.
HPCA-2008-LinLDZZS #clustering #manycore #simulation: Gaining insights into multicore cache partitioning: Bridging the gap between simulation and real systems (JL, QL, XD, ZZ, XZ, PS), pp. 367–378.
LCTES-2008-LeeKJKEKH #architecture #embedded #named #performance: FaCSim: a fast and cycle-accurate architecture simulator for embedded systems (JL, JK, CJ, SK, BE, KK, SH), pp. 89–100.
CAV-2008-GlabbeekP #algorithm #simulation: Correcting a Space-Efficient Simulation Algorithm (RJvG, BP), pp. 517–529.
CAV-2008-KimJRSPKS #analysis #random #simulation: Application of Formal Word-Level Analysis to Constrained Random Simulation (HK, HJ, KR, PS, JP, RPK, FS), pp. 487–490.
ICST-2008-BoulangerH #modelling #multi #simulation: Simulation of Multi-Formalism Models with ModHel’X (FB, CH), pp. 318–327.
RTA-2008-Schmidt-SchaussM #call-by #finite #nondeterminism #simulation #λ-calculus: A Finite Simulation Method in a Non-deterministic Call-by-Need λ-Calculus with Letrec, Constructors, and Case (MSS, EM), pp. 321–335.
VMCAI-2008-Goldberg #on the #simulation #verification: On Bridging Simulation and Formal Verification (EG), pp. 127–141.
VMCAI-2008-KupfermanL #automaton #game studies #logic #multi #simulation: Multi-valued Logics, Automata, Simulations, and Games (OK, YL), p. 5.
CASE-2007-AlbieriBBC #design #simulation: A Simulation Environment for the Design of Advanced Chiller Control Systems (MA, AB, CB, LC), pp. 962–967.
CASE-2007-AugustoXG #framework #health #modelling #simulation: A Framework for the Modeling and Simulation of Health Care Systems (VA, XX, FG), pp. 231–236.
CASE-2007-ChengOKKO #algorithm #problem #scheduling: Simulated Annealing Algorithm for Daily Nursing Care Scheduling Problem (MC, HIO, NK, KK, JO), pp. 507–512.
CASE-2007-KwonM #framework #simulation: SysML-based Simulation Framework for Semiconductor Manufacturing (KSK, LFM), pp. 1075–1080.
CASE-2007-NagarshethSP #simulation: Computer Simulation of Dynamics of Human Leg (HJN, SVS, MAP), pp. 249–254.
CASE-2007-RizziBL #3d #artificial reality #automation #image #modelling #simulation: Automating the Extraction of 3D Models from Medical Images for Virtual Reality and Haptic Simulations (SHRR, PPB, CL), pp. 152–157.
CASE-2007-VanijjirattikhanKCS #biology #modelling #petri net #process #simulation: Timed Petri Net Modeling and Simulation of a High-Throughput Biological Screening Process (RV, DK, MYC, NS), pp. 442–447.
CASE-2007-XiaoWL #flexibility #simulation: Dynamic Coupling Simulation of a Power Transmission Line Inspection Robot with its Flexible Moving Path when Overcoming Obstacles (XX, GW, SL), pp. 326–331.
CASE-2007-YogeswaranPT #algorithm #heuristic #hybrid #problem #search-based #using: An hybrid heuristic using genetic algorithm and simulated annealing algorithm to solve machine loading problem in FMS (MY, SGP, MKT), pp. 182–187.
CASE-2007-ZimmermannS #modelling #precise #simulation: Modeling for Simulation and Control of a X-Y High Precision Positioning Table (JZ, OS), pp. 1093–1098.
DAC-2007-BharathESUY #performance #simulation: Computationally Efficient Power Integrity Simulation for System-on-Package Applications (KB, EE, MS, KU, TY), pp. 612–617.
DAC-2007-DongL #performance #simulation #using: Accelerating Harmonic Balance Simulation Using Efficient Parallelizable Hierarchical Preconditioning (WD, PL), pp. 436–439.
DAC-2007-PaulaH #effectiveness #simulation: An Effective Guidance Strategy for Abstraction-Guided Simulation (FMdP, AJH), pp. 63–68.
DAC-2007-SinghalBSLNC #analysis #modelling #simulation: Modeling and Analysis of Non-Rectangular Gate for Post-Lithography Circuit Simulation (RS, AB, ARS, FL, SRN, YC), pp. 823–828.
DAC-2007-YangG #simulation: Simulating Improbable Events (SY, MRG), pp. 154–157.
DATE-2007-AggarwalO #modelling #parametricity #reuse: Simulation-based reusable posynomial models for MOS transistor parameters (VA, UMO), pp. 69–74.
DATE-2007-AlessioFQT #design #embedded #modelling #simulation: Modeling and simulation alternatives for the design of networked embedded systems (EA, FF, DQ, MT), pp. 1030–1035.
DATE-2007-BronckersSPVR #analysis #interactive #simulation #verification: Interactive presentation: Simulation methodology and experimental verification for the analysis of substrate noise on LC-VCO’s (SB, CS, GVdP, GV, YR), pp. 1520–1525.
DATE-2007-DerbekSWWPP #framework #simulation: Simulation platform for UHF RFID (VD, CS, RW, DW, JPP, MP), pp. 918–923.
DATE-2007-EckerESSVH #abstraction #interactive #performance #representation #simulation: Interactive presentation: Impact of description language, abstraction layer, and value representation on simulation performance (WE, VE, LS, TS, MV, MH), pp. 767–772.
DATE-2007-HuangMW #design #modelling #simulation: Modeling and simulation to the design of SigmaDelta fractional-N frequency synthesizer (SH, HM, ZW), pp. 291–296.
DATE-2007-JanapsatyaIPH #agile #simulation: Instruction trace compression for rapid instruction cache simulation (AJ, AI, SP, JH), pp. 803–808.
DATE-2007-KimHG #multi #named #simulation #transaction: CATS: cycle accurate transaction-driven simulation with multiple processor simulators (DK, SH, RG), pp. 749–754.
DATE-2007-KrauseBHTR #component #simulation: Timing simulation of interconnected AUTOSAR software-components (MK, OB, AH, GT, WR), pp. 474–479.
DATE-2007-MossNFFBA #hardware #performance #simulation: Seamless hardware/software performance co-monitoring in a codesign simulation environment with RTOS support (LM, MdN, LF, SF, GB, EMA), pp. 876–881.
DATE-2007-NaguibG #process #simulation: Speeding up SystemC simulation through process splitting (YNN, RSG), pp. 111–116.
DATE-2007-PatelS #abstraction: Tackling an abstraction gap: co-simulating SystemC DE with bluespec ESL (HDP, SKS), pp. 279–284.
DATE-2007-SchneiderSKW #interactive #simulation #statistics: Interactive presentation: Statistical simulation of high-frequency bipolar circuits (WS, MS, WK, HW), pp. 1397–1402.
DATE-2007-SingheeR #monte carlo #novel #performance #simulation #statistics: Statistical blockade: a novel method for very fast Monte Carlo simulation of rare circuit events, and its application (AS, RAR), pp. 1379–1384.
CSEET-2007-NavarroH #education #evaluation #re-engineering #simulation: Comprehensive Evaluation of an Educational Software Engineering Simulation Environment (EON, AvdH), pp. 195–202.
ESOP-2007-HasuoK #algebra #probability #simulation: Probabilistic Anonymity Via Coalgebraic Simulations (IH, YK), pp. 379–394.
FASE-2007-SilvaM #formal method: A Simulation-Oriented Formalization for a Psychological Theory (PSdS, ACVdM), pp. 42–56.
TACAS-2007-ZhangHEJ #algorithm #performance #probability #simulation: Flow Faster: Efficient Decision Algorithms for Probabilistic Simulations (LZ, HH, FE, DNJ), pp. 155–169.
ICALP-2007-LuttgenV #concurrent #exclamation #logic #simulation: Ready Simulation for Concurrency: It’s Logical! (GL, WV), pp. 752–763.
LATA-2007-AblayevG #branch #complexity #quantum #simulation #source code: Classical Simulation Complexity of Quantum Branching Programs (FMA, AG), pp. 49–56.
IFM-2007-VerhoefVHB #distributed #embedded #realtime: Co-simulation of Distributed Embedded Real-Time Control Systems (MV, PV, JH, JFB), pp. 639–658.
AGTIVE-2007-ErmelE #analysis #configuration management #simulation #visualisation: Visualization, Simulation and Analysis of Reconfigurable Systems (CE, KE), pp. 265–280.
AGTIVE-2007-FussT #algorithm #graph transformation #model transformation #simulation: Simulating Set-Valued Transformations with Algorithmic Graph Transformation Languages (CF, VET), pp. 442–455.
GT-VMT-2007-BonevaHKR #graph transformation #multi #simulation #using: Simulating Multigraph Transformations Using Simple Graphs (IB, FH, HK, AR).
DHM-2007-AndreoniRP #simulation: Simulation of Complex Human Movement Through the Modulation of Observed Motor Tasks (GA, MR, AP), pp. 3–12.
DHM-2007-BeurierCMTW #approach #data-driven #database #simulation #using: Simulation of Digital Human Hand Postures of Car Controls Using a Data Based Approach (GB, NC, GM, JT, XW), pp. 13–22.
DHM-2007-ChoiKHSKHLPMMHL #modelling #simulation: Human Body Modeling for Riding Comfort Simulation (HYC, KMK, JH, SS, SHK, SHH, KNL, JKP, NM, CM, EH, IL), pp. 813–823.
DHM-2007-ColomboFRR #design #simulation: ICT Methodologies to Model and Simulate Parts of Human Body for Prosthesis Design (GC, SF, PR, CR), pp. 559–568.
DHM-2007-DionysiouSM #biology #image #multi #simulation: Simulating Cancer Radiotherapy on a Multi-level Basis: Biology, Oncology and Image Processing (DDD, GSS, KM), pp. 569–575.
DHM-2007-DongWY #research #simulation: Experimental Research on Human Body Motion Simulation Based on the Motion Capture Technology (DD, LW, XY), pp. 42–47.
DHM-2007-GuoL #simulation: Hand Grasping Motion Simulation for Astronauts Training (QG, YL), pp. 101–109.
DHM-2007-Kim07b #modelling #research #simulation: Computer Graphic Modeling and Simulation of Human Musculoskeletal System for Biomechanical Research (YHK), pp. 136–143.
DHM-2007-LiuLC #framework #named #simulation: AIPlayer: A Platform of Intelligent Simulation of Virtual Human in Virtual Environment (JL, YL, JC), pp. 434–442.
DHM-2007-LiZ #framework #modelling #simulation: The Strength Factor in Digital Human Modeling and Simulation: A Case for a New Framework (KL, XZ), pp. 144–146.
DHM-2007-Ma #development #simulation: Latest Development of an Interventional Radiology Training Simulation System: NeuroCath (XM), pp. 684–693.
DHM-2007-MaglaverasC #simulation: Methodologies to Evaluate Simulations of Cardiac Tissue Abnormalities at a Cellular Level (NM, IC), pp. 694–702.
DHM-2007-WertherMR #analysis #petri net #process #simulation: Colored Petri Net Based Formal Airport Control Model for Simulation and Analysis of Airport Control Processes (BW, CM, MR), pp. 1027–1036.
DHM-2007-WuHCLWW #modelling #research #simulation: Research on Modeling of Complicate Traffic Simulation System (JW, LH, JC, ML, DW, MW), pp. 1037–1046.
DHM-2007-ZhengLODK #corpus #simulation: Human Motion Simulation and Action Corpus (GZ, WL, PO, LD, IK), pp. 314–322.
HCI-AS-2007-PoitschkeARR #evaluation #framework #multi #user interface: A Multifunctional VR-Simulator Platform for the Evaluation of Automotive User Interfaces (TP, MA, SR, GR), pp. 1120–1129.
HCI-IPT-2007-ChenC #using: Using Agent Technology to Study Human Action and Perception Through a Virtual Street Simulator (CHC, MLC), pp. 560–568.
HCI-IPT-2007-HuangPX #design: AGV Simulator and Implementer Design (QH, TP, WX), pp. 818–826.
HCI-IPT-2007-VastenburgKR #case study #experience #prototype #user interface: Measuring User Experiences of Prototypical Autonomous Products in a Simulated Home Environment (MHV, DVK, HdR), pp. 998–1007.
HCI-IPT-2007-ZhengSS #3d #physics #simulation #sketching #web: A 3D Sketching Interacting Tool for Physical Simulation Based on Web (ZZ, LS, SS), pp. 710–719.
HIMI-IIE-2007-SorensenR #automation: Simulation-Based Automated Intelligent Tutoring (BS, SR), pp. 466–474.
HIMI-MTT-2007-TagawaHH #case study #interactive #simulation: A Study on Haptic Interaction and Simulation of Motion and Deformation of Elastic Object (KT, KH, MH), pp. 985–993.
SIGAda-2007-PukiteL #design #logic #simulation #using: Generic discrete event simulations using DEGAS: application to logic design and digital signal processing (PP, LL), pp. 27–40.
ICEIS-AIDSS-2007-SohniusJME #analysis #approach #assessment #design #performance #simulation: An Approach for Assessing Design Systems: Design System Simulation and Analysis for Performance Assessment (RS, EJ, WEM, VE), pp. 231–236.
ICEIS-J-2007-Barjis07a #modelling #process #simulation #using: A Business Process Modeling and Simulation Method Using DEMO (JB), pp. 254–265.
ICEIS-SAIC-2007-ChenC #bottom-up #detection #difference #process: A Simulation-Based Difference Detection Technique for Bottom-Up Process Reconciliation (XC, PWHC), pp. 72–77.
SIGIR-2007-AzzopardiRB #analysis #query #topic #using: Building simulated queries for known-item topics: an analysis using six european languages (LA, MdR, KB), pp. 455–462.
SAC-2007-FurtadoMCM #modelling #network #simulation #social: A crime simulation model based on social networks and swarm intelligence (VF, AM, ALVC, RM), pp. 56–57.
SAC-2007-QuZGC #framework #named: Unichos: a full system simulator for thin client platform (NQ, YZ, XG, XC), pp. 1552–1556.
HPDC-2007-RidruejoMN #component #concept #distributed #memory management #parallel #simulation: Concepts and components of full-system simulation of distributed memory parallel computers (FJRP, JMA, JN), pp. 225–226.
PPoPP-2007-WenWM #distributed #named #network #scalability #simulation: Disens: scalable distributed sensor network simulation (YW, RW, GM), pp. 24–34.
CAV-2007-OuimetL #realtime #simulation #specification #tool support #verification: The TASM Toolset: Specification, Simulation, and Formal Verification of Real-Time Systems (MO, KL), pp. 126–130.
LICS-2007-RanzatoT #algorithm #equivalence #performance #simulation: A New Efficient Simulation Equivalence Algorithm (FR, FT), pp. 171–180.
CASE-2006-ChenFWCAH #adaptation #distributed #framework #simulation: An Adaptive Distributed Simulation Framework for a Server Fulfillment Supply Chain (YC, JWF, TW, TEC, EA, VH), pp. 649–655.
CASE-2006-ChenYY #algorithm #simulation: Backward-traversing Waveform Relaxation Algorithm for Circuit Simulation and Simulation on Demand (CJC, JLY, TNY), pp. 134–139.
CASE-2006-CuiLZ #design #simulation: Design and Simulation of a Piezoelectrically Actuated Micropump for the Drug Delivery System (QC, CL, XFZ), pp. 45–50.
CASE-2006-LiuW #multi #simulation: Haptic Simulation of Multibody Contact Dynamics for Fixture Loading Planning (TL, MYW), pp. 304–309.
CASE-2006-RecaldeMS #analysis #petri net #simulation: Improving analysis and simulation of continuous Petri Nets (LR, CM, MS), pp. 9–14.
CASE-2006-ZhangA #functional #simulation: Tremor Suppression of Elbow Joint via Functional Electrical Stimulation: A Simulation Study (DZ, WTA), pp. 182–187.
CASE-2006-ZhangC #framework #simulation: A Simulation Framework for Cell Manipulation (LZ, JC), pp. 27–32.
DAC-2006-GoraiBBTM #protocol #verification: Directed-simulation assisted formal verification of serial protocol and bridge (SG, SB, LB, PT, RSM), pp. 731–736.
DAC-2006-HsuRKPB #data flow #graph #performance #simulation: Efficient simulation of critical synchronous dataflow graphs (CJH, SR, MYK, JLP, SSB), pp. 893–898.
DAC-2006-NanshiS #simulation: Guiding simulation with increasingly refined abstract traces (KN, FS), pp. 737–742.
DAC-2006-ShiMYH #simulation: Circuit simulation based obstacle-aware Steiner routing (YS, PM, HY, LH), pp. 385–388.
DAC-2006-YuL #modelling #simulation #statistics: Lookup table based simulation and statistical modeling of Sigma-Delta ADCs (GY, PL), pp. 1035–1040.
DAC-2006-ZhangMBC #detection #representation #satisfiability #scalability #simulation #symmetry #using: Symmetry detection for large Boolean functions using circuit representation, simulation, and satisfiability (JSZ, AM, RKB, MCJ), pp. 510–515.
DATE-2006-BeltrameSSLP #simulation: Exploiting TLM and object introspection for system-level simulation (GB, DS, CS, DL, CP), pp. 100–105.
DATE-2006-DErricoQ #approach: Constructing portable compiled instruction-set simulators: an ADL-driven approach (JD, WQ), pp. 112–117.
DATE-2006-FeySVD #on the #satisfiability: On the relation between simulation-based and SAT-based diagnosis (GF, SS, AGV, RD), pp. 1139–1144.
DATE-2006-KimHG #execution #parallel #using: Parallel co-simulation using virtual synchronization with redundant host execution (DK, SH, RG), pp. 1151–1156.
DATE-2006-KunzliPBT #analysis #formal method #performance #simulation: Combining simulation and formal methods for system-level performance analysis (SK, FP, LB, LT), pp. 236–241.
DATE-2006-Maurer #simulation #symmetry #using: Using conjugate symmetries to enhance gate-level simulations (PMM), pp. 638–643.
DATE-2006-MohantyVK #optimisation: Physical-aware simulated annealing optimization of gate leakage in nanoscale datapath circuits (SPM, RV, EK), pp. 1191–1196.
DATE-2006-NakamuraST #integration #performance #simulation: An efficient and portable scheduler for RTOS simulation and its certified integration to SystemC (HN, NS, NT), pp. 1157–1158.
DATE-2006-ReyesKBAN #case study #design #modelling #simulation: A unified system-level modeling and simulation environment for MPSoC design: MPEG-4 decoder case study (VR, WK, TB, GA, AN), pp. 474–479.
DATE-2006-ViaudPG #modelling #parallel #performance #simulation: An efficient TLM/T modeling and simulation environment based on conservative parallel discrete event principles (EV, FP, AG), pp. 94–99.
DATE-2006-ViehlSBR #analysis #design #modelling #performance #simulation #uml: Formal performance analysis and simulation of UML/SysML models for ESL design (AV, TS, OB, WR), pp. 242–247.
DATE-2006-WildHO #architecture #evaluation #performance #simulation #transaction #using: Performance evaluation for system-on-chip architectures using trace-based transaction level simulation (TW, AH, RO), pp. 248–253.
DATE-2006-YangCBHS #communication #framework #integration: Communication and co-simulation infrastructure for heterogeneous system integration (GY, XC, FB, HH, ALSV), pp. 462–467.
DATE-DF-2006-BononiC #2d #analysis #architecture #network #simulation: Simulation and analysis of network on chip architectures: ring, spidergon and 2D mesh (LB, NC), pp. 154–159.
DATE-DF-2006-FummiQRT #mobile #modelling #network #simulation: Modeling and simulation of mobile gateways interacting with wireless sensor networks (FF, DQ, FR, MT), pp. 106–111.
DATE-DF-2006-NogueraBSA #case study #industrial: Software-friendly HW/SW co-simulation: an industrial case study (JN, LB, NS, LA), pp. 100–105.
ITiCSE-2006-HoodH #education #project management #simulation #using: Teaching software project management using simulations (DJH, CSH), pp. 289–293.
ITiCSE-2006-IbbettCD #architecture #modelling #simulation: Computer architecture simulation models (RNI, JCDyC, DAWD), p. 353.
FASE-2006-OlveczkyC #algorithm #analysis #maude #realtime #scheduling #simulation: Formal Simulation and Analysis of the CASH Scheduling Algorithm in Real-Time Maude (PCÖ, MC), pp. 357–372.
FoSSaCS-2006-ChenFN #finite #infinity #on the #simulation: On Finite Alphabets and Infinite Bases II: Completed and Ready Simulation (TC, WF, SN), pp. 1–15.
TACAS-2006-SokolskyKL #graph #similarity: Simulation-Based Graph Similarity (OS, SK, IL), pp. 426–440.
PEPM-2006-CooperMG #on the #optimisation #partial evaluation #simulation: On the application of partial evaluation to the optimisation of cardiac electrophysiological simulations (JC, SM, AG), pp. 12–20.
PEPM-2006-Edwards #fixpoint #simulation #using: Using program specialization to speed SystemC fixed-point simulation (SAE), pp. 21–28.
DLT-2006-FritzW #automaton #game studies #simulation: Simulation Relations for Alternating Parity Automata and Parity Games (CF, TW), pp. 59–70.
SFM-2006-BombieriFP #design #hardware #simulation #verification: Hardware Design and Simulation for Verification (NB, FF, GP), pp. 1–29.
CHI-2006-Moher #distributed #embedded #learning #simulation: Embedded phenomena: supporting science learning with classroom-sized distributed simulations (TM), pp. 691–700.
SIGAda-2006-ShindiC #benchmark #metric #performance: Evaluate the performance changes of processor simulator benchmarks When context switches are incorporated (RSS, SC), pp. 9–14.
ICEIS-AIDSS-2006-DavidC #empirical #simulation #social: Around the Empirical and Intentional References of Agent-Based Simulation in the Social Sciences (ND, HC), pp. 31–38.
ICEIS-HCI-2006-CostagliolaMF #simulation: A Simulation Environment to Evaluate Driver Performances while Interacting with Telematics Systems (GC, SDM, FF), pp. 3–10.
ICEIS-J-2006-CostagliolaMF06a #simulation: A Simulation Environment to Assess Driving Performances while Interacting with On-board Telematics Systems (GC, SDM, FF), pp. 439–451.
ECIR-2006-KeskustaloJP #feedback #interactive #modelling #quality #simulation: The Effects of Relevance Feedback Quality and Quantity in Interactive Relevance Feedback: A Simulation Based on User Modeling (HK, KJ, AP), pp. 191–204.
ICPR-v1-2006-SunSM #classification #simulation: The Role of Featural and Configural Information in Face Classification A Simulation of the Expertise Hypothesis (YS, NS, MM), pp. 1166–1170.
ICPR-v2-2006-CourteilleDM #problem #using: A Global Solution to the SFS Problem Using B-spline Surface and Simulated Annealing (FC, JDD, GM), pp. 332–335.
ICPR-v3-2006-SuSDW #multimodal #recognition: A Multimodal and Multistage Face Recognition Method for Simulated Portrait (GS, YS, CD, JW), pp. 1013–1017.
ICPR-v3-2006-WangSSL #recognition #simulation: Age simulation for face recognition (JW, YS, GS, XL), pp. 913–916.
ICPR-v3-2006-ZouariHL #comparison #using: Experimental Comparison of Combination Rules using Simulated Data (HZ, LH, YL), pp. 152–155.
SEKE-2006-LehmanW #convergence #problem #rule-based #simulation: A Rule-Based Expert System for the Diagnosis of Convergence Problems in Circuit Simulation (CWL, MJW), pp. 57–60.
SEKE-2006-SteinmacherLH #analysis #process #simulation #using #workflow: Task Anticipation: A Quantitative Analysis Using Workflow Process Simulation (IS, JVdL, EHMH), pp. 601–606.
SAC-2006-CasallasVAL #enterprise #execution #modelling #named #simulation: xEAI-rules: executable models to simulate enterprise application cooperation (RC, MV, CA, NL), pp. 1308–1309.
SAC-2006-RodriguesSBRN #named #open source: J-Ortho: an open-source orthodontic treatment simulator (MAFR, WBS, RGB, IMMPR, MEBN), pp. 245–249.
FSE-2006-RutherfordCW #distributed #test coverage #testing: Simulation-based test adequacy criteria for distributed systems (MJR, AC, ALW), pp. 231–241.
HPCA-2006-PenryFHWSAC #parallel #simulation: Exploiting parallelism and structure to accelerate the simulation of chip multi-processors (DAP, DF, DH, RW, GS, DIA, DC), pp. 29–40.
HPDC-2006-LegrandQCF #deployment #distributed #simulation: The SIMGRID Project Simulation and Deployment of Distributed Applications (AL, MQ, HC, KF), pp. 385–386.
PPoPP-2006-AlamVAG #performance #simulation: Performance characterization of molecular dynamics techniques for biomolecular simulations (SRA, JSV, PKA, AG), pp. 59–68.
CAV-2006-PaulaH #flexibility #framework #named #simulation: EverLost: A Flexible Platform for Industrial-Strength Abstraction-Guided Simulation (FMdP, AJH), pp. 282–285.
CSL-2006-Srba #automaton #bisimulation #equivalence #simulation: Visibly Pushdown Automata: From Language Equivalence to Simulation and Bisimulation (JS), pp. 89–103.
IJCAR-2006-BenzmullerBK #logic: Cut-Simulation in Impredicative Logics (CB, CEB, MK), pp. 220–234.
CBSE-2005-DiazGRRST #kernel: A CCA-compliant Nuclear Power Plant Simulator Kernel (MD, DG, SR, BR, ES, JMT), pp. 283–297.
CASE-2005-WangLWK #architecture #distributed #simulation #using: Collision resolution simulation for distributed control architectures using LonWorks (MW, EL, EW, MK), pp. 319–326.
DAC-2005-ChenDHSW #analysis #concurrent #design #simulation: Simulation based deadlock analysis for system level designs (XC, AD, HH, ALSV, YW), pp. 260–265.
DAC-2005-EguroHS #adaptation #architecture: Architecture-adaptive range limit windowing for simulated annealing FPGA placement (KE, SH, AS), pp. 439–444.
DAC-2005-KimK05a #evaluation #modelling #performance #pipes and filters #reuse #simulation: Performance simulation modeling for fast evaluation of pipelined scalar processor by evaluation reuse (HYK, TGK), pp. 341–344.
DAC-2005-Li #analysis #grid #performance #power management #simulation: Power grid simulation via efficient sampling-based sensitivity analysis and hierarchical symbolic relaxation (PL), pp. 664–669.
DAC-2005-MitraYP #named #performance #simulation #using: RADAR: RET-aware detailed routing using fast lithography simulations (JM, PY, DZP), pp. 369–372.
DAC-2005-MuttrejaRRJ #embedded #energy #estimation #hybrid #simulation: Hybrid simulation for embedded software energy estimation (AM, AR, SR, NKJ), pp. 23–26.
DAC-2005-TiriV #modelling #simulation: Simulation models for side-channel information leaks (KT, IV), pp. 228–233.
DAC-2005-Vasudevan #simulation: Simulation of the effects of timing jitter in track-and-hold and sample-and-hold circuits (VV), pp. 397–402.
DATE-2005-FummiLMMPP #hardware #prototype: Virtual Hardware Prototyping through Timed Hardware-Software Co-Simulation (FF, ML, SM, MM, GP, MP), pp. 798–803.
DATE-2005-HassanSTI #kernel #simulation: RTK-Spec TRON: A Simulation Model of an ITRON Based RTOS Kernel in SystemC (MAH, KS, YT, MI), pp. 554–559.
DATE-2005-HeusalaL #configuration management #modelling #product line: Modeling of a Reconfigurable OFDM IP Block Family For an RF System Simulator (HH, JL), pp. 136–137.
DATE-2005-KempfDLAMKV #composition #framework #multi #simulation: A Modular Simulation Framework for Spatial and Temporal Task Mapping onto Multi-Processor SoC Platforms (TK, MD, RL, GA, HM, TK, BV), pp. 876–881.
DATE-2005-LiS #performance #simulation: An Efficiently Preconditioned GMRES Method for Fast Parasitic-Sensitive Deep-Submicron VLSI Circuit Simulation (ZL, CJRS), pp. 752–757.
DATE-2005-MahadevanASOSM #generative #network #performance #simulation: A Network Traffic Generator Model for Fast Network-on-Chip Simulation (SM, FA, MS, RGO, JS, JM), pp. 780–785.
DATE-2005-MartensG #integration #orthogonal #polynomial #simulation #using: Time-Domain Simulation of Sampled Weakly Nonlinear Systems Using Analytical Integration and Orthogonal Polynomial Series (EM, GGEG), pp. 120–125.
DATE-2005-RaabeBAZ #architecture #detection #hardware #simulation: Hardware Accelerated Collision Detection — An Architecture and Simulation Results (AR, BB, JKA, GZ), pp. 130–135.
DATE-2005-ReshadiD #generative #modelling #performance #pipes and filters: Generic Pipelined Processor Modeling and High Performance Cycle-Accurate Simulator Generation (MR, NDD), pp. 786–791.
DATE-2005-SchnerrBR #agile #prototype #simulation: Cycle Accurate Binary Translation for Simulation Acceleration in Rapid Prototyping of SoCs (JS, OB, WR), pp. 792–797.
DATE-2005-SoensPWD #analysis #simulation: Simulation Methodology for Analysis of Substrate Noise Impact on Analog / RF Circuits Including Interconnect Resistance (CS, GVdP, PW, SD), pp. 270–275.
DATE-2005-SukhwaniPW #design #named #statistics: Nano-Sim: A Step Wise Equivalent Conductance based Statistical Simulator for Nanotechnology Circuit Design (BBS, UP, JMW), pp. 758–763.
DATE-2005-VillaSVMP #framework #integration #memory management #multi #performance: Fast Dynamic Memory Integration in Co-Simulation Frameworks for Multiprocessor System on-Chip (OV, PS, IV, MM, GP), pp. 804–805.
CSEET-2005-NavarroH #design #education #evaluation #process #simulation: Design and Evaluation of an Educational Software Process Simulation Environment and Associated Model (EON, AvdH), pp. 25–32.
ITiCSE-2005-MedeirosDGM #programming #using: Using a PC simulator to illustrate input-output programming techniques (PDM, VD, MCG, RFM), p. 388.
ITiCSE-2005-MendesGEMBR #collaboration #simulation #using: Using simulation and collaboration in CS1 and CS2 (AJM, AJG, ME, MJM, CB, MAR), pp. 193–197.
ITiCSE-2005-OechsleG #algorithm #distributed #framework #implementation #simulation: DisASTer (distributed algorithms simulation terrain): a platform for the implementation of distributed algorithms (RO, TG), pp. 44–48.
TACAS-2005-AbdullaLdR #transducer: Simulation-Based Iteration of Tree Transducers (PAA, AL, Jd, AR), pp. 30–44.
PASTE-2005-HampapuramYD #analysis #data flow #simulation: Symbolic path simulation in path-sensitive dataflow analysis (HH, YY, MD), pp. 52–58.
STOC-2005-BarakKSSW #graph #independence #simulation: Simulating independence: new constructions of condensers, ramsey graphs, dispersers, and extractors (BB, GK, RS, BS, AW), pp. 1–10.
CIAA-2005-AnselmoM #2d #automaton #queue #simulation: Simulating Two-Dimensional Recognizability by Pushdown and Queue Automata (MA, MM), pp. 43–53.
CIAA-2005-Kresz #simulation: Simulation of Soliton Circuits (MK), pp. 347–348.
ICALP-2005-Wegener #combinator #optimisation: Simulated Annealing Beats Metropolis in Combinatorial Optimization (IW), pp. 589–601.
CHI-2005-AragonH #safety #simulation #visualisation: Improving aviation safety with information visualization: a flight simulation study (CRA, MAH), pp. 441–450.
CHI-2005-Johnson #design #interactive #lessons learnt #simulation: Applying the lessons of the attack on the world trade center, 11th September 2001, to the design and use of interactive evacuation simulations (CWJ), pp. 651–660.
ICEIS-v2-2005-AhmanH #approach #game studies #reduction #simulation #using: Using a Game Theoretical Approach for Experimental Simulation of Brood Reduction — Conflict and Co-Operation, Effect on Brood Size with Limited Resources (FÅ, LH), pp. 220–225.
ICEIS-v3-2005-Gonzalez #distributed #simulation: Model Sharing in the Simulation and Control of Distributed Discrete-Event Systems (FG), pp. 144–151.
ICEIS-v3-2005-TanL #enterprise #framework #modelling #problem #simulation #using: Enterprise Infrastructure Planning — Modelling and Simulation Using the Problem Articulation Method (ST, KL), pp. 240–245.
KDD-2005-SanghaiSDK #architecture #clustering #design #multi #performance #simulation: A multinomial clustering model for fast simulation of computer architecture designs (KS, TS, JGD, DRK), pp. 808–813.
MLDM-2005-GhoshGYB #algorithm #analysis #comparative #network #search-based: Comparative Analysis of Genetic Algorithm, Simulated Annealing and Cutting Angle Method for Artificial Neural Networks (RG, MG, JY, AMB), pp. 62–70.
MLDM-2005-KuhlmannVLT #data mining #mining #simulation: Data Mining on Crash Simulation Data (AK, RMV, CL, CAT), pp. 558–569.
MoDELS-2005-ZiaMVK #approach #design #modelling #simulation: A Modelling and Simulation Based Approach to Dependable System Design (MZ, SM, HV, JK), pp. 217–231.
MoDELS-2005-ZiaMVK #approach #design #modelling #simulation: A Modelling and Simulation Based Approach to Dependable System Design (MZ, SM, HV, JK), pp. 217–231.
SAC-2005-Moloney #distributed #network #pervasive #recommendation #simulation: Simulation of a distributed recommendation system for pervasive networks (SM), pp. 1577–1581.
SAC-2005-TayJ #adaptation #framework #named #simulation: CAFISS: a complex adaptive framework for immune system simulation (JCT, AJ), pp. 158–164.
HPCA-2005-YiKSLH #simulation: Characterizing and Comparing Prevailing Simulation Techniques (JJY, SVK, RS, DJL, DMH), pp. 266–277.
HPDC-2005-WozniakBTSI #grid #simulation: Generosity and gluttony in GEMS: grid enabled molecular simulations (JMW, PB, DT, AS, JAI), pp. 191–200.
AMOST-2005-McGuinnessM #multi #simulation: A simulation model of a multi-server EJB system (DM, LM).
CADE-2005-Lev-AmiIRSSY #data type #first-order #linked data #logic #open data #reachability #simulation #using #verification: Simulating Reachability Using First-Order Logic with Applications to Verification of Linked Data Structures (TLA, NI, TWR, SS, SS, GY), pp. 99–115.
CAV-2005-ChakiCST #automation #consistency #reasoning #simulation: Automated Assume-Guarantee Reasoning for Simulation Conformance (SC, EMC, NS, PT), pp. 534–547.
CAV-2005-Kaivola #component #induction #invariant #simulation #verification: Formal Verification of Pentium® 4 Components with Symbolic Simulation and Inductive Invariants (RK), pp. 170–184.
FATES-2005-BlomIPRS #testing: Simulated Time for Testing Railway Interlockings with TTCN-3 (SB, NI, JvdP, AR, NS), pp. 1–15.
SAT-2005-HirschN #proving #simulation #strict: Simulating Cutting Plane Proofs with Restricted Degree of Falsity by Resolution (EAH, SIN), pp. 135–142.
ASE-2004-GuoH #mobile #modelling #simulation: Modeling and Simulation of Context-Aware Mobile Systems (PG, RH), pp. 430–433.
DAC-2004-ChauhanCK #algorithm #satisfiability #simulation: A SAT-based algorithm for reparameterization in symbolic simulation (PC, EMC, DK), pp. 524–529.
DAC-2004-KapurL #scalability #simulation: Large-scale full-wave simulation (SK, DEL), pp. 806–809.
DAC-2004-KimYKK #functional #hardware #performance #simulation: Communication-efficient hardware acceleration for fast functional simulation (YIK, WSY, YSK, CMK), pp. 293–298.
DAC-2004-LeeDBABM #architecture #simulation: Circuit-aware architectural simulation (SL, SD, VB, TMA, DB, TNM), pp. 305–310.
DAC-2004-LiXLGP #approach #simulation: A frequency relaxation approach for analog/RF system-level simulation (XL, YX, PL, PG, LTP), pp. 842–847.
DAC-2004-NakamuraHKYY #c #c++ #communication #hardware #performance #using: A fast hardware/software co-verification method for system-on-a-chip by using a C/C++ simulator and FPGA emulator with shared register communication (YN, KH, IK, KY, TY), pp. 299–304.
DAC-2004-PieperMPTK #multi #simulation: High level cache simulation for heterogeneous multiprocessors (JJP, AM, JMP, DET, FK), pp. 287–292.
DAC-2004-PlasBVDWDGM #simulation: High-level simulation of substrate noise in high-ohmic substrates with interconnect and supply effects (GVdP, MB, GV, PD, PW, SD, GGEG, HDM), pp. 854–859.
DATE-DF-2004-BonaZZ #industrial #modelling #simulation: System Level Power Modeling and Simulation of High-End Industrial Network-on-Chip (AB, VZ, RZ), pp. 318–323.
DATE-DF-2004-CoppolaCGMP #framework #modelling #named #simulation: OCCN: A Network-On-Chip Modeling and Simulation Framework (MC, SC, MDG, GM, FP), pp. 174–179.
DATE-DF-2004-DaglioIRRS #component #performance #simulation: Building the Hierarchy from a Flat Netlist for a Fast and Accurate Post-Layout Simulation with Parasitic Components (PD, DI, DR, CR, SS), pp. 336–337.
DATE-DF-2004-FummiMPPRT #embedded: Heterogeneous Co-Simulation of Networked Embedded Systems (FF, SM, GP, MP, FR, MT), pp. 168–173.
DATE-DF-2004-MenichelliOBDB #architecture #design #multi #power management: A Simulation-Based Power-Aware Architecture Exploration of a Multiprocessor System-on-Chip Design (FM, MO, LB, MD, LB), pp. 312–317.
DATE-DF-2004-MoignePC #realtime #simulation: A Generic RTOS Model for Real-time Systems Simulation with SystemC (RLM, OP, JPC), pp. 82–87.
DATE-v1-2004-AboushadyLBL #automation #simulation #synthesis: Automatic Synthesis and Simulation of Continuous-Time [Sigma-Delta] Modulators (HA, LdL, NB, MML), pp. 674–675.
DATE-v1-2004-BrandtnerW #named #simulation: SubCALM: A Program for Hierarchical Substrate Coupling Simulation on Floorplan Level (TB, RW), pp. 616–621.
DATE-v1-2004-FengWCL #clustering #simulation: Improved Symoblic Simulation by Dynamic Funtional Space Partitioning (TF, LCW, KTC, CCL), pp. 42–49.
DATE-v1-2004-FummiMPP #integration #multi: Native ISS-SystemC Integration for the Co-Simulation of Multi-Processor SoC (FF, SM, GP, MP), pp. 564–569.
DATE-v1-2004-LapalmeANCBDB #dot-net #framework #generative #modelling #simulation #tool support: .NET Framework — A Solution for the Next Generation Tools for System-Level Modeling and Simulation (JL, EMA, GN, LC, FRB, JPD, GB), pp. 732–733.
DATE-v1-2004-TanQL #modelling #scalability #simulation: Hierarchical Modeling and Simulation of Large Analog Circuits (SXDT, ZQ, HL), pp. 740–741.
DATE-v1-2004-VianaBRAA #design #memory management #modelling #simulation: Modeling and Simulating Memory Hierarchies in a Platform-Based Design Methodology (PV, EB, SR, RA, GA), pp. 734–735.
DATE-v1-2004-Wang #learning #simulation #validation: Regression Simulation: Applying Path-Based Learning In Delay Test and Post-Silicon Validation (LCW), pp. 692–695.
DATE-v2-2004-BobrekPNPT #approach #hybrid #modelling #simulation #using: Modeling Shared Resource Contention Using a Hybrid Simulation/Analytical Approach (AB, JJP, JEN, JMP, DET), pp. 1144–1149.
DATE-v2-2004-ElviraMAG #generative #megamodelling #performance #simulation: A Macromodelling Methodology for Efficient High-Level Simulation of Substrate Noise Generation (LE, FM, XA, JLG), pp. 1362–1363.
DATE-v2-2004-MineKKWA #hybrid #linear #performance #reduction #simulation: Hybrid Reduction Technique for Efficient Simulation of Linear/Nonlinear Mixed Circuits (TM, HK, AK, TW, HA), pp. 1327–1333.
DATE-v2-2004-PestanaRRGG #approach #network #trade-off: Cost-Performance Trade-Offs in Networks on Chip: A Simulation-Based Approach (SGP, ER, AR, KGWG, OPG), pp. 764–769.
DATE-v2-2004-ReedLBMC #algorithm #parallel #simulation: An Application of Parallel Discrete Event Simulation Algorithms to Mixed Domain System Simulation (DKR, SPL, JB, JAM, DMC), pp. 1356–1357.
DATE-v2-2004-ViamontesMH #quantum #simulation: High-Performance QuIDD-Based Simulation of Quantum Circuits (GFV, ILM, JPH), pp. 1354–1355.
DATE-v2-2004-WanS #compilation #multi #simulation: Hierarchical Multi-Dimensional Table Lookup for Model Compiler Based Circuit Simulation (BW, CJRS), pp. 1310–1315.
ITiCSE-2004-Harms #artificial reality: A virtual reality simulator of the ENIAC (DEH), p. 239.
ITiCSE-2004-NavarroH #education #game studies #named #process #re-engineering #simulation: SimSE: an educational simulation game for teaching the Software engineering process (EON, AvdH), p. 233.
TACAS-2004-LindseyP #verification: Simulation-Based Verification of Autonomous Controllers via Livingstone PathFinder (AEL, CP), pp. 357–371.
ICSM-2004-WernickH #evolution #programming #using: The Impact of Using Pair Programming on System Evolution: A Simulation-Based Study (PW, TH), pp. 422–426.
CIAA-2004-Cojocaru #assembly #process #simulation: Simulating the Process of Gene Assembly in Ciliates (LC), pp. 308–309.
CHI-2004-LinAL #effectiveness: Virtual guiding avatar: an effective procedure to reduce simulator sickness in virtual environments (JJWL, HAR, ML), pp. 719–726.
CSCW-2004-BosSOCN #distributed #simulation: In-group/out-group effects in distributed teams: an experimental simulation (NB, NSS, JSO, AC, NN), pp. 429–436.
ICEIS-v1-2004-HendersonW #enterprise #modelling #simulation: Information Invasion in Enterprise Systems: Modelling, Simulating and Analysing System-Level Information Propagation (PH, SC, RJW), pp. 473–481.
ICEIS-v3-2004-MontanerLR #evaluation #recommendation: Evaluation of Recommender Systems Through Simulated Users (MM, BL, JLdlR), pp. 303–308.
ICEIS-v4-2004-TingD #network #peer-to-peer #simulation: Peer-to-Peer Network Simulation (NST, RD), pp. 84–91.
ECIR-2004-WhiteJRR #feedback #modelling: A Simulated Study of Implicit Feedback Models (RWW, JMJ, CJvR, IR), pp. 311–326.
ICPR-v1-2004-ZouariHLA #classification #performance #simulation: Simulating Classifier Ensembles of Fixed Diversity for Studying Plurality Voting Performance (HZ, LH, YL, AMA), pp. 232–235.
SEKE-2004-DantasBW #game studies #learning #project management: A Simulation-Based Game for Project Management Experiential Learning (ARD, MdOB, CMLW), pp. 19–24.
SEKE-2004-HuS #diagrams #petri net #simulation #uml: Mapping UML Diagrams to a Petri Net Notation for System Simulation (ZH, SMS), pp. 213–219.
PADL-2004-ChenZX #case study #dependent type #haskell #implementation #simulation: Implementing Cut Elimination: A Case Study of Simulating Dependent Types in Haskell (CC, DZ, HX), pp. 239–254.
SAC-2004-AntoniouVPHJ #generative #network #simulation: A discrete event based simulation environment for enhanced UMTS 3^rd generation networks (JA, VV, AP, GH, NJ), pp. 369–370.
SAC-2004-CavarraRS #framework #modelling #simulation #uml: A framework to simulate UML models: moving from a semi-formal to a formal environment (AC, ER, PS), pp. 1519–1523.
ICSE-2004-BriandLW #empirical #simulation #statechart #test coverage #using: Using Simulation to Empirically Investigate Test Coverage Criteria Based on Statechart (LCB, YL, YW), pp. 86–95.
LCTES-2004-ContrerasMPJL #named: XTREM: a power simulator for the Intel XScale® core (GC, MM, JP, RJ, GYL), pp. 115–125.
LCTES-2004-LapalmeANCBDB #embedded #modelling #simulation: ESys.Net: a new solution for embedded systems modeling and simulation (JL, EMA, GN, LC, FRB, JPD, GB), pp. 107–114.
LCTES-2004-MartinJESN #modelling #simulation: Modeling and simulating electronic textile applications (TM, MTJ, JE, TS, ZN), pp. 10–19.
LCTES-2004-PatilSM #composition #simulation: Compositional static instruction cache simulation (KP, KS, FM), pp. 136–145.
LCTES-2004-WillmannBP #architecture #interface #named #network #programmable: Spinach: a liberty-based simulator for programmable network interface architectures (PW, MB, VSP), pp. 20–29.
CAV-2004-GoelB #abstraction #functional #model checking #order #simulation: Symbolic Simulation, Model Checking and Abstraction with Partially Ordered Boolean Functional Vectors (AG, REB), pp. 255–267.
CAV-2004-ImmermanRRSY #simulation #verification: Verification via Structure Simulation (NI, AMR, TWR, SS, GY), pp. 281–294.
ICLP-2004-PaluDF #simulation: Protein Folding Simulation in CCP (ADP, AD, FF), pp. 452–453.
ASE-2003-BunusF #automation #behaviour #fault #locality #modelling #physics #simulation #verification: Semi-Automatic Fault Localization and Behavior Verification for Physical System Simulation Models (PB, PF), pp. 253–258.
DAC-2003-FummiPGPMR #embedded #modelling #simulation: A timing-accurate modeling and simulation environment for networked embedded systems (FF, GP, PG, MP, SM, FR), pp. 42–47.
DAC-2003-MongZ #architecture: A retargetable micro-architecture simulator (WSM, JZ), pp. 752–757.
DAC-2003-PenryA #component #optimisation #reuse: Optimizations for a simulator construction system supporting reusable components (DAP, DIA), pp. 926–931.
DAC-2003-ReshadiMD #flexibility #performance #set #simulation: Instruction set compiled simulation: a technique for fast and flexible instruction set simulation (MR, PM, NDD), pp. 758–763.
DAC-2003-RootWT #behaviour #metric #modelling #simulation: New techniques for non-linear behavioral modeling of microwave/RF ICs from simulation and nonlinear microwave measurements (DER, JW, NT), pp. 85–90.
DAC-2003-Schubert03a #challenge #distributed #functional #industrial #scalability #simulation: Improvements in functional simulation addressing challenges in large, distributed industry projects (KDS), pp. 11–14.
DAC-2003-TasiranYB #model checking #monitoring #simulation #specification #using: Using a formal specification and a model checker to monitor and direct simulation (ST, YY, BB), pp. 356–361.
DATE-2003-Al-ArsGBR #fault #optimisation #simulation #testing #using: Optimizing Stresses for Testing DRAM Cell Defects Using Electrical Simulation (ZAA, AJvdG, JB, DR), pp. 10484–10489.
DATE-2003-BombanaB #synthesis: SystemC-VHDL Co-Simulation and Synthesis in the HW Domain (MB, FB), pp. 20101–20105.
DATE-2003-Castro-LopezFMR #behaviour #hardware #modelling #simulation #using: Behavioural Modelling and Simulation of SigmaDelta Modulators Using Hardware Description Languages (RCL, FVF, FM, ÁRV), pp. 10168–10175.
DATE-2003-ChenHBW #automation #constraints #generative #monitoring #simulation: Automatic Generation of Simulation Monitors from Quantitative Constraint Formula (XC, HH, FB, YW), pp. 11174–11175.
DATE-2003-ChoiB #migration #network #using: Hierarchical Global Floorplacement Using Simulated Annealing and Network Flow Area Migration (WC, KB), pp. 11104–11105.
DATE-2003-DebOJ #analysis #embedded #simulation #using: Simulation and Analysis of Embedded DSP Systems Using MASIC Methodology (AKD, JÖ, AJ), pp. 11100–11101.
DATE-2003-EberleVWDGM #automation #behaviour #modelling #simulation: Behavioral Modeling and Simulation of a Mixed Analog/Digital Automatic Gain Control Loop in a 5 GHz WLAN Receiver (WE, GV, PW, SD, GGEG, HDM), pp. 10642–10649.
DATE-2003-GerlingSSMT #multi #simulation: Improved Time Domain Simulation of Optical Multimode Intrasystem Interconnects (JG, OS, JS, GM, JT), pp. 11110–11111.
DATE-2003-GouraryRUZGM #approach #approximate: Approximation Approach for Timing Jitter Characterization in Circuit Simulators (MMG, SGR, SLU, MMZ, KKG, BJM), pp. 10156–10161.
DATE-2003-GouraryRUZM #analysis #simulation: A New Simulation Technique for Periodic Small-Signal Analysis (MMG, SGR, SLU, MMZ, BJM), pp. 10244–10249.
DATE-2003-GriesKSK #case study #modelling #network #simulation: Comparing Analytical Modeling with Simulation for Network Processors: A Case Study (MG, CK, CS, KK), pp. 20256–20261.
DATE-2003-Grivet-TalociaSMC #megamodelling #simulation: Combined FDTD/Macromodel Simulation of Interconnected Digital Devices (SGT, ISS, IAM, FGC), pp. 10536–10541.
DATE-2003-KinP #data flow #parallel #simulation #thread: Multithreaded Synchronous Data Flow Simulation (JSK, JLP), pp. 11094–11095.
DATE-2003-KnochelMHKA #simulation #verification: Verification of the RF Subsystem within Wireless LAN System Level Simulation (UK, TM, JH, RK, RA), pp. 20286–20291.
DATE-2003-LeeC #3d #grid #linear #power management #simulation: The Power Grid Transient Simulation in Linear Time Based on 3D Alternating-Direction-Implicit Method (YML, CCPC), pp. 11020–11025.
DATE-2003-PastorP #concurrent #simulation #traversal #verification: Combining Simulation and Guided Traversal for the Verification of Concurrent Systems (EP, MAP), pp. 11158–11159.
DATE-2003-QinM #flexibility #formal method #modelling #simulation: Flexible and Formal Modeling of Microprocessors with Application to Retargetable Simulation (WQ, SM), pp. 10556–10561.
DATE-2003-RenczSP #algorithm #layout #performance #simulation: A Fast Algorithm for the Layout Based Electro-Thermal Simulation (MR, VS, AP), pp. 11032–11037.
DATE-2003-SayintaCPAD #abstraction #case study #using #verification: A Mixed Abstraction Level Co-Simulation Case Study Using SystemC for System on Chip Verification (AS, GC, MP, AA, WD), pp. 20095–20100.
DATE-2003-YooBBPJ #abstraction #hardware #modelling #performance #simulation: Building Fast and Accurate SW Simulation Models Based on Hardware Abstraction Layer and Simulation Environment Abstraction Layer (SY, IB, AB, YP, AAJ), pp. 10550–10555.
ICDAR-2003-ZouariHLA #classification #parallel: A New Classifier Simulator for Evaluating Parallel Combination Methods (HZ, LH, YL, AMA), pp. 26–30.
VLDB-2003-Ramanan #bisimulation #query #simulation #xml: Covering Indexes for XML Queries: Bisimulation — Simulation = Negation (PR), pp. 165–176.
ITiCSE-2003-KoldehofePT #case study #distributed #using #visualisation: Integrating a simulation-visualisation environment in a basic distributed systems course: a case study using LYDIAN (BK, MP, PT), pp. 35–39.
CIAA-2003-Fritz #automaton #linear #logic #simulation #using: Constructing Büchi Automata from Linear Temporal Logic Using Simulation Relations for Alternating Büchi Automata (CF), pp. 35–48.
ICALP-2003-BlomFN #axiom #on the #simulation: On the Axiomatizability of Ready Traces, Ready Simulation, and Failure Traces (SB, WF, SN), pp. 109–118.
AGTIVE-2003-Rensink #generative: The GROOVE Simulator: A Tool for State Space Generation (AR), pp. 479–485.
CHI-2003-ChiRSWRCRDCC #automation #usability #using #web: The bloodhound project: automating discovery of web usability issues using the InfoScent simulator (EHhC, AR, GS, AW, CR, CC, ER, BD, JC, SBC), pp. 505–512.
CAiSE-2003-GansJLS #modelling #network #simulation: Deliberation in a Modeling and Simulation Environment for Inter-organizational Networks (GG, MJ, GL, DS), pp. 242–257.
ICEIS-v2-2003-NetoCMG #analysis #network #simulation #using: Simulating Data Envelopment Analysis Using Neural Networks (LBN, PHGC, JCCBSdM, EGG), pp. 244–249.
ICEIS-v2-2003-OkuharaSMIN: Application of Group Method of Data Handling to Virtual Environment Simulator (KO, WS, YM, HI, TN), pp. 545–548.
ICEIS-v3-2003-ColleSE #experience #framework: A Framework for Business Simulator: A First Experience (FC, KS, PE), pp. 540–543.
ICEIS-v4-2003-PhillipsH #mobile #performance #simulation: Simulation Study of TCP Performance Over Mobile IPV4 and Mobile IPV6 (DP, JH), pp. 224–231.
CIKM-2003-BaldwinAC #modelling #multi #scalability #simulation: Multi-resolution modeling of large scale scientific simulation data (CB, GA, TC), pp. 40–48.
KDD-2003-BarryZM #architecture #information management #simulation: Architecting a knowledge discovery engine for military commanders utilizing massive runs of simulations (PSB, JZ, MM), pp. 699–704.
SEKE-2003-LavazzaO #modelling #uml #verification: Simulation-based Verification of UML models (LL, GO), pp. 314–321.
SAC-2003-BettigSJB #internet #simulation: Dynamic Solver Selection for an Internet Simulation Backbone (BPB, CS, ARJ, KB), pp. 153–160.
SAC-2003-PascucciLFGSLH #monitoring #realtime #scalability #simulation: Real-Time Monitoring of Large Scientific Simulations (VP, DEL, RJF, FG, GS, LL, BH), pp. 194–198.
SAC-2003-Stevens #simulation: Terascale Simulation of Cumulus Convection on ASCI WHITE (DS), pp. 207–211.
ESEC-FSE-2003-BalsamoM #approach #modelling #performance: A simulation-based approach to software performance modeling (SB, MM), pp. 363–366.
ICSE-2003-Padberg #process #scheduling: A Software Process Scheduling Simulator (FP), pp. 816–817.
HPCA-2003-AlameldeenW #architecture #concurrent #multi #simulation #thread #variability: Variability in Architectural Simulations of Multi-Threaded Workloads (ARA, DAW), pp. 7–18.
HPCA-2003-YiLH #approach #simulation #statistics: A Statistically Rigorous Approach for Improving Simulation Methodology (JJY, DJL, DMH), pp. 281–291.
HPDC-2003-BucurE #clustering #multi #policy #simulation: Trace-Based Simulations of Processor Co-Allocation Policies in Multiclusters (AIDB, DHJE), pp. 70–79.
CAV-2003-KestenPP #simulation: Bridging the Gap between Fair Simulation and Trace Inclusion (YK, NP, AP), pp. 381–393.
ICLP-2003-Musumbu #security #simulation: Simulating Security Systems Based on Logigrams (KM), pp. 498–499.
RTA-2003-Giavitto #modelling #simulation: Invited Talk: Topological Collections, Transformations and Their Application to the Modeling and the Simulation of Dynamical Systems (JLG), pp. 208–233.
VMCAI-2003-WinEGKL #algorithm #distributed #execution #using #verification: Using Simulated Execution in Verifying Distributed Algorithms (TNW, MDE, SJG, DKK, NAL), pp. 283–297.
ASE-2002-EllmanDF #animation #knowledge-based #simulation #source code #synthesis: Knowledge-Based Synthesis of Numerical Programs for Simulation of Rigid-Body Systems in Physics-Based Animation (TE, RD, JF), p. 93–?.
DAC-2002-BertaccoO #performance #representation #simulation: Efficient state representation for symbolic simulation (VB, KO), pp. 99–104.
DAC-2002-CadambiMA #functional #hardware #performance #scalability #simulation: A fast, inexpensive and scalable hardware acceleration technique for functional simulation (SC, CM, PA), pp. 570–575.
DAC-2002-ChenMB #configuration management #generative: A reconfigurable FPGA-based readback signal generator for hard-drive read channel simulator (JC, JM, KB), pp. 349–354.
DAC-2002-JiangB #logic #simulation #specification #synthesis #using: Software synthesis from synchronous specifications using logic simulation techniques (YJ, RKB), pp. 319–324.
DAC-2002-KolblKAD #simulation: Handling special constructs in symbolic simulation (AK, JHK, KA, RFD), pp. 105–110.
DAC-2002-LeeP #analysis #design #embedded #performance #simulation: Timed compiled-code simulation of embedded software for performance analysis of SOC design (JYL, ICP), pp. 293–298.
DAC-2002-NohlBSLMH #architecture #flexibility #performance #simulation: A universal technique for fast and flexible instruction-set architecture simulation (AN, GB, OS, RL, HM, AH), pp. 22–27.
DAC-2002-Perrott #behaviour #performance #simulation: Fast and accurate behavioral simulation of fractional-N frequency synthesizers and other PLL/DLL circuits (MHP), pp. 498–503.
DAC-2002-ShengTH #effectiveness #safety #using: Effective safety property checking using simulation-based sequential ATPG (SS, KT, MSH), pp. 813–818.
DAC-2002-ShimizuD #generative #metric #simulation #specification: Deriving a simulation input generator and a coverage metric from a formal specification (KS, DLD), pp. 801–806.
DAC-2002-YangP #component #multi #simulation #using: Time-domain steady-state simulation of frequency-dependent components using multi-interval Chebyshev method (BY, JRP), pp. 504–509.
DATE-2002-AcarNP #framework #parametricity #simulation: A Linear-Centric Simulation Framework for Parametric Fluctuations (EA, SRN, LTP), pp. 568–575.
DATE-2002-BrandtnerW #network #power management #simulation: Hierarchical Simulation of Substrate Coupling in Mixed-Signal ICs Considering the Power Supply Network (TB, RW), pp. 1028–1032.
DATE-2002-BruschiCFS #design #fault #simulation: Error Simulation Based on the SystemC Design Description Language (FB, MC, FF, DS), p. 1135.
DATE-2002-FranckenVMG #named #simulation: DAISY-CT: A High-Level Simulation Tool for Continuous-Time Delta Sigma Modulators (KF, MV, EM, GGEG), p. 1110.
DATE-2002-Hering #parallel #simulation: A Parallel LCC Simulation System (KH), p. 1134.
DATE-2002-SavoiuSG #automation #concurrent #modelling #performance #simulation: Automated Concurrency Re-Assignment in High Level System Models for Efficient System-Level Simulation (NS, SKS, RKG), pp. 875–881.
DATE-2002-ThielenV #performance #simulation: Fast Method to Include Parasitic Coupling in Circuit Simulations (BLAVT, GAEV), pp. 1033–1037.
DATE-2002-YooNGJ #automation #design #generative #modelling #operating system #performance #simulation: Automatic Generation of Fast Timed Simulation Models for Operating Systems in SoC Design (SY, GN, LG, AAJ), pp. 620–627.
ITiCSE-2002-Ibbett #architecture #simulation #visualisation: WWW visualisation of computer architecture simulations (RNI), p. 247.
ITiCSE-2002-RatteC #collaboration #industrial #on the #simulation #using #web: On using the web as a collaboration space in the context of an industrial simulation (SR, JC), pp. 141–145.
TACAS-2002-BustanG #simulation: Applicability of Fair Simulation (DB, OG), pp. 401–414.
TACAS-2002-GentiliniPP #problem #simulation: Simulation as Coarsest Partition Problem (RG, CP, AP), pp. 415–430.
STOC-2002-BarakL #polynomial #simulation #strict: Strict polynomial-time in simulation and extraction (BB, YL), pp. 484–493.
CIAA-2002-BrzozowskiG #algebra #simulation: Simulation of Gate Circuits in the Algebra of Transients (JAB, MG), pp. 57–66.
CIAA-2002-Holub #automaton #nondeterminism #programming #simulation: Dynamic Programming — NFA Simulation (JH), pp. 295–300.
ICALP-2002-ImpagliazzoS #axiom #bound #simulation: Bounded-Depth Frege Systems with Counting Axioms Polynomially Simulate Nullstellensatz Refutations (RI, NS), pp. 208–219.
FME-2002-CavalcantiN #refinement #simulation: Forward Simulation for Data Refinement of Classes (AC, DAN), pp. 471–490.
SIGAda-2002-Brooke #development #distributed: Development of a distributed, cross-platform simulator (TCB), pp. 12–21.
CAiSE-2002-GansLJV #modelling #named #network #simulation: SNet: A Modeling and Simulation Environment for Agent Networks Based on i* and ConGolog (GG, GL, MJ, TV), pp. 328–343.
ICEIS-2002-LaraA #education #multi #visualisation #web: Hierarchical Visualization in a Simulation-Based Educational Multimedia Web System (JdL, MA), pp. 946–953.
ICPR-v1-2002-YuanL #modelling: Simulated Static Electric Field (SSEF) Snake for Deformable Models (DY, SL), pp. 83–86.
LSO-2002-NeuB #comprehension #learning #process #simulation: Learning and Understanding a Software Process through Simulation of Its Underlying Model (HN, UBK), pp. 81–93.
SEKE-2002-Drori #algorithm #documentation #idea #ranking #simulation: Algorithm for documents ranking: idea and simulation results (OD), pp. 99–102.
SEKE-2002-RusBH #analysis #development #empirical #process #simulation: Systematically combining process simulation and empirical data in support of decision analysis in software development (IR, SB, MH), pp. 827–833.
SAC-2002-AlfonsecaL #community #simulation: Simulating evolutionary agent communities with OOCSMP (MA, JdL), pp. 11–15.
SAC-2002-BarrettMSR #ad hoc #communication #framework #generative #modelling #network #simulation: A mobility and traffic generation framework for modeling and simulating ad hoc communication networks (CLB, MVM, JPS, SSR), pp. 122–126.
SAC-2002-Bell #interactive #policy #security #simulation: Interactive simulation of security policies (GB), pp. 247–252.
SAC-2002-Eubank #performance #scalability #simulation: Scalable, efficient epidemiological simulation (SE), pp. 139–145.
SAC-2002-GoldmanGBJ #behaviour #clustering #simulation: Individual-based simulation of the clustering behaviour of epidermal growth factor receptors (JPG, WJG, DB, CGJ), pp. 127–131.
SAC-2002-KornissNKG #parallel #simulation #statistics: Statistical properties of the simulated time horizon in conservative parallel discrete-event simulations (GK, MAN, AKK, HG), pp. 132–137.
HPCA-2002-GrochowskiAT #architecture #power management #simulation: Microarchitectural Simulation and Control of di/dt-induced Power Supply Voltage Variation (EG, DA, VT), pp. 7–16.
HPCA-2002-GurumurthiSIVKLJ #approach #estimation #simulation #using: Using Complete Machine Simulation for Software Power Estimation: The SoftWatt Approach (SG, AS, MJI, NV, MTK, TL, LKJ), pp. 141–150.
LCTES-SCOPES-2002-MohantyPND #agile #design #embedded #multi #simulation #using: Rapid design space exploration of heterogeneous embedded systems using symbolic search and multi-granular simulation (SM, VKP, SN, JRD), pp. 18–27.
CAV-2002-GurumurthyBS #simulation: Fair Simulation Minimization (SG, RB, FS), pp. 610–624.
ICLP-2002-BryS #declarative #model transformation #query #semistructured data #simulation #towards #unification #xml: Towards a Declarative Query and Transformation Language for XML and Semistructured Data: Simulation Unification (FB, SS), pp. 255–270.
VMCAI-2002-TipleaT #abstraction #simulation: A Simulation Preorder for Abstraction of Reactive Systems (FLT, AT), pp. 272–288.
WICSA-2001-EgyedW #architecture #modelling #statechart: Statechart Simulator for Modeling Architectural Dynamics (AE, DSW), p. 87–?.
DAC-2001-KedingCLM #performance #simulation: Fast Bit-True Simulation (HK, MC, OL, HM), pp. 708–713.
DAC-2001-KolblKD #simulation: Symbolic RTL Simulation (AK, JHK, RFD), pp. 47–52.
DAC-2001-KudlugiHSP #architecture #functional #simulation #transaction #verification: A Transaction-Based Unified Simulation/Emulation Architecture for Functional Verification (MK, SH, CS, DP), pp. 623–628.
DAC-2001-McDonaldB #analysis #simulation #using: Computing Logic-Stage Delays Using Circuit Simulation and Symbolic Elmore Analysis (CBM, REB), pp. 283–288.
DAC-2001-WangHLKZMD #abstraction #hybrid #refinement #simulation #verification: Formal Property Verification by Abstraction Refinement with Formal, Simulation and Hybrid Engines (DW, PHH, JL, JHK, YZ, HKTM, RFD), pp. 35–40.
DAC-2001-WuHCWW #algorithm #generative #multi #scheduling: Simulation-Based Test Algorithm Generation and Port Scheduling for Multi-Port Memories (CFW, CTH, KLC, CWW, CWW), pp. 301–306.
DATE-2001-BadarogluHGDMGEB #generative #multi #scalability #simulation: High-level simulation of substrate noise generation from large digital circuits with multiple supplies (MB, MvH, VG, SD, HDM, GGEG, ME, IB), pp. 326–330.
DATE-2001-CasavantGLMWA #generative #graph #simulation: Property-specific witness graph generation for guided simulation (AEC, AG, SL, AM, KW, PA), p. 799.
DATE-2001-HeringLM #functional #logic #named #parallel: dibSIM: a parallel functional logic simulator allowing dynamic load balancing (KH, JL, JM), pp. 472–478.
DATE-2001-HoffmanKM #framework #performance: A framework for fast hardware-software co-simulation (AH, TK, HM), pp. 760–765.
DATE-2001-HsiehCP #analysis #simulation: Microprocessor power analysis by labeled simulation (CTH, LC, MP), pp. 182–189.
DATE-2001-NguyenJ #communication #simulation: Simulation method to extract characteristics for digital wireless communication systems (LN, VJ), pp. 176–181.
DATE-2001-QuasemG #fault #simulation: Exact fault simulation for systems on Silicon that protects each core’s intellectual property (MSQ, SKG), p. 804.
DATE-2001-RoussellePBMV #embedded #fault: A register-transfer-level fault simulator for permanent and transient faults in embedded processors (CR, MP, AB, TM, HTV), p. 811.
DATE-2001-RufHGKRM #semantics #simulation: The simulation semantics of systemC (JR, DWH, JG, TK, WR, WM), pp. 64–70.
DATE-2001-RufHKR #multi: Simulation-guided property checking based on a multi-valued AR-automata (JR, DWH, TK, WR), pp. 742–748.
DATE-2001-Ruiz-de-ClavijoJBAV #logic #named: HALOTIS: high accuracy LOgic TIming simulator with inertial and degradation delay model (PRdC, JJC, MJB, AJA, MV), pp. 467–471.
DATE-2001-UbarJP #diagrams #simulation: Timing simulation of digital circuits with binary decision diagrams (RU, AJ, ZP), pp. 460–466.
DATE-2001-VanasscheGS #exponential #performance #simulation #using: Efficient time-domain simulation of telecom frontends using a complex damped exponential signal model (PV, GGEG, WMCS), pp. 169–175.
DATE-2001-ZolfyMN #adaptation #concurrent #fault #simulation: Adaptation of an event-driven simulation environment to sequentially propagated concurrent fault simulation (MZ, SM, ZN), p. 823.
ITiCSE-2001-KorhonenMS #algorithm #animation #concept #matrix #named #simulation: Matrix — concept animation and algorithm simulation system (AK, LM, RS), p. 180.
TACAS-2001-Beaudouin-LafonMJAJLLMMRRCJ #editing #named #petri net #simulation #tool support: CPN/Tools: A Tool for Editing and Simulating Coloured Petri Nets ETAPS Tool Demonstration Related to TACAS (MBL, WEM, MJ, PA, PJ, HML, KL, KHM, SM, AVR, KR, SC, KJ), pp. 574–577.
TACAS-2001-TanC #revisited #simulation: Simulation Revisited (LT, RC), pp. 480–495.
CSMR-2001-PodnarM #analysis #maintenance #process #simulation #using: Software Maintenance Process Analysis Using Discrete-Event Simulation (IP, BM), pp. 192–195.
CSMR-2001-SilvaLG #evaluation #legacy #migration #performance #simulation: A Simulation Model for the Performance Evaluation When Migrating Legacy Systems (PPdS, AHFL, PBG), pp. 210–215.
PLDI-2001-SchnarrHL #compilation #named: Facile: A Language and Compiler for High-Performance Processor Simulators (ES, MDH, JRL), pp. 321–331.
STOC-2001-Valiant #polynomial #quantum: Quantum computers that can be simulated classically in polynomial time (LGV), pp. 114–123.
CIAA-2001-Holub #automaton #nondeterminism #parallel #simulation: Bit Parallelism — NFA Simulation (JH), pp. 149–160.
CIAA-2001-Velinov #automaton #design #modelling #on the: On the Software Design of Cellular Automata Simulators for Ecological Modeling (YV), pp. 261–262.
ICALP-2001-BuhrmanTV #bound #simulation: Time and Space Bounds for Reversible Simulation (HB, JT, PMBV), pp. 1017–1027.
ICALP-2001-EtessamiWS #automaton #game studies #reduction #simulation: Fair Simulation Relations, Parity Games, and State Space Reduction for Büchi Automata (KE, TW, RAS), pp. 694–707.
FME-2001-LaurentMW #simulation #using #verification: Using Formal Verification Techniques to Reduce Simulation and Test Effort (OL, PM, VW), pp. 465–477.
CHI-2001-DuhPF #independence #visual notation: An “independent visual background” reduced balance disturbance envoked by visual scene motion: implication for alleviating simulator sickness (HBLD, DEP, TAF), pp. 85–89.
CHI-2001-RossonS #education #learning #reuse #simulation: Teachers as simulation programmers: minimalist learning and reuse (MBR, CDS), pp. 237–244.
SIGAda-2001-Gantsou #ada #communication #distributed #multi #network #simulation: Targeting Ada95/DSA for distributed simulation of multiprotocol communication networks (DG), pp. 91–96.
SEKE-2001-BarberGH #architecture #correctness #model checking #simulation #using: Evaluating Dynamic Correctness Properties of Domain Reference Architectures Using a Combination of Simulation and Model Checking (KSB, TJG, JH), pp. 19–28.
SAC-2001-DowellB #graph #mobile #monte carlo #network #random #simulation #validation: Connectivity of random graphs and mobile networks: validation of Monte Carlo simulation results (LJD, MLB), pp. 77–81.
SAC-2001-Dozier #behaviour #evolution #interactive #simulation: Evolving robot behavior via interactive evolutionary computation: from real-world to simulation (GVD), pp. 340–344.
SAC-2001-Shimoura #communication #design #performance #self #simulation: Self-consistent simulation studying environment for the design of high-speed optical communication lines (KS), pp. 73–76.
HPDC-2001-RussellADFSNSL #community #development #simulation: The Astrophysics Simulation Collaboratory Portal: A Science Portal Enabling Community Software Development (MR, GA, GD, ITF, ES, JN, JS, GvL), pp. 207–215.
LCTES-OM-2001-BakshiPL #embedded #framework #modelling #named #simulation: MILAN: A Model Based Integrated Simulation Framework for Desgin of Embedded Suystems (AB, VKP, ÁL), pp. 82–87.
LCTES-OM-2001-PalopoliLANAC #embedded #performance #prototype #simulation: A Tool for Simulation and Fast Prototyping of Embedded Control Systems (LP, GL, LA, MDN, PA, FC), pp. 73–81.
DAC-2000-AttarhaNL #fault #fuzzy #logic #modelling #simulation #using: Modeling and simulation of real defects using fuzzy logic (AA, MN, CL), pp. 631–636.
DAC-2000-DwarakanathB #fault #simulation #tuple #using: Universal fault simulation using fault tuples (KND, RDB), pp. 786–789.
DAC-2000-FinF #analysis #simulation: A Web-CAD methodology for IP-core analysis and simulation (AF, FF), pp. 597–600.
DAC-2000-GaurdianiSMSC #bound #component #constant #simulation #statistics: An asymptotically constant, linearly bounded methodology for the statistical simulation of analog circuits including component mismatch effects (CG, SS, PM, PS, DC), pp. 15–18.
DAC-2000-HamerLBS #framework #simulation: A system simulation framework (PvdH, WPMvdL, PB, NWS), pp. 699–704.
DAC-2000-HeijningenBDEB #generative #power management #simulation: High-level simulation of substrate noise generation including power supply noise coupling (MvH, MB, SD, ME, IB), pp. 446–451.
DAC-2000-KrishnaswamyCT #fault #simulation: A switch level fault simulation environment (VK, JC, TT), pp. 780–785.
DAC-2000-McDonaldB #clustering #scheduling #simulation #using: Symbolic timing simulation using cluster scheduling (CBM, REB), pp. 254–259.
DAC-2000-NassifK #grid #performance #power management #simulation: Fast power grid simulation (SRN, JNK), pp. 156–161.
DAC-2000-TsaiK #performance #reduction #simulation: Fast temperature calculation for transient electrothermal simulation by mixed frequency/time domain thermal model reduction (CHT, SMK), pp. 750–755.
DAC-2000-VandersteenWRDDEB #data flow #performance #simulation: A methodology for efficient high-level dataflow simulation of mixed-signal front-ends of digital telecom transceivers (GV, PW, YR, PD, SD, ME, IB), pp. 440–445.
DAC-2000-WilsonD #reliability #simulation #using #verification: Reliable verification using symbolic simulation with scalar values (CW, DLD), pp. 124–129.
DAC-2000-YangP #multi #performance #simulation: A multi-interval Chebyshev collocation method for efficient high-accuracy RF circuit simulation (BY, JRP), pp. 178–183.
DATE-2000-DalpassoBBF #design #distributed #fault #simulation: Virtual Fault Simulation of Distributed IP-Based Designs (MD, AB, LB, MF), pp. 99–103.
DATE-2000-FinF #fault #functional #generative #testing: A VHDL Error Simulator for Functional Test Generation (AF, FF), pp. 390–395.
DATE-2000-FrohlichGF #clustering #parallel #simulation: A New Partitioning Method for Parallel Simulation of VLSI Circuits on Transistor Level (NF, VG, JF), pp. 679–684.
DATE-2000-GauthierJ #simulation: Cycle-True Simulation of the ST10 Microcontroller (LG, AAJ), p. 742.
DATE-2000-LungeanuS #distributed #parallel #simulation: Parallel and Distributed VHDL Simulation (DL, CJRS), pp. 658–662.
DATE-2000-Maurer #logic #network #simulation #state machine #using: Logic Simulation Using Networks of State Machines (PMM), pp. 674–678.
DATE-2000-MorawiecUR #algorithm #diagrams #simulation #using: Cycle-Based Simulation Algorithms for Digital Systems Using High-Level Decision Diagrams (AM, RU, JR), p. 743.
DATE-2000-PeesHM #using: Retargeting of Compiled Simulators for Digital Signal Processors Using a Machine Description Language (SP, AH, HM), pp. 669–673.
DATE-2000-Rosing #fault #simulation: A Fault Simulation Methodology for MEMS (RR), pp. 476–483.
DATE-2000-SaabHK #fault #generative #parametricity #simulation: Parametric Fault Simulation and Test Vector Generation (KS, NBH, BK), pp. 650–656.
CSEET-2000-Collofello #collaboration #industrial #project management #simulation: University/Industry Collaboration in Developing a Simulation Based Software Project Management Training Course (JSC), pp. 161–168.
ITiCSE-2000-KorhonenM #algorithm #assessment #automation #simulation: Algorithm simulation with automatic assessment (AK, LM), pp. 160–163.
FASE-2000-BellegardeJK #composition #refinement: Ready-Simulation Is Not Ready to Express a Modular Refinement Relation (FB, JJ, OK), pp. 266–283.
FoSSaCS-2000-Hannay #higher-order #simulation #system f: A Higher-Order Simulation Relation for System F (JEH), pp. 130–145.
WRLA-2000-MasonT #maude #network #protocol #simulation: Simple Network Protocol Simulation within Maude (IAM, CLT), pp. 274–291.
WRLA-2000-OlveczkyM #hybrid #maude #realtime #simulation: Real-Time Maude: A Tool for Simulating and Analyzing Real-Time and Hybrid Systems (PCÖ, JM), pp. 361–382.
STOC-2000-KitaevW #exponential #interactive #parallel #proving #quantum #simulation: Parallelization, amplification, and exponential time simulation of quantum interactive proof systems (AK, JW), pp. 608–617.
AdaEurope-2000-DeshpandeCT #behaviour #object-oriented #reliability #simulation: Improving the Reliability of Object-Oriented Software through Object-Level Behavioral Simulation (MD, FPC, JT), pp. 266–279.
ICPR-v3-2000-Pina #simulation: Deconstructing the Morphological Granulometrical Distributions to Simulate Structures (PP), pp. 3127–3130.
ICPR-v4-2000-MendezMOH #execution #simulation: Remote Robot Execution through WWW Simulation (STPM, FTM, FO, FACH), pp. 4503–4506.
OOPSLA-2000-LeeKK #modelling #realtime #simulation: A real world object modeling method for creating simulation environment of real-time systems (JYL, HJK, KCK), pp. 93–104.
SAC-2000-Reich #algorithm #difference #equation #simulation #using: Simulation of Imprecise Ordinary Differential Equations Using Evolutionary Algorithms (CR), pp. 428–432.
ICSE-2000-DrappaL #re-engineering #simulation: Simulation in software engineering training (AD, JL), pp. 199–208.
ICSE-2000-KeidarKLS #incremental #proving #simulation: An inheritance-based technique for building simulation proofs incrementally (IK, RK, NAL, AAS), pp. 478–487.
ICSE-2000-SharpH #interactive #multi #simulation: An interactive multimedia software house simulation for postgraduate software engineers (HS, PH), pp. 688–691.
ASPLOS-2000-GibsonKOH #simulation: FLASH vs. (Simulated) FLASH: Closing the Simulation Loop (JG, RK, DO, MH), pp. 49–58.
HPDC-2000-AndresenN #distributed #simulation: The Modeler’s Workbench: A System for Dynamically Distributed Simulation and Data Collection (DA, RN), pp. 300–301.
HPDC-2000-GouacheP #corba #industrial #simulation #using: Coupling of Industrial Simulation Codes using CORBA (SG, TP), pp. 312–314.
HPDC-2000-MuralidharP #distributed #framework #simulation: An Object Infrastructure for Computational Steering of Distributed Simulations (RM, MP), pp. 304–305.
CADE-2000-BustanG #simulation: Simulation Based Minimization (DB, OG), pp. 255–270.
CAV-2000-AbarbanelBGKW #automation #generative #named #simulation #specification: FoCs: Automatic Generation of Simulation Checkers from Formal Specifications (YA, IB, LG, SK, YW), pp. 538–542.
ISSTA-2000-BhargavanGKLOSV #analysis #formal method #named #network #simulation: Verisim: Formal analysis of network simulations (KB, CAG, MK, IL, DO, OS, MV), pp. 2–13.
ASE-1999-Bose #architecture #automation #modelling #simulation #uml #using #verification: Automated Translation of UML Models of Architectures for Verification and Simulation Using SPIN (PKB), pp. 102–109.
DAC-1999-BelkFTBT #design #simulation: The Simulation and Design of Integrated Inductors (NRB, MRF, MT, AJB, KLT), pp. 988–993.
DAC-1999-Bening #logic #simulation: A Two-State Methodology for RTL Logic Simulation (LB), pp. 672–677.
DAC-1999-BertaccoDQ #simulation: Cycle-Based Symbolic Simulation of Gate-Level Synchronous Circuits (VB, MD, SQ), pp. 391–396.
DAC-1999-ChinosiZG #clustering #parallel #simulation: Parallel Mixed-Level Power Simulation Based on Spatio-Temporal Circuit Partitioning (MC, RZ, CG), pp. 562–567.
DAC-1999-DalpassoBB #design #distributed #simulation: Virtual Simulation of Distributed IP-based Designs (MD, AB, LB), pp. 50–55.
DAC-1999-FallahAD #generative #simulation: Simulation Vector Generation from HDL Descriptions for Observability-Enhanced Statement Coverage (FF, PA, SD), pp. 666–671.
DAC-1999-Freund #algorithm #modelling #simulation: Passive Reduced-Order Models for Interconnect Simulation and Their Computation via Krylov-Subspace Algorithms (RWF), pp. 195–200.
DAC-1999-GanaiAK #simulation: Enhancing Simulation with BDDs and ATPG (MKG, AA, AK), pp. 385–390.
DAC-1999-KrasnickiPRC #named #performance #synthesis: MAELSTROM: Efficient Simulation-Based Synthesis for Custom Analog Cells (MK, RP, RAR, LRC), pp. 945–950.
DAC-1999-KuhnRK #hardware #java #simulation: Description and Simulation of Hardware/Software Systems with Java (TK, WR, UK), pp. 790–793.
DAC-1999-LiTRK #modelling #simulation: Substrate Modeling and Lumped Substrate Resistance Extraction for CMOS ESD/Latchup Circuit Simulation (TL, CHT, ER, SMK), pp. 549–554.
DAC-1999-NarayanR #multi #simulation: Multi-Time Simulation of Voltage-Controlled Oscillators (ON, JSR), pp. 629–634.
DAC-1999-SimunicBM #embedded #energy #simulation: Cycle-Accurate Simulation of Energy Consumption in Embedded Systems (TS, LB, GDM), pp. 867–872.
DATE-1999-BuhlerPKB #approach #performance #process #simulation #using: Efficient Switching Activity Simulation under a Real Delay Model Using a Bitparallel Approach (MB, MP, KK, UGB), p. 459–?.
DATE-1999-CabodiCPQ #simulation: Computing Timed Transition Relations for Sequential Cycle-Based Simulation (GC, PC, CP, SQ), pp. 8–12.
DATE-1999-HalambiGGKDN #architecture #compilation #named: EXPRESSION: A Language for Architecture Exploration through Compiler/Simulator Retargetability (AH, PG, VG, AK, NDD, AN), pp. 485–490.
DATE-1999-MaurerS #performance #simulation: Software Bit-Slicing: A Technique for Improving Simulation Performance (PMM, WJS), pp. 786–787.
DATE-1999-PasquierC #execution #realtime #simulation: An Object-Based Executable Model for Simulation of Real-Time Hw/Sw Systems (OP, JPC), pp. 782–783.
DATE-1999-SantosT #fault #simulation #using: Defect-Oriented Mixed-Level Fault Simulation of Digital Systems-on-a-Chip Using HDL (MBS, JPT), p. 549–?.
DATE-1999-Sasaki #semantics #simulation #state machine: A Formal Semantics for Verilog-VHDL Simulation Interoperability by Abstact State Machine (HS), p. 353–?.
DATE-1999-ScherberM #flexibility #modelling #performance #simulation: An Efficient and Flexible Methodology for Modelling and Simulation of Heterogeneous Mechatronic Systems (SS, CMS), pp. 784–785.
DATE-1999-TabbaraSSFL #modelling #performance #using: Fast Hardware-Software Co-simulation Using VHDL Models (BT, MS, ALSV, EF, LL), p. 309–?.
DATE-1999-UbarRM #diagrams #simulation: Cycle-based Simulation with Decision Diagrams (RU, JR, AM), pp. 454–458.
DATE-1999-YangZ #fault #performance #robust #simulation: Fast, Robust DC and Transient Fault Simulation for Nonlinear Analog Circuits (ZRY, MZ), pp. 244–248.
VLDB-1999-DarmontS #named #random #simulation: VOODB: A Generic Discrete-Event Random Simulation Model To Evaluate the Performances of OODBs (JD, MS), pp. 254–265.
ITiCSE-1999-CabezaCR #behaviour #education #memory management #named: CacheSim: a cache simulator for teaching memory hierarchy behaviour (MLCC, MIGC, MLR), p. 181.
ITiCSE-1999-HewsonDC #generative #multi #simulation: A multimedia animated simulation generator (JH, WD, MC), pp. 131–134.
ICALP-1999-KuceraM #algebra #process #simulation: Simulation Preorder on Simple Process Algebras (AK, RM), pp. 503–512.
FM-v2-1999-HorsteS #formal method #modelling #petri net #simulation #using: Formal Modelling and Simulation of Train Control Systems Using Petri Nets (MMzH, ES), p. 1867.
IFM-1999-BanachP #simulation: Retrenchment and Punctured Simulation (RB, MP), pp. 457–476.
IFM-1999-BoltonDW #data type #on the #process #refinement #simulation: On the Refinement and Simulation of Data Types and Processes (CB, JD, JW), pp. 273–292.
AGTIVE-1999-NiereZ99a #simulation #testing #using: Testing and Simulating Production Control Systems Using the Fujaba Environment (JN, AZ), pp. 449–456.
AGTIVE-1999-RibeiroC #composition #graph grammar #modelling #simulation #using: Compositional Construction of Simulation Models Using Graph Grammars (LR, BC), pp. 87–94.
HCI-CCAD-1999-InmanL #education #using: Teaching orientation and mobility skills to blind children using simulated acoustical environments (DPI, KL), pp. 1090–1094.
HCI-CCAD-1999-KossekovaL #javascript #simulation: JavaScript programme for clinical case simulations (GK, DL), pp. 686–690.
HCI-CCAD-1999-PrevotC #automation #design #evaluation #simulation: A vertical situation display for automated aircraft — design and evaluation in full mission simulation (TP, BC), pp. 1266–1270.
HCI-CCAD-1999-Swezey #metric #performance #problem #simulation: Measurement of team problem solving performance via a computerized quasi-experimental simulation (RWS), pp. 482–486.
HCI-CCAD-1999-TakanoSS #behaviour #simulation: Intellectual simulation of operating team behavior in coping with anomalies occurring at commercial nuclear power plants (KT, WS, KS), pp. 1201–1205.
HCI-EI-1999-DaeleC #simulation: Between the situation of simulation and the situation of reference: the operators’ representations (AVD, DC), pp. 875–879.
HCI-EI-1999-HowarthH #maintenance #simulation: The Maintenance of Habituation to Virtual Simulation Sickness (PAH, KJH), pp. 137–141.
HCI-EI-1999-LoiseletHD #research: From Field to Simulator and Microworld Studies: The Ecological Validity of Research (AL, JMH, PD), pp. 880–884.
HCI-EI-1999-MatsuoNNO #evaluation #interface #maintenance: Simulation-Based Human Interface Evaluation for Maintenance Facilities (SM, TN, YN, TO), pp. 948–952.
HCI-EI-1999-Nyssen #learning #towards: Training Simulators in Anesthesia: Towards a Hierarchy of Learning Situations (ASN), pp. 890–894.
AdaEurope-1999-BreguetZ: Railway Scale Model Simulator (PB, LZ), pp. 170–180.
AdaEurope-1999-Hagenauer #distributed #on the #simulation: On the Use of Controlled Types for Fossil Collection in a Distributed Simulation Systems (HH), pp. 238–249.
ICEIS-1999-AlexandrovichNC #design #fault tolerance #framework #simulation: The Integrated Framework for Fault-Tolerant System Simulation and Design (AEA, RMN, VOC), p. 771.
ICEIS-1999-MelicioCR #problem: Solving the Timetabling Problem with Simulated Annealing (FM, JPC, ACR), pp. 272–279.
ICEIS-1999-MendesM #scalability #simulation: Traffic Simulation of Large Regions (PM, JM), p. 761.
ICEIS-1999-SchumacherCHK #automation #coordination #simulation: The STL++ Coordination Language: Application to Simulating the Automation of a Trading System (MS, FC, SS, BH, OK), pp. 292–299.
TOOLS-ASIA-1999-XieYL #simulation #uml: Applying UML to Gas Turbine Engine Simulation (ZX, JY, JL), pp. 458–464.
TOOLS-EUROPE-1999-RamosP #information management #object-oriented #physics #representation #simulation: Needs of Object-Oriented Languages for Physics Knowledge Representation in the Simulation Field (JJR, MAP), pp. 162–171.
TOOLS-EUROPE-1999-Telea #data flow #modelling #object-oriented #simulation: Combining Object Orientation and Dataflow Modelling in the Vission Simulation System (ACT), pp. 56–65.
GCSE-1999-RanaLWS #component #generative #scalability #simulation #xml: An XML Based Component Model for Generating Scientific Applications and Performing Large Scale Simulations in a Meta-computing Environment (OFR, ML, DWW, MSS), pp. 210–224.
SAC-1999-PittsC #simulation #visualisation: Peripherality Based Level of Detail Switching as a Visualization Enhancement of High-Risk Simulations (GP, DC), pp. 98–104.
HPCA-1999-DurbhakulaPA #multi #simulation #trade-off: Improving the Accuracy vs. Speed Tradeoff for Simulating Shared-Memory Multiprocessors with ILP Processors (MD, VSP, SVA), pp. 23–32.
PPoPP-1999-BagrodiaDDP #parallel #performance #predict #scalability #simulation #using: Performance Prediction of Large Parallel Applications using Parallel Simulations (RB, ED, SD, TP), pp. 151–162.
PPoPP-1999-McCurdyM #architecture #distributed #evaluation #memory management #paradigm #simulation: An Evaluation of Computing Paradigms for N-Body Simulations on Distributed Memory Architectures (CM, JMMC), pp. 25–36.
IWTCS-1999-LatvakoskiH #communication #embedded #protocol #simulation #testing: Time Simulation Methods for Testing Protocol Software Embedded in Communicating Systems (JL, HH), pp. 379–394.
DAC-1998-AzizKS #hybrid #simulation #using #verification: Hybrid Verification Using Saturated Simulation (AA, JHK, TRS), pp. 615–618.
DAC-1998-BauerBKV #configuration management #logic #performance #simulation: A Reconfigurable Logic Machine for Fast Event-Driven Simulation (JB, MB, IK, PV), pp. 668–671.
DAC-1998-Dill #simulation #verification #what: What’s Between Simulation and Formal Verification? (Extended Abstract) (DLD), pp. 328–329.
DAC-1998-HuangCCL #design #fault: Fault-Simulation Based Design Error Diagnosis for Sequential Circuits (SYH, KTC, KCC, JYJL), pp. 632–637.
DAC-1998-LuoWA #functional #hybrid #performance #simulation: Hybrid Techniques for Fast Functional Simulation (YL, TW, AA), pp. 664–667.
DAC-1998-NguyenDN #linear #simulation: Adjoint Transient Sensitivity Computation in Piecewise Linear Simulation (TVN, AD, OJN), pp. 477–482.
DAC-1998-OlukotunHO #simulation: Digital System Simulation: Methodologies and Examples (KO, MH, DO), pp. 658–663.
DAC-1998-OrshanskyCH #performance #simulation #statistics: A Statistical Performance Simulation Methodology for VLSI Circuits (MO, JCC, CH), pp. 402–407.
DAC-1998-Yuan #modelling #network #simulation: Electromagnetic Modeling and Signal Integrity Simulation of Power/Ground Networks in High Speed Digital Packages and Printed Circuit Boards (FYY), pp. 421–426.
DATE-1998-CostaCS #modelling #performance #simulation: Efficient Techniques for Accurate Modeling and Simulation of Substrate Coupling in Mixed-Signal IC’s (JPC, MC, LMS), pp. 892–898.
DATE-1998-HansenKR #comparison #interface #simulation #synthesis #using #verification: Verification by Simulation Comparison using Interface Synthesis (CH, AK, WR), pp. 436–443.
DATE-1998-JemaiKJ #architecture #behaviour #simulation #synthesis: Architectural Simulation in the Context of Behavioral Synthesis (AJ, PK, AAJ), pp. 590–595.
DATE-1998-Kazmierski98a #interface #simulation: Fuzzy-logic digital-analogue interfaces for accurate mixed-signal simulation (TJK), pp. 941–944.
DATE-1998-KedingWCM #design #fixpoint #named #simulation: FRIDGE: A Fixed-Point Design and Simulation Environment (HK, MW, MC, HM), pp. 429–435.
DATE-1998-KimuraI #analysis #design: A Unified Technique for PCB/MCM Design by Combining Electromagnetic Field Analysis with Circuit Simulator (HK, NI), pp. 951–952.
DATE-1998-Naroska #parallel #simulation: Parallel VHDL Simulation (EN), pp. 159–163.
DATE-1998-NeulBLSHW #approach #component #modelling #simulation: A Modeling Approach to Include Mechanical Microsystem Components into the System Simulation (RN, UB, GL, PS, JH, SW), pp. 510–517.
DATE-1998-RabeJKNO #performance #trade-off: Power-Simulation of Cell Based ASICs: Accuracy- and Performance Trade-Offs (DR, GJ, LK, WN), pp. 356–361.
DATE-1998-RibasC #equivalence #incremental #on the #reuse #simulation #verification: On the Reuse of Symbolic Simulation Results for Incremental Equivalence Verification of Switch-Level Circuits (LR, JC), pp. 624–629.
DATE-1998-RosenbergerH #approach #behaviour #functional #modelling #simulation: A Systems Theoretic Approach to Behavioural Modeling and Simulation of Analog Functional Blocks (RR, SAH), pp. 721–728.
DATE-1998-SchmerlerTM #logic #simulation: Advanced Optimistic Approaches in Logic Simulation (SS, YT, KDMG), pp. 362–368.
DATE-1998-TianS #fault #performance #simulation: Efficient DC Fault Simulation of Nonlinear Analog Circuits (MWT, CJRS), pp. 899–904.
ITiCSE-1998-PerskyB #concurrent #re-engineering: Re-engineering a concurrency simulator (YP, MBA), pp. 185–188.
TACAS-1998-Garavel #architecture #named #simulation #testing #verification: OPEN/CÆSAR: An OPen Software Architecture for Verification, Simulation, and Testing (HG), pp. 68–84.
TACAS-1998-VelevB #array #memory management #modelling #performance #simulation: Efficient Modeling of Memory Arrays in Symbolic Ternary Simulation (MNV, REB), pp. 136–150.
ICALP-1998-PetersenR #performance #queue #simulation: Efficient Simulations by Queue Machines (HP, JMR), pp. 884–895.
FM-1998-Yamane #design #realtime #simulation: A Practical Hierarchical Design by Timed Simulation Relations for Real-Time Systems (SY), pp. 151–167.
AdaEurope-1998-HagenauerP #ada #distributed #simulation: Ada 95 for a Distributed Simulation System (HH, WP), pp. 140–150.
SIGAda-1998-HopperBHH #ada #simulation: Use of Ada in Digital Radar Landmass Simulation (DRLMS) (JH, JDB, HH, TH), pp. 137–139.
ICPR-1998-FlorebySS #bound #fourier #image #order #using: Boundary finding using Fourier surfaces of increasing order [simulated medical images] (LF, LS, KS), pp. 465–467.
ICPR-1998-GoktepeAYY #image #markov #modelling #random #segmentation #using: Unsupervised texture based image segmentation by simulated annealing using Markov random field and Potts models (MG, VA, NY, CY), pp. 820–822.
ICPR-1998-HansenEL #approach #finite #modelling #simulation: Region-of-interest based finite element modelling of the brain-an approach to brain surgery simulation (KVH, MSE, OVL), pp. 292–296.
ICPR-1998-NakaiMI #analysis #simulation: Simulation and analysis of spectral distributions of human skin (HN, YM, SI), pp. 1065–1067.
ECOOP-1998-FritzsonE #modelling #named #object-oriented #simulation: Modelica — A Unified Object-Oriented Language for System Modelling and Simulation (PF, VE), pp. 67–90.
TOOLS-USA-1998-CalderoniM #multi #named #simulation #tool support: MUTANT: A MultiAgent Toolkit for Artificial Life Simulation (SC, PM), pp. 218–229.
TOOLS-USA-1998-SoulieMCC #framework #object-oriented #simulation: GEAMAS V2.0: An Object Oriented Platform for Complex Systems Simulations (JCS, PM, SC, RC), p. 230–?.
SAC-1998-BillardL #automaton #behaviour #distributed #learning #simulation: Simulation of period-doubling behavior in distributed learning automata (EB, SL), pp. 690–695.
SAC-1998-LeaLS: Shoaling waves simulator (SML, ML, PMS), pp. 666–671.
SAC-1998-LiWP #modelling #process #simulation: Modelling and simulation of fractional ARIMA processes based on importance sampling (JSL, AW, RPZ), pp. 453–455.
ICSE-1998-BriandELF #benchmark #development #metric #performance #simulation #using: Using Simulation to Build Inspection Efficiency Benchmarks for Development Projects (LCB, KEE, OL, TF), pp. 340–349.
ICSE-1998-HanakawaMM #development #learning #simulation: A Learning Curve Based Simulation Model for Software Development (NH, SM, KiM), pp. 350–359.
ASPLOS-1998-SchnarrL #performance #simulation #using: Fast Out-Of-Order Processor Simulation Using Memoization (ES, JRL), pp. 283–294.
HPDC-1998-MillerHPJ #distributed #simulation: Simulation Steering with SCIRun in a Distributed Environment (MM, CDH, SGP, CRJ), pp. 364–365.
LCTES-1998-LundqvistS #analysis #simulation #using: Integrating Path and Timing Analysis Using Instruction-Level Simulation Techniques (TL, PS), pp. 1–15.
CAV-1998-GriffioenV #simulation: Normed Simulations (WODG, FWV), pp. 332–344.
ISSTA-1998-TraceyCM #automation #using: Automated Program Flaw Finding Using Simulated Annealing (NT, JAC, KM), pp. 73–81.
ASE-1997-PautlerWQ #simulation #specification: Exploiting Domain-Specific Knowledge to Refine Simulation Specifications (DP, SW, AQ), p. 117–?.
DAC-1997-AluruW #algorithm #simulation: Algorithms for Coupled Domain MEMS Simulation (NRA, JW), pp. 686–690.
DAC-1997-BauerE #approach #hardware: Hardware/Software Co-Simulation in a VHDL-Based Test Bench Approach (MB, WE), pp. 774–779.
DAC-1997-GuptaMA #formal method #simulation #towards #using #validation: Toward Formalizing a Validation Methodology Using Simulation Coverage (AG, SM, PA), pp. 740–745.
DAC-1997-HinesB #communication #embedded #modelling: Dynamic Communication Models in Embedded System Co-Simulation (KH, GB), pp. 395–400.
DAC-1997-MirROPH #automation #evaluation #fault #named #simulation: SWITTEST: Automatic Switch-Level Fault Simulation and Test Evaluation of Switched-Capacitor Systems (SM, AR, TO, EJP, JLH), pp. 281–286.
DAC-1997-PasseroneLCS #analysis #hardware #performance #prototype #trade-off: Fast Hardware/Software Co-Simulation for Virtual Prototyping and Trade-Off Analysis (CP, LL, MC, ALSV), pp. 389–394.
DAC-1997-PomeranzR #approach #fault #multi #simulation #using: Fault Simulation under the Multiple Observation Time Approach using Backward Implications (IP, SMR), pp. 608–613.
DAC-1997-Roychowdhury #multi #performance #simulation: Efficient Methods for Simulating Highly Nonlinear Multi-Rate Circuits (JSR), pp. 269–274.
DAC-1997-TianS #agile #fault #parametricity #simulation: Rapid Frequency-Domain Analog Fault Simulation Under Parameter Tolerances (MWT, CJRS), pp. 275–280.
DAC-1997-WalterLDLMKW #approach #multi #random #simulation #verification: Hierarchical Random Simulation Approach for the Verification of S/390 CMOS Multiprocessors (JAW, JL, GD, BL, HJM, KWK, BW), pp. 89–94.
EDTC-1997-RomanowiczLLRABMP #hardware #modelling #simulation #transducer #using: Modeling and simulation of electromechanical transducers in microsystems using an analog hardware description language (BR, ML, PL, PR, HPA, AB, VM, FP), pp. 119–123.
EDTC-1997-ShojiHSKN #behaviour #simulation: Acceleration of behavioral simulation on simulation specific machines (MS, FH, SS, SK, HN), pp. 373–377.
EDTC-1997-SzekelyPPRC #simulation: SISSSI-A tool for dynamic electro-thermal simulation of analog VLSI cells (VS, AP, AP, MR, AC), p. 617.
EDTC-1997-WalkerG #simulation: VHDL extensions for complex transmission line simulation (PW, SG), pp. 368–372.
EDTC-1997-WalkerG97a #distributed #independence #simulation: Exploiting temporal independence in distributed preemptive circuit simulation (PW, SG), pp. 378–382.
EDTC-1997-WunscheCSW #design #using: Microsystem design using simulator coupling (SW, CC, PS, FW), pp. 113–118.
ICDAR-1997-HiranoOY #recognition #using: Structural Character Recognition Using Simulated Annealing (TH, YO, FY), pp. 507–510.
ITiCSE-1997-DixonMK #education #network #simulation #using: Using a network simulation package to teach the client-server model (MWD, TJM, JMK), pp. 71–73.
ITiCSE-1997-Knox #architecture #design #simulation: Integrating design and simulation into a computer architecture course (DK), pp. 42–44.
CSMR-1997-Holl #configuration management #maintenance: A Software Configuration Management System for the Maintenance of Nuclear Power Plant Simulators (BH), pp. 136–139.
CSMR-1997-Meltz #assessment: Assessment of the options for Hardware-/Software-Reengineering of two KSG/GfS Full-Scope-Simulators (PM), pp. 140–143.
DLT-1997-CaludeCK #automaton #simulation: Deterministic Automata: Simulation, Universality and Minimality. Extended Abstract (CSC, EC, BK), pp. 519–537.
HCI-CC-1997-KuwakinoF #simulation: Longitudinal Study of the Effect of Life and Work Events on Depressive Symptoms, Based on Computer Simulation (MK, YF), pp. 365–368.
HCI-SEC-1997-HainesDRH: Information Presentation and Control in a Modern Air Traffic Control Tower Simulator (RFH, SD, BR, SH), pp. 209–212.
HCI-SEC-1997-NakagawaKNT #evaluation #interface: Simulation-Based Interface Evaluation Method of Equipment in Power Plants (TN, MK, YN, NT), pp. 233–236.
HCI-SEC-1997-OgiHWK #realtime #simulation: Real-Time Numerical Simulation in Haptic Environment (TO, MH, HW, NK), pp. 965–968.
HCI-SEC-1997-SawaY #architecture #modelling #simulation: New Modeling/Analyzing Architecture and Simulation Mechanism for Complex Structure (TS, MY), pp. 363–366.
AdaEurope-1997-JovanovicSA #ada: Developing Scripting Capabilities for an Ada-Based Simulator (SSJ, DMS, PvA), pp. 56–63.
SAC-1997-CornoPRR #algorithm #generative #named: SAARA: a simulated annealing algorithm for test pattern generation for digital circuits (FC, PP, MR, MSR), pp. 228–232.
ESEC-FSE-1997-SchutzeRZ #generative #simulation: A Pattern-Based Application Generator for Building Simulation (MS, JPR, GZ), pp. 468–482.
ICSE-1997-KusumotoMKHTS #petri net #probability: A New Software Project Simulator Based on Generalized Stochastic Petri-net (SK, OM, TK, YH, YT, KS), pp. 293–302.
HPCA-1997-PaiRA #parallel #performance #simulation: The Impact of Instruction-Level Parallelism on Multiprocessor Performance and Simulation Methodology (VSP, PR, SVA), pp. 72–83.
CAV-1997-VelevBJ #array #memory management #modelling #performance #simulation: Efficient Modeling of Memory Arrays in Symbolic Simulation (MNV, REB, AJ), pp. 388–399.
CSL-1997-BonetG #bound #linear #simulation: Linear Lower Bounds and Simulations in Frege Systems with Substitutions (MLB, NG), pp. 115–128.
DAC-1996-Dahlgren #logic #simulation #using: Oscillation Control in Logic Simulation using Dynamic Dominance Grahps (PD), pp. 155–160.
DAC-1996-DartuTP #megamodelling #simulation: RC-Interconnect Macromodels for Timing Simulation (FD, BT, LTP), pp. 544–547.
DAC-1996-DesaiY #cpu #design #simulation #using #verification: A Systematic Technique for Verifying Critical Path Delays in a 300MHz Alpha CPU Design Using Circuit Simulation (MPD, YTY), pp. 125–130.
DAC-1996-HuangCCL #generative #simulation: Compact Vector Generation for Accurate Power Simulation (SYH, KCC, KTC, TCL), pp. 161–164.
DAC-1996-JohnsonCB #design #markov #metric #process #simulation: Application of a Markov Model to the Measurement, Simulation, and Diagnosis of an Iterative Design Process (EWJ, LAC, JBB), pp. 185–188.
DAC-1996-KantrowitzN #analysis #correctness #simulation #verification #what: I’m Done Simulating: Now What? Verification Coverage Analysis and Correctness Checking of the DECchip 21164 Alpha Microprocessor (MK, LMN), pp. 325–330.
DAC-1996-SchnaiderY #development #hardware #simulation: Software Development in a Hardware Simulation Environment (BS, EY), pp. 684–689.
DAC-1996-TodescoM #named #parallel #simulation: Symphony: A Simulation Backplane for Parallel Mixed-Mode Co-Simulation of VLSI Systems (ARWT, THYM), pp. 149–154.
DAC-1996-TsuiMMP #performance: Improving the Efficiency of Power Simulators by Input Vector Compaction (CYT, RM, DM, MP), pp. 165–168.
DAC-1996-WunderLM #concept #layout #modelling #named #simulation: VAMP: A VHDL-Based Concept for Accurate Modeling and Post Layout Timing Simulation of Electronic Systems (BW, GL, KDMG), pp. 119–124.
DAC-1996-ZivojnovicM: Compiled HW/SW Co-Simulation (VZ, HM), pp. 690–695.
KBSE-1996-EllmanM #algebra #deduction #difference #equation #network #simulation #source code #synthesis: Deductive Synthesis of Numerical Simulation Programs from Networks of Algebraic and Ordinary Differential Equations (TE, TM), p. 5.
SIGMOD-1996-LeflerSW #database #named #performance #predict #simulation: DBSim: A Simulation Tool for Predicting Database Performance (ML, MS, CW), p. 548.
ITiCSE-1996-GrundkeZ #protocol #visualisation: Simulator for visualizing data link layer protocols (EWG, ZZ), p. 235.
ITiCSE-1996-Nadi #simulation #source code: Simulation programs for studying computer organization (NN), p. 233.
ITiCSE-1996-Pattinson #education #network: Network management teaching — managing a simulated network (CP), p. 233.
ICALP-1996-ChlebusGI #simulation: Shared-Memory Simulations on a Faulty-Memory DMM (BSC, AG, PI), pp. 586–597.
AdaEurope-1996-Molenmaker #ada: Converting the Part Task Nautical Simulator to Ada 95 (KM), pp. 439–450.
TRI-Ada-1996-HagenauerP #ada #parallel #prototype #simulation: Prototyping a Parallel Discrete Event Simulation System in Ada (HH, WP), pp. 11–22.
ICPR-1996-ChenL #process #simulation: Simulation of closure process for line patterns (YSC, TDL), pp. 215–219.
ICPR-1996-Gimelfarb96a #modelling #segmentation #simulation: Gibbs models for Bayesian simulation and segmentation of piecewise-uniform textures (GLG), pp. 760–764.
ICPR-1996-HuangLSSSLTH #approach #classification #nearest neighbour #prototype: A simulated annealing approach to construct optimized prototypes for nearest-neighbor classification (YSH, KL, CYS, AJS, IIS, MCL, RYT, PKH), pp. 483–487.
ICPR-1996-WuL #3d #segmentation #using: 3D part segmentation using simulated electrical charge distributions (KW, MDL), pp. 14–18.
KDD-1996-PfitznerS #parallel #simulation: Parallel Halo Finding in N-Body Cosmology Simulations (DWP, JKS), pp. 26–31.
KDD-1996-TeranoI #induction #information management #interactive #learning #using: Interactive Knowledge Discovery from Marketing Questionnaire Using Simulated Breeding and Inductive Learning Methods (TT, YI), pp. 279–282.
SAC-1996-BarlasD #interactive #simulation: An interactive dynamic simulation model of a university management system (YB, VGD), pp. 120–128.
SAC-1996-HoskinsHKW #simulation: Ray tracing and the simulation of boreal forest stand dynamics (JAH, WDH, NCK, PYHW), pp. 447–453.
SAC-1996-KhalilSO #network #protocol #simulation: A simulation study of the mechanisms to enhance TCP protocol in wide area computer networks (KMK, YSS, MSO), pp. 77–81.
HPDC-1996-HarrisonCGB #collaboration #development #process #simulation: Virtual Collaborative Simulation Environment for Integrated Product and Process Development (JPH, BC, MG, JB), pp. 19–22.
HPDC-1996-SolimanE #adaptation #clustering #distributed #performance #simulation: An Efficient Clustered Adaptive-Risk Technique for Distributed Simulation (HMS, ASE), pp. 383–391.
CAV-1996-AmbroiseR #named #simulation #verification: Marella: A Tool for Simulation and Verification (DA, BR), pp. 458–461.
CAV-1996-Baier #algorithm #bisimulation #polynomial #probability #simulation #testing: Polynomial Time Algorithms for Testing Probabilistic Bisimulation and Simulation (CB), pp. 50–61.
DAC-1995-Albrecht #concurrent #configuration management #design #simulation: Concurrent Design Methodology and Configuration Management of the SIEMENS EWSD — CCS7E Processor System Simulation (TWA), pp. 222–227.
DAC-1995-Chamberlain #logic #parallel #simulation: Parallel Logic Simulation of VLSI Systems (RDC), pp. 139–143.
DAC-1995-ChouKW #3d #approach #simulation #using: Transient Simulations of Three-Dimensional Integrated Circuit Interconnect Using a Mixed Surface-Volume Approach (MC, TK, JW), pp. 485–490.
DAC-1995-FrenchLLO #compilation #simulation: A General Method for Compiling Event-Driven Simulations (RSF, MSL, JRL, KO), pp. 151–156.
DAC-1995-KassabMRT #architecture #fault #functional #simulation: Software Accelerated Functional Fault Simulation for Data-Path Architectures (MK, NM, JR, JT), pp. 333–338.
DAC-1995-KonukFL #fault #network #performance #simulation: Accurate and Efficient Fault Simulation of Realistic CMOS Network Breaks (HK, FJF, TL), pp. 345–351.
DAC-1995-KriegerBK #fault #multi #simulation: Symbolic Fault Simulation for Sequential Circuits and the Multiple Observation Time Test Strategy (RK, BB, MK), pp. 339–344.
DAC-1995-Ribas-XirgoC #analysis #fault #simulation: Analysis of Switch-Level Faults by Symbolic Simulation (LR, JC), pp. 352–357.
DAC-1995-SilburtPBNDW #behaviour #concurrent #design #hardware #modelling #simulation: Accelerating Concurrent Hardware Design with Behavioural Modelling and System Simulation (AS, IP, JB, SN, MD, GW), pp. 528–533.
DAC-1995-TremblayMIK #analysis #architecture #flexibility #performance #trade-off: A Fast and Flexible Performance Simulator for Micro-Architecture Trade-off Analysis on UltraSPARC-I (MT, GM, AI, LK), pp. 2–6.
DAC-1995-VenkataramanHFRCP #agile #fault #simulation #using: Rapid Diagnostic Fault Simulation of Stuck-at Faults in Sequential Circuits Using Compact Lists (SV, IH, WKF, EMR, SC, JHP), pp. 133–138.
DAC-1995-WalkerG #algorithm #distributed #execution #parallel #simulation: Asynchronous, Distributed Event Driven Simulation Algorithm for Execution of VHDL on Parallel Processors (PAW, SG), pp. 144–150.
ICALP-1995-PietracaprinaP #simulation: Improved Deterministic PRAM Simulation on the Mesh (AP, GP), pp. 372–383.
CHI-1995-CypherS #named #programming #simulation: KidSim: End User Programming of Simulations (AC, DCS), pp. 27–34.
AdaEurope-1995-DaviesR #ada: The Use of Ada for the ENVISAT-1 Simulator (BD, DAR), pp. 170–177.
AdaEurope-1995-Molenmaker: Objects at Use in Nautical Simulators (KM), pp. 178–186.
AdaEurope-1995-ObermayerSL #distributed #interactive #interface #named #simulation: DIS — An Interface to Distributed Interactive Simulation (PEO, GS, RL), pp. 187–190.
SEKE-1995-LuD #analysis #distributed #object-oriented #simulation #specification: An Environment for Specification, Simulation and Analysis of Distributed Object-Oriented Systems (SL, YD), pp. 402–410.
SAC-1995-AndrusN #named #simulation: SCAD: a computer generated simulation for audit instruction (JMA, MSN), pp. 14–16.
SAC-1995-HaynesW #adaptation #simulation: A simulation of adaptive agents in a hostile environment (TDH, RLW), pp. 318–323.
SAC-1995-McBrideGF #simulation: Simulation of a state prison population (RAM, DRG, SF), pp. 427–430.
HPCA-1995-HurSFOK #array #design #fault #logic #parallel #simulation: Massively Parallel Array Processor for Logic, Fault, and Design Error Simulation (YH, SAS, ESF, GEO, SK), pp. 340–347.
HPCA-1995-TreiberM #design #simulation: Simulation Study of Cached RAID5 Designs (KT, JM), pp. 186–197.
HPDC-1995-AbramsonSGH #distributed #named #simulation #using: Nimrod: A Tool for Performing Parameterised Simulations Using Distributed Workstations (DA, RS, JG, BH), pp. 112–121.
HPDC-1995-Skordos #clustering #parallel #simulation: Parallel Simulation of Subsonic Fluid Dynamics on a Cluster of Workstations (PS), pp. 6–16.
HPDC-1995-Woodward #clustering #distributed #multi #simulation: Distributed Computing on Clusters of Shared-Memory Multiprocessors to Simulate Unsteady Turbulent Flows (PRW), p. 4.
DAC-1994-BeattyB #simulation #using #verification: Formally Verifying a Microprocessor Using a Simulation Methodology (DLB, REB), pp. 596–602.
DAC-1994-HaqueEC #megamodelling #multi #simulation: A New Time-Domain Macromodel for Transient Simulation of Uniform/Nonuniform Multiconductor Transmission-Line Interconnections (MH, AEZ, SC), pp. 628–633.
DAC-1994-HenftlingWA #fault #simulation: Path Hashing to Accelerate Delay Fault Simulation (MH, HCW, KA), pp. 522–526.
DAC-1994-KovalFSD #named: MONSTR: A Complete Thermal Simulator of Electronic Systems (VK, IWF, AJS, SWD), pp. 570–575.
DAC-1994-NagumoNNMM #fault #named #reduction #using: VFSIM: Vectorized Fault Simulator Using a Reduction Technique Excluding Temporarily Unobservable Faults (TN, MN, TN, MM, SM), pp. 510–515.
DAC-1994-Nguyen #performance #simulation: Efficient Simulation of Lossy and Dispersive Transmission Lines (TVN), pp. 622–627.
DAC-1994-NielsenK #analysis #performance #simulation: Performance Analysis Based on Timing Simulation (CDN, MK), pp. 70–76.
DAC-1994-Rowson #hardware: Hardware/Software Co-Simulation (JAR), pp. 439–440.
DAC-1994-SilveiraEWCK #approach #performance #simulation #using: An Efficient Approach to Transmission Line Simulation Using Measured or Tabulated S-parameter Data (LMS, IME, JW, MC, KSK), pp. 634–639.
EDAC-1994-FranssenNSCM #control flow #optimisation #performance #simulation: Control flow optimization for fast system simulation and storage minimization (FHMF, LN, HS, FC, HDM), pp. 20–24.
EDAC-1994-FrosslK #simulation: A New Model to Uniformly Represent the Function and Timing of MOS Circuits and its Application to VHDL Simulation (JF, TK), pp. 343–348.
EDAC-1994-GaiMR #fault #named #performance: TORSIM: An Efficient Fault Simulator for Synchronous Sequential Circuits (SG, PLM, MSR), pp. 46–50.
EDAC-1994-HirechFGR #design #simulation #testing: A Redefinable Symbolic Simulation Technique to Testability Design Rules Checking (MH, OF, AG, EHR), p. 668.
EDAC-1994-LinCL #fault #named #performance: TRANS: A Fast and Memory-Efficient Path Delay Fault Simulator (MCL, JEC, CLL), pp. 508–512.
EDAC-1994-LiW #automaton #fault #logic #simulation: Logic and Fault Simulation by Cellular Automata (YLL, CWW), pp. 552–556.
EDAC-1994-MichaelsS #modelling #simulation: Variable Accuracy Device Modeling for Event-Driven Circuit Simulation (KWM, AJS), pp. 557–561.
EDAC-1994-VermeirenSE #fault #simulation: A Suggestion for Accelerating the Analog Fault Simulation (WV, BS, GE), p. 662.
EDAC-1994-WangFF: An Accurate Time-Domain Current Waveform Simulator for VLSI Circuits (JHW, JTF, WSF), pp. 562–566.
EDAC-1994-WuLCL #clustering #distributed #fault #simulation: Distributed Fault Simulation for Sequential Circuits by Pattern Partitioning (WCW, CLL, JEC, WYL), p. 661.
PODS-1994-HuaLL #clustering: A Decomposition-Based Simulated Annealing Technique for Data Clustering (KAH, SDL, WKL), pp. 117–128.
CSEE-1994-DeiningerS #education #project management: Teaching Software Project Management by Simulation-Experiences with a Comprehensive Model (MD, KS), pp. 227–242.
ESOP-1994-Buth #simulation #term rewriting: Simulation of SOS Definitions with Term Rewriting Systems (KHB), pp. 150–164.
SAS-1994-MuellerW #analysis #behaviour #on the fly #performance #simulation: Efficient On-the-fly Analysis of Program Behavior and Static Cache Simulation (FM, DBW), pp. 101–115.
STOC-1994-AroraRV #polynomial #simulation: Simulating quadratic dynamical systems is PSPACE-complete (preliminary version) (SA, YR, UVV), pp. 459–467.
STOC-1994-AuerL #learning #simulation: Simulating access to hidden information while learning (PA, PML), pp. 263–272.
TAGT-1994-Klempien-Hinrichs #confluence #decidability #simulation: Node Replacement in Hypergrahps: Simulation of Hyperedge Replacement, and Decidability of Confluence (RKH), pp. 397–411.
TRI-Ada-1994-Kortright #approach #component #development #incremental #reuse: An Incremental Approach to the Development of Reusable General-Purpose Discrete-Event Simulator Components (LMLK), pp. 486–493.
KDD-1994-Klosgen #simulation: Exploration of Simulation Experiments by Discovery (WK), pp. 251–262.
KR-1994-BarndenHIS #implementation #nondeterminism #reasoning: An Integrated Implementation of Simulative, Uncertain and Metaphorical Reasoning about Mental States (JAB, SH, EI, GCS), pp. 27–38.
SEKE-1994-PranevitchiusP #simulation #specification #tool support #validation: Tools for validation and simulation of Estelle/Ag specifications (HP, VP), pp. 94–99.
TOOLS-EUROPE-1994-RuperezJA #behaviour #object-oriented #rule-based #simulation #using: Embedding of Rule-based Expert System Capabilities in Object-Oriented Applications by Using or Simulating Active Behaviour (RFR, CJ, JRZA), pp. 315–327.
SAC-1994-Duben #simulation: The effect of the choice of motional model in the determination of molecular conformation in solution from NMR-NOESY spectra: a simulation study (AJD), pp. 561–565.
SAC-1994-GrubbsHTM #simulation: Motorola 68040 microprocessor simulation for the Sun Workstation (TG, BH, RT, SM), pp. 25–30.
SAC-1994-MortonTBS #2d #adaptation #finite #simulation: An adaptive finite element methodology for 2D simulation of two-phase flow through porous media (DJM, JMT, ATB, PAS), pp. 357–362.
SAC-1994-RosenG #network #using: Training hard to learn networks using advanced simulated annealing methods (BER, JMG), pp. 256–260.
SAC-1994-Sen94a #network #using: File placement over a network using simulated annealing326741 (SS), pp. 251–255.
ASPLOS-1994-UhligNMS #simulation: Trap-driven Simulation with Tapeworm II (RU, DN, TNM, SS), pp. 132–144.
HPDC-1994-BorstCS #distributed #network #simulation: WAVE Processing of Networks and Distributed Simulation (PMB, MC, PS), pp. 61–69.
DAC-1993-Birger #simulation: The State of Simulation in Russia (AB), pp. 712–715.
DAC-1993-ChessL #fault #simulation: Bridge Fault simulation strategies for CMOS integrated Circuits (BC, TL), pp. 458–462.
DAC-1993-ChouCC #finite #modelling #performance #simulation #using: High-Speed Interconnect Modeling and High-Accuracy Simulation Using SPICE and Finite Element Methods (TYC, JC, ZJC), pp. 684–690.
DAC-1993-LiuCS #behaviour #simulation #using #verification: Analog System Verification in the Presence of Parasitics Using Behavioral Simulation (EWYL, HCC, ALSV), pp. 159–163.
DAC-1993-MeyerC #fault #multi #performance #simulation: Fast Hierarchical Multi-Level Fault Simulation of Sequential Circuits with Switch-Level Accuracy (WM, RC), pp. 515–519.
DAC-1993-NagiCA #fault #named: DRAFTS: Discretized Analog Circuit Fault Simulator (NN, AC, JAA), pp. 509–514.
DAC-1993-StamoulisH #correlation #probability #simulation: Improved Techniques for Probabilistic Simulation Including Signal Correlation Effects (GIS, INH), pp. 379–383.
DAC-1993-VisweswariahW #incremental #simulation: Incremental Event-Driven Simulation of Digital FET Circuits (CV, JAW), pp. 737–741.
DAC-1993-YangLYD #performance #simulation: An Efficient Non-Quasi-Static Diode Model for Circuit Simulation (ATY, YL, JTY, RRD), pp. 720–725.
DAC-1993-YuanPR #component #evaluation #logic #simulation: Evaluation of Parts by Mixed-Level DC-Connected Components in Logic Simulation (DCY, LTP, JTR), pp. 367–372.
KBSE-1993-Benner #component #simulation: The ARIES Simulation Component (ASC) (KMB), p. 9.
ICDAR-1993-LeeS #design #modelling #using: Optimal design of reference models using simulated annealing combined with an improved LVQ3 (SWL, HHS), pp. 244–249.
STOC-1993-ColeMS #array #configuration management #fault #multi #self: Multi-scale self-simulation: a technique for reconfiguring arrays with faults (RC, BMM, RKS), pp. 561–572.
STOC-1993-GoldmannK #simulation: Simulating threshold circuits by majority circuits (MG, MK), pp. 551–560.
STOC-1993-NisanZ #simulation: More deterministic simulation in logspace (NN, DZ), pp. 235–244.
ICALP-1993-ReifT #complexity #simulation: The Complexity of N-body Simulation (JHR, SRT), pp. 162–176.
FME-1993-PickinYBSG #process #simulation: Process Instances in LOTOS Simulation (SP, YY, WB, SS, TdG), pp. 521–540.
HCI-ACS-1993-BextenHM #analysis #named #simulation: AUCA: A Tool for Presentation and Analysis of Simulation Results (EMzB, DH, CM), pp. 267–272.
HCI-ACS-1993-Carling #modelling #performance: Performance, Mental Models and Background Knowledge in Mastering a Simulated Dynamic System (EC), pp. 599–604.
HCI-SHI-1993-AndersonJBA: The Use of Computer Simulated Cases to Study Factors that Influence Clinical Practice Styles (JGA, SJJ, CB, MMA), pp. 742–747.
HCI-SHI-1993-BenyshK #implementation #simulation: The Implementation of Knowledge Structures in Cognitive Simulation Environments (DVB, RJK), pp. 309–314.
HCI-SHI-1993-FujitaITFNW: Simulated World of Hypothetical Life Forms — Virtual Creatures (TF, KI, HT, TF, SN, KW), pp. 663–668.
HCI-SHI-1993-FurutaK #process #simulation: Computer Simulation Model of Cognitive Process in Group Works (KF, SK), pp. 979–984.
HCI-SHI-1993-NogamiYYM #development #learning: Development of a Simulation-Based Intelligent Tutoring System for Assisting PID Control Learning (TN, YY, IY, SM), pp. 814–818.
AdaEurope-1993-PierceMG #design #object-oriented: Object-Oriented Design of an Air-Defence Simulator (RHP, IM, SJG), pp. 114–124.
AdaEurope-1993-ThyseliusSS #ada #simulation #tool support: Adam, an Ada Simulation Toolkit (RT, MS, BS), pp. 298–313.
CAiSE-1993-CroshereRB #animation #communication #information management #simulation: An Animation Facility to Simulate an Information and Communication System (RC, RPvdR, AB), pp. 547–568.
SEKE-1993-KoonoFBYOH #automation #design #simulation #towards: Software Creation: Towards Automatic Software Design By Simulating Human Designers (ZK, BHF, TB, YY, MO, KIH), pp. 327–331.
SEKE-1993-QuiliciM #simulation: An Intelligent Environment for Spacecraft Simulation (AQ, LM), pp. 414–420.
OOPSLA-1993-MinouraPR #object-oriented #simulation: Structural Active Object Systems for Simulation (TM, SSP, KR), pp. 338–355.
TOOLS-EUROPE-1993-HillG #animation #multi #object-oriented #simulation: A Multi-Domain Tool for Object-Oriented Simulation Animation (DRCH, MG), pp. 181–195.
TOOLS-PACIFIC-1993-Coomber #object-oriented #realtime #simulation: An Object-Oriented Procedure for Simulating Real-Time Systems (CJC), pp. 269–278.
SAC-1993-Goforth #editing #interactive #simulation: Histogram Editing for Semi-Quantitative Data Input in Interactive Simulations (RRRG), pp. 627–633.
SAC-1993-SyangS #feedback #simulation: Qualitative Simulation: A Feedback Control System (AS, YS), pp. 504–510.
SAC-1993-Trans #simulation: A Symbolic Simulation Model of the Organization of Human Procedural Knowledge (KT), pp. 482–489.
ICSE-1993-WangP #behaviour #simulation: Simulating the Behaviour of Software Modules by Trace Rewriting (YW, DLP), pp. 14–23.
CAV-1993-Sogaard-AndersenGGLP #proving #simulation: Computer-Assisted Simulation Proofs (JFSA, SJG, JVG, NAL, AP), pp. 305–319.
DAC-1992-BeckerST #hardware: An Engineering Environment for Hardware/Software Co-Simulation (DB, RKS, SGT), pp. 129–134.
DAC-1992-BoseA #concurrent #fault #logic #memory management #message passing #multi #simulation: Concurrent Fault Simulation of Logic Gates and Memory Blocks on Message Passing Multicomputers (SB, PA), pp. 332–335.
DAC-1992-GennartL #simulation #using #validation: Validating Discrete Event Simulations Using Event Pattern Mappings (BAG, DCL), pp. 414–419.
DAC-1992-GuptaCM #component #hardware #simulation #synthesis: Synthesis and Simulation of Digital Systems Containing Interacting Hardware and Software Components (RKG, CJNCJ, GDM), pp. 225–230.
DAC-1992-Hirose #evaluation #logic #performance #simulation: Performance Evaluation of an Event-Driven Logic Simulation Machine (FH), pp. 428–431.
DAC-1992-Jones #incremental: Zero Delay versus Positive Delay in an Incremental Switch-Level Simulator (LGJ), pp. 424–427.
DAC-1992-JuS #incremental #simulation #using: Incremental Circuit Simulation Using Waveform Relaxation (YCJ, RAS), pp. 8–11.
DAC-1992-LeeH #fault #named #parallel #performance: HOPE: An Efficient Parallel Fault Simulator for Synchronous Sequential Circuits (HKL, DSH), pp. 336–340.
DAC-1992-LeeM #logic #multi #simulation: Two New Techniques for Compiled Multi-Delay Logic Simulation (YSL, PMM), pp. 420–423.
DAC-1992-LeeR92a #concurrent #fault #on the #performance #simulation: On Efficient Concurrent Fault Simulation for Synchronous Sequential Circuits (DHL, SMR), pp. 327–331.
DAC-1992-LingKW #3d #approach #bound #simulation: A Boundary-Element Approach to Transient simulation of Three-Dimensional Integrated Circuit Interconnect (DDL, SK, JW), pp. 93–98.
DAC-1992-LinK #simulation: Transient Simulation of Lossy Interconnect (SL, ESK), pp. 81–86.
DAC-1992-RaghavanBR #named #performance #problem #simulation: AWESpice: A General Tool for the Accurate and Efficient Simulation of Interconnect Problems (VR, JEB, RAR), pp. 87–92.
DAC-1992-RoychowdhuryNP #linear #simulation: Simulating Lossy Interconnect with High Frequency Nonidealities in Linear Time (JSR, ARN, DOP), pp. 75–80.
DAC-1992-ZeinED #logic #named: HLSIM — A New Hierarchical Logic Simulator and Netlist Converter (DAZ, OPE, GSD), pp. 432–437.
KBSE-1992-Benner #component #simulation: ARIES Simulation Component (ASC) Demonstration (Demonstration) (KB), p. 30.
KBSE-1992-Terwilliger #design #process #simulation: Simulating the Gries/Dijkstra Design Process (RBT), p. 22.
STOC-1992-KarpLH #distributed #memory management #performance #simulation: Efficient PRAM Simulation on a Distributed Memory Machine (RMK, ML, FMadH), pp. 318–326.
CHI-1992-CodellaJKLLLRWNST #interactive #multi #simulation: Interactive simulation in a multi-person virtual world (CFC, RJ, LK, JBL, DTL, JSL, DAR, CPW, AN, PS, GT), pp. 329–334.
CHI-1992-ShawLGS #artificial reality #simulation: The decoupled simulation model for virtual reality systems (CDS, JL, MG, YS), pp. 321–328.
CHI-1992-Spohrer #case study #experience #learning #prototype: Simulation-based learning systems: prototypes and experiences (AJ, JCS), pp. 523–524.
AdaEurope-1992-OttensT #ada #simulation #specification: Simulation of Mosca Specifications in Ada (AO, HT), pp. 182–196.
TRI-Ada-C-1992-FayadHRST #development #object-oriented #simulation: Hardware-In-the-Loop (HIL) Simulation: An Application of Colbert’s Object-Oriented Software Development Method (MF, LJH, MAR, JWS, WTT), pp. 176–188.
TRI-Ada-C-1992-Westley #communication #distributed #evaluation #performance #realtime: Evaluation and Improvement of Performance of the Communication Subsystem of a Real-Time, Distributed, C2 Simulator (TJW), pp. 553–562.
ML-1992-Venturini #classification #named: AGIL: Solving the Exploration Versus Exploration Dilemma in a single Classifier System Applied to Simulated Robotics (GV), pp. 458–463.
SEKE-1992-LiS: A Simulation-Based SDL Support System (XL, OS), pp. 284–291.
SEKE-1992-LudewigBDSS #named #simulation: SESAM — Simulating Software Projects (JL, TB, MD, KS, JS), pp. 608–615.
SEKE-1992-MillerQ #approach #knowledge-based #modelling #reuse #simulation #source code: A Knowledge-Based Approach to Encouraging Reuse of Simulation and Modeling Programs (LM, AQ), pp. 158–163.
TOOLS-EUROPE-1992-Bezivin #object-oriented #simulation: Object-Oriented Simulation (JB), p. 411.
TOOLS-PACIFIC-1992-DebrayH #c++ #simulation: Some Classes for Object-Based Simulation in C++ (TD, JBH), pp. 143–152.
TOOLS-USA-1992-Stevens #assessment #effectiveness #object-oriented #simulation: Application of Object-Oriented Simulation to the Assessment of Military Systems Effectiveness (WKS), pp. 165–170.
HPDC-1992-BakerHW #distributed #scheduling #simulation: A Distributed Scheduling Simulation (DB, RFH, KGW), pp. 270–279.
HPDC-1992-BeckerD #distributed #simulation: Particle Simulation on Heterogeneous Distributed Supercomputers (JCB, LD), pp. 133–140.
HPDC-1992-MinnichP #simulation: A Radiative Heat Transfer Simulation on a SPARCStation Farm (RM, DVP), pp. 124–132.
CAV-1992-BensalemBLS #simulation: Property Preserving Simulations (SB, AB, CL, JS), pp. 260–273.
DAC-1991-AmonB #behaviour #named: OEsim: A Simulator for Timing Behavior (TA, GB), pp. 656–661.
DAC-1991-AuWS #automation #generative #simulation: Automatic Generation of Compiled Simulations through Program Specialization (WYA, DW, SS), pp. 205–210.
DAC-1991-BarkatullahC: A Transmission Line Simulator for GaAs Integrated Circuits (JSB, SC), pp. 746–751.
DAC-1991-BrinerEK #parallel #simulation: Breaking the Barrier of Parallel Simulation of Digital Systems (JVBJ, JLE, GK), pp. 223–226.
DAC-1991-ChewS #logic #multi #simulation: Utilizing Logic Information in Multi-Level Timing Simulation (MPC, AJS), pp. 215–218.
DAC-1991-JainB #hardware #simulation: Mapping Switch-Level Simulation onto Gate-Level Hardware Accelerators (AJ, REB), pp. 219–222.
DAC-1991-Jones91a #simulation: Accelerating Switch-Level Simulation by Function Caching (LGJ), pp. 211–214.
DAC-1991-Kitamura #algorithm #fault #simulation: Sequential Circuit Fault Simulation by Fault Information Tracing Algorithm: FIT (YK), pp. 151–154.
DAC-1991-MontessoroG #concurrent #fault #multi #named #performance #simulation: Creator: General and Efficient Multilevel Concurrent Fault Simulation (PLM, SG), pp. 160–163.
DAC-1991-PitchumaniMR #fault #simulation: A System for Fault Diagnosis and Simulation of VHDL Descriptions (VP, PM, NR), pp. 144–150.
DAC-1991-RoychowdhuryP #performance #simulation: Efficient Transient Simulation of Lossy Interconnect (JSR, DOP), pp. 740–745.
DAC-1991-ShihK #approach #equation #named #performance #using: ILLIADS: A New Fast MOS Timing Simulator Using Direct Equation-Solving Approach (YHS, SMK), pp. 20–25.
DAC-1991-SteinNGR #adaptation #named #simulation: ADAPTS: A Digital Transient Simulation Strategy for Integrated Circuits (ADS, TVN, BJG, RAR), pp. 26–31.
DAC-1991-VandrisS #algorithm #fault #memory management #performance #simulation: Algorithms for Fast, Memory Efficient Switch-Level Fault Simulation (EV, GES), pp. 138–143.
DAC-1991-VisweswariahR #performance #simulation: Efficient Simulation of Bipolar Digital ICs (CV, RAR), pp. 32–37.
DAC-1991-WalkerKS #database #editing #process #representation #statistics: A Semiconductor Wafer Representation Database and Its Use in the PREDITOR Process Editor and Statistical Simulator (DMHW, CSK, AJS), pp. 579–584.
DAC-1991-YangCYDH #modelling #parametricity #simulation: Modeling and Simulation of High-Frequency Integrated Circuits Based on Scattering Parameters (ATY, CHC, JTY, RRD, JPH), pp. 752–757.
CHI-1991-GaverSO #effectiveness #simulation: Effective sounds in complex systems: the ARKOLA simulation (WWG, RBS, TO), pp. 85–90.
KR-1991-Wellman #constraints #multi #simulation: Qualitative Simulation with Multivariate Constraints (MPW), pp. 547–557.
ML-1991-Shultz #development #modelling #simulation: Simulating Stages of Human Cognitive Development With Connectionist Models (TRS), pp. 105–109.
CAV-1991-DillHW #simulation #using: Checking for Language Inclusion Using Simulation Preorders (DLD, AJH, HWT), pp. 255–265.
ISLP-1991-ShenH #independence #simulation: A Simulation Study of Or- and and Independent And-parallelism (KS, MVH), pp. 135–151.
RTA-1991-Bundgen #algorithm #simulation: Simulation Buchberger’s Algorithm by Knuth-Bendix Completion (RB), pp. 386–397.
DAC-1990-AdamiakAPRW #simulation: System Simulation of Printed Circuit Boards Including Packages and Connectors (KA, RA, JP, CR, AW), pp. 413–418.
DAC-1990-Bryant #simulation: Symbolic Simulation — Techniques and Applications (REB), pp. 517–521.
DAC-1990-ChatterjeeH #approach #clustering: A New Simultaneous Circuit Partitioning and Chip Placement Approach Based on Simulated Annealing (AC, RIH), pp. 36–39.
DAC-1990-ForsytheAYAG #development #simulation: NASFLOW, a Simulation Tool for Silicon Technology Development (DDF, APA, CSY, SA, BG), pp. 333–337.
DAC-1990-HungWGS #parallel #simulation #using: Parallel Circuit Simulation Using Hierarchical Relaxation (GGH, YCW, KG, RAS), pp. 394–399.
DAC-1990-HwangLSW #fault #parallel: A Parallel Pattern Mixed-Level Fault Simulator (TSH, CLL, WZS, CPW), pp. 716–719.
DAC-1990-IshiuraDY #diagrams #simulation #using: Coded Time-Symbolic Simulation Using Shared Binary Decision Diagram (NI, YD, SY), pp. 130–135.
DAC-1990-KlingB #evolution #optimisation #standard: Optimization by Simulated Evolution with Applications to Standard Cell Placement (RMK, PB), pp. 20–25.
DAC-1990-MaurerW #simulation: Techniques for Unit-Delay Compiled Simulation (PMM, ZW), pp. 480–484.
DAC-1990-NiermannCP #fault #memory management #named #performance #proving: Proofs: A Fast, Memory Efficient Sequential Circuit Fault Simulator (TMN, WTC, JHP), pp. 535–540.
DAC-1990-SubramanianZ #distributed #logic #parallel #simulation: Distributed and Parallel Demand Driven Logic Simulation (KS, MRZ), pp. 485–490.
DAC-1990-WangM #logic #named #simulation: LECSIM: A Levelized Event Driven Compiled Logic Simulation (ZW, PMM), pp. 491–496.
DAC-1990-WardA #behaviour #fault #simulation: Behavioral Fault Simulation in VHDL (PCW, JRA), pp. 587–593.
DAC-1990-Yang #named #parallel: PARASPICE: A Parallel Circuit Simulator for Shared-Memory Multiprocessors (GCY), pp. 400–405.
STOC-1990-Cleve #bound #simulation #source code #towards: Towards Optimal Simulations of Formulas by Bounded-Width Programs (RC), pp. 271–277.
ML-1990-RamseyGS #contest #difference #learning: Simulation-Assisted Learning by Competition: Effects of Noise Differences Between Training Model and Target Environment (CLR, JJG, ACS), pp. 211–215.
CAV-1990-JanickiK #graph #reachability #simulation #using: Using Optimal Simulations to Reduce Reachability Graphs (RJ, MK), pp. 166–175.
CAV-1990-LoewensteinD #higher-order #logic #multi #protocol #simulation #using #verification: Verification of a Multiprocessor Cache Protocol Using Simulation Relations and Higher-Order Logic (PL, DLD), pp. 302–311.
DAC-1989-AgrawalTD #algorithm #hardware #logic: Algorithms for Accuracy Enhancement in a Hardware Logic Simulator (PA, RT, WJD), pp. 645–648.
DAC-1989-BenkoskiS #interactive #modelling #multi #verification: Timing Verification by Formal Signal Interaction Modeling in a Multi-level Timing Simulator (JB, AJS), pp. 668–673.
DAC-1989-BuiHJL #algorithm #graph #performance: Improving the Performance of the Kernighan-Lin and Simulated Annealing Graph Bisection Algorithms (TNB, CH, CJ, FTL), pp. 775–778.
DAC-1989-ChengY #difference #fault #memory management #performance #simulation #using: Differential Fault Simulation — a Fast Method Using Minimal Memory (WTC, MLY), pp. 424–428.
DAC-1989-ChoB #fault #generative #simulation: Test Pattern Generation for Sequential MOS Circuits by Symbolic Fault Simulation (KC, REB), pp. 418–423.
DAC-1989-ChungC #parallel #simulation #using: Data Parallel Simulation Using Time-Warp on the Connection Machine (MJC, YC), pp. 98–103.
DAC-1989-George #hardware #modelling #simulation: Evaluating Hardware Models in DIGITAL’s System Simulation Environment (AKG), pp. 642–644.
DAC-1989-HoevenLDD #network #simulation: A New Model for the High Level Description and Simulation of VLSI Networks (AJvdH, AAdL, EFD, PD), pp. 738–741.
DAC-1989-IshiuraTY #behaviour #logic #simulation #verification: Time-Symbolic Simulation for Accurate Timing Verification of Asynchronous Behavior of Logic Circuits (NI, MT, SY), pp. 497–502.
DAC-1989-KravitzBR #parallel #simulation: Massively Parallel Switch-Level Simulation: A Feasibility Study (SAK, REB, RAR), pp. 91–97.
DAC-1989-MilsomSCMAS #layout #named #simulation: FACET: A CAE System for RF Analogue Simulation Including Layout (RFM, KJS, SGC, JCM, SA, FNS), pp. 622–625.
DAC-1989-NarayananP #algorithm #fault #parallel #simulation: A Massively Parallel Algorithm for Fault Simulation on the Connection Machine (VN, VP), pp. 734–737.
DAC-1989-NgV #framework #multi #scheduling #simulation: A Framework for Scheduling Multi-Rate Circuit Simulation (APCN, VV), pp. 19–24.
DAC-1989-OdentCM #feedback #implementation #multi #scalability: Feedback Loops and Large Subcircuits in the Multiprocessor Implementation of a Relaxation Based Circuit Simulator (PO, LJMC, HDM), pp. 25–30.
DAC-1989-RumseyS #simulation: An ASIC Methodology for Mixed Analog-Digital Simulation (MR, JS), pp. 618–621.
DAC-1989-SadayappanV #matrix #performance #simulation: Efficient Sparse Matrix Factorization for Circuit Simulation on Vector Supercomputers (PS, VV), pp. 13–18.
DAC-1989-SalzH #incremental #named: IRSIM: An Incremental MOS Switch-Level Simulator (AS, MH), pp. 173–178.
DAC-1989-SchulzFF #fault #parallel #simulation: Parallel Pattern Fault Simulation of Path Delay Faults (MHS, FF, KF), pp. 357–363.
DAC-1989-SouleG #distributed #logic #parallel #simulation: Characterization of Parallelism and Deadlocks in Distributed Digital Logic Simulation (LS, AG), pp. 81–86.
DAC-1989-WangM #functional #scheduling #simulation: Scheduling High-Level Blocks for Functional Simulation (ZW, PMM), pp. 87–90.
DAC-1989-YangK #development #named #novel #simulation: iSMILE: A Novel Circuit Simulation Program with Emphasis on New Device Model Development (ATY, SMK), pp. 630–633.
DAC-1989-YuZYL #algorithm #behaviour #convergence #novel: A Novel Algorithm for Improving Convergence Behavior of Circuit Simulators (ZY, WZ, ZY, YEL), pp. 626–629.
SEKE-1989-LiRPS #execution #hybrid #modelling #paradigm #simulation: A Hybrid Modeling Paradigm for Simulating Existing Software and Its Execution Environment (XL, AR, RP, JS), pp. 61–66.
OOPSLA-1989-FentonB #named #object-oriented #simulation: Playground: An Object-Oriented Simulation System With Agent Rules for Children of All Ages (JF, KB), pp. 123–137.
RTA-1989-Dauchet #linear #simulation #turing machine: Simulation of Turing Machines by a Left-Linear Rewrite Rule (MD), pp. 109–120.
DAC-1988-Adler #logic #simulation: A Dynamically-Directed Switch Model for MOS Logic Simulation (DA), pp. 506–511.
DAC-1988-ChoiHB #algorithm #simulation: Incremental-in-time Algorithm for Digital Simulation (KC, SYH, TB), pp. 501–505.
DAC-1988-DubaRAR #distributed #fault #simulation: Fault Simulation in a Distributed Environment (PAD, RKR, JAA, WAR), pp. 686–691.
DAC-1988-GaiMS #algorithm #concurrent #fault #performance #simulation: The Performance of the Concurrent Fault Simulation Algorithms in MOZART (SG, PLM, FS), pp. 692–697.
DAC-1988-GuraA #simulation: Improved Methods of Simulating RLC Couple and Uncoupled Transmission Lines Based on the Method of Characteristics (CVG, JAA), pp. 300–305.
DAC-1988-Hansen #compilation #hardware #logic #simulation: Hardware Logic Simulation by Compilation (CH), pp. 712–716.
DAC-1988-HarelK #approach #fault #graph #simulation: A Graph Compaction Approach to Fault Simulation (DH, BK), pp. 601–604.
DAC-1988-HeydemannPD #architecture #simulation: The Architecture of a Highly Integrated Simulation System (MH, AP, DD), pp. 617–621.
DAC-1988-HillAHS #algorithm #fault #simulation: A New Two Task Algorithm for Clock Mode Fault Simulation in Sequential Circuits (FJH, EA, WKH, GQS), pp. 583–586.
DAC-1988-KazamaKNM #algorithm #evaluation #logic #performance #simulation: Algorithm for Vectorizing Logic Simulation and Evaluation of “VELVET” Performance (YK, YK, MN, HM), pp. 231–236.
DAC-1988-KonczykowskaB #automation #design: Automated Design Software for Switched-Capacitor IC’s with Symbolic Simulator SCYMBAL (AK, MB), pp. 363–368.
DAC-1988-Lewis #hardware #programmable #simulation: A Programmable Hardware Accelerator for Compiled Electrical Simulation (DML), pp. 172–177.
DAC-1988-MallelaG #clustering #standard: Clustering Based Simulated Annealing for Standard Cell Placement (SM, LKG), pp. 312–317.
DAC-1988-MotoharaMUMS #approach #fault #performance #simulation: An Approach to Fast Hierarchical Fault Simulation (AM, MM, MU, YM, MS), pp. 698–703.
DAC-1988-SaitohINKMHHK #logic #simulation #using: Logic Simulation System Using Simulation Processor (SP) (MS, KI, AN, MK, JM, HH, FH, NK), pp. 225–230.
DAC-1988-Sechen #metaprogramming #using: Chip-Planning, Placement, and Global Routing of Macro/Custom Cell Integrated Circuits Using Simulated Annealing (CS), pp. 73–80.
DAC-1988-SouleB #logic #parallel #simulation: Parallel Logic Simulation on General Purpose Machines (LS, TB), pp. 166–171.
STOC-1988-BhattCHLR #network #simulation: Optimal Simulations by Butterfly Networks (Preliminary Version) (SNB, FRKC, JWH, FTL, ALR), pp. 192–204.
ICALP-1988-ChangIP #bound #modelling #parallel #performance #simulation: Efficient Simulations of Simple Models of Parallel Computation by Time-Bounded ATM’s and Space-Bounded TM’s (JHC, OHI, MAP), pp. 119–132.
ICALP-1988-RajasekaranR: Nested Annealing: A Provable Improvement to Simulated Annealing (SR, JHR), pp. 455–472.
PPEALS-1988-Nicol #network #parallel #probability #simulation: Parallel Discrete-Event Simulation Of FCFS Stochastic Queuing Networks (DMN), pp. 124–137.
DAC-1987-BryantBBCS #named: COSMOS: A Compiled Simulator for MOS Circuits (REB, DLB, KSB, KC, TJS), pp. 9–16.
DAC-1987-Grover #standard #using: Standard Cell Placement Using Simulated Sintering (LKG), pp. 56–59.
DAC-1987-KlingB #evolution #named #standard #using: ESP: A New Standard Cell Placement Package Using Simulated Evolution (RMK, PB), pp. 60–66.
DAC-1987-LathropHK #abstraction #functional #modelling #simulation: Functional Abstraction from Structure in VLSI Simulation Models (RHL, RJH, RSK), pp. 822–828.
DAC-1987-SchultzB #fault #simulation: Accelerated Transition Fault Simulation (MHS, FB), pp. 237–243.
DAC-1987-Smith #hardware #scalability: A Hardware Switch Level Simulator for Large MOS Circuits (MTS), pp. 95–100.
DAC-1987-SmithMB #simulation: Demand Driven Simulation: BACKSIM (SPS, MRM, BB), pp. 181–187.
DAC-1987-SmithSS #architecture #parallel #performance #simulation: Faster Architectural Simulation Through Parallelism (JWS, KSS, RJSI), pp. 189–194.
DAC-1987-SouleB #abstraction #parallel #simulation #statistics: Statistics for Parallelism and Abstraction Level in Digital Simulation (LS, RB), pp. 588–591.
DAC-1987-StablerB #comparison #simulation: Boolean Comparison by Simulation (EPS, HB), pp. 584–587.
DAC-1987-StarkH #named #simulation: RED: Resistance Extraction for Digital Simulation (DS, MH), pp. 570–573.
DAC-1987-TanTBVP #performance #self #simulation: A Fast Signature Simulation Tool for Built-In Self-Testing Circuits (SBT, KT, KB, PV, RP), pp. 17–25.
DAC-1987-VladimirescuWKBKDNJL #hardware #simulation: A Vector Hardware Accelerator with Circuit Simulation Emphasis (AV, DW, MK, ZB, AK, KD, KCN, NJ, SL), pp. 89–94.
DAC-1987-WangHPZ #named: SSIM: A Software Levelized Compiled-Code Simulator (LTW, NEH, EHP, JJZ), pp. 2–8.
DAC-1987-WebberS #simulation: Circuit Simulation on the Connection Machine (DMW, ALSV), pp. 108–113.
SIGMOD-1987-Ioannidis #optimisation #query: Query Optimization by Simulated Annealing (YEI, EW), pp. 9–22.
PLDI-1987-HuguetLT #architecture #generative #metric: A block-and-actions generator as an alternative to a simulator for collecting architecture measurements (MH, TL, YT), pp. 14–25.
PLDI-1987-May #named #performance: Mimic: a fast system/370 simulator (CM), pp. 1–13.
STOC-1987-AjtaiKS #simulation: Deterministic Simulation in LOGSPACE (MA, JK, ES), pp. 132–140.
STOC-1987-Goldreich #formal method #simulation #towards: Towards a Theory of Software Protection and Simulation by Oblivious RAMs (OG), pp. 182–194.
HCI-CE-1987-Gutierrez #elicitation #requirements #simulation: A System Simulation System to Support the Elicitation of Information Requirements by End-Users (OG), pp. 529–536.
HCI-CE-1987-YoshikawaMNUW #flexibility #interface #simulation: Realization of Flexible User-Interface System for Module-Based Simulation System of Nuclear Power Plant (HY, NM, NN, NU, JW), pp. 249–256.
HCI-CE-1987-Zimolong #flexibility #simulation: Decision Aids and Risk Taking in Flexible Manufacturing Systems: A Simulation Study (BZ), pp. 265–272.
HCI-SES-1987-HartBCWM #simulation: Responses of Type A and Type B Individuals Performing a Supervisory Control Simulation (SGH, VB, MAC, MMW, MM), pp. 67–74.
ECOOP-1987-Kreutzer #object-oriented #simulation: A Modeller’s Workbench: Experiments in Object-Oriented Simulation (WK), pp. 203–212.
ECOOP-1987-MaruichiUT #behaviour #simulation: Behavioral Simulation Based on Knowledge Objects (TM, TU, MT), pp. 213–222.
OOPSLA-1987-Bezivin #object-oriented #simulation: Some Experiments In Object-Oriented Simulation (JB), pp. 394–405.
OOPSLA-1987-Meulen #interactive #named #simulation #smalltalk: INSIST: Interactive Simulation in Smalltalk (PSvdM), pp. 366–376.
SOSP-1987-JeffersonBWBLHLSTWWYB #distributed #operating system #simulation: Distributed Simulation and the Time Wrap Operating System (DRJ, BB, FW, LB, MDL, PH, PL, KS, JT, LVW, JJW, HY, SB), pp. 77–93.
SLP-1987-OhwadaM87 #logic programming #parallel #simulation: Qualitative Simulation in Parallel Logic Programming (HO, FM), pp. 480–489.
SLP-1987-ShenW87 #execution #prolog #simulation: A Simulation Study of the Argonne Model for Or-Parallel Execution of Prolog (KS, DHDW), pp. 45–68.
DAC-1986-Adler #multi #named: SIMMOS: a multiple-delay switch-level simulator (DA), pp. 159–163.
DAC-1986-BarzilaiBHIS #analysis #fault #named #performance #verification: SLS — a fast switch level simulator for verification and fault coverage analysis (ZB, DKB, LMH, VSI, GMS), pp. 164–170.
DAC-1986-Canright #simulation: Simulating and controlling the effects of transmission line impedance mismatches (REC), pp. 778–785.
DAC-1986-Frank #parallel #simulation: Exploiting parallelism in a switch-level simulation machine (EHF), pp. 20–26.
DAC-1986-Ghosh #approach #fault #functional #rule-based #simulation #verification: A rule-based approach to unifying functional and fault simulation and timing verification (SG), pp. 677–682.
DAC-1986-IvieL #named #simulation: STL — a high level language for simulation and test (JI, KWLL), pp. 517–523.
DAC-1986-JacobNP #analysis #empirical #multi #performance: An empirical analysis of the performance of a multiprocessor-based circuit simulator (GKJ, ARN, DOP), pp. 588–593.
DAC-1986-KravitzR #multi: Multiprocessor-based placement by simulated annealing (SAK, RAR), pp. 567–573.
DAC-1986-MiyoshiOSOA #design #logic #scalability #simulation: An extensive logic simulation method of very large scale computer design (MM, YO, AS, NO, NA), pp. 360–365.
DAC-1986-NaharSS #combinator #optimisation: Simulated annealing and combinatorial optimization (SN, SS, ES), pp. 293–299.
DAC-1986-OdrynaNC: A workstation-mixed model circuit simulator (PO, KN, CC), pp. 186–192.
DAC-1986-PincusD #reduction #using: Delay reduction using simulated annealing (JDP, AMD), pp. 690–695.
DAC-1986-Smith #logic #parallel #simulation: Fundamentals of parallel logic simulation (RJSI), pp. 2–12.
DAC-1986-SugimotoAKK #development #object-oriented #visual notation: An object-oriented visual simulator for microprogram development (AS, SA, MK, YK), pp. 138–144.
DAC-1986-TakasakiSNIK #hardware #logic #simulation: HAL II: a mixed level hardware logic simulation system (ST, TS, NN, HI, NK), pp. 581–587.
DAC-1986-WongFCS #logic #simulation #statistics: Statistics on logic simulation (KFW, MAF, RDC, BLS), pp. 13–19.
STOC-1986-GalilKS #graph #nondeterminism #on the #simulation #turing machine: On Nontrivial Separators for k-Page Graphs and Simulations by Nondeterministic One-Tape Turing Machines (ZG, RK, ES), pp. 39–49.
STOC-1986-KosarajuA #array #simulation: Optimal Simulations between Mesh-Connected Arrays of Processors (Preliminary Version) (SRK, MJA), pp. 264–272.
ICALP-1986-BrzozowskiS #analysis #network #simulation #summary: Correspondence between Ternary Simulation and Binary Race Analysis in Gate Networks (Extended Summary) (JAB, CJHS), pp. 69–78.
DAC-1985-AshokCS #data flow #modelling #simulation #using: Modeling switch-level simulation using data flow (VA, RLC, PS), pp. 637–644.
DAC-1985-BryantS #concurrent #evaluation #fault #performance: Performance evaluation of FMOSSIM, a concurrent switch-level fault simulator (REB, MDS), pp. 715–719.
DAC-1985-Frank #data-driven #simulation #using: Switch-level simulation of VLSI using a special-purpose data-driven computer (EHF), pp. 735–738.
DAC-1985-GuptaA #fault #functional #modelling #simulation: Functional fault modeling and simulation for VLSI devices (AKG, JRA), pp. 720–726.
DAC-1985-HahnF #music #named #performance #simulation: MuSiC: an event-flow computer for fast simulation of digital systems (WH, KF), pp. 338–344.
DAC-1985-HennionSC #algorithm #generative: A new algorithm for third generation circuit simulators: the one-step relaxation method (BH, PS, DC), pp. 137–143.
DAC-1985-KrasniewskiA #estimation #self: Simulation-free estimation of speed degradation in NMOS self-testing circuits for CAD applications (AK, AA), pp. 808–811.
DAC-1985-LathropK #functional #object-oriented #simulation: An extensible object-oriented mixed-mod functional simulation system (RHL, RSK), pp. 630–636.
DAC-1985-Lewis #hardware #simulation: A hardware engine for analogue mode simulation of MOS digital circuits (DML), pp. 345–351.
DAC-1985-MiyoshiKTNA #logic #simulation: Speed up techniques of logic simulation (MM, YK, OT, YN, NA), pp. 812–815.
DAC-1985-MokkaralaFA #approach #functional #simulation #verification: A unified approach to simulation and timing verification at the functional level (VRM, AF, RA), pp. 757–761.
DAC-1985-NaharSS: Experiments with simulated annealing (SN, SS, ES), pp. 748–752.
DAC-1985-RoyDCG #object-oriented: An object-oriented swicth-level simulator (CR, LPD, EC, JG), pp. 623–629.
DAC-1985-Schaefer: A transistor-level logic-with-timing simulator for MOS circuits (TJS), pp. 762–765.
ICSE-1985-PottsBCM #design #simulation #specification #validation: Discrete Event Simulation as a Means of Validating JSD Design Specifications (CP, AB, BHC, RM), pp. 119–127.
DAC-1984-ChenLNS #generative: The second generation motis mixed-mode simulator (CFC, CYL, HNN, PS), pp. 10–17.
DAC-1984-dAbreuCF #design #named: Oracle — a simulator for Bipolar and MOS IC design (MAd, KLC, CTF), pp. 343–349.
DAC-1984-DeutschN #implementation #multi #simulation: A multiprocessor implementation of relaxation-based electrical circuit simulation (JTD, ARN), pp. 350–357.
DAC-1984-DoshiSS #interactive #logic #multi: THEMIS logic simulator — a mix mode, multi-level, hierarchical, interactive digital circuit simulator (MHD, RBS, DMS), pp. 24–31.
DAC-1984-GlazierA #hardware #logic #named #simulation: Ultimate: A hardware logic simulation engine (MEG, APA), pp. 336–342.
DAC-1984-JainA #fault #named #simulation: STAFAN: An alternative to fault simulation (SKJ, VDA), pp. 18–23.
DAC-1984-KawaiH #fault #simulation: An experimental MOS fault simulation program CSASIM (MK, JPH), pp. 2–9.
DAC-1984-TakahashiKYEF #logic #network #simulation: An MOS digital network model on a modified thevenin equivalent for logic simulation (TT, SK, OY, KE, HF), pp. 549–555.
DAC-1984-ThamWW #design #functional #multi #simulation #verification: Functional design verification by multi-level simulation (KT, RW, DW), pp. 473–478.
ICALP-1984-IbarraKR #performance #simulation #strict: Space and Time Efficient Simulations and Characterizations of Some Restricted Classes of PDAs (OHI, SMK, LER), pp. 247–259.
DAC-1983-AbramoviciMM #fault #simulation: Critical path tracing — an alternative to fault simulation (MA, PRM, DTM), pp. 214–220.
DAC-1983-BarzilaiHSTW #logic #simulation #using: Simulating pass transistor circuits using logic simulation machines (ZB, LMH, GMS, DTT, LSW), pp. 157–163.
DAC-1983-BastianEFHM #simulation #specification: Symbolic Parasitic Extractor for Circuit Simulation (SPECS) (JDB, ME, PJF, CEH, LPM), pp. 346–352.
DAC-1983-BoardM #architecture #evaluation #interactive #parallel #simulation: An interactive simulation facility for the evaluation of shared-resource architectures (Parallel ARchitecture SIMulator — PARSIM) (JABJ, PNM), pp. 83–92.
DAC-1983-ChengGKW #development #functional #simulation: Functional simulation shortens the development cycle of a new computer (RC, BG, KK, JW), pp. 515–519.
DAC-1983-FlakeMM #algebra #logic #simulation: An algebra for logic strength simulation (PF, PM, GM), pp. 615–618.
DAC-1983-Hill #interface #visual notation: Edisim and Edicap: Graphical simulator interfaces (DDH), pp. 608–614.
DAC-1983-JordanP #interactive #logic #named: ILS — interactive logic simulator (GDJ, BBP), pp. 719–720.
DAC-1983-KozakBG #array #design #simulation: Design aids for the simulation of bipolar gate arrays (PK, AKB, AG), pp. 286–292.
DAC-1983-OkazakiMY #multi: A multiple media delay simulator for MOS LSI circuits (KO, TM, TY), pp. 279–285.
DAC-1983-Ramachandran: An improved switch-level simulator for MOS circuits (VR), pp. 293–299.
DAC-1983-SangsterM #logic #named #simulation: Aquarius: Logic simulation on an Engineering Workstation (AS, JM), pp. 93–99.
DAC-1983-SasakiKOT #hardware #logic #named: HAL: A block level HArdware Logic simulator (TS, NK, KO, KT), pp. 150–156.
DAC-1983-StevensA #logic #multi: BIMOS, an MOS oriented multi-level logic simulator (PS, GA), pp. 100–106.
DAC-1983-Ulrich #concurrent #design #simulation #verification: A design verification methodology based on concurrent simulation and clock suppression (EU), pp. 709–712.
ICALP-1983-Vitanyi #on the #simulation: On the Simulation of Many Storage Heads by a Single One (Extended Abstract) (PMBV), pp. 687–694.
DAC-1982-AbramoviciLM #logic #simulation: A logic simulation machine (MA, YHL, PRM), pp. 65–73.
DAC-1982-Agrawal #analysis: Synchronous path analysis in MOS circuit simulator (VDA), pp. 629–635.
DAC-1982-BoseKLNPW #fault: A fault simulator for MOS LSI circuits (AKB, PK, CYL, HNN, EPS, KWW), pp. 400–409.
DAC-1982-Denneau #simulation: The Yorktown Simulation Engine (MD), pp. 55–59.
DAC-1982-DesMaraisSW #functional #modelling #simulation: A functional level modelling language for digital simulation (PJD, ESYS, PSW), pp. 315–320.
DAC-1982-Hayes #fault #simulation: A fault simulation methodology for VLSI (JPH), pp. 393–399.
DAC-1982-HirakawaSM #logic #simulation: Logic simulation for LSI (KH, NS, MM), pp. 755–761.
DAC-1982-KronstadtP #simulation: Software support for the Yorktown Simulation Engine (EK, GFP), pp. 60–64.
DAC-1982-MaisselO #approach #design #documentation #hardware #interactive #simulation #synthesis: Interactive design language: A unified approach to hardware simulation, synthesis and documentation (LIM, DLO), pp. 193–201.
DAC-1982-McDermott #modelling: Transmission gate modeling in an existing three-value simulator (RMM), pp. 678–681.
DAC-1982-NestorT #design #implementation #multi #representation #simulation: Defining and implementing a multilevel design representation with simulation applications (JAN, DET), pp. 740–746.
DAC-1982-Pfister #simulation: The Yorktown Simulation Engine: Introduction (GFP), pp. 51–54.
DAC-1982-SakaiTYOOKKY #design #interactive #logic #simulation: An Interactive Simulation System for structured logic design — ISS (TS, YT, HY, YO, YO, HK, SK, SY), pp. 747–754.
DAC-1982-ShivaC #composition #simulation #synthesis #using: Modular description/simulation/synthesis using DDL (SGS, JAC), pp. 321–329.
DAC-1982-UlrichH #modelling #network #simulation: Speed and accuracy in digital network simulation based on structural modeling (EU, DH), pp. 587–593.
SIGMOD-1982-Bell #modelling #simulation #source code: Data Modelling of Scientific Simulation Programs (JLB), pp. 79–86.
STOC-1982-Pippenger #probability #simulation: Probabilistic Simulations (Preliminary Version) (NP), pp. 17–26.
STOC-1982-Vitanyi #multi #realtime #simulation #turing machine: Real-Time Simulation of Multicounters by Oblivious One-Tape Turing Machines (PMBV), pp. 27–36.
ICALP-1982-Vitanyi #multi #performance #simulation: Efficient Simulations of Multicounter Machines (PMBV), pp. 546–560.
SIGIR-1982-TagueN #database #retrieval #simulation #using: Simulation of Bibliographic Retrieval Databases Using Hyperterms (JT, MJN), pp. 194–208.
ILPC-1982-RoachF82 #migration #prolog #simulation: A Prolog Simulation of Migration Decision Making in a Less Developed Country (JWR, TDF), pp. 110–115.
DAC-1981-ArmstrongD #logic #named: GSP: A logic simulator for LSI (JRA, DED), pp. 518–524.
DAC-1981-BreuerP #roadmap #simulation: Digital system simulation: Current status and future trends or darwin’s theory of simulation (MAB, ACP), pp. 269–275.
DAC-1981-Bryant #named: MOSSIM: A switch-level simulator for MOS LSI (REB), pp. 786–790.
DAC-1981-Cory #functional #simulation #verification: Symbolic simulation for functional verification with ADLIB and SDL (WEC), pp. 82–89.
DAC-1981-HirschhornHB #algorithm #data type #functional #simulation: Functional level simulation in FANSIM3 — algorithms, data structures and results (SH, MH, CB), pp. 248–255.
DAC-1981-Hlynka #design: A simulator to replace wire rules for high speed computer design (AH), pp. 113–117.
DAC-1981-HoltH #logic: A MOS/LSI oriented logic simulator (DH, DH), pp. 280–287.
DAC-1981-HsuSB #fault #testing: Structured trace diagnosis for LSSD board testing — an alternative to full fault simulated diagnosis (FCH, PS, REB), pp. 891–897.
DAC-1981-Krohn #simulation: Vector coding techniques for high speed digital simulation (HEK), pp. 525–529.
DAC-1981-Leinwand #logic #process #simulation: Process oriented logic simulation (SML), pp. 511–517.
DAC-1981-RaethALB #functional #logic #modelling #simulation: Functional modelling for logic simulation (PGR, JMA, GBL, JMB), pp. 791–795.
DAC-1981-Ruehli #analysis #bibliography #logic #modelling #scalability #simulation: Survey of analysis, simulation and modeling for large scale logic circuits (AER), pp. 124–129.
DAC-1981-Sherwood #logic #modelling #simulation: A MOS modelling technique for 4-state true-value hierarchical logic simulation or Karnough knowledge (WS), pp. 775–785.
SIGIR-1981-TagueN #retrieval #simulation: Simulation of User Judgments in Bibliographic Retrieval Systems (JT, MJN), pp. 66–71.
DAC-1980-AgrawalBKNP: A mixed-mode simulator (VDA, AKB, PK, HNN, EPS), pp. 618–625.
DAC-1980-AltmanP #analysis #design: The SLIDE simulator: A facility for the design and analysis of computer interconnections (AHA, ACP), pp. 148–155.
DAC-1980-dAbreuT #concurrent #fault #functional: An accurate functional level concurrent fault simulator (MAd, EWT), pp. 210–217.
DAC-1980-DyerLMS #design #simulation: The use of graphics processors for circuit design simulation at GTE AE Labs (JD, AL, EJM, WDS), pp. 446–450.
DAC-1980-GiambiasiMM #deduction #fault #simulation: Methods for generalized deductive fault simulation (NG, AM, DM), pp. 386–392.
DAC-1980-HanauL #approach #design #interactive #prototype #simulation: A prototyping and simulation approach to interactive computer system design (PRH, DRL), pp. 572–578.
DAC-1980-NashRST #functional #simulation: Functional level simulation at Raytheon (DCN, KR, PS, MT), pp. 634–641.
DAC-1980-NhamB #multi: A multiple delay simulator for MOS LSI circuits (HNN, AKB), pp. 610–617.
DAC-1980-SasakiYKNTN #logic #named #scalability #verification: MIXS: A mixed level simulator for large digital system logic verification (TS, AY, SK, TN, KT, NN), pp. 626–633.
DAC-1980-ThompsonKRRSB #functional #simulation: The incorporation of functional level element routines into an existing digital simulation system (EWT, PGK, WRRJ, DR, JS, RvB), pp. 394–401.
DAC-1980-Ulrich #flexibility #logic #performance #simulation: Table lookup techniques for fast and flexible digital logic simulation (EU), pp. 560–563.
DAC-1980-UlrichLPTKEB #concurrent #fault #performance #simulation: High-speed concurrent fault simulation with vectors and scalars (EU, DL, NP, JT, MK, TE, RB), pp. 374–380.
SIGIR-1980-TagueNW #problem #retrieval #simulation: Problems in the Simulation of Bibliographic Retrieval Systems (JT, MJN, HW), pp. 236–255.
DAC-1979-AkinoSKN #simulation #verification: Circuit simulation and timing verification based on MOS/LSI mask information (TA, MS, YK, TN), pp. 88–94.
DAC-1979-Barbacci #evaluation #set #simulation #specification #synthesis: Instruction set processor specifications for simulation, evaluation, and synthesis (MB), pp. 64–72.
DAC-1979-Bening #logic #physics #simulation: Developments in computer simulation of gate level physical logic (LB), pp. 561–567.
DAC-1979-CarterJB #design #simulation: Symbolic simulation for correct machine design (WCC, WHJJ, DB), pp. 280–286.
DAC-1979-El-Ziq #fault #generative #network #performance #simulation #testing: Testing of MOS combinational networks a procedure for efficient fault simulation and test generation (YMEZ), pp. 162–170.
DAC-1979-GardnerW #modelling #simulation: Hierarchical modeling and simulation in VISTA (RIG, PBW), pp. 403–405.
DAC-1979-GiambiasiMM #named #network #scalability #simulation: SILOG: A practical tool for large digital network simulation (NG, AM, DM), pp. 263–271.
DAC-1979-HillC #generative #multi #named #simulation: SABLE: A tool for generating structured, multi-level simulations (DDH, WMvC), pp. 272–279.
DAC-1979-KjelkerudT #deduction #fault #generative #logic #simulation #testing #using: Generation of hazard free tests using the D-algorithm in a timing accurate system for logic and deductive fault simulation (EK, OT), pp. 180–184.
DAC-1979-KjelkerudT79a #logic #modelling #simulation: Methods of modelling digital devices for logic simulation (EK, OT), pp. 235–241.
DAC-1979-NavabiH #performance #simulation: Efficient simulation of AHPL (ZN, FJH), pp. 255–262.
DAC-1979-SchilerG #energy #simulation: Computer simulation of foliage shading in building energy loads (MS, DPG), pp. 142–148.
DAC-1979-Sherwood #hybrid #logic #scheduling: A hybrid scheduling technique for hierarchical logic simulators or “Close Encounters of the Simulated Kind” (WS), pp. 249–254.
DAC-1979-Wilcox #functional #logic #simulation: Digital logic simulation at the gate and functional level (PSW), pp. 242–248.
STOC-1979-Kosaraju79aa #realtime #simulation: Real-Time Simulation of Concatenable Double-Ended Queues by Double-Ended Queues (Preliminary Version) (SRK), pp. 346–351.
DAC-1978-AliaCMB #component #functional #modelling #simulation: LSI components modelling in a three-valued functional simulation (GA, PC, EM, FB), pp. 428–438.
DAC-1978-BayeganA #design #editing #interactive #layout #logic #simulation: An integrated system for interactive editing of schematics, logic simulation and PCB layout design (HMB, EJA), pp. 1–8.
DAC-1978-CaseS #fault #logic #simulation: SALOGS-IV-A program to perform logic simulation and fault diagnosis (GRC, JDS), pp. 392–397.
DAC-1978-ChenC #multi: Multi-sim, a dynamic multi-level simulator (RCC, JEC), pp. 386–391.
DAC-1978-Evans #simulation: Accurate simulation of flip-flop timing characteristics (DJE), pp. 398–404.
DAC-1978-MalekB #fault #functional #simulation: Functional simulation and fault diagnosis (MM, AKB), pp. 340–346.
DAC-1978-MiaraG #deduction #fault #simulation: Dynamic and deductive fault simulation (AM, NG), pp. 439–443.
DAC-1978-TokoroSITIO #simulation: A module level simulation technique for systems composed of LSI’s and MSI’s (MT, MS, MI, ET, TI, HO), pp. 418–427.
DAC-1977-AbramoviciBK #concurrent #fault #functional #modelling #simulation: Concurrent fault simulation and functional level modeling (MA, MAB, KK), pp. 128–137.
DAC-1977-ArmstrongW #simulation: Simulation techniques for microprocessors (JRA, GW), pp. 225–229.
DAC-1977-Magnhagen #case study #design #experience #probability #simulation: Practical experiences from signal probability simulation of digital designs (BM), pp. 216–219.
DAC-1977-MorrisMG #network #scalability #simulation #using: Simulation of large communications networks using SPIN (ILM, JM, RG), pp. 194–204.
DAC-1977-SchulerC #fault #performance #simulation: An efficient method of fault simulation for digital circuits modeled from boolean gates and memories (DMS, RKC), pp. 230–238.
DAC-1977-Snethen #fault #generative: Simulator-oriented fault test generator (TJS), pp. 88–93.
DAC-1977-StoreyB #simulation: Delay test simulation (TMS, JWB), pp. 492–494.
DAC-1977-Strunge #fault #modelling: Fault modeling in a hierarchical simulator (JJS), pp. 118–127.
SIGMOD-1977-MunzK #concurrent #database #simulation: Concurrency in Database Systems — A Simulation Study (RM, GK), pp. 111–120.
SIGMOD-1977-Scheuermann #concept #database #simulation: Concepts of a Data Base Simulation Language (PS), pp. 144–156.
VLDB-1977-BerildN #database #design #named #simulation: CS4: A Tool for Database Design by Infological Simulation (Abstract) (SB, SN), p. 533.
VLDB-1977-HultenS #analysis #database #performance #scalability #simulation: A Simulation Model for Performance Analysis of Large Shared Data Bases (CH, LS), pp. 524–532.
STOC-1977-LeongS #multi #realtime #simulation: New Real-Time Simulations of Multihead Tape Units (BLL, JIS), pp. 239–248.
ICALP-1977-SavitchV #linear #multi #simulation #turing machine: Linear Time Simulation of Multihead Turing Machines with Head-to-Head Jumps (WJS, PMBV), pp. 453–464.
DAC-1976-AzemaVD #design #hardware #petri net #simulation #verification: Petri nets as a common tool for design verification and hardware simulation (PA, RV, MD), pp. 109–116.
DAC-1976-ChappellMPS #functional #simulation: Functional simulation in the lamp system (SGC, PRM, JFP, AMS), pp. 42–47.
DAC-1976-ChicoixPG #network #scalability #simulation: An accurate time delay model for large digital network simulation (CC, JP, NG), pp. 54–60.
DAC-1976-ParaschP #design #development: Development and application of a designer oriented cyclic simulator (GJP, RLP), pp. 48–53.
DAC-1976-PaulT #concept #evaluation #fault tolerance #named #simulation: SEGMA — A simulation package for conception aid and fault tolerance evaluation of computing systems (JLP, RT), pp. 278–284.
DAC-1976-Ulrich #logic #simulation: Non-integral event timing for digital logic simulation (EGU), pp. 61–67.
DAC-1976-WilcoxR #fault #interactive #logic #named: F/LOGIC — An interactive fault and logic simulator for digital circuits (PSW, HR), pp. 68–73.
ICSE-1976-BillawalaST #data type #multi #simulation: A Data Structure and Drive Mechanism for a Table-Driven Simulation System Employing Multilevel Structural Representations of Digital Systems (NB, SAS, EWT), pp. 151–157.
ICSE-1976-MohanG: An Environmental Simulator for the FDNY Computer Aided Dispatch System (JM, MG), pp. 577–584.
DAC-1975-AllevaCGP #evaluation #implementation #simulation #source code: A simulation system for implementation and evaluation of diagnostic programs of a special-purpose telecommunication switching processor (IA, MGC, RG, FP), pp. 123–133.
DAC-1975-GilliO #algebra #network #scalability #simulation: A new algebraic procedure for the simulation of large digital networks (LG, FO), pp. 32–41.
DAC-1975-HemmingH #evolution #logic #modelling #simulation: Digital logic simulation models and evolving technology (CWHJ, JMH), pp. 85–94.
DAC-1975-KozakGC: Operational features of an MOS timing simulator (PK, HKG, BRC), pp. 95–101.
DAC-1975-SchulerUBB #concurrent #generative #logic #random testing #simulation #testing #using: Random test generation using concurrent logic simulation (DMS, EGU, TEB, SPB), pp. 261–267.
DAC-1975-Sherman #testing #using: Program function test definition using a three-value simulator (WJS), pp. 189–194.
DAC-1975-ThompsonB75a #implementation #logic #multi #re-engineering #simulation: The software engineering technique of data hiding as applied to multi-level model implementation of logical devices in digital simulation (EWT, NB), pp. 195–201.
DAC-1975-ThompsonS #fault #simulation: Three levels of accuracy for the simulation of different fault types in digital systems (EWT, SAS), pp. 105–113.
DAC-1974-AkgermanK #design #process #simulation: Computer-aided process design and simulation for forging of turbine blades (NA, DJK), pp. 47–51.
DAC-1974-FlomenhoftC: A minicomputer-based logic-fault simulator (MJF, BMC), p. 257.
DAC-1974-Sr #performance #simulation #using: Using simulation to evaluate system performance (EKBS), pp. 359–365.
DAC-1974-ThompsonSBP #analysis #fault #simulation #using: Timing analysis for digital fault simulation using assignable delays (EWT, SAS, NB, RP), pp. 266–272.
DAC-1973-Keiner #functional #logic #simulation #testing: Functional testing A user looks at logic simulation (WLK), pp. 151–158.
DAC-1973-SzygendaL #functional #logic #simulation: Integrated techniques for functional and gate-level digital logic simulation (SAS, AAL), pp. 159–172.
DAC-1973-UlrichB #concurrent #network #simulation: The concurrent simulation of nearly identical digital networks (EGU, TEB), pp. 145–150.
DAC-1972-ChangDE #analysis #fault #logic #self #simulation: Logic simulation and fault analysis of a self-checking switching processor (HYC, RCD, RAE), pp. 128–137.
DAC-1972-Lewis #bound #detection #logic #simulation: Hazard detection by a quinary simulation of logic devices with bounded propagation delays (DWL), pp. 157–164.
DAC-1972-McClure #fault #logic #simulation: Fault simulation of digital logic utilizing a small host machine (RMM), pp. 104–110.
DAC-1972-Robison #automation #design #logic #simulation: Applications of logic simulation in design automation at Texas Instruments (JMR), pp. 138–143.
DAC-1972-Szygenda #generative #logic #named #simulation #testing: TEGAS2 — anatomy of a general purpose TEST GENERATION AND SIMULATION system for digital logic (SAS), pp. 116–127.
DAC-1972-UlrichBW #analysis #logic #simulation: Fault-test analysis techniques based on logic simulation (EGU, TEB, LRW), pp. 111–115.
DAC-1971-BaraySC #design: The structure and operation of a design language compatible simulator (MB, SYHS, RLC), pp. 23–34.
DAC-1971-Barker #design #interactive #logic #simulation #visual notation: An interactive graphical logic design simulation system (WBB), pp. 299–303.
DAC-1971-HarrisonO #analysis #logic #simulation: Race analysis of digital systems without logic simulation (RAH, DJO), pp. 82–94.
DAC-1971-HowieT #logic #named #online #simulation: OLLS: The On-Line Logical Simulation System (HRH, RMT), pp. 314–323.
DAC-1971-Penz #approach #design #simulation: A computer simulation approach to elevator system design (AJP), pp. 259–268.
DAC-1971-TsudaKGN #analysis #named #network #simulation: NONLISA: Nonlinear network simulation and analysis program (TT, TK, SG, TN), pp. 347–357.
DAC-1971-Young: A microprogram simulator (SJY), pp. 68–81.
SOSP-1971-WinogradMH #memory management #operating system #simulation: Simulation Studies of a Virtual Memory, Time Shared, Demand Paging Operating System (JW, SJM, RH), pp. 149–155.
DAC-1970-Cole #automation #functional #generative #logic #simulation #source code: Automatic generation of functional logic test programs through simulation (FBC), pp. 116–127.
DAC-1970-Lord #realtime: Real-time simulated earthquake motion of high rise structures (JL), pp. 35–46.
DAC-1970-MitchellG #analysis #design #monte carlo #simulation: A simulation program for monte carlo analysis and design (EELM, DG), pp. 265–270.
DAC-1969-Bening #logic #simulation: Accurate simulation of high speed computer logic (LCBJ), pp. 103–112.
DAC-1969-Dov #research #simulation: Misuse and limitations of simulation as a business research technique: Some comments (AGBD), pp. 323–331.
DAC-1969-Fairburn #simulation: Simulation of urban growth as a function of accessibility (DTF), pp. 297–322.
DAC-1969-Hartson #simulation: Digital control simulation system (HRH), pp. 113–144.
DAC-1969-KrolakBCG #effectiveness #simulation: A simulation model for evaluating the effectiveness of various stock market strategies (PDK, REB, AC, HG), pp. 351–356.
STOC-1969-Savitch #nondeterminism #simulation #turing machine: Deterministic Simulation of Non-Deterministic Turing Machines (Detailed Abstract) (WJS), pp. 247–248.
SOSP-1969-FuchiTMY: A program simulator by partial interpretation (KF, HT, YM, TY), pp. 97–104.
DAC-1968-AllenGHS #logic: A syntax-directed logic simulator (CMA, DDG, WMH, RWS).
DAC-1967-FiskCW #design #simulation: Topographic simulation as an aid to printed circuit board design (CJF, DLC, LEW).
DAC-1967-McKinney #logic: Synchronous Logic Simulator (JGM).
DAC-1967-Murray-Lasso #distributed #simulation: A digital computer simulation of a class of lumped and/or distributed four ports (MAML).
DAC-1967-Richards #automation #equation #logic #named #programming #simulation: SWAP — a programming system for automatic simulation, wiring and placement of logical equations (DLR).
SHARE-1966-Brennan #design #simulation: Digital simulation for control system design (RDB).
SHARE-1965-Fountain #requirements #simulation #testing: A general computer simulation technique for assessments and testing requirements (JHF).