BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Used together with:
model (288)
system (285)
base (234)
use (222)
circuit (129)

Stem simul$ (all stems)

1673 papers:

CASECASE-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.
CASECASE-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.
CASECASE-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.
CASECASE-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.
CASECASE-2015-GonzalezMK #interactive #matlab #mobile
A Matlab-based interactive simulator for mobile robotics (RG, CM, MK), pp. 310–315.
CASECASE-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.
CASECASE-2015-PanciroliTBBF #realtime #simulation
Overcoming real time bond in high level simulation environments (RP, CT, GB, RB, CF), pp. 1644–1648.
CASECASE-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.
CASECASE-2015-SathishRB #approach #detection #industrial #simulation
A simulation based approach to detect wear in industrial robots (VS, SR, SB), pp. 1570–1575.
CASECASE-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.
CASECASE-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.
CASECASE-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.
DACDAC-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.
DACDAC-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.
DACDAC-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.
DACDAC-2015-HelalBH #parallel #simulation #using
Parallel circuit simulation using the direct method on a heterogeneous cloud (AEH, AMB, YYH), p. 6.
DACDAC-2015-HerdtLD #simulation #using #verification
Verifying SystemC using stateful symbolic simulation (VH, HML, RD), p. 6.
DACDAC-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.
DACDAC-2015-RoloffSHT #architecture #parallel #simulation
Execution-driven parallel simulation of PGAS applications on heterogeneous tiled architectures (SR, DS, FH, JT), p. 6.
DACDAC-2015-WasicekLKGIA #simulation
System simulation from operational data (AW, EAL, HK, LG, AI, IA), p. 6.
DACDAC-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.
DATEDATE-2015-AhsanK #architecture #optimisation #quantum #using
Optimization of quantum computer architecture using a resource-performance simulator (MA, JK), pp. 1108–1113.
DATEDATE-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.
DATEDATE-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.
DATEDATE-2015-ChenWY #parallel #performance
A fast parallel sparse solver for SPICE-based circuit simulators (XC, YW, HY), pp. 205–210.
DATEDATE-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.
DATEDATE-2015-DghaisR #empirical #modelling #simulation
Empirical modelling of FDSOI CMOS inverter for signal/power integrity simulation (WD, JR), pp. 1555–1558.
DATEDATE-2015-FaravelonFP #branch #performance #predict #simulation
Fast and accurate branch predictor simulation (AF, NF, FP), pp. 317–320.
DATEDATE-2015-GerumBR #gpu #performance #simulation
Source level performance simulation of GPU cores (CG, OB, WR), pp. 217–222.
DATEDATE-2015-GorevUD #fault #parallel #simulation
Fault simulation with parallel exact critical path tracing in multiple core environment (MG, RU, SD), pp. 1180–1185.
DATEDATE-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.
DATEDATE-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.
DATEDATE-2015-NguyenASS #gpu #simulation
Accelerating complex brain-model simulations on GPU platforms (HADN, ZAA, GS, CS), pp. 974–979.
DATEDATE-2015-SalfelderH #adaptation #evaluation #simulation #using
Ageing simulation of analogue circuits and systems using adaptive transient evaluation (FS, LH), pp. 1261–1264.
DATEDATE-2015-SchneiderHKWW #fault #simulation
GPU-accelerated small delay fault simulation (ES, SH, MAK, XW, HJW), pp. 1174–1179.
DATEDATE-2015-ShonikerCHP #design #process #simulation #verification
Minimizing the number of process corner simulations during design verification (MS, BFC, JH, WP), pp. 289–292.
DATEDATE-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.
CSEETCSEET-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.
CHICHI-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.
CHICHI-2015-KardanC #adaptation #evaluation #interactive #learning #simulation
Providing Adaptive Support in an Interactive Simulation for Learning: An Experimental Evaluation (SK, CC), pp. 3671–3680.
CHICHI-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.
CSCWCSCW-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.
HCIDHM-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.
HCIDHM-EH-2015-FuLCZ #modelling #simulation
Modeling and Simulating Lifting Task of Below-Knee Amputees (YF, SL, QC, WZ), pp. 134–143.
HCIDHM-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.
HCIDHM-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.
HCIDHM-EH-2015-PerestreloTNS #framework #modelling #simulation
Modeling of a Virtual Open Platform for Human Cranium Simulation (PP, MT, PN, JS), pp. 358–366.
HCIDHM-EH-2015-RegazzoniRC #simulation
The Role of Virtual Ergonomic Simulation to Develop Innovative Human Centered Products (DR, CR, GC), pp. 74–83.
HCIDUXU-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.
HCIDUXU-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.
HCIDUXU-UI-2015-GuimaraesS #simulation
Humanizing Labor Resource in a Discrete Event Manufacturing Simulation Software (LBdMG, CSS), pp. 14–22.
HCIHCI-DE-2015-AlenljungS #design #perspective
Designing Simulation-Based Training for Prehospital Emergency Care: Participation from a Participant Perspective (BA, HMS), pp. 297–306.
HCIHCI-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.
HCIHIMI-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.
HCIHIMI-IKC-2015-IkeiSKKHAK #experience
Experience Simulator for the Digital Museum (YI, SS, SK, KK, KH, TA, MK), pp. 436–446.
HCIHIMI-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.
HCILCT-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.
HCISCSM-2015-GerritsenB #analysis #predict
Simulation-Based Prediction and Analysis of Collective Emotional States (CG, WRJvB), pp. 118–126.
ICEISICEIS-v1-2015-MpindaMSR #database #graph #simulation #using
Graph Database Application using Neo4j — Railroad Planner Simulation (SATM, LGM, MTPS, MXR), pp. 399–403.
ICEISICEIS-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.
ECIRECIR-2015-VerberneSJK #interactive #personalisation #query #simulation
User Simulations for Interactive Search: Evaluating Personalized Query Suggestion (SV, MS, KJ, WK), pp. 678–690.
MoDELSMoDELS-2015-SoltanaSSB #framework #modelling #policy #probability #simulation
A model-based framework for probabilistic simulation of legal policies (GS, NS, MS, LCB), pp. 70–79.
SACSAC-2015-BogoniPS #artificial reality #evaluation
Evaluation of a haptic virtual reality simulator for endodontics training (TNB, MSP, RS), pp. 267–269.
SACSAC-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.
SACSAC-2015-Gregorio-Rodriguez #consistency #simulation
Extending mCRL2 with ready simulation and iocos input-output conformance simulation (CGR, LL, RMT), pp. 1781–1788.
SACSAC-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.
SACSAC-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.
SACSAC-2015-VieiraHH #mobile #testing
A context simulator as testing support for mobile apps (VV, KH, MH), pp. 535–541.
ICSEICSE-v2-2015-Baia #approach #multi #project management #simulation
An Integrated Multi-Agent-Based Simulation Approach to Support Software Project Management (DdMB), pp. 911–914.
ICSEICSE-v2-2015-Honsel #evolution #learning #mining #simulation #statistics
Statistical Learning and Software Mining for Agent Based Simulation of Software Evolution (VH), pp. 863–866.
ICSEICSE-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.
SPLCSPLC-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.
ASPLOSASPLOS-2015-TanQCAP #named #network #using
DIABLO: A Warehouse-Scale Computer Network Simulator using FPGAs (ZT, ZQ, XC, KA, DAP), pp. 207–221.
LCTESLCTES-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.
ICLPICLP-2015-RoseckyPB #energy #grid #prolog #simulation
Grid Mind: Prolog-Based Simulation Environment for Future Energy Grids (JR, FP, BB).
CASECASE-2014-HabibRSP #multimodal #named #simulation
SkinSim: A simulation environment for multimodal robot skin (AH, IR, KS, DOP), pp. 1226–1231.
CASECASE-2014-MaDLZ #learning #modelling #simulation
Modeling and simulation of product diffusion considering learning effect (KPM, XD, CFL, JZ), pp. 665–670.
CASECASE-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.
CASECASE-2014-QiuSL #multi #optimisation #simulation
A simulation based GA for multi-objective optimization in patient flow distribution (YQ, JS, ZL), pp. 1–6.
CASECASE-2014-XuZHCLC #framework #multi #optimisation #simulation
An ordinal transformation framework for multi-fidelity simulation optimization (JX, SZ, EH, CHC, LHL, NC), pp. 385–390.
CASECASE-2014-ZhangLYL #optimisation #parametricity #simulation
Simulation and parameter optimization of the key working procedure of engine box (CZ, JL, RY, GL), pp. 315–319.
CASECASE-2014-ZhangXG #multi #scheduling
Simulation-based surgery appointment sequencing and scheduling of multiple operating rooms (ZZ, XX, NG), pp. 399–404.
CASECASE-2014-ZhongWLKS #simulation
Primary care redesign: A simulation study at a pediatric clinic (XZ, MW, JL, SAK, JSS), pp. 546–551.
DACDAC-2014-ApostolopoulouDES #matrix #scalability #simulation
Selective Inversion of Inductance Matrix for Large-Scale Sparse RLC Simulation (IA, KD, NEE, GIS), p. 6.
DACDAC-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.
DACDAC-2014-KoKYKH #cpu #gpu #simulation
Hardware-in-the-loop Simulation for CPU/GPU Heterogeneous Platforms (YK, TK, YY, MK, SH), p. 6.
DACDAC-2014-MunawarS #functional #modelling #scalability
Scalable Co-Simulation of Functional Models With Accurate Event Exchange (AM, SS), p. 6.
DACDAC-2014-SchneiderPP #agile #analysis #multi
MASH{fifo}: A Hardware-Based Multiple Cache Simulator for Rapid FIFO Cache Analysis (JS, JP, SP), p. 6.
DACDAC-2014-StoermerT #functional #interface #mockup #standard #using
Powertrain Co-Simulation using AUTOSAR and the Functional Mockup Interface standard (CS, GT), p. 1.
DACDAC-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.
DACDAC-2014-WangX #on the #performance #simulation
On the Simulation of NBTI-Induced Performance Degradation Considering Arbitrary Temperature and Voltage Variations (TW, QX), p. 6.
DACDAC-2014-WuXKCH #named #simulation #statistics #towards
REscope: High-dimensional Statistical Circuit Simulation towards Full Failure Region Coverage (WW, WX, RK, YLC, LH), p. 6.
DACDAC-2014-ZhuangWLC #distributed #framework #named #network #simulation
MATEX: A Distributed Framework for Transient Simulation of Power Distribution Networks (HZ, SHW, JHL, CKC), p. 6.
DATEDATE-2014-AhmadC #performance #predict #simulation
Fast STA prediction-based gate-level timing simulation (TBA, MJC), pp. 1–6.
DATEDATE-2014-ChenCT #performance #simulation
An activity-sensitive contention delay model for highly efficient deterministic full-system simulations (SYC, CHC, RST), pp. 1–6.
DATEDATE-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.
DATEDATE-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.
DATEDATE-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.
DATEDATE-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.
DATEDATE-2014-QiZ #modelling #performance #simulation
Efficient simulation and modelling of non-rectangular NoC topologies (JQ, MZ), pp. 1–4.
DATEDATE-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.
DATEDATE-2014-WeinstockSLAT #parallel #simulation
Time-decoupled parallel SystemC simulation (JHW, CS, RL, GA, LT), pp. 1–4.
DATEDATE-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.
DATEDATE-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.
DATEDATE-2014-ZhaoL #bound
Empowering study of delay bound tightness with simulated annealing (XZ, ZL), pp. 1–6.
VLDBVLDB-2014-FanWWD #distributed #graph #simulation
Distributed Graph Simulation: Impossibility and Possibility (WF, XW, YW, DD), pp. 1083–1094.
ITiCSEITiCSE-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.
ICSMEICSME-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.
PLDIPLDI-2014-AlglaveMT #memory management #modelling #simulation #testing
Herding cats: modelling, simulation, testing, and data-mining for weak memory (JA, LM, MT), p. 7.
STOCSTOC-2014-BerryCCKS #exponential #precise #simulation
Exponential improvement in precision for simulating sparse Hamiltonians (DWB, AMC, RC, RK, RDS), pp. 283–292.
AFLAFL-2014-HutagalungLL #automaton #game studies #simulation
Buffered Simulation Games for Büchi Automata (MH, ML, ÉL), pp. 286–300.
ICALPICALP-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.
ICALPICALP-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.
LATALATA-2014-LiPT #probability #process #simulation
Probabilistic Simulation for Probabilistic Data-Aware Business Processes (HL, FP, FT), pp. 503–515.
IFMIFM-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.
CHICHI-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.
CHICHI-2014-LuiKAQS #simulation
Supporting learners in collecting and exploring data from immersive simulations in collective inquiry (ML, ACK, AA, CQ, JDS), pp. 2103–2112.
HCIDHM-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.
HCIDHM-2014-LiZYD #simulation
Simulation on Thermal Control System of the Extravehicular Spacesuit (TL, JZ, XY, LD), pp. 112–123.
HCIDHM-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.
HCIDUXU-DI-2014-Wanner #design #empirical #game studies #simulation
Serious Economic Games: Designing a Simulation Game for an Economic Experiment (DW), pp. 782–793.
HCIDUXU-ELAS-2014-Abdullah #monitoring #network #simulation
Simulation of Wireless Sensor Network for Flood Monitoring System (MA), pp. 255–264.
HCIHCI-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.
HCIHCI-AS-2014-Nakanishi #game studies #prototype #simulation #visualisation
Prototyping for Digital Sports Integrating Game, Simulation and Visualization (YN), pp. 634–642.
HCIHCI-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.
HCIHIMI-DE-2014-EideOK #assessment
A Post-simulation Assessment Tool for Training of Air Traffic Controllers (AWE, SSØ, AK), pp. 34–43.
HCILCT-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.
HCILCT-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.
HCILCT-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.
HCILCT-TRE-2014-Hayes14a #approach #development #game studies #learning #simulation
An Approach to Holistic Development of Serious Games and Learning Simulations (ATH), pp. 42–49.
HCILCT-TRE-2014-NordvallAS #education
Exploring Simulated Provocations — Supporting Pre-Service Teachers’ Reflection on Classroom Management (MN, MA, MS), pp. 182–193.
HCILCT-TRE-2014-ShahoumianSZPH #education #learning #simulation
Blended Simulation Based Medical Education: A Complex Learning/Training Opportunity (AS, MS, MZ, GP, JH), pp. 478–485.
ICEISICEIS-v2-2014-PodlouckyP #formal method #simulation #towards #validation
Towards Formal Foundations for BORM ORD Validation and Simulation (MP, RP), pp. 315–322.
ICPRICPR-2014-MorenoS #simulation
Volume-Based Fabric Tensors through Lattice-Boltzmann Simulations (RM, ÖS), pp. 3179–3184.
KDDKDD-2014-RadosavljevikP #interface #modelling #predict #scalability
Large scale predictive modeling for micro-simulation of 3G air interface load (DR, PvdP), pp. 1620–1629.
KEODKEOD-2014-BrucatoD #modelling #ontology #simulation
The Minimal Ontology Principle — Philosophical Foundations of OPM-based Modelling and Simulation (JB, DD), pp. 405–409.
KEODKEOD-2014-FatyaniIP #ontology #petri net #simulation
Transformation of DEMO Model into Coloured Petri Net — Ontology based Simulation (TF, JI, JP), pp. 388–396.
SEKESEKE-2014-PaikariF #analysis #design #implementation #simulation
Analysis, Design and Implementation of an Agent Based System for Simulating Connected Vehicles (EP, BHF), pp. 338–343.
RERE-2014-GregoriadesPS #requirements
Simulation-based requirements discovery for smart driver assistive technologies (AG, MP, AGS), pp. 317–318.
RERE-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.
SACSAC-2014-AvilaMRPY #distributed #quantum #simulation
GPU-aware distributed quantum simulation (AA, AM, RR, MLP, ACY), pp. 860–865.
SACSAC-2014-Gutierrez-GarciaG #multi #safety #simulation
Multi-agent simulation of perception of safety from crime (JOGG, AGdSG), pp. 573–578.
SACSAC-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.
SACSAC-2014-ParkY #multi #network #simulation #smarttech
Encountering smartphones in network simulation: a preliminary result on multi-radio multicast (YP, WY), pp. 1727–1728.
SACSAC-2014-PatanaikZK #estimation #parametricity #simulation
Parameter estimation and simulation for one-choice Ratcliff diffusion model (AP, VZ, CKK), pp. 3–7.
CGOCGO-2014-BrankovicSGG #simulation
Warm-Up Simulation Methodology for HW/SW Co-Designed Processors (AB, KS, EG, AG), p. 284.
HPDCHPDC-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.
PPoPPPPoPP-2014-TimnatP #data type #simulation
A practical wait-free simulation for lock-free data structures (ST, EP), pp. 357–368.
CAVCAV-2014-BinghamL #bound #fault #simulation #using #verification
Verifying Relative Error Bounds Using Symbolic Simulation (JB, JLH), pp. 277–292.
ICLPICLP-J-2014-BogaertsJBCVD #calculus #linear #simulation #using
Simulating Dynamic Systems Using Linear Time Calculus Theories (BB, JJ, MB, BdC, JV, MD), pp. 477–492.
ICTSSICTSS-2014-PalmieriCO #automation #testing
Cutting Time-to-Market by Adopting Automated Regression Testing in a Simulated Environment (MP, AC, ), pp. 129–144.
RTARTA-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.
CASECASE-2013-DingLZC #physics #simulation
Emergency evacuation simulation in staircases considering evacuees’ physical and psychological status (ND, PBL, HZ, TC), pp. 741–746.
CASECASE-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.
CASECASE-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.
CASECASE-2013-Geldmann #image #monte carlo #simulation #using
Fine registration of SEM and AFM images using Monte Carlo simulations (CG), pp. 813–818.
CASECASE-2013-KramerKBSPG #evaluation #knowledge-based #performance #simulation
Performance evaluation of knowledge-based kitting via simulation (TRK, ZK, SB, CS, AP, SG), pp. 356–361.
CASECASE-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.
CASECASE-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.
CASECASE-2013-ZhouSHJLS #lens #simulation
Numerical simulation in compression molding of glass lens (JZ, TS, YH, YJ, ML, LS), pp. 669–674.
DACDAC-2013-ChenWBA #random #reuse #simulation #verification
Simulation knowledge extraction and reuse in constrained random processor verification (WC, LCW, JB, MSA), p. 6.
DACDAC-2013-Fang #simulation
A new time-stepping method for circuit simulation (GPF), p. 10.
DACDAC-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.
DACDAC-2013-HanZF #gpu #named #parallel #simulation
TinySPICE: a parallel SPICE simulator on GPU for massively repeated small circuit simulations (LH, XZ, ZF), p. 8.
DACDAC-2013-JangPK #simulation
An event-driven simulation methodology for integrated switching power supplies in SystemVerilog (JEJ, MJP, JK), p. 7.
DACDAC-2013-LeGHD #simulation #using #verification
Verifying SystemC using an intermediate verification language and symbolic simulation (HML, DG, VH, RD), p. 6.
DACDAC-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.
DACDAC-2013-YeWHL #parallel #segmentation #simulation
Time-domain segmentation based massively parallel simulation for ADCs (ZY, BW, SH, YL), p. 6.
DATEDATE-2013-BeerGCCZ #challenge #metric #simulation
Metastability challenges for 65nm and beyond: simulation and measurements (SB, RG, JC, TC, DMZ), pp. 1297–1302.
DATEDATE-2013-ChenD #parallel #predict #simulation #using
Optimized out-of-order parallel discrete event simulation using predictions (WC, RD), pp. 3–8.
DATEDATE-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.
DATEDATE-2013-DiazSSR #analysis #network #performance #security #simulation
Wireless sensor network simulation for security and performance analysis (AD, PS, JS, JR), pp. 432–435.
DATEDATE-2013-FourmigueBN #3d #simulation
Explicit transient thermal simulation of liquid-cooled 3D ICs (AF, GB, GN), pp. 1385–1390.
DATEDATE-2013-GielenM #modelling #probability #simulation
Stochastic degradation modeling and simulation for analog integrated circuits in nanometer CMOS (GGEG, EM), pp. 326–331.
DATEDATE-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.
DATEDATE-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.
DATEDATE-2013-LeeWHY #3d #hybrid #named
NUMANA: a hybrid numerical and analytical thermal simulator for 3-D ICs (YML, THW, PYH, CPY), pp. 1379–1384.
DATEDATE-2013-LiZCZ #analysis #multi #simulation
Multi-level phase analysis for sampling simulation (JL, WZ, HC, BZ), pp. 649–654.
DATEDATE-2013-LuMS #embedded #performance #simulation
Fast cache simulation for host-compiled simulation of embedded software (KL, DMG, US), pp. 637–642.
DATEDATE-2013-LyrasRPS #multi #scalability #simulation
Hypervised transient SPICE simulations of large netlists & workloads on multi-processor systems (GL, DR, AP, DS), pp. 655–658.
DATEDATE-2013-NiakiS #automation #embedded #parallel #simulation
An automated parallel simulation flow for heterogeneous embedded systems (SHAN, IS), pp. 27–30.
DATEDATE-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.
DATEDATE-2013-WangH #embedded #modelling #performance #simulation
Fast and accurate cache modeling in source-level simulation of embedded software (ZW, JH), pp. 587–592.
DATEDATE-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.
DATEDATE-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.
SIGMODSIGMOD-2013-CaiVPAHJ #markov #simulation #using
Simulation of database-valued markov chains using SimSQL (ZC, ZV, LLP, SA, PJH, CMJ), pp. 637–648.
CSEETCSEET-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.
ITiCSEITiCSE-2013-Beltran #artificial reality #gender
The importance of the avatar gender in training simulators based on virtual reality (MB), p. 334.
ITiCSEITiCSE-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.
FoSSaCSFoSSaCS-2013-KatsumataS #algebra #monad #simulation
Preorders on Monads and Coalgebraic Simulations (SyK, TS), pp. 145–160.
STOCSTOC-2013-ChungPS #security #simulation
Non-black-box simulation from one-way functions and applications to resettable security (KMC, RP, KS), pp. 231–240.
STOCSTOC-2013-Goyal #concurrent #simulation
Non-black-box simulation in the fully concurrent setting (VG), pp. 221–230.
LATALATA-2013-HutagalungLL #automaton #game studies #simulation
Revealing vs. Concealing: More Simulation Games for Büchi Inclusion (MH, ML, ÉL), pp. 347–358.
IFMIFM-2013-DemasiCMA #fault tolerance #simulation
Characterizing Fault-Tolerant Systems by Means of Simulation Relations (RD, PFC, TSEM, NA), pp. 428–442.
CHICHI-2013-ZadowBHBSD #education #interactive #named #simulation
SimMed: combining simulation and interactive tabletops for medical education (UvZ, SB, TH, FB, KS, RD), pp. 1469–1478.
HCIDHM-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.
HCIDHM-HB-2013-YangZF #simulation
Simulation of Pushing the Push-Pull Rod Action Based on Human Body Dynamics (ZY, YZ, SF), pp. 393–401.
HCIDHM-SET-2013-LiuZX #behaviour #simulation
Effects of Sleep Deprivation on Pilot’s Cognitive Behavior in Flight Simulation (ZQL, QXZ, FX), pp. 45–54.
HCIDHM-SET-2013-MamessierF #automation #interactive #modelling #simulation
Simulating the Impact of Mental Models on Human Automation Interaction in Aviation (SM, KMF), pp. 61–69.
HCIDHM-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.
HCIDHM-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.
HCIDUXU-NTE-2013-WaldronS
Calculation of Areas of Permanence in Public Spaces, According to Solar Radiation Simulated Conditions (JAW, JHS), pp. 215–223.
HCIDUXU-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.
HCIDUXU-WM-2013-Aurelio #architecture #design #simulation #visualisation
Visualizing Information Associated with Architectural Design Variations and Simulations (DA), pp. 469–477.
HCIHCI-III-2013-Joo #behaviour #reasoning #simulation
Perception and BDI Reasoning Based Agent Model for Human Behavior Simulation in Complex System (JJ), pp. 62–71.
HCIHCI-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.
HCIHIMI-D-2013-Remy #in the cloud #simulation #standard
Quantifying the Impact of Standards When Hosting Robotic Simulations in the Cloud (SLR), pp. 365–374.
HCIHIMI-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.
HCIHIMI-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.
HCIHIMI-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.
HCIHIMI-HSM-2013-IsonTV #design #simulation
Designing Simulation to Meet UAS Training Needs (DCI, BAT, DAV), pp. 585–595.
HCIHIMI-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.
HCIHIMI-HSM-2013-LeeJ #analysis #simulation #using
Task Analysis of Soft Control Operations Using Simulation Data in Nuclear Power Plants (SJL, WJ), pp. 524–529.
HCIHIMI-HSM-2013-SasakiHAI #simulation #using
Train Ride Simulation Using Assist Strap Device (TS, KH, TA, YI), pp. 189–197.
HCIHIMI-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.
ICEISICEIS-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.
ICEISICEIS-v1-2013-LiuV #modelling #simulation
An Agent-based Modeling for Price-responsive Demand Simulation (HL, JV), pp. 436–443.
ICEISICEIS-v1-2013-ZouhaierKSS #multi #simulation
Multi-Agent System Model for Container Management Simulation (HZ, FK, FS, LBS), pp. 498–505.
ICEISICEIS-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, ), pp. 427–434.
KDDKDD-2013-MorenoNK #graph #learning #modelling
Learning mixed kronecker product graph models with simulated method of moments (SM, JN, SK), pp. 1052–1060.
RecSysRecSys-2013-AhnPLL #graph #recommendation
A heterogeneous graph-based recommendation simulator (YA, SP, SL, SgL), pp. 471–472.
SEKESEKE-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.
ICSEICSE-2013-Lin #comprehension #evolution #simulation
Understanding and simulating software evolution (ZL), pp. 1411–1414.
HPCAHPCA-2013-ArdestaniR #manycore #named #performance #using
ESESC: A fast multicore simulator using Time-Based Sampling (EKA, JR), pp. 448–459.
HPDCHPDC-2013-KamalBBCM #scalability #simulation
Load balancing in large-scale epidemiological simulations (TK, KRB, ARB, YC, MVM), pp. 123–124.
HPDCHPDC-2013-Shaw #named #simulation
Anton: a special-purpose machine that achieves a hundred-fold speedup in biomolecular simulations (DES), pp. 129–130.
PPoPPPPoPP-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.
CAVCAV-2013-ManciniMMMMT #model checking #simulation #verification
System Level Formal Verification via Model Checking Driven Simulation (TM, FM, AM, IM, FM, ET), pp. 296–312.
ICSTICST-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.
LICSLICS-2013-HofmanMT #decidability #simulation
Decidability of Weak Simulation on One-Counter Nets (PH, RM, PT), pp. 203–212.
WICSA-ECSAWICSA-ECSA-2012-AstekinS #analysis #clone detection #detection #simulation
Utilizing Clone Detection for Domain Analysis of Simulation Systems (MA, HS), pp. 287–291.
WICSA-ECSAWICSA-ECSA-2012-BaelenC #design #evolution #simulation
Simulating Structural Design Evolution of Software (WB, YC), pp. 258–261.
CASECASE-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.
CASECASE-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.
CASECASE-2012-LeeB #execution #framework #lifecycle #simulation #using
Executable simulation lifecycle management framework using extensible and interoperable simulation language (HL, AB), pp. 237–242.
CASECASE-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.
CASECASE-2012-LiLPZ #physics #simulation
Control system simulation for 360MN extrusion machine based on physical model (WL, WL, FP, QZ), pp. 243–249.
CASECASE-2012-WangHDS #agile #analysis #protocol #simulation #using
Analysis of hospital rapid response protocols using simulation (SW, LEH, PD, CHS), pp. 315–322.
CASECASE-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.
CASECASE-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.
DACDAC-2012-ChangB #simulation
Improving gate-level simulation accuracy when unknowns exist (KHC, CB), pp. 936–940.
DACDAC-2012-FangMZLHZCLZ #manycore #named
Transformer: a functional-driven cycle-accurate multicore simulator (ZF, QM, KZ, YL, YH, WZ, HC, JL, BZ), pp. 106–114.
DACDAC-2012-HuangLWT #interface
A non-intrusive timing synchronization interface for hardware-assisted HW/SW co-simulation (YHH, YSL, HIW, RST), pp. 127–132.
DACDAC-2012-LiuH #network #scalability #simulation
Dynamic river network simulation at large scale (FL, BRH), pp. 723–728.
DACDAC-2012-MurilloEJYLA #hybrid #simulation
Synchronization for hybrid MPSoC full-system simulation (LGM, JFE, JJ, SY, RL, GA), pp. 121–126.
DACDAC-2012-RenCWZY #gpu #parallel #simulation
Sparse LU factorization for parallel circuit simulation on GPU (LR, XC, YW, CZ, HY), pp. 1125–1130.
DACDAC-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.
DATEDATE-2012-AridhiZT #order #reduction #simulation #towards #using
Towards improving simulation of analog circuits using model order reduction (HA, MHZ, ST), pp. 1337–1342.
DATEDATE-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.
DATEDATE-2012-BrachtendorfBL #simulation
Simulation of the steady state of oscillators in the time domain (HGB, KB, RL), pp. 1355–1360.
DATEDATE-2012-ChenHD #design #parallel #simulation
Out-of-order parallel simulation for ESL design (WC, XH, RD), pp. 141–146.
DATEDATE-2012-JovicYMELA #hybrid #simulation
Hybrid simulation for extensible processor cores (JJ, SY, LGM, JFE, RL, GA), pp. 288–291.
DATEDATE-2012-LafayePBGF #embedded #modelling #resource management #simulation
Model driven resource usage simulation for critical embedded systems (ML, LP, EB, MG, DF), pp. 312–315.
DATEDATE-2012-LiuTWY #simulation
A GPU-accelerated envelope-following method for switching power converter simulation (XL, SXDT, HW, HY), pp. 1349–1354.
DATEDATE-2012-MammoCPNZMB #approximate #simulation
Approximating checkers for simulation acceleration (BM, DC, DP, AN, AZ, RM, VB), pp. 153–158.
DATEDATE-2012-PanagopoulosAR #approach #framework #hybrid #simulation
A framework for simulating hybrid MTJ/CMOS circuits: Atoms to system approach (GP, CA, KR), pp. 1443–1446.
DATEDATE-2012-SchoenmakerMSBTJ #scalability #simulation
Large signal simulation of integrated inductors on semi-conducting substrates (WS, MM, BDS, SB, CT, RJ), pp. 1221–1226.
DATEDATE-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.
DATEDATE-2012-StripfKB #approximate #architecture
A cycle-approximate, mixed-ISA simulator for the KAHRISMA architecture (TS, RK, JB), pp. 21–26.
DATEDATE-2012-WangH #compilation #embedded #optimisation #simulation
Accurate source-level simulation of embedded software with respect to compiler optimizations (ZW, JH), pp. 382–387.
DATEDATE-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.
CSEETCSEET-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.
CSEETCSEET-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.
ITiCSEITiCSE-2012-Black #cpu #design #education #hardware
A hardware simulator for teaching CPU design (MB), p. 380.
ITiCSEITiCSE-2012-GoldweberDJ #hardware #operating system #using
Supporting operating systems projects using the μMPS2 hardware simulator (MG, RD, TJ), pp. 63–68.
CSMRCSMR-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.
IFMIFM-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.
SEFMSEFM-2012-NikolicPZ #imperative #modelling #rule-based #simulation
A Rule-Based and Imperative Language for Biochemical Modeling and Simulation (DN, CP, RZ), pp. 16–32.
CHICHI-2012-KreitmayerRLP #game studies #simulation
From participatory to contributory simulations: changing the game in the classroom (SK, YR, RCL, SP), pp. 49–58.
CSCWCSCW-2012-PoltrockHPM
Recognizing team context during simulated missions (SEP, MJH, SRP, PM), pp. 197–206.
CIKMCIKM-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.
CIKMCIKM-2012-JiaZH #network #simulation
Non-stationary bayesian networks based on perfect simulation (YJ, WZ, JH), pp. 1095–1104.
CIKMCIKM-2012-SmuckerC #probability #simulation
Stochastic simulation of time-biased gain (MDS, CLAC), pp. 2040–2044.
ICPRICPR-2012-JinB #multi #simulation
Single camera multi-person tracking based on crowd simulation (ZJ, BB), pp. 3660–3663.
ICPRICPR-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.
ICPRICPR-2012-PerisMMOF #simulation #towards
Towards a simulation driven stereo vision system (MP, SM, AM, YO, KF), pp. 1038–1042.
KMISKMIS-2012-AkiyoshiSK #learning #problem #towards
A Project Manager Skill-up Simulator Towards Problem Solving-based Learning (MA, MS, NK), pp. 190–195.
KMISKMIS-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.
KMISKMIS-2012-OtsukiAS #using
An Improvement Method of User Operations using Decision Tree on Project Manager Skill-up Simulator (MO, MA, MS), pp. 158–163.
KRKR-2012-Huang12a #constraints #simulation
Search Strategy Simulation in Constraint Booleanization (JH).
SEKESEKE-2012-GrolingerCMS #modelling #ontology #representation #simulation
Ontology-based Representation of Simulation Models (KG, MAMC, JRM, KDS), pp. 432–437.
SIGIRSIGIR-2012-BaskayaKJ #interactive #simulation
Time drives interaction: simulating sessions in diverse searching environments (FB, HK, KJ), pp. 105–114.
SIGIRSIGIR-2012-Cummins #modelling #monte carlo #performance #predict #simulation #using
Investigating performance predictors using monte carlo simulation and score distribution models (RC), pp. 1097–1098.
ECMFAECMFA-2012-RadjenovicPRWK #approach #plugin #simulation #uml
A Plug-in Based Approach for UML Model Simulation (AR, RFP, LMR, JW, SK), pp. 328–339.
ICMTICMT-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.
MODELSMoDELS-2012-AboussororOO #fault #modelling #simulation #visualisation
Seeing Errors: Model Driven Simulation Trace Visualization (EAA, IO, IO), pp. 480–496.
MODELSMoDELS-2012-AboussororOO #fault #modelling #simulation #visualisation
Seeing Errors: Model Driven Simulation Trace Visualization (EAA, IO, IO), pp. 480–496.
POPLPOPL-2012-LiangFF #concurrent #program transformation #simulation #verification
A rely-guarantee-based simulation for verifying concurrent program transformations (HL, XF, MF), pp. 455–468.
REFSQREFSQ-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.
SACSAC-2012-OliveiraCS #bound #on the #using
On using adversary simulators to obtain tight lower bounds for response times (RSdO, AC, RAS), pp. 1573–1579.
SACSAC-2012-PereiraR #architecture #simulation
An integrated architecture for autonomous vehicles simulation (JLFP, RJFR), pp. 286–292.
SACSAC-2012-ThanhZ #algorithm #probability #simulation
Tree-based search for stochastic simulation algorithm (VHT, RZ), pp. 1415–1416.
ICSEICSE-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.
SPLCSPLC-2012-LeitnerZTW #identification #variability
Requirement identification for variability management in a co-simulation environment (AL, JZ, PT, DW), pp. 269–274.
LCTESLCTES-2012-BouissouC #semantics #simulation
An operational semantics for Simulink’s simulation engine (OB, AC), pp. 129–138.
LCTESLCTES-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.
ICLPICLP-2012-BryS #query #semistructured data #simulation #unification
Simulation Unification: Beyond Querying Semistructured Data (Invited Talk) (FB, SS), pp. 1–13.
ICSTICST-2012-MewsSW #modelling
From AUTOSAR Models to Co-simulation for MiL-Testing in the Automotive Domain (MM, JS, SW), pp. 519–528.
ECSAECSA-2011-MassowHH #architecture #component #configuration management #performance #runtime #simulation
Performance Simulation of Runtime Reconfigurable Component-Based Software Architectures (RvM, AvH, WH), pp. 43–58.
CASECASE-2011-ChuYSS #probability #simulation #validation
Validation of stochastic traffic flow model with microscopic traffic simulation (KCC, LY, RS, KS), pp. 672–677.
CASECASE-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.
CASECASE-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.
CASECASE-2011-JulvezMV #analysis #simulation #using
Analysis and simulation of manufacturing systems using SimHPN toolbox (JJ, CM, CRV), pp. 432–437.
CASECASE-2011-JuWLBX #framework #simulation
Virtual battery: A simulation framework for batteries in electric vehicles (FJ, JW, JL, SB, GX), pp. 648–653.
CASECASE-2011-LeonardoKKDS #monitoring #simulation
Simulation of a hydraulic pump application for monitoring and diagnosis methods (DL, SK, AKH, AD, RS), pp. 341–345.
CASECASE-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.
DACDAC-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.
DACDAC-2011-PatelACG #manycore #named
MARSS: a full system simulator for multicore x86 CPUs (AP, FA, SC, KG), pp. 1050–1055.
DACDAC-2011-StattelmannBR #optimisation #performance #simulation
Fast and accurate source-level simulation of software timing considering complex code optimizations (SS, OB, WR), pp. 486–491.
DACDAC-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.
DACDAC-2011-YunKKH #embedded #manycore #parallel #simulation
Simulation environment configuration for parallel simulation of multicore embedded systems (DY, JK, SK, SH), pp. 345–350.
DATEDATE-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.
DATEDATE-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.
DATEDATE-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.
DATEDATE-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.
DATEDATE-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.
DATEDATE-2011-KimCY #distributed #predict #simulation
A new distributed event-driven gate-level HDL simulation by accurate prediction (DK, MJC, SY), pp. 547–550.
DATEDATE-2011-LoCWT #modelling #performance #simulation
Cycle-count-accurate processor modeling for fast and accurate system-level simulation (CKL, LCC, MHW, RST), pp. 341–346.
DATEDATE-2011-LuJTL #architecture #parametricity #performance #simulation
Efficient parameter variation sampling for architecture simulations (FL, RJ, GT, SL), pp. 1578–1583.
DATEDATE-2011-MichelFP #embedded #simulation
Speeding-up SIMD instructions dynamic binary translation in embedded processor simulation (LM, NF, FP), pp. 277–280.
DATEDATE-2011-RazaghiG #development #embedded #manycore #realtime
Host-compiled multicore RTOS simulator for embedded real-time software development (PR, AG), pp. 222–227.
DATEDATE-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.
DATEDATE-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.
DATEDATE-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.
DATEDATE-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.
DATEDATE-2011-YehHWL #framework #simulation
Speeding Up MPSoC virtual platform simulation by Ultra Synchronization Checking Method (YFY, CYH, CAW, HCL), pp. 353–358.
DATEDATE-2011-ZaidiGH #simulation #specification
Simulation based tuning of system specification (YZ, CG, JH), pp. 1273–1278.
CSEETCSEET-2011-AndrianoMBR #assessment
A quantitative assessment method for simulation-based e-learnings (NA, MGM, CB, DR), pp. 159–168.
CSEETCSEET-2011-BollinHM #education #project management #simulation #using
Teaching software project management using simulations (AB, EH, RTM), pp. 81–90.
CSEETCSEET-2011-MonsalveWL #education #re-engineering
Teaching software engineering with SimulES-W (ESM, VMBW, JCSdPL), pp. 31–40.
CSEETCSEET-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.
ITiCSEITiCSE-2011-BlackF #architecture #education #visual notation
Teaching computer architecture with a graphical PC simulator (MDB, MF), p. 337.
ICSMEICSM-2011-ShternT #clustering #multi #using
Evaluating software clustering using multiple simulated authoritative decompositions (MS, VT), pp. 353–361.
DLTDLT-J-2009-Petersen11 #bound #simulation
Simulations by Time-Bounded Counter Machines (HP), pp. 395–409.
CIAACIAA-J-2010-EsikM11 #automaton #simulation
The Category of Simulations for Weighted Tree Automata (, AM), pp. 1845–1859.
DLTDLT-2011-CeceG #2d #automaton #online #simulation
Simulations over Two-Dimensional On-Line Tessellation Automata (GC, AG), pp. 141–152.
ICALPICALP-v1-2011-FortnowS #robust #simulation
Robust Simulations and Significant Separations (LF, RS), pp. 569–580.
ICALPICALP-v2-2011-CrafaR #abstract interpretation #algorithm #bisimulation #probability #simulation
Probabilistic Bisimulation and Simulation Algorithms by Abstract Interpretation (SC, FR), pp. 295–306.
ICALPICALP-v2-2011-GoodrichM #outsourcing #privacy #ram #simulation
Privacy-Preserving Access of Outsourced Data via Oblivious RAM Simulation (MTG, MM), pp. 576–587.
FMFM-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.
SEFMSEFM-2011-CorralC #simulation #towards
Towards an Agent-Based Methodology for Developing Agro-Ecosystem Simulations (JC, DC), pp. 431–446.
CHICHI-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.
CHICHI-2011-ToupsKHS #coordination #learning #simulation
Zero-fidelity simulation of fire emergency response: improving team coordination learning (ZOT, AK, WAH, NS), pp. 1959–1968.
HCIDHM-2011-BenderiusMWW #analysis #modelling #optimisation #simulation
A Simulation Environment for Analysis and Optimization of Driver Models (OB, GM, KW, MW), pp. 453–462.
HCIDHM-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.
HCIDHM-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.
HCIDHM-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.
HCIDHM-2011-KaklanisMMT #assessment #automation #framework
A Framework for Automatic Simulated Accessibility Assessment in Virtual Environments (NK, PM, KM, DT), pp. 302–311.
HCIDHM-2011-KwonHBAA #artificial reality #simulation
Simulating Ingress Motion for Heavy Earthmoving Equipment (HK, MH, RB, JA, KAM), pp. 109–118.
HCIDHM-2011-LongBY #bibliography #modelling #simulation
Cloth Modeling and Simulation: A Literature Survey (JL, KB, J(Y), pp. 312–320.
HCIDHM-2011-OzsoyY #case study
Planar Vertical Jumping Simulation-A Pilot Study (BO, J(Y), pp. 161–170.
HCIHCD-2011-Ciarletta #multi #pervasive
Co-simulation and Multi-models for Pervasive Computing as a Complex System (LC), pp. 197–206.
HCIHCD-2011-IharaKY #simulation
Human Affordance as Life-Log for Environmental Simulations (MI, MK, TY), pp. 235–242.
HCIHCI-DDA-2011-Fernandez-LlatasMSN #interactive #process #simulation
Process Choreography for Human Interaction Computer-Aided Simulation (CFL, JBM, PS, JCN), pp. 214–220.
HCIHCI-DDA-2011-KimJRWS #behaviour #simulation #using
Human Behavioral Simulation Using Affordance-Based Agent Model (NK, JJ, LR, RAW, YJS), pp. 368–377.
HCIHCI-ITE-2011-ShinPCPK #feedback
Needle Insertion Simulator with Haptic Feedback (SS, WP, HC, SHP, LK), pp. 119–124.
HCIHCI-MIIE-2011-ChaoFK #framework #simulation
A Framework for Agent-Based Simulation in Tourism Planning (DC, KF, TK), pp. 280–287.
HCIHCI-UA-2011-KanekoN #evaluation #simulation
Proposal of BCM Evaluation Method Based on Disaster Scenario Simulation (RK, YN), pp. 346–353.
HCIHIMI-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.
HCIHIMI-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.
HCIIDGD-2011-GaoQ #analysis #distributed #simulation
Analysis of the Applied Pattern of Distributed Computing Used in Simulation (SfG, HQ), pp. 152–158.
ICEISICEIS-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.
ICEISICEIS-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.
ICEISICEIS-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.
ICEISICEIS-v1-2011-MeisenMSJ #integration #simulation #tool support
Application Integration of Simulation Tools Considering Domain Specific Knowledge (TM, PM, DS, SJ), pp. 42–53.
ICEISICEIS-v2-2011-LiQLZ #policy #research #simulation
Research and Demonstration of Agricultural Policy Simulation based on CGE Model (ZL, QQ, YL, DZ), pp. 13–17.
ICEISICEIS-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.
ICEISICEIS-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.
ICEISICEIS-v3-2011-ZhuL11a #automation #modelling #simulation
Modeling and Simulation of the Automatic Train Protection in WLAN based CBTC Systems (XZ, JL), pp. 449–458.
ICEISICEIS-v4-2011-ChangS #mobile #process #research #simulation
Research on Grid-based Mobile Business Process and Simulation (DC, LS), pp. 86–93.
ICEISICEIS-v4-2011-WangL11a #modelling #optimisation #parametricity #simulation
Simulation Modeling and Parameter Optimization in Cyclic Picking System (AW, XL), pp. 690–694.
CIKMCIKM-2011-CarteretteKY #behaviour #effectiveness #evaluation #simulation
Simulating simple user behavior for system effectiveness evaluation (BC, EK, EY), pp. 611–620.
ECIRECIR-2011-BaskayaKJ #feedback #simulation
Simulating Simple and Fallible Relevance Feedback (FB, HK, KJ), pp. 593–604.
KDDKDD-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.
KDIRKDIR-2011-GilliesSPW #feature model #ontology #simulation
Gene Ontology based Simulation for Feature Selection (CEG, MRS, NVP, GDW), pp. 294–302.
KEODKEOD-2011-HusakovaC #multi #ontology #recommendation #simulation
Exploitation of Ontology-based Recommendation System with Multi-agent Simulations (MH, PC), pp. 433–436.
SEKESEKE-2011-FuginiRIRC #monitoring #risk management #simulation
Simulations of Risks for Monitoring and Prevention (MGF, FR, RI, CR, OC), pp. 602–607.
SIGIRSIGIR-2011-ElsweilerLTF #evaluation #query
Seeding simulated queries with user-study data forpersonal search evaluation (DE, DEL, JCT, RTF), pp. 25–34.
MODELSMoDELS-2011-Sagar #modelling #simulation
Creating Models for Simulating the Face (MS), p. 394.
MODELSMoDELS-2011-Sagar #modelling #simulation
Creating Models for Simulating the Face (MS), p. 394.
RERE-2011-HeavenL #design #modelling #optimisation #simulation
Simulating and optimising design decisions in quantitative goal models (WH, EL), pp. 79–88.
SACSAC-2011-FilhoSM #case study #network #simulation
Policy-driven network simulation: a resilience case study (AESF, PS, AM), pp. 492–497.
SACSAC-2011-KostakisKMM #comparison #graph #using
Improved call graph comparison using simulated annealing (OK, JK, HM, KM), pp. 1516–1523.
SACSAC-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.
SACSAC-2011-YuMGTBGGTL #using
System-level co-simulation of integrated avionics using polychrony (HY, YM, YG, JPT, LB, TG, PLG, AT, OL), pp. 354–359.
ICSEICSE-2011-ZhangJHHZ #process #simulation
Impact of process simulation on software practice: an initial report (HZ, DRJ, DH, LH, LZ), pp. 1046–1056.
HPCAHPCA-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.
HPDCHPDC-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.
CAVCAV-2011-SinghalA #simulation #using #verification
Using Coverage to Deploy Formal Verification in a Simulation World (VS, PA), pp. 44–49.
ICLPICLP-2011-Bottalico #consistency #hybrid #simulation
Consistency Techniques for Hybrid Simulations (MB), pp. 255–260.
CASECASE-2010-HewlettK #simulation
Dynamic simulation of ship-system thermal load management (PTH, TMK), pp. 734–741.
DACDAC-2010-FayyaziK #performance #simulation
Efficient simulation of oscillatory combinational loops (MF, LK), pp. 777–780.
DACDAC-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.
DACDAC-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.
DACDAC-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.
DACDAC-2010-KochteSWZ #fault #manycore #performance #simulation
Efficient fault simulation on many-core processors (MAK, MS, HJW, CGZ), pp. 380–385.
DACDAC-2010-TangZBM #analysis #simulation #statistics
RDE-based transistor-level gate simulation for statistical static timing analysis (QT, AZ, MB, NvdM), pp. 787–792.
DACDAC-2010-TanWALCPA #architecture #multi
RAMP gold: an FPGA-based architecture simulator for multiprocessors (ZT, AW, RA, YL, HC, DAP, KA), pp. 463–468.
DACDAC-2010-WangZD #distributed #logic #parallel #simulation
Distributed time, conservative parallel logic simulation on GPUs (BDW, YZ, YD), pp. 761–766.
DACDAC-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.
DATEDATE-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.
DATEDATE-2010-BashirM #process #reliability #towards
Towards a chip level reliability simulator for copper/low-k backend processes (MB, LSM), pp. 279–282.
DATEDATE-2010-BraunBLR #interface #specification #verification
Simulation-based verification of the MOST NetInterface specification revision 3.0 (AB, OB, DL, WR), pp. 538–543.
DATEDATE-2010-CanedoYK #parallel #pipes and filters #simulation
Skewed pipelining for parallel simulink simulations (AC, TY, HK), pp. 891–896.
DATEDATE-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.
DATEDATE-2010-DammMHG #modelling #network #simulation #transaction #using
Using Transaction Level Modeling techniques for wireless sensor network simulation (MD, JM, JH, CG), pp. 1047–1052.
DATEDATE-2010-HaastregtHK #cost analysis #modelling #multi
Cost modeling and cycle-accurate co-simulation of heterogeneous multiprocessor systems (SvH, EH, BK), pp. 1297–1300.
DATEDATE-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.
DATEDATE-2010-HuangX #framework #named #reliability #simulation
AgeSim: A simulation framework for evaluating the lifetime reliability of processor-based SoCs (LH, QX), pp. 51–56.
DATEDATE-2010-KarnerASW #network #runtime #simulation #using
Holistic simulation of FlexRay networks by using run-time model switching (MK, EA, CS, RW), pp. 544–549.
DATEDATE-2010-KhalighR #adaptation #kernel #modelling #parallel #simulation
Modeling constructs and kernel for parallel simulation of accuracy adaptive TLMs (RSK, MR), pp. 1183–1188.
DATEDATE-2010-MaricauG #complexity #reliability #simulation #variability
Variability-aware reliability simulation of mixed-signal ICs with quasi-linear complexity (EM, GGEG), pp. 1094–1099.
DATEDATE-2010-MelloMGP #parallel #simulation
Parallel simulation of systemC TLM 2.0 compliant MPSoC on SMP workstations (AM, IM, AG, FP), pp. 606–609.
DATEDATE-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.
DATEDATE-2010-UbarDRJ #parallel #simulation
Parallel X-fault simulation with critical path tracing technique (RU, SD, JR, AJ), pp. 879–884.
DATEDATE-2010-WatanabeA #modelling #multi #performance #simulation
Equivalent circuit modeling of multilayered power/ground planes for fast transient simulation (TW, HA), pp. 1153–1158.
DATEDATE-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.
DATEDATE-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.
VLDBVLDB-2010-WangSSWCDGW #behaviour #pipes and filters #simulation
Behavioral Simulations in MapReduce (GW, MAVS, BS, XW, TC, AJD, JG, WMW), pp. 952–963.
FASEFASE-2010-TorriniHR #graph transformation #probability #simulation
Stochastic Simulation of Graph Transformation Systems (PT, RH, IR), pp. 154–157.
FoSSaCSFoSSaCS-2010-AcciaiBZ #behaviour #logic #on the #simulation
On the Relationship between Spatial Logics and Behavioral Simulations (LA, MB, GZ), pp. 146–160.
TACASTACAS-2010-AbdullaCHMV #anti #simulation
When Simulation Meets Antichains (PAA, YFC, LH, RM, TV), pp. 158–174.
ICSMEICSM-2010-Alves #assessment #maintenance
Assessment of product maintainability for two space domain simulators (TLA), pp. 1–7.
CIAACIAA-2010-EsikM #automaton #simulation
Simulations of Weighted Tree Automata (, AM), pp. 321–330.
IFMIFM-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.
SEFMSEFM-2010-HegedusBRV #model transformation #simulation
Back-annotation of Simulation Traces with Change-Driven Model Transformations (ÁH, GB, IR, DV), pp. 145–155.
ICGTICGT-2010-Donyina #modelling #probability #resource management #simulation
Stochastic Modelling and Simulation of Dynamic Resource Allocation (AD), pp. 388–390.
ICGTICGT-2010-LaraGBHT #graph transformation #simulation
Graph Transformation for Domain-Specific Discrete Event Time Simulation (JdL, EG, AB, RH, PT), pp. 266–281.
CHICHI-2010-FuGN #3d #multi #scalability #simulation
Multi-touch techniques for exploring large-scale 3D astrophysical simulations (CWF, WBG, JAN), pp. 2213–2222.
CAiSECAiSE-2010-SchonenbergJSA #analysis #simulation
Business Trend Analysis by Simulation (HS, JJ, NS, WMPvdA), pp. 515–529.
ICEISICEIS-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.
ICEISICEIS-J-2010-VilenicaL10a #distributed #simulation
Simulation Management for Agent-Based Distributed Systems (AV, WL), pp. 477–492.
ICEISICEIS-SAIC-2010-VilenicaL #automation #multi #simulation #towards
Towards Automated Simulation of Multi Agent based Systems (AV, WL), pp. 38–46.
ICMLICML-2010-LongS #approximate #simulation #strict
Restricted Boltzmann Machines are Hard to Approximately Evaluate or Simulate (PML, RAS), pp. 703–710.
ICPRICPR-2010-KimKP #algorithm #generative #simulation
A Simulation Study on the Generative Neural Ensemble Decoding Algorithms (SPK, MKK, GTP), pp. 3797–3800.
KMISKMIS-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.
SEKESEKE-2010-MoserDB #automation #generative #ontology #simulation #testing
Ontology-Based Test Case Generation For Simulating Complex Production Automation Systems (TM, GD, SB), pp. 478–482.
GPCEGPCE-2010-KriegerKW #automation #contract #performance #simulation
Automatic and efficient simulation of operation contracts (MPK, AK, BW), pp. 53–62.
RERE-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.
SACSAC-2010-BaffaC #generative #modelling #policy #simulation
Modeling POMDPs for generating and simulating stock investment policies (ACEB, AEMC), pp. 2394–2399.
SACSAC-2010-DaniVAS #manycore
Accelerating multi-core simulators (AMD, KV, BA, YNS), pp. 2377–2382.
SACSAC-2010-HoL #algorithm #constraints
Simulated annealing based algorithm for smooth robot path planning with different kinematic constraints (YJH, JSL), pp. 1277–1281.
SACSAC-2010-JiCW #scalability #simulation
A simulation of large-scale groundwater flow on CUDA-enabled GPUs (XJ, TC, QW), pp. 2402–2403.
SACSAC-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.
SACSAC-2010-PeixotoPR #education #game studies #simulation
Semiotic inspection method in the context of educational simulation games (DCCP, ROP, RFR), pp. 1207–1212.
SACSAC-2010-SiebertCC #coordination #distributed #modelling #multi
Agents & artefacts for multiple models coordination: objective and decentralized coordination of simulators (JS, LC, VC), pp. 2024–2028.
LDTALDTA-2010-Giavitto #domain-specific language #simulation
A domain specific language for complex natural and artificial systems simulations (JLG), p. 1.
HPCAHPCA-2010-GenbruggeEE #abstraction #architecture #simulation
Interval simulation: Raising the level of abstraction in architectural simulation (DG, SE, LE), pp. 1–12.
HPCAHPCA-2010-MillerKKGBCEA #distributed #named #parallel
Graphite: A distributed parallel simulator for multicores (JEM, HK, GK, CGI, NB, CC, JE, AA), pp. 1–12.
HPDCHPDC-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.
HPDCHPDC-2010-DocanPK #coordination #framework #interactive #named #simulation #workflow
DataSpaces: an interaction and coordination framework for coupled simulation workflows (CD, MP, SK), pp. 25–36.
HPDCHPDC-2010-DonassoloCLV #performance #scalability #simulation #using #volunteer
Fast and scalable simulation of volunteer computing systems using SimGrid (BD, HC, AL, PV), pp. 605–612.
HPDCHPDC-2010-HoeflerSL #named #scalability #simulation
LogGOPSim: simulating large-scale applications in the LogGOPS model (TH, TS, AL), pp. 597–604.
CAVCAV-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.
ICSTICST-2010-Bubevski #assessment #risk management #simulation #testing
An Application of Six Sigma and Simulation in Software Testing Risk Assessment (VB), pp. 295–302.
ICSTICST-2010-Weissleder #state machine #test coverage #uml
Simulated Satisfaction of Coverage Criteria on UML State Machines (SW), pp. 117–126.
ICTSSICTSS-2010-VeanesB #simulation
Alternating Simulation and IOCO (MV, NB), pp. 47–62.
RTARTA-2010-Schmidt-SchaussSM #call-by #simulation #λ-calculus
Simulation in the Call-by-Need λ-Calculus with letrec (MSS, DS, EM), pp. 295–310.
QoSAQoSA-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.
ASEASE-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.
ASEASE-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.
CASECASE-2009-BijulalVH #metric #simulation
Stability considerations and service level measures in production — inventory systems: a simulation study (DB, JV, NH), pp. 489–494.
CASECASE-2009-GaoKJD #automation #modelling #simulation
Semi-automated soft-tissue acquisition and modeling for surgical simulation (ZG, TK, DLJ, JPD), pp. 268–273.
DACDAC-2009-AbercrombiePC #design #equation #simulation
Use of lithography simulation for the calibration of equation-based design rule checks (DA, FP, CC), pp. 67–70.
DACDAC-2009-ChatterjeeDB #simulation
Event-driven gate-level simulation with GP-GPUs (DC, AD, VB), pp. 557–562.
DACDAC-2009-DengCS #authentication #hardware #performance #simulation
Hardware authentication leveraging performance limits in detailed simulations and emulations (DYD, AHC, GES), pp. 682–687.
DACDAC-2009-DongL #integration #performance #simulation
Parallelizable stable explicit numerical integration for efficient circuit simulation (WD, PL), pp. 382–385.
DACDAC-2009-IsshikiLKIS #multi #simulation
Trace-driven workload simulation method for Multiprocessor System-On-Chips (TI, DL, HK, TI, KS), pp. 232–237.
DACDAC-2009-WangCL #network #satisfiability #scalability #simulation
Simulation and SAT-based Boolean matching for large Boolean networks (KHW, CMC, JCL), pp. 396–401.
DACDAC-2009-WangH #approach #embedded #performance #simulation
An efficient approach for system-level timing simulation of compiler-optimized embedded software (ZW, AH), pp. 220–225.
DACDAC-2009-ZengYGP #manycore #named
MPTLsim: a simulator for X86 multicore processors (HZ, MTY, KG, DVP), pp. 226–231.
DACDAC-2009-Zhu #simulation
A parameterized mask model for lithography simulation (ZZ), pp. 963–968.
DATEDATE-2009-CasteresR #architecture #integration #modelling #realtime #trade-off
Aircraft integration real-time simulator modeling with AADL for architecture tradeoffs (JC, TR), pp. 346–351.
DATEDATE-2009-ChatterjeeDB #named #simulation
GCS: High-performance gate-level simulation with GPGPUs (DC, AD, VB), pp. 1332–1337.
DATEDATE-2009-ChenW #3d #modelling #simulation
New simulation methodology of 3D surface roughness loss for interconnects modeling (QC, NW), pp. 1184–1189.
DATEDATE-2009-DarbariAFB #design #simulation #using
Selective state retention design using symbolic simulation (AD, BMAH, DF, JB), pp. 1644–1649.
DATEDATE-2009-FourmigueGNA #design #framework #protocol
Co-simulation based platform for wireless protocols design explorations (AF, BG, GN, EMA), pp. 874–877.
DATEDATE-2009-FummiPQA #energy #flexibility #network #simulation
Flexible energy-aware simulation of heterogenous wireless sensor networks (FF, GP, DQ, AA), pp. 1638–1643.
DATEDATE-2009-FytrakiP #configuration management
ReSim, a trace-driven, reconfigurable ILP processor simulator (SF, DNP), pp. 536–541.
DATEDATE-2009-KirchnerBG #simulation #using
Analogue mixed signal simulation using spice and SystemC (TK, NB, CG), pp. 284–287.
DATEDATE-2009-MaricauG #performance #reliability #simulation #variability
Efficient reliability simulation of analog ICs including variability and time-varying stress (EM, GGEG), pp. 1238–1241.
DATEDATE-2009-PengC #parallel #simulation
Parallel transistor level full-chip circuit simulation (HP, CKC), pp. 304–307.
DATEDATE-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.
DATEDATE-2009-ZabelM #injection #simulation
Increased accuracy through noise injection in abstract RTOS simulation (HZ, WM), pp. 1632–1637.
CSEETCSEET-2009-SaurabhK #re-engineering
Software Engineering: A System Dynamics Simulated Pedagogical Practice (KS, BK), pp. 280–283.
STOCSTOC-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.
STOCSTOC-2009-Gafni
The extended BG-simulation and the characterization of t-resiliency (EG), pp. 85–92.
DLTDLT-2009-Petersen #bound #simulation
Simulations by Time-Bounded Counter Machines (HP), pp. 410–418.
SEFMSEFM-2009-HieronsN #distributed #interface #simulation
Simulation Relations for Systems with Distributed Interfaces (RMH, MN), pp. 41–50.
CHICHI-2009-KimD #artificial reality #navigation
Simulated augmented reality windshield display as a cognitive mapping aid for elder driver navigation (SK, AKD), pp. 133–142.
HCIDHM-2009-AmantiniC #behaviour #fault #predict #simulation
A Simple Simulation Predicting Driver Behavior, Attitudes and Errors (AA, PCC), pp. 345–354.
HCIDHM-2009-ChouvardaM #performance #simulation
Hyperkalemia vs. Ischemia Effects in Fast or Unstable Pacing: A Cardiac Simulation Study (IC, NM), pp. 492–501.
HCIDHM-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.
HCIDHM-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.
HCIDHM-2009-LudtkeWOW #behaviour #fault #modelling #simulation
Modeling Pilot and Driver Behavior for Human Error Simulation (AL, LW, JPO, BW), pp. 403–412.
HCIDHM-2009-MarshallCSSGD #design #simulation
Virtual Task Simulation for Inclusive Design (RM, KC, SJS, RES, DG, PD), pp. 700–709.
HCIDHM-2009-PitarchYA #simulation
Virtual Human Hand: Grasping and Simulation (EPP, JY, KAM), pp. 140–149.
HCIHCD-2009-Chu #design #evaluation #simulation
User-Centered Mouse Access Evaluation Design: Windows-Based Simulation Technology (CNC), pp. 41–45.
HCIHCD-2009-Stephane #analysis #behaviour #predict #simulation
User Behavior Patterns: Gathering, Analysis, Simulation and Prediction (LS), pp. 322–331.
HCIHCI-NIMT-2009-HurY #data analysis #multi #named #sorting
SimulSort: Multivariate Data Exploration through an Enhanced Sorting Technique (IH, JSY), pp. 684–693.
HCIHCI-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.
HCIHCI-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.
HCIHCI-VAD-2009-SancarCITOE #case study #education #validation
Developing a Validation Methodology for Educational Driving Simulators and a Case Study (HS, , VI, GT, NO, UE), pp. 760–769.
HCIHCI-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.
HCIOCSC-2009-DohiI #interface
A Life-Like Agent Interface System with Second Life Avatars on the OpenSimulator Server (HD, MI), pp. 182–190.
AdaSIGAda-2009-DelangePPKSK #simulation #using #validation
Validate, simulate, and implement ARINC653 systems using the AADL (JD, LP, AP, MK, FS, FK), pp. 31–44.
ICEISICEIS-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.
ICEISICEIS-HCI-2009-FanSTD #evolution #simulation
Simulation of Forest Evolution — Effects of Environmental Factors to Trees Growth (JF, XyS, YT, TyD), pp. 66–71.
ICEISICEIS-ISAS-2009-LiM #development #simulation
A Simulation Model for Managing Engineering Changes Along with New Product Development (WL, YBM), pp. 13–18.
ICEISICEIS-J-2009-CastroS #named #simulation
AgEx: A Financial Market Simulation Tool for Software Agents (PALdC, JSS), pp. 704–715.
ICEISICEIS-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.
CIKMCIKM-2009-Jarvelin #feedback #interactive
Interactive relevance feedback with graded relevance and sentence extraction: simulated user experiments (KJ), pp. 2053–2056.
CIKMCIKM-2009-JinSLY #algorithm #flexibility #simulation
A flexible simulation environment for flash-aware algorithms (PJ, XS, ZL, LY), pp. 2093–2094.
CIKMCIKM-2009-SioutasPSTM #architecture #distributed #novel
A novel distributed P2P simulator architecture: D-P2P-sim (SS, GP, ES, KT, YM), pp. 2069–2070.
ECIRECIR-2009-BidokiT #documentation
Combination of Documents Features Based on Simulated Click-through Data (AMZB, JAT), pp. 538–545.
ICMLICML-2009-SilverT #monte carlo #simulation
Monte-Carlo simulation balancing (DS, GT), pp. 945–952.
KDDKDD-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.
KMISKMIS-2009-YangJH #empirical #testing
Constructing a Computer Simulated Experiment Testing System (BY, SJ, DH), pp. 271–275.
SEKESEKE-2009-SeoL #evolution #open source #process #simulation
Agent-based Simulation Model for the Evolution Process of Open Source Software (TS, HL), pp. 170–177.
SEKESEKE-2009-Tappan #component #modelling #physics #simulation
Pedagogy-oriented Software Modeling and Simulation of Component-based Physical Systems (DT), pp. 295–300.
MODELSMoDELS-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.
MODELSMoDELS-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.
TOOLSTOOLS-EUROPE-2009-KnorreckAP #design #performance #simulation
Fast Simulation Techniques for Design Space Exploration (DK, LA, RP), pp. 308–327.
SACSAC-2009-AhulloLAA #network #simulation
An extensible simulation tool for overlay networks and services (JPA, PGL, MSA, MAA), pp. 2072–2076.
SACSAC-2009-BandiniBV #design #self #simulation
Simulation supporting the design of self-organizing ambient intelligent systems (SB, AB, GV), pp. 2082–2086.
SACSAC-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.
SACSAC-2009-BuckerRRW #automation #parallel #problem #simulation
Semi-automatic parallelization of direct and inverse problems for geothermal simulation (HMB, AR, VR, AW), pp. 971–975.
SACSAC-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.
SACSAC-2009-DrumwrightS #robust #simulation
A robust and tractable contact model for dynamic robotic simulation (ED, DAS), pp. 1176–1180.
SACSAC-2009-EstevesRFO #concept #framework #implementation #simulation
Conceptualization and implementation of a microscopic pedestrian simulation platform (EFE, RJFR, PAFF, ECO), pp. 2105–2106.
SACSAC-2009-FachadaLR #simulation
Simulating antigenic drift and shift in influenza A (NF, VVL, ACR), pp. 2093–2100.
SACSAC-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.
SACSAC-2009-HeinenO #evolution
Evolving morphologies and gaits of physically realistic simulated robots (MRH, FSO), pp. 1161–1165.
SACSAC-2009-KangCRRV #adaptation #composition #implementation #probability #simulation
Modular implementation of adaptive decisions in stochastic simulations (PK, YC, NR, CJR, SV), pp. 995–1001.
SACSAC-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.
SACSAC-2009-LeezerZ #simulation
Simulating human intuitive decisions by Q-learning (JL, YZ), pp. 2077–2081.
SACSAC-2009-RossiTV #process #simulation
Simulating business processes with EPML.SIM (DR, ET, FV), pp. 2101–2102.
SACSAC-2009-ShellD #precise #simulation
Precise generalized contact point and normal determination for rigid body simulation (DAS, ED), pp. 2107–2108.
SACSAC-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-FSEESEC-FSE-2009-Lopes #modelling #simulation
The massification and webification of systems’ modeling and simulation with virtual worlds (CVL), pp. 63–70.
PPoPPPPoPP-2009-YauKZDP #parallel #simulation
Application-aware management of parallel simulation collections (SY, VK, DZ, KD, SGP), pp. 35–44.
ICSTSAT-2009-SchaafsmaHM #simulation #symmetry
Dynamic Symmetry Breaking by Simulating Zykov Contraction (BS, MH, HvM), pp. 223–236.
QoSAQoSA-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.
WICSAWICSA-2008-MucciniP #analysis #architecture #functional #simulation
Simulating Software Architectures for Functional Analysis (HM, PP), pp. 289–292.
ASEASE-2008-PortOM #requirements #simulation #using
Using Simulation to Investigate Requirements Prioritization Strategies (DP, AO, TM), pp. 268–277.
ASEASE-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.
CASECASE-2008-AzarnasabHAF #case study #design
Progressive simulation-based design: A case study example on software defined radio (EA, XH, PA, BFB), pp. 394–399.
CASECASE-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.
CASECASE-2008-BiasiSLI #network #process #simulation
Simulation of process control with WirelessHART networks subject to packet losses (MDB, CS, KL, AJI), pp. 548–553.
CASECASE-2008-BrantleyLCC #design #empirical #optimisation #probability
Optimal sampling in design of experiment for simulation-based stochastic optimization (MWB, LHL, CHC, AC), pp. 388–393.
CASECASE-2008-XiaoW #anti #evaluation #simulation
Simulation and effects evaluation of anti-galloping devices for overhead transmission lines (XX, JW), pp. 808–813.
CASECASE-2008-ZhaoYZHLG #performance #simulation
Efficient simulation for serial production lines based on aggregated event-scheduling (YZ, CBY, QZ, NH, JL, XG), pp. 406–411.
DACDAC-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.
DACDAC-2008-GaoKKLAM #estimation #hybrid #multi #performance #simulation #using
Multiprocessor performance estimation using hybrid simulation (LG, KK, SK, RL, GA, HM), pp. 325–330.
DACDAC-2008-GulatiK #fault #simulation #towards #using
Towards acceleration of fault simulation using graphics processing units (KG, SPK), pp. 822–827.
DACDAC-2008-HsuPB #data flow #graph #parallel #simulation #thread
Multithreaded simulation for synchronous dataflow graphs (CJH, JLP, SSB), pp. 331–336.
DACDAC-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.
DACDAC-2008-SchnerrBVR #embedded #simulation
High-performance timing simulation of embedded software (JS, OB, AV, WR), pp. 290–295.
DACDAC-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.
DATEDATE-2008-AllecKS #adaptation #simulation
Adaptive Simulation for Single-Electron Devices (NA, RGK, LS), pp. 1021–1026.
DATEDATE-2008-AronsEOSS #low level #performance #simulation
Efficient Symbolic Simulation of Low Level Software (TA, EE, SO, JS, ES), pp. 825–830.
DATEDATE-2008-ChengH #invariant #mining #verification
Simulation-Directed Invariant Mining for Software Verification (XC, MSH), pp. 682–687.
DATEDATE-2008-EngelkePSB #fault #industrial #simulation
Resistive Bridging Fault Simulation of Industrial Circuits (PE, IP, JS, BB), pp. 628–633.
DATEDATE-2008-GerinGP #implementation #performance #simulation
Efficient Implementation of Native Software Simulation for MPSoC (PG, XG, FP), pp. 676–681.
DATEDATE-2008-Liu08a #correlation #performance #random #simulation
Spatial Correlation Extraction via Random Field Simulation and Production Chip Performance Regression (BL), pp. 527–532.
DATEDATE-2008-MeyerowitzSSL #multi #simulation
Source-Level Timing Annotation and Simulation for a Heterogeneous Multiprocessor (TM, ALSV, MS, DL), pp. 276–279.
DATEDATE-2008-RadetzkiK #adaptation #modelling #simulation #transaction
Accuracy-Adaptive Simulation of Transaction Level Models (MR, RSK), pp. 788–791.
DATEDATE-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.
HTHT-2008-GaffneyDW #authoring #bibliography #simulation #tool support
A survey of soft skill simulation authoring tools (CG, DD, VW), pp. 181–186.
ITiCSEITiCSE-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.
ITiCSEITiCSE-2008-Kurmas #automation #logic #performance #student #testing #using
Improving student performance using automated testing of simulated digital logic circuits (ZK), pp. 265–270.
ITiCSEITiCSE-2008-PoplawskiK #design #logic #named #simulation
JLS: a pedagogically targeted logic design and simulation tool (DAP, ZK), p. 314.
ITiCSEITiCSE-2008-SalterD #logic #multi #scalability #using
Using DLSim 3: a scalable, extensible, multi-level logic simulator (RMS, JLD), p. 315.
FASEFASE-2008-LaraV #analysis #modelling
Translating Model Simulators to Analysis Models (JdL, HV), pp. 77–92.
FoSSaCSFoSSaCS-2008-Goubault-Larrecq #game studies #infinity #probability #simulation
Simulation Hemi-metrics between Infinite-State Stochastic Games (JGL), pp. 50–65.
FoSSaCSFoSSaCS-2008-KikuchiL #normalisation
Strong Normalisation of Cut-Elimination That Simulates β-Reduction (KK, SL), pp. 380–394.
TACASTACAS-2008-AbdullaBHKV #automaton #simulation
Computing Simulations over Tree Automata (PAA, AB, LH, LK, TV), pp. 93–108.
AFLAFL-2008-Bartha #automaton #equivalence #simulation
Simulation equivalence of automata and circuits (MB), pp. 86–99.
FMFM-2008-KitchinPM #distributed #logic #simulation
Simulation, Orchestration and Logical Clocks (DK, EP, JM), p. 34.
SFMSFM-2008-Gillespie #biology #simulation
Simulation Methods in Systems Biology (DTG), pp. 125–167.
GT-VMTGT-VMT-2006-KovacsG08 #analysis #formal method #modelling #simulation #workflow
Simulation and Formal Analysis of Workflow Models (MK, LG), pp. 221–230.
GT-VCGT-VC-2007-ErmelE08 #animation #behaviour
Behavior-Preserving Simulation-to-Animation Model and Rule Transformations (CE, HE), pp. 55–74.
GT-VMTGT-VMT-2008-Vangheluwe #modelling #simulation
Foundations of Modelling and Simulation of Complex Systems (HV).
CAiSECAiSE-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.
ECIRECIR-2008-ValletHJ #evaluation #graph #recommendation
Use of Implicit Graph for Recommending Relevant Videos: A Simulated Evaluation (DV, FH, JMJ), pp. 199–210.
ICPRICPR-2008-Lu #performance
Markerless human motion capture: An application of simulated annealing and Fast Marching Method (YL), pp. 1–4.
ICPRICPR-2008-SahaB #clustering #multi #symmetry #using
A new multiobjective simulated annealing based clustering technique using stability and symmetry (SS, SB), pp. 1–4.
SEKESEKE-2008-ErsonC #framework #simulation
A Software Framework for Integrative Physiological Model Simulation (EZE, MCC), pp. 333–338.
SIGIRSIGIR-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.
ECMFAECMDA-FA-2008-KuhnG #configuration management #modelling #simulation #testing
Model-Driven Platform-Specific Testing through Configurable Simulations (TK, RG), pp. 278–293.
ECMFAECMDA-FA-2008-MonperrusJMCHJ #modelling #simulation
Model-Driven Simulation of a Maritime Surveillance System (MM, FJ, GM, JC, BH, JMJ), pp. 361–368.
ICMTICMT-2008-SyrianiV #design #graph grammar
Programmed Graph Rewriting with Time for Simulation-Based Design (ES, HV), pp. 91–106.
PADLPADL-2008-KellerCCSB #generative #monte carlo
Specialising Simulator Generators for High-Performance Monte-Carlo Methods (GK, HCM, MMTC, DS, CBK), pp. 116–132.
REFSQREFSQ-2008-Daneva #concept #enterprise #estimation #simulation
Integrating Portfolio Management and Simulation Concepts in the ERP Project Estimation Practice (MD), pp. 147–152.
REFSQREFSQ-2008-KaschekKSM #elicitation #quality #requirements #towards
Towards Simulation-Based Quality Requirements Elicitation: A Position Paper (RHK, CK, VAS, HCM), pp. 135–140.
SACSAC-2008-AveglianoS #named #simulation
RePart: a reputation-based simulation tool for partnership formation (PA, JSS), pp. 46–47.
SACSAC-2008-ConceicaoDFB #scalability #simulation
Large-scale simulation of V2V environments (HC, LD, MF, JB), pp. 28–33.
SACSAC-2008-Klugl #simulation #validation
A validation methodology for agent-based simulations (FK), pp. 39–43.
SACSAC-2008-LiJS #coordination #distributed #simulation
Coordination schemes in distributed simulation of relativistic particle transport (RL, HJ, HCS), pp. 44–45.
SACSAC-2008-MartinottoJCGDP #generative #network #random
Generation of continuous random networks by simulated annealing (ALM, FJ, LAC, VG, RVD, CAP), pp. 48–49.
SACSAC-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.
SACSAC-2008-PracaVVR #simulation
Agent-based simulation of electronic marketplaces with decision support (IP, MJV, ZAV, CR), pp. 3–7.
SACSAC-2008-SouzaOVO #approach #predict #simulation #statistics
A statistical approach for prediction of projects based on simulation (MMdS, HCBdO, AMLdV, SRBO), pp. 23–27.
SACSAC-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.
SACSAC-2008-WalterG #approach #multi #simulation
Electricity market simulation: multiagent system approach (IW, FACG), pp. 34–38.
HPCAHPCA-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.
HPCAHPCA-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.
HPCAHPCA-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.
LCTESLCTES-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.
CAVCAV-2008-GlabbeekP #algorithm #simulation
Correcting a Space-Efficient Simulation Algorithm (RJvG, BP), pp. 517–529.
CAVCAV-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.
ICSTICST-2008-BoulangerH #modelling #multi #simulation
Simulation of Multi-Formalism Models with ModHel’X (FB, CH), pp. 318–327.
RTARTA-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.
VMCAIVMCAI-2008-Goldberg #on the #simulation #verification
On Bridging Simulation and Formal Verification (EG), pp. 127–141.
VMCAIVMCAI-2008-KupfermanL #automaton #game studies #logic #multi #simulation
Multi-valued Logics, Automata, Simulations, and Games (OK, YL), p. 5.
CASECASE-2007-AlbieriBBC #design #simulation
A Simulation Environment for the Design of Advanced Chiller Control Systems (MA, AB, CB, LC), pp. 962–967.
CASECASE-2007-AugustoXG #framework #health #modelling #simulation
A Framework for the Modeling and Simulation of Health Care Systems (VA, XX, FG), pp. 231–236.
CASECASE-2007-ChengOKKO #algorithm #problem #scheduling
Simulated Annealing Algorithm for Daily Nursing Care Scheduling Problem (MC, HIO, NK, KK, JO), pp. 507–512.
CASECASE-2007-KwonM #framework #simulation
SysML-based Simulation Framework for Semiconductor Manufacturing (KSK, LFM), pp. 1075–1080.
CASECASE-2007-NagarshethSP #simulation
Computer Simulation of Dynamics of Human Leg (HJN, SVS, MAP), pp. 249–254.
CASECASE-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.
CASECASE-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.
CASECASE-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.
CASECASE-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.
CASECASE-2007-ZimmermannS #modelling #precise #simulation
Modeling for Simulation and Control of a X-Y High Precision Positioning Table (JZ, OS), pp. 1093–1098.
DACDAC-2007-BharathESUY #performance #simulation
Computationally Efficient Power Integrity Simulation for System-on-Package Applications (KB, EE, MS, KU, TY), pp. 612–617.
DACDAC-2007-DongL #performance #simulation #using
Accelerating Harmonic Balance Simulation Using Efficient Parallelizable Hierarchical Preconditioning (WD, PL), pp. 436–439.
DACDAC-2007-PaulaH #effectiveness #simulation
An Effective Guidance Strategy for Abstraction-Guided Simulation (FMdP, AJH), pp. 63–68.
DACDAC-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.
DACDAC-2007-YangG #simulation
Simulating Improbable Events (SY, MRG), pp. 154–157.
DATEDATE-2007-AggarwalO #modelling #parametricity #reuse
Simulation-based reusable posynomial models for MOS transistor parameters (VA, UMO), pp. 69–74.
DATEDATE-2007-AlessioFQT #design #embedded #modelling #simulation
Modeling and simulation alternatives for the design of networked embedded systems (EA, FF, DQ, MT), pp. 1030–1035.
DATEDATE-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.
DATEDATE-2007-DerbekSWWPP #framework #simulation
Simulation platform for UHF RFID (VD, CS, RW, DW, JPP, MP), pp. 918–923.
DATEDATE-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.
DATEDATE-2007-HuangMW #design #modelling #simulation
Modeling and simulation to the design of SigmaDelta fractional-N frequency synthesizer (SH, HM, ZW), pp. 291–296.
DATEDATE-2007-JanapsatyaIPH #agile #simulation
Instruction trace compression for rapid instruction cache simulation (AJ, AI, SP, JH), pp. 803–808.
DATEDATE-2007-KimHG #multi #named #simulation #transaction
CATS: cycle accurate transaction-driven simulation with multiple processor simulators (DK, SH, RG), pp. 749–754.
DATEDATE-2007-KrauseBHTR #component #simulation
Timing simulation of interconnected AUTOSAR software-components (MK, OB, AH, GT, WR), pp. 474–479.
DATEDATE-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.
DATEDATE-2007-NaguibG #process #simulation
Speeding up SystemC simulation through process splitting (YNN, RSG), pp. 111–116.
DATEDATE-2007-PatelS #abstraction
Tackling an abstraction gap: co-simulating SystemC DE with bluespec ESL (HDP, SKS), pp. 279–284.
DATEDATE-2007-SchneiderSKW #interactive #simulation #statistics
Interactive presentation: Statistical simulation of high-frequency bipolar circuits (WS, MS, WK, HW), pp. 1397–1402.
DATEDATE-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.
CSEETCSEET-2007-NavarroH #education #evaluation #re-engineering #simulation
Comprehensive Evaluation of an Educational Software Engineering Simulation Environment (EON, AvdH), pp. 195–202.
ESOPESOP-2007-HasuoK #algebra #probability #simulation
Probabilistic Anonymity Via Coalgebraic Simulations (IH, YK), pp. 379–394.
FASEFASE-2007-SilvaM #formal method
A Simulation-Oriented Formalization for a Psychological Theory (PSdS, ACVdM), pp. 42–56.
TACASTACAS-2007-ZhangHEJ #algorithm #performance #probability #simulation
Flow Faster: Efficient Decision Algorithms for Probabilistic Simulations (LZ, HH, FE, DNJ), pp. 155–169.
ICALPICALP-2007-LuttgenV #concurrent #exclamation #logic #simulation
Ready Simulation for Concurrency: It’s Logical! (GL, WV), pp. 752–763.
LATALATA-2007-AblayevG #branch #complexity #quantum #simulation #source code
Classical Simulation Complexity of Quantum Branching Programs (FMA, AG), pp. 49–56.
IFMIFM-2007-VerhoefVHB #distributed #embedded #realtime
Co-simulation of Distributed Embedded Real-Time Control Systems (MV, PV, JH, JFB), pp. 639–658.
AGTIVEAGTIVE-2007-ErmelE #analysis #configuration management #simulation #visualisation
Visualization, Simulation and Analysis of Reconfigurable Systems (CE, KE), pp. 265–280.
AGTIVEAGTIVE-2007-FussT #algorithm #graph transformation #model transformation #simulation
Simulating Set-Valued Transformations with Algorithmic Graph Transformation Languages (CF, VET), pp. 442–455.
GT-VMTGT-VMT-2007-BonevaHKR #graph transformation #multi #simulation #using
Simulating Multigraph Transformations Using Simple Graphs (IB, FH, HK, AR).
HCIDHM-2007-AndreoniRP #simulation
Simulation of Complex Human Movement Through the Modulation of Observed Motor Tasks (GA, MR, AP), pp. 3–12.
HCIDHM-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.
HCIDHM-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.
HCIDHM-2007-ColomboFRR #design #simulation
ICT Methodologies to Model and Simulate Parts of Human Body for Prosthesis Design (GC, SF, PR, CR), pp. 559–568.
HCIDHM-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.
HCIDHM-2007-DongWY #research #simulation
Experimental Research on Human Body Motion Simulation Based on the Motion Capture Technology (DD, LW, XY), pp. 42–47.
HCIDHM-2007-GuoL #simulation
Hand Grasping Motion Simulation for Astronauts Training (QG, YL), pp. 101–109.
HCIDHM-2007-Kim07b #modelling #research #simulation
Computer Graphic Modeling and Simulation of Human Musculoskeletal System for Biomechanical Research (YHK), pp. 136–143.
HCIDHM-2007-LiuLC #framework #named #simulation
AIPlayer: A Platform of Intelligent Simulation of Virtual Human in Virtual Environment (JL, YL, JC), pp. 434–442.
HCIDHM-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.
HCIDHM-2007-Ma #development #simulation
Latest Development of an Interventional Radiology Training Simulation System: NeuroCath (XM), pp. 684–693.
HCIDHM-2007-MaglaverasC #simulation
Methodologies to Evaluate Simulations of Cardiac Tissue Abnormalities at a Cellular Level (NM, IC), pp. 694–702.
HCIDHM-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.
HCIDHM-2007-WuHCLWW #modelling #research #simulation
Research on Modeling of Complicate Traffic Simulation System (JW, LH, JC, ML, DW, MW), pp. 1037–1046.
HCIDHM-2007-ZhengLODK #corpus #simulation
Human Motion Simulation and Action Corpus (GZ, WL, PO, LD, IK), pp. 314–322.
HCIHCI-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.
HCIHCI-IPT-2007-ChenC #using
Using Agent Technology to Study Human Action and Perception Through a Virtual Street Simulator (CHC, MLC), pp. 560–568.
HCIHCI-IPT-2007-HuangPX #design
AGV Simulator and Implementer Design (QH, TP, WX), pp. 818–826.
HCIHCI-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.
HCIHCI-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.
HCIHIMI-IIE-2007-SorensenR #automation
Simulation-Based Automated Intelligent Tutoring (BS, SR), pp. 466–474.
HCIHIMI-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.
AdaSIGAda-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.
ICEISICEIS-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.
ICEISICEIS-J-2007-Barjis07a #modelling #process #simulation #using
A Business Process Modeling and Simulation Method Using DEMO (JB), pp. 254–265.
ICEISICEIS-SAIC-2007-ChenC #bottom-up #detection #difference #process
A Simulation-Based Difference Detection Technique for Bottom-Up Process Reconciliation (XC, PWHC), pp. 72–77.
SIGIRSIGIR-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.
SACSAC-2007-FurtadoMCM #modelling #network #simulation #social
A crime simulation model based on social networks and swarm intelligence (VF, AM, ALVC, RM), pp. 56–57.
SACSAC-2007-QuZGC #framework #named
Unichos: a full system simulator for thin client platform (NQ, YZ, XG, XC), pp. 1552–1556.
HPDCHPDC-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.
PPoPPPPoPP-2007-WenWM #distributed #named #network #scalability #simulation
Disens: scalable distributed sensor network simulation (YW, RW, GM), pp. 24–34.
CAVCAV-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.
LICSLICS-2007-RanzatoT #algorithm #equivalence #performance #simulation
A New Efficient Simulation Equivalence Algorithm (FR, FT), pp. 171–180.
CASECASE-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.
CASECASE-2006-ChenYY #algorithm #simulation
Backward-traversing Waveform Relaxation Algorithm for Circuit Simulation and Simulation on Demand (CJC, JLY, TNY), pp. 134–139.
CASECASE-2006-CuiLZ #design #simulation
Design and Simulation of a Piezoelectrically Actuated Micropump for the Drug Delivery System (QC, CL, XFZ), pp. 45–50.
CASECASE-2006-LiuW #multi #simulation
Haptic Simulation of Multibody Contact Dynamics for Fixture Loading Planning (TL, MYW), pp. 304–309.
CASECASE-2006-RecaldeMS #analysis #petri net #simulation
Improving analysis and simulation of continuous Petri Nets (LR, CM, MS), pp. 9–14.
CASECASE-2006-ZhangA #functional #simulation
Tremor Suppression of Elbow Joint via Functional Electrical Stimulation: A Simulation Study (DZ, WTA), pp. 182–187.
CASECASE-2006-ZhangC #framework #simulation
A Simulation Framework for Cell Manipulation (LZ, JC), pp. 27–32.
DACDAC-2006-GoraiBBTM #protocol #verification
Directed-simulation assisted formal verification of serial protocol and bridge (SG, SB, LB, PT, RSM), pp. 731–736.
DACDAC-2006-HsuRKPB #data flow #graph #performance #simulation
Efficient simulation of critical synchronous dataflow graphs (CJH, SR, MYK, JLP, SSB), pp. 893–898.
DACDAC-2006-NanshiS #simulation
Guiding simulation with increasingly refined abstract traces (KN, FS), pp. 737–742.
DACDAC-2006-ShiMYH #simulation
Circuit simulation based obstacle-aware Steiner routing (YS, PM, HY, LH), pp. 385–388.
DACDAC-2006-YuL #modelling #simulation #statistics
Lookup table based simulation and statistical modeling of Sigma-Delta ADCs (GY, PL), pp. 1035–1040.
DACDAC-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.
DATEDATE-2006-BeltrameSSLP #simulation
Exploiting TLM and object introspection for system-level simulation (GB, DS, CS, DL, CP), pp. 100–105.
DATEDATE-2006-DErricoQ #approach
Constructing portable compiled instruction-set simulators: an ADL-driven approach (JD, WQ), pp. 112–117.
DATEDATE-2006-FeySVD #on the #satisfiability
On the relation between simulation-based and SAT-based diagnosis (GF, SS, AGV, RD), pp. 1139–1144.
DATEDATE-2006-KimHG #execution #parallel #using
Parallel co-simulation using virtual synchronization with redundant host execution (DK, SH, RG), pp. 1151–1156.
DATEDATE-2006-KunzliPBT #analysis #formal method #performance #simulation
Combining simulation and formal methods for system-level performance analysis (SK, FP, LB, LT), pp. 236–241.
DATEDATE-2006-Maurer #simulation #symmetry #using
Using conjugate symmetries to enhance gate-level simulations (PMM), pp. 638–643.
DATEDATE-2006-MohantyVK #optimisation
Physical-aware simulated annealing optimization of gate leakage in nanoscale datapath circuits (SPM, RV, EK), pp. 1191–1196.
DATEDATE-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.
DATEDATE-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.
DATEDATE-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.
DATEDATE-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.
DATEDATE-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.
DATEDATE-2006-YangCBHS #communication #framework #integration
Communication and co-simulation infrastructure for heterogeneous system integration (GY, XC, FB, HH, ALSV), pp. 462–467.
DATEDATE-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.
DATEDATE-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.
DATEDATE-DF-2006-NogueraBSA #case study #industrial
Software-friendly HW/SW co-simulation: an industrial case study (JN, LB, NS, LA), pp. 100–105.
ITiCSEITiCSE-2006-HoodH #education #project management #simulation #using
Teaching software project management using simulations (DJH, CSH), pp. 289–293.
ITiCSEITiCSE-2006-IbbettCD #architecture #modelling #simulation
Computer architecture simulation models (RNI, JCDyC, DAWD), p. 353.
FASEFASE-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.
FoSSaCSFoSSaCS-2006-ChenFN #finite #infinity #on the #simulation
On Finite Alphabets and Infinite Bases II: Completed and Ready Simulation (TC, WF, SN), pp. 1–15.
TACASTACAS-2006-SokolskyKL #graph #similarity
Simulation-Based Graph Similarity (OS, SK, IL), pp. 426–440.
PEPMPEPM-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.
PEPMPEPM-2006-Edwards #fixpoint #simulation #using
Using program specialization to speed SystemC fixed-point simulation (SAE), pp. 21–28.
DLTDLT-2006-FritzW #automaton #game studies #simulation
Simulation Relations for Alternating Parity Automata and Parity Games (CF, TW), pp. 59–70.
SFMSFM-2006-BombieriFP #design #hardware #simulation #verification
Hardware Design and Simulation for Verification (NB, FF, GP), pp. 1–29.
CHICHI-2006-Moher #distributed #embedded #learning #simulation
Embedded phenomena: supporting science learning with classroom-sized distributed simulations (TM), pp. 691–700.
AdaSIGAda-2006-ShindiC #benchmark #metric #performance
Evaluate the performance changes of processor simulator benchmarks When context switches are incorporated (RSS, SC), pp. 9–14.
ICEISICEIS-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.
ICEISICEIS-HCI-2006-CostagliolaMF #simulation
A Simulation Environment to Evaluate Driver Performances while Interacting with Telematics Systems (GC, SDM, FF), pp. 3–10.
ICEISICEIS-J-2006-CostagliolaMF06a #simulation
A Simulation Environment to Assess Driving Performances while Interacting with On-board Telematics Systems (GC, SDM, FF), pp. 439–451.
ECIRECIR-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.
ICPRICPR-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.
ICPRICPR-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.
ICPRICPR-v3-2006-SuSDW #multimodal #recognition
A Multimodal and Multistage Face Recognition Method for Simulated Portrait (GS, YS, CD, JW), pp. 1013–1017.
ICPRICPR-v3-2006-WangSSL #recognition #simulation
Age simulation for face recognition (JW, YS, GS, XL), pp. 913–916.
ICPRICPR-v3-2006-ZouariHL #comparison #using
Experimental Comparison of Combination Rules using Simulated Data (HZ, LH, YL), pp. 152–155.
SEKESEKE-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.
SEKESEKE-2006-SteinmacherLH #analysis #process #simulation #using #workflow
Task Anticipation: A Quantitative Analysis Using Workflow Process Simulation (IS, JVdL, EHMH), pp. 601–606.
SACSAC-2006-CasallasVAL #enterprise #execution #modelling #named #simulation
xEAI-rules: executable models to simulate enterprise application cooperation (RC, MV, CA, NL), pp. 1308–1309.
SACSAC-2006-RodriguesSBRN #named #open source
J-Ortho: an open-source orthodontic treatment simulator (MAFR, WBS, RGB, IMMPR, MEBN), pp. 245–249.
FSEFSE-2006-RutherfordCW #distributed #test coverage #testing
Simulation-based test adequacy criteria for distributed systems (MJR, AC, ALW), pp. 231–241.
HPCAHPCA-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.
HPDCHPDC-2006-LegrandQCF #deployment #distributed #simulation
The SIMGRID Project Simulation and Deployment of Distributed Applications (AL, MQ, HC, KF), pp. 385–386.
PPoPPPPoPP-2006-AlamVAG #performance #simulation
Performance characterization of molecular dynamics techniques for biomolecular simulations (SRA, JSV, PKA, AG), pp. 59–68.
CAVCAV-2006-PaulaH #flexibility #framework #named #simulation
EverLost: A Flexible Platform for Industrial-Strength Abstraction-Guided Simulation (FMdP, AJH), pp. 282–285.
CSLCSL-2006-Srba #automaton #bisimulation #equivalence #simulation
Visibly Pushdown Automata: From Language Equivalence to Simulation and Bisimulation (JS), pp. 89–103.
IJCARIJCAR-2006-BenzmullerBK #logic
Cut-Simulation in Impredicative Logics (CB, CEB, MK), pp. 220–234.
CBSECBSE-2005-DiazGRRST #kernel
A CCA-compliant Nuclear Power Plant Simulator Kernel (MD, DG, SR, BR, ES, JMT), pp. 283–297.
CASECASE-2005-WangLWK #architecture #distributed #simulation #using
Collision resolution simulation for distributed control architectures using LonWorks (MW, EL, EW, MK), pp. 319–326.
DACDAC-2005-ChenDHSW #analysis #concurrent #design #simulation
Simulation based deadlock analysis for system level designs (XC, AD, HH, ALSV, YW), pp. 260–265.
DACDAC-2005-EguroHS #adaptation #architecture
Architecture-adaptive range limit windowing for simulated annealing FPGA placement (KE, SH, AS), pp. 439–444.
DACDAC-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.
DACDAC-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.
DACDAC-2005-MitraYP #named #performance #simulation #using
RADAR: RET-aware detailed routing using fast lithography simulations (JM, PY, DZP), pp. 369–372.
DACDAC-2005-MuttrejaRRJ #embedded #energy #estimation #hybrid #simulation
Hybrid simulation for embedded software energy estimation (AM, AR, SR, NKJ), pp. 23–26.
DACDAC-2005-TiriV #modelling #simulation
Simulation models for side-channel information leaks (KT, IV), pp. 228–233.
DACDAC-2005-Vasudevan #simulation
Simulation of the effects of timing jitter in track-and-hold and sample-and-hold circuits (VV), pp. 397–402.
DATEDATE-2005-FummiLMMPP #hardware #prototype
Virtual Hardware Prototyping through Timed Hardware-Software Co-Simulation (FF, ML, SM, MM, GP, MP), pp. 798–803.
DATEDATE-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.
DATEDATE-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.
DATEDATE-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.
DATEDATE-2005-LiS #performance #simulation
An Efficiently Preconditioned GMRES Method for Fast Parasitic-Sensitive Deep-Submicron VLSI Circuit Simulation (ZL, CJRS), pp. 752–757.
DATEDATE-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.
DATEDATE-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.
DATEDATE-2005-RaabeBAZ #architecture #detection #hardware #simulation
Hardware Accelerated Collision Detection — An Architecture and Simulation Results (AR, BB, JKA, GZ), pp. 130–135.
DATEDATE-2005-ReshadiD #generative #modelling #performance #pipes and filters
Generic Pipelined Processor Modeling and High Performance Cycle-Accurate Simulator Generation (MR, NDD), pp. 786–791.
DATEDATE-2005-SchnerrBR #agile #prototype #simulation
Cycle Accurate Binary Translation for Simulation Acceleration in Rapid Prototyping of SoCs (JS, OB, WR), pp. 792–797.
DATEDATE-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.
DATEDATE-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.
DATEDATE-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.
CSEETCSEET-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.
ITiCSEITiCSE-2005-MedeirosDGM #programming #using
Using a PC simulator to illustrate input-output programming techniques (PDM, VD, MCG, RFM), p. 388.
ITiCSEITiCSE-2005-MendesGEMBR #collaboration #simulation #using
Using simulation and collaboration in CS1 and CS2 (AJM, AJG, ME, MJM, CB, MAR), pp. 193–197.
ITiCSEITiCSE-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.
TACASTACAS-2005-AbdullaLdR #transducer
Simulation-Based Iteration of Tree Transducers (PAA, AL, Jd, AR), pp. 30–44.
PASTEPASTE-2005-HampapuramYD #analysis #data flow #simulation
Symbolic path simulation in path-sensitive dataflow analysis (HH, YY, MD), pp. 52–58.
STOCSTOC-2005-BarakKSSW #graph #independence #simulation
Simulating independence: new constructions of condensers, ramsey graphs, dispersers, and extractors (BB, GK, RS, BS, AW), pp. 1–10.
CIAACIAA-2005-AnselmoM #2d #automaton #queue #simulation
Simulating Two-Dimensional Recognizability by Pushdown and Queue Automata (MA, MM), pp. 43–53.
CIAACIAA-2005-Kresz #simulation
Simulation of Soliton Circuits (MK), pp. 347–348.
ICALPICALP-2005-Wegener #combinator #optimisation
Simulated Annealing Beats Metropolis in Combinatorial Optimization (IW), pp. 589–601.
CHICHI-2005-AragonH #safety #simulation #visualisation
Improving aviation safety with information visualization: a flight simulation study (CRA, MAH), pp. 441–450.
CHICHI-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.
ICEISICEIS-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 (, LH), pp. 220–225.
ICEISICEIS-v3-2005-Gonzalez #distributed #simulation
Model Sharing in the Simulation and Control of Distributed Discrete-Event Systems (FG), pp. 144–151.
ICEISICEIS-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.
KDDKDD-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.
MLDMMLDM-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.
MLDMMLDM-2005-KuhlmannVLT #data mining #mining #simulation
Data Mining on Crash Simulation Data (AK, RMV, CL, CAT), pp. 558–569.
MODELSMoDELS-2005-ZiaMVK #approach #design #modelling #simulation
A Modelling and Simulation Based Approach to Dependable System Design (MZ, SM, HV, JK), pp. 217–231.
MODELSMoDELS-2005-ZiaMVK #approach #design #modelling #simulation
A Modelling and Simulation Based Approach to Dependable System Design (MZ, SM, HV, JK), pp. 217–231.
SACSAC-2005-Moloney #distributed #network #pervasive #recommendation #simulation
Simulation of a distributed recommendation system for pervasive networks (SM), pp. 1577–1581.
SACSAC-2005-TayJ #adaptation #framework #named #simulation
CAFISS: a complex adaptive framework for immune system simulation (JCT, AJ), pp. 158–164.
HPCAHPCA-2005-YiKSLH #simulation
Characterizing and Comparing Prevailing Simulation Techniques (JJY, SVK, RS, DJL, DMH), pp. 266–277.
HPDCHPDC-2005-WozniakBTSI #grid #simulation
Generosity and gluttony in GEMS: grid enabled molecular simulations (JMW, PB, DT, AS, JAI), pp. 191–200.
AMOSTAMOST-2005-McGuinnessM #multi #simulation
A simulation model of a multi-server EJB system (DM, LM).
CADECADE-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.
CAVCAV-2005-ChakiCST #automation #consistency #reasoning #simulation
Automated Assume-Guarantee Reasoning for Simulation Conformance (SC, EMC, NS, PT), pp. 534–547.
CAVCAV-2005-Kaivola #component #induction #invariant #simulation #verification
Formal Verification of Pentium® 4 Components with Symbolic Simulation and Inductive Invariants (RK), pp. 170–184.
FATESFATES-2005-BlomIPRS #testing
Simulated Time for Testing Railway Interlockings with TTCN-3 (SB, NI, JvdP, AR, NS), pp. 1–15.
ICSTSAT-2005-HirschN #proving #simulation #strict
Simulating Cutting Plane Proofs with Restricted Degree of Falsity by Resolution (EAH, SIN), pp. 135–142.
ASEASE-2004-GuoH #mobile #modelling #simulation
Modeling and Simulation of Context-Aware Mobile Systems (PG, RH), pp. 430–433.
DACDAC-2004-ChauhanCK #algorithm #satisfiability #simulation
A SAT-based algorithm for reparameterization in symbolic simulation (PC, EMC, DK), pp. 524–529.
DACDAC-2004-KapurL #scalability #simulation
Large-scale full-wave simulation (SK, DEL), pp. 806–809.
DACDAC-2004-KimYKK #functional #hardware #performance #simulation
Communication-efficient hardware acceleration for fast functional simulation (YIK, WSY, YSK, CMK), pp. 293–298.
DACDAC-2004-LeeDBABM #architecture #simulation
Circuit-aware architectural simulation (SL, SD, VB, TMA, DB, TNM), pp. 305–310.
DACDAC-2004-LiXLGP #approach #simulation
A frequency relaxation approach for analog/RF system-level simulation (XL, YX, PL, PG, LTP), pp. 842–847.
DACDAC-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.
DACDAC-2004-PieperMPTK #multi #simulation
High level cache simulation for heterogeneous multiprocessors (JJP, AM, JMP, DET, FK), pp. 287–292.
DACDAC-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.
DATEDATE-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.
DATEDATE-DF-2004-CoppolaCGMP #framework #modelling #named #simulation
OCCN: A Network-On-Chip Modeling and Simulation Framework (MC, SC, MDG, GM, FP), pp. 174–179.
DATEDATE-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.
DATEDATE-DF-2004-FummiMPPRT #embedded
Heterogeneous Co-Simulation of Networked Embedded Systems (FF, SM, GP, MP, FR, MT), pp. 168–173.
DATEDATE-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.
DATEDATE-DF-2004-MoignePC #realtime #simulation
A Generic RTOS Model for Real-time Systems Simulation with SystemC (RLM, OP, JPC), pp. 82–87.
DATEDATE-v1-2004-AboushadyLBL #automation #simulation #synthesis
Automatic Synthesis and Simulation of Continuous-Time [Sigma-Delta] Modulators (HA, LdL, NB, MML), pp. 674–675.
DATEDATE-v1-2004-BrandtnerW #named #simulation
SubCALM: A Program for Hierarchical Substrate Coupling Simulation on Floorplan Level (TB, RW), pp. 616–621.
DATEDATE-v1-2004-FengWCL #clustering #simulation
Improved Symoblic Simulation by Dynamic Funtional Space Partitioning (TF, LCW, KTC, CCL), pp. 42–49.
DATEDATE-v1-2004-FummiMPP #integration #multi
Native ISS-SystemC Integration for the Co-Simulation of Multi-Processor SoC (FF, SM, GP, MP), pp. 564–569.
DATEDATE-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.
DATEDATE-v1-2004-TanQL #modelling #scalability #simulation
Hierarchical Modeling and Simulation of Large Analog Circuits (SXDT, ZQ, HL), pp. 740–741.
DATEDATE-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.
DATEDATE-v1-2004-Wang #learning #simulation #validation
Regression Simulation: Applying Path-Based Learning In Delay Test and Post-Silicon Validation (LCW), pp. 692–695.
DATEDATE-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.
DATEDATE-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.
DATEDATE-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.
DATEDATE-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.
DATEDATE-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.
DATEDATE-v2-2004-ViamontesMH #quantum #simulation
High-Performance QuIDD-Based Simulation of Quantum Circuits (GFV, ILM, JPH), pp. 1354–1355.
DATEDATE-v2-2004-WanS #compilation #multi #simulation
Hierarchical Multi-Dimensional Table Lookup for Model Compiler Based Circuit Simulation (BW, CJRS), pp. 1310–1315.
ITiCSEITiCSE-2004-Harms #artificial reality
A virtual reality simulator of the ENIAC (DEH), p. 239.
ITiCSEITiCSE-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.
TACASTACAS-2004-LindseyP #verification
Simulation-Based Verification of Autonomous Controllers via Livingstone PathFinder (AEL, CP), pp. 357–371.
ICSMEICSM-2004-WernickH #evolution #programming #using
The Impact of Using Pair Programming on System Evolution: A Simulation-Based Study (PW, TH), pp. 422–426.
CIAACIAA-2004-Cojocaru #assembly #process #simulation
Simulating the Process of Gene Assembly in Ciliates (LC), pp. 308–309.
CHICHI-2004-LinAL #effectiveness
Virtual guiding avatar: an effective procedure to reduce simulator sickness in virtual environments (JJWL, HAR, ML), pp. 719–726.
CSCWCSCW-2004-BosSOCN #distributed #simulation
In-group/out-group effects in distributed teams: an experimental simulation (NB, NSS, JSO, AC, NN), pp. 429–436.
ICEISICEIS-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.
ICEISICEIS-v3-2004-MontanerLR #evaluation #recommendation
Evaluation of Recommender Systems Through Simulated Users (MM, BL, JLdlR), pp. 303–308.
ICEISICEIS-v4-2004-TingD #network #peer-to-peer #simulation
Peer-to-Peer Network Simulation (NST, RD), pp. 84–91.
ECIRECIR-2004-WhiteJRR #feedback #modelling
A Simulated Study of Implicit Feedback Models (RWW, JMJ, CJvR, IR), pp. 311–326.
ICPRICPR-v1-2004-ZouariHLA #classification #performance #simulation
Simulating Classifier Ensembles of Fixed Diversity for Studying Plurality Voting Performance (HZ, LH, YL, AMA), pp. 232–235.
SEKESEKE-2004-DantasBW #game studies #learning #project management
A Simulation-Based Game for Project Management Experiential Learning (ARD, MdOB, CMLW), pp. 19–24.
SEKESEKE-2004-HuS #diagrams #petri net #simulation #uml
Mapping UML Diagrams to a Petri Net Notation for System Simulation (ZH, SMS), pp. 213–219.
PADLPADL-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.
SACSAC-2004-AntoniouVPHJ #generative #network #simulation
A discrete event based simulation environment for enhanced UMTS 3rd generation networks (JA, VV, AP, GH, NJ), pp. 369–370.
SACSAC-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.
ICSEICSE-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.
LCTESLCTES-2004-ContrerasMPJL #named
XTREM: a power simulator for the Intel XScale® core (GC, MM, JP, RJ, GYL), pp. 115–125.
LCTESLCTES-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.
LCTESLCTES-2004-MartinJESN #modelling #simulation
Modeling and simulating electronic textile applications (TM, MTJ, JE, TS, ZN), pp. 10–19.
LCTESLCTES-2004-PatilSM #composition #simulation
Compositional static instruction cache simulation (KP, KS, FM), pp. 136–145.
LCTESLCTES-2004-WillmannBP #architecture #interface #named #network #programmable
Spinach: a liberty-based simulator for programmable network interface architectures (PW, MB, VSP), pp. 20–29.
CAVCAV-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.
CAVCAV-2004-ImmermanRRSY #simulation #verification
Verification via Structure Simulation (NI, AMR, TWR, SS, GY), pp. 281–294.
ICLPICLP-2004-PaluDF #simulation
Protein Folding Simulation in CCP (ADP, AD, FF), pp. 452–453.
ASEASE-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.
DACDAC-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.
DACDAC-2003-MongZ #architecture
A retargetable micro-architecture simulator (WSM, JZ), pp. 752–757.
DACDAC-2003-PenryA #component #optimisation #reuse
Optimizations for a simulator construction system supporting reusable components (DAP, DIA), pp. 926–931.
DACDAC-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.
DACDAC-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.
DACDAC-2003-Schubert03a #challenge #distributed #functional #industrial #scalability #simulation
Improvements in functional simulation addressing challenges in large, distributed industry projects (KDS), pp. 11–14.
DACDAC-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.
DATEDATE-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.
DATEDATE-2003-BombanaB #synthesis
SystemC-VHDL Co-Simulation and Synthesis in the HW Domain (MB, FB), pp. 20101–20105.
DATEDATE-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.
DATEDATE-2003-ChenHBW #automation #constraints #generative #monitoring #simulation
Automatic Generation of Simulation Monitors from Quantitative Constraint Formula (XC, HH, FB, YW), pp. 11174–11175.
DATEDATE-2003-ChoiB #migration #network #using
Hierarchical Global Floorplacement Using Simulated Annealing and Network Flow Area Migration (WC, KB), pp. 11104–11105.
DATEDATE-2003-DebOJ #analysis #embedded #simulation #using
Simulation and Analysis of Embedded DSP Systems Using MASIC Methodology (AKD, , AJ), pp. 11100–11101.
DATEDATE-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.
DATEDATE-2003-GerlingSSMT #multi #simulation
Improved Time Domain Simulation of Optical Multimode Intrasystem Interconnects (JG, OS, JS, GM, JT), pp. 11110–11111.
DATEDATE-2003-GouraryRUZGM #approach #approximate
Approximation Approach for Timing Jitter Characterization in Circuit Simulators (MMG, SGR, SLU, MMZ, KKG, BJM), pp. 10156–10161.
DATEDATE-2003-GouraryRUZM #analysis #simulation
A New Simulation Technique for Periodic Small-Signal Analysis (MMG, SGR, SLU, MMZ, BJM), pp. 10244–10249.
DATEDATE-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.
DATEDATE-2003-Grivet-TalociaSMC #megamodelling #simulation
Combined FDTD/Macromodel Simulation of Interconnected Digital Devices (SGT, ISS, IAM, FGC), pp. 10536–10541.
DATEDATE-2003-KinP #data flow #parallel #simulation #thread
Multithreaded Synchronous Data Flow Simulation (JSK, JLP), pp. 11094–11095.
DATEDATE-2003-KnochelMHKA #simulation #verification
Verification of the RF Subsystem within Wireless LAN System Level Simulation (UK, TM, JH, RK, RA), pp. 20286–20291.
DATEDATE-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.
DATEDATE-2003-PastorP #concurrent #simulation #traversal #verification
Combining Simulation and Guided Traversal for the Verification of Concurrent Systems (EP, MAP), pp. 11158–11159.
DATEDATE-2003-QinM #flexibility #formal method #modelling #simulation
Flexible and Formal Modeling of Microprocessors with Application to Retargetable Simulation (WQ, SM), pp. 10556–10561.
DATEDATE-2003-RenczSP #algorithm #layout #performance #simulation
A Fast Algorithm for the Layout Based Electro-Thermal Simulation (MR, VS, AP), pp. 11032–11037.
DATEDATE-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.
DATEDATE-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.
ICDARICDAR-2003-ZouariHLA #classification #parallel
A New Classifier Simulator for Evaluating Parallel Combination Methods (HZ, LH, YL, AMA), pp. 26–30.
VLDBVLDB-2003-Ramanan #bisimulation #query #simulation #xml
Covering Indexes for XML Queries: Bisimulation — Simulation = Negation (PR), pp. 165–176.
ITiCSEITiCSE-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.
CIAACIAA-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.
ICALPICALP-2003-BlomFN #axiom #on the #simulation
On the Axiomatizability of Ready Traces, Ready Simulation, and Failure Traces (SB, WF, SN), pp. 109–118.
AGTIVEAGTIVE-2003-Rensink #generative
The GROOVE Simulator: A Tool for State Space Generation (AR), pp. 479–485.
CHICHI-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.
CAiSECAiSE-2003-GansJLS #modelling #network #simulation
Deliberation in a Modeling and Simulation Environment for Inter-organizational Networks (GG, MJ, GL, DS), pp. 242–257.
ICEISICEIS-v2-2003-NetoCMG #analysis #network #simulation #using
Simulating Data Envelopment Analysis Using Neural Networks (LBN, PHGC, JCCBSdM, EGG), pp. 244–249.
ICEISICEIS-v2-2003-OkuharaSMIN
Application of Group Method of Data Handling to Virtual Environment Simulator (KO, WS, YM, HI, TN), pp. 545–548.
ICEISICEIS-v3-2003-ColleSE #experience #framework
A Framework for Business Simulator: A First Experience (FC, KS, PE), pp. 540–543.
ICEISICEIS-v4-2003-PhillipsH #mobile #performance #simulation
Simulation Study of TCP Performance Over Mobile IPV4 and Mobile IPV6 (DP, JH), pp. 224–231.
CIKMCIKM-2003-BaldwinAC #modelling #multi #scalability #simulation
Multi-resolution modeling of large scale scientific simulation data (CB, GA, TC), pp. 40–48.
KDDKDD-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.
SEKESEKE-2003-LavazzaO #modelling #uml #verification
Simulation-based Verification of UML models (LL, GO), pp. 314–321.
SACSAC-2003-BettigSJB #internet #simulation
Dynamic Solver Selection for an Internet Simulation Backbone (BPB, CS, ARJ, KB), pp. 153–160.
SACSAC-2003-PascucciLFGSLH #monitoring #realtime #scalability #simulation
Real-Time Monitoring of Large Scientific Simulations (VP, DEL, RJF, FG, GS, LL, BH), pp. 194–198.
SACSAC-2003-Stevens #simulation
Terascale Simulation of Cumulus Convection on ASCI WHITE (DS), pp. 207–211.
ESEC-FSEESEC-FSE-2003-BalsamoM #approach #modelling #performance
A simulation-based approach to software performance modeling (SB, MM), pp. 363–366.
ICSEICSE-2003-Padberg #process #scheduling
A Software Process Scheduling Simulator (FP), pp. 816–817.
HPCAHPCA-2003-AlameldeenW #architecture #concurrent #multi #simulation #thread #variability
Variability in Architectural Simulations of Multi-Threaded Workloads (ARA, DAW), pp. 7–18.
HPCAHPCA-2003-YiLH #approach #simulation #statistics
A Statistically Rigorous Approach for Improving Simulation Methodology (JJY, DJL, DMH), pp. 281–291.
HPDCHPDC-2003-BucurE #clustering #multi #policy #simulation
Trace-Based Simulations of Processor Co-Allocation Policies in Multiclusters (AIDB, DHJE), pp. 70–79.
CAVCAV-2003-KestenPP #simulation
Bridging the Gap between Fair Simulation and Trace Inclusion (YK, NP, AP), pp. 381–393.
ICLPICLP-2003-Musumbu #security #simulation
Simulating Security Systems Based on Logigrams (KM), pp. 498–499.
RTARTA-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.
VMCAIVMCAI-2003-WinEGKL #algorithm #distributed #execution #using #verification
Using Simulated Execution in Verifying Distributed Algorithms (TNW, MDE, SJG, DKK, NAL), pp. 283–297.
ASEASE-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–?.
DACDAC-2002-BertaccoO #performance #representation #simulation
Efficient state representation for symbolic simulation (VB, KO), pp. 99–104.
DACDAC-2002-CadambiMA #functional #hardware #performance #scalability #simulation
A fast, inexpensive and scalable hardware acceleration technique for functional simulation (SC, CM, PA), pp. 570–575.
DACDAC-2002-ChenMB #configuration management #generative
A reconfigurable FPGA-based readback signal generator for hard-drive read channel simulator (JC, JM, KB), pp. 349–354.
DACDAC-2002-JiangB #logic #simulation #specification #synthesis #using
Software synthesis from synchronous specifications using logic simulation techniques (YJ, RKB), pp. 319–324.
DACDAC-2002-KolblKAD #simulation
Handling special constructs in symbolic simulation (AK, JHK, KA, RFD), pp. 105–110.
DACDAC-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.
DACDAC-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.
DACDAC-2002-Perrott #behaviour #performance #simulation
Fast and accurate behavioral simulation of fractional-N frequency synthesizers and other PLL/DLL circuits (MHP), pp. 498–503.
DACDAC-2002-ShengTH #effectiveness #safety #using
Effective safety property checking using simulation-based sequential ATPG (SS, KT, MSH), pp. 813–818.
DACDAC-2002-ShimizuD #generative #metric #simulation #specification
Deriving a simulation input generator and a coverage metric from a formal specification (KS, DLD), pp. 801–806.
DACDAC-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.
DATEDATE-2002-AcarNP #framework #parametricity #simulation
A Linear-Centric Simulation Framework for Parametric Fluctuations (EA, SRN, LTP), pp. 568–575.
DATEDATE-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.
DATEDATE-2002-BruschiCFS #design #fault #simulation
Error Simulation Based on the SystemC Design Description Language (FB, MC, FF, DS), p. 1135.
DATEDATE-2002-FranckenVMG #named #simulation
DAISY-CT: A High-Level Simulation Tool for Continuous-Time Delta Sigma Modulators (KF, MV, EM, GGEG), p. 1110.
DATEDATE-2002-Hering #parallel #simulation
A Parallel LCC Simulation System (KH), p. 1134.
DATEDATE-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.
DATEDATE-2002-ThielenV #performance #simulation
Fast Method to Include Parasitic Coupling in Circuit Simulations (BLAVT, GAEV), pp. 1033–1037.
DATEDATE-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.
ITiCSEITiCSE-2002-Ibbett #architecture #simulation #visualisation
WWW visualisation of computer architecture simulations (RNI), p. 247.
ITiCSEITiCSE-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.
TACASTACAS-2002-BustanG #simulation
Applicability of Fair Simulation (DB, OG), pp. 401–414.
TACASTACAS-2002-GentiliniPP #problem #simulation
Simulation as Coarsest Partition Problem (RG, CP, AP), pp. 415–430.
STOCSTOC-2002-BarakL #polynomial #simulation #strict
Strict polynomial-time in simulation and extraction (BB, YL), pp. 484–493.
CIAACIAA-2002-BrzozowskiG #algebra #simulation
Simulation of Gate Circuits in the Algebra of Transients (JAB, MG), pp. 57–66.
CIAACIAA-2002-Holub #automaton #nondeterminism #programming #simulation
Dynamic Programming — NFA Simulation (JH), pp. 295–300.
ICALPICALP-2002-ImpagliazzoS #axiom #bound #simulation
Bounded-Depth Frege Systems with Counting Axioms Polynomially Simulate Nullstellensatz Refutations (RI, NS), pp. 208–219.
FMFME-2002-CavalcantiN #refinement #simulation
Forward Simulation for Data Refinement of Classes (AC, DAN), pp. 471–490.
AdaSIGAda-2002-Brooke #development #distributed
Development of a distributed, cross-platform simulator (TCB), pp. 12–21.
CAiSECAiSE-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.
ICEISICEIS-2002-LaraA #education #multi #visualisation #web
Hierarchical Visualization in a Simulation-Based Educational Multimedia Web System (JdL, MA), pp. 946–953.
ICPRICPR-v1-2002-YuanL #modelling
Simulated Static Electric Field (SSEF) Snake for Deformable Models (DY, SL), pp. 83–86.
LSOLSO-2002-NeuB #comprehension #learning #process #simulation
Learning and Understanding a Software Process through Simulation of Its Underlying Model (HN, UBK), pp. 81–93.
SEKESEKE-2002-Drori #algorithm #documentation #idea #ranking #simulation
Algorithm for documents ranking: idea and simulation results (OD), pp. 99–102.
SEKESEKE-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.
SACSAC-2002-AlfonsecaL #community #simulation
Simulating evolutionary agent communities with OOCSMP (MA, JdL), pp. 11–15.
SACSAC-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.
SACSAC-2002-Bell #interactive #policy #security #simulation
Interactive simulation of security policies (GB), pp. 247–252.
SACSAC-2002-Eubank #performance #scalability #simulation
Scalable, efficient epidemiological simulation (SE), pp. 139–145.
SACSAC-2002-GoldmanGBJ #behaviour #clustering #simulation
Individual-based simulation of the clustering behaviour of epidermal growth factor receptors (JPG, WJG, DB, CGJ), pp. 127–131.
SACSAC-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.
HPCAHPCA-2002-GrochowskiAT #architecture #power management #simulation
Microarchitectural Simulation and Control of di/dt-induced Power Supply Voltage Variation (EG, DA, VT), pp. 7–16.
HPCAHPCA-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.
LCTESLCTES-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.
CAVCAV-2002-GurumurthyBS #simulation
Fair Simulation Minimization (SG, RB, FS), pp. 610–624.
ICLPICLP-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.
VMCAIVMCAI-2002-TipleaT #abstraction #simulation
A Simulation Preorder for Abstraction of Reactive Systems (FLT, AT), pp. 272–288.
WICSAWICSA-2001-EgyedW #architecture #modelling #statechart
Statechart Simulator for Modeling Architectural Dynamics (AE, DSW), p. 87–?.
DACDAC-2001-KedingCLM #performance #simulation
Fast Bit-True Simulation (HK, MC, OL, HM), pp. 708–713.
DACDAC-2001-KolblKD #simulation
Symbolic RTL Simulation (AK, JHK, RFD), pp. 47–52.
DACDAC-2001-KudlugiHSP #architecture #functional #simulation #transaction #verification
A Transaction-Based Unified Simulation/Emulation Architecture for Functional Verification (MK, SH, CS, DP), pp. 623–628.
DACDAC-2001-McDonaldB #analysis #simulation #using
Computing Logic-Stage Delays Using Circuit Simulation and Symbolic Elmore Analysis (CBM, REB), pp. 283–288.
DACDAC-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.
DACDAC-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.
DATEDATE-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.
DATEDATE-2001-CasavantGLMWA #generative #graph #simulation
Property-specific witness graph generation for guided simulation (AEC, AG, SL, AM, KW, PA), p. 799.
DATEDATE-2001-HeringLM #functional #logic #named #parallel
dibSIM: a parallel functional logic simulator allowing dynamic load balancing (KH, JL, JM), pp. 472–478.
DATEDATE-2001-HoffmanKM #framework #performance
A framework for fast hardware-software co-simulation (AH, TK, HM), pp. 760–765.
DATEDATE-2001-HsiehCP #analysis #simulation
Microprocessor power analysis by labeled simulation (CTH, LC, MP), pp. 182–189.
DATEDATE-2001-NguyenJ #communication #simulation
Simulation method to extract characteristics for digital wireless communication systems (LN, VJ), pp. 176–181.
DATEDATE-2001-QuasemG #fault #simulation
Exact fault simulation for systems on Silicon that protects each core’s intellectual property (MSQ, SKG), p. 804.
DATEDATE-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.
DATEDATE-2001-RufHGKRM #semantics #simulation
The simulation semantics of systemC (JR, DWH, JG, TK, WR, WM), pp. 64–70.
DATEDATE-2001-RufHKR #multi
Simulation-guided property checking based on a multi-valued AR-automata (JR, DWH, TK, WR), pp. 742–748.
DATEDATE-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.
DATEDATE-2001-UbarJP #diagrams #simulation
Timing simulation of digital circuits with binary decision diagrams (RU, AJ, ZP), pp. 460–466.
DATEDATE-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.
DATEDATE-2001-ZolfyMN #adaptation #concurrent #fault #simulation
Adaptation of an event-driven simulation environment to sequentially propagated concurrent fault simulation (MZ, SM, ZN), p. 823.
ITiCSEITiCSE-2001-KorhonenMS #algorithm #animation #concept #matrix #named #simulation
Matrix — concept animation and algorithm simulation system (AK, LM, RS), p. 180.
TACASTACAS-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.
TACASTACAS-2001-TanC #revisited #simulation
Simulation Revisited (LT, RC), pp. 480–495.
CSMRCSMR-2001-PodnarM #analysis #maintenance #process #simulation #using
Software Maintenance Process Analysis Using Discrete-Event Simulation (IP, BM), pp. 192–195.
CSMRCSMR-2001-SilvaLG #evaluation #legacy #migration #performance #simulation
A Simulation Model for the Performance Evaluation When Migrating Legacy Systems (PPdS, AHFL, PBG), pp. 210–215.
PLDIPLDI-2001-SchnarrHL #compilation #named
Facile: A Language and Compiler for High-Performance Processor Simulators (ES, MDH, JRL), pp. 321–331.
STOCSTOC-2001-Valiant #polynomial #quantum
Quantum computers that can be simulated classically in polynomial time (LGV), pp. 114–123.
CIAACIAA-2001-Holub #automaton #nondeterminism #parallel #simulation
Bit Parallelism — NFA Simulation (JH), pp. 149–160.
CIAACIAA-2001-Velinov #automaton #design #modelling #on the
On the Software Design of Cellular Automata Simulators for Ecological Modeling (YV), pp. 261–262.
ICALPICALP-2001-BuhrmanTV #bound #simulation
Time and Space Bounds for Reversible Simulation (HB, JT, PMBV), pp. 1017–1027.
ICALPICALP-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.
FMFME-2001-LaurentMW #simulation #using #verification
Using Formal Verification Techniques to Reduce Simulation and Test Effort (OL, PM, VW), pp. 465–477.
CHICHI-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.
CHICHI-2001-RossonS #education #learning #reuse #simulation
Teachers as simulation programmers: minimalist learning and reuse (MBR, CDS), pp. 237–244.
AdaSIGAda-2001-Gantsou #ada #communication #distributed #multi #network #simulation
Targeting Ada95/DSA for distributed simulation of multiprotocol communication networks (DG), pp. 91–96.
SEKESEKE-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.
SACSAC-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.
SACSAC-2001-Dozier #behaviour #evolution #interactive #simulation
Evolving robot behavior via interactive evolutionary computation: from real-world to simulation (GVD), pp. 340–344.
SACSAC-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.
HPDCHPDC-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.
LCTESLCTES-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.
LCTESLCTES-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.
DACDAC-2000-AttarhaNL #fault #fuzzy #logic #modelling #simulation #using
Modeling and simulation of real defects using fuzzy logic (AA, MN, CL), pp. 631–636.
DACDAC-2000-DwarakanathB #fault #simulation #tuple #using
Universal fault simulation using fault tuples (KND, RDB), pp. 786–789.
DACDAC-2000-FinF #analysis #simulation
A Web-CAD methodology for IP-core analysis and simulation (AF, FF), pp. 597–600.
DACDAC-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.
DACDAC-2000-HamerLBS #framework #simulation
A system simulation framework (PvdH, WPMvdL, PB, NWS), pp. 699–704.
DACDAC-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.
DACDAC-2000-KrishnaswamyCT #fault #simulation
A switch level fault simulation environment (VK, JC, TT), pp. 780–785.
DACDAC-2000-McDonaldB #clustering #scheduling #simulation #using
Symbolic timing simulation using cluster scheduling (CBM, REB), pp. 254–259.
DACDAC-2000-NassifK #grid #performance #power management #simulation
Fast power grid simulation (SRN, JNK), pp. 156–161.
DACDAC-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.
DACDAC-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.
DACDAC-2000-WilsonD #reliability #simulation #using #verification
Reliable verification using symbolic simulation with scalar values (CW, DLD), pp. 124–129.
DACDAC-2000-YangP #multi #performance #simulation
A multi-interval Chebyshev collocation method for efficient high-accuracy RF circuit simulation (BY, JRP), pp. 178–183.
DATEDATE-2000-DalpassoBBF #design #distributed #fault #simulation
Virtual Fault Simulation of Distributed IP-Based Designs (MD, AB, LB, MF), pp. 99–103.
DATEDATE-2000-FinF #fault #functional #generative #testing
A VHDL Error Simulator for Functional Test Generation (AF, FF), pp. 390–395.
DATEDATE-2000-FrohlichGF #clustering #parallel #simulation
A New Partitioning Method for Parallel Simulation of VLSI Circuits on Transistor Level (NF, VG, JF), pp. 679–684.
DATEDATE-2000-GauthierJ #simulation
Cycle-True Simulation of the ST10 Microcontroller (LG, AAJ), p. 742.
DATEDATE-2000-LungeanuS #distributed #parallel #simulation
Parallel and Distributed VHDL Simulation (DL, CJRS), pp. 658–662.
DATEDATE-2000-Maurer #logic #network #simulation #state machine #using
Logic Simulation Using Networks of State Machines (PMM), pp. 674–678.
DATEDATE-2000-MorawiecUR #algorithm #diagrams #simulation #using
Cycle-Based Simulation Algorithms for Digital Systems Using High-Level Decision Diagrams (AM, RU, JR), p. 743.
DATEDATE-2000-PeesHM #using
Retargeting of Compiled Simulators for Digital Signal Processors Using a Machine Description Language (SP, AH, HM), pp. 669–673.
DATEDATE-2000-Rosing #fault #simulation
A Fault Simulation Methodology for MEMS (RR), pp. 476–483.
DATEDATE-2000-SaabHK #fault #generative #parametricity #simulation
Parametric Fault Simulation and Test Vector Generation (KS, NBH, BK), pp. 650–656.
CSEETCSEET-2000-Collofello #collaboration #industrial #project management #simulation
University/Industry Collaboration in Developing a Simulation Based Software Project Management Training Course (JSC), pp. 161–168.
ITiCSEITiCSE-2000-KorhonenM #algorithm #assessment #automation #simulation
Algorithm simulation with automatic assessment (AK, LM), pp. 160–163.
FASEFASE-2000-BellegardeJK #composition #refinement
Ready-Simulation Is Not Ready to Express a Modular Refinement Relation (FB, JJ, OK), pp. 266–283.
FoSSaCSFoSSaCS-2000-Hannay #higher-order #simulation #system f
A Higher-Order Simulation Relation for System F (JEH), pp. 130–145.
WRLAWRLA-2000-MasonT #maude #network #protocol #simulation
Simple Network Protocol Simulation within Maude (IAM, CLT), pp. 274–291.
WRLAWRLA-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.
STOCSTOC-2000-KitaevW #exponential #interactive #parallel #proving #quantum #simulation
Parallelization, amplification, and exponential time simulation of quantum interactive proof systems (AK, JW), pp. 608–617.
AdaEuropeAdaEurope-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.
ICPRICPR-v3-2000-Pina #simulation
Deconstructing the Morphological Granulometrical Distributions to Simulate Structures (PP), pp. 3127–3130.
ICPRICPR-v4-2000-MendezMOH #execution #simulation
Remote Robot Execution through WWW Simulation (STPM, FTM, FO, FACH), pp. 4503–4506.
OOPSLAOOPSLA-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.
SACSAC-2000-Reich #algorithm #difference #equation #simulation #using
Simulation of Imprecise Ordinary Differential Equations Using Evolutionary Algorithms (CR), pp. 428–432.
ICSEICSE-2000-DrappaL #re-engineering #simulation
Simulation in software engineering training (AD, JL), pp. 199–208.
ICSEICSE-2000-KeidarKLS #incremental #proving #simulation
An inheritance-based technique for building simulation proofs incrementally (IK, RK, NAL, AAS), pp. 478–487.
ICSEICSE-2000-SharpH #interactive #multi #simulation
An interactive multimedia software house simulation for postgraduate software engineers (HS, PH), pp. 688–691.
ASPLOSASPLOS-2000-GibsonKOH #simulation
FLASH vs. (Simulated) FLASH: Closing the Simulation Loop (JG, RK, DO, MH), pp. 49–58.
HPDCHPDC-2000-AndresenN #distributed #simulation
The Modeler’s Workbench: A System for Dynamically Distributed Simulation and Data Collection (DA, RN), pp. 300–301.
HPDCHPDC-2000-GouacheP #corba #industrial #simulation #using
Coupling of Industrial Simulation Codes using CORBA (SG, TP), pp. 312–314.
HPDCHPDC-2000-MuralidharP #distributed #framework #simulation
An Object Infrastructure for Computational Steering of Distributed Simulations (RM, MP), pp. 304–305.
CADECADE-2000-BustanG #simulation
Simulation Based Minimization (DB, OG), pp. 255–270.
CAVCAV-2000-AbarbanelBGKW #automation #generative #named #simulation #specification
FoCs: Automatic Generation of Simulation Checkers from Formal Specifications (YA, IB, LG, SK, YW), pp. 538–542.
ISSTAISSTA-2000-BhargavanGKLOSV #analysis #formal method #named #network #simulation
Verisim: Formal analysis of network simulations (KB, CAG, MK, IL, DO, OS, MV), pp. 2–13.
ASEASE-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.
DACDAC-1999-BelkFTBT #design #simulation
The Simulation and Design of Integrated Inductors (NRB, MRF, MT, AJB, KLT), pp. 988–993.
DACDAC-1999-Bening #logic #simulation
A Two-State Methodology for RTL Logic Simulation (LB), pp. 672–677.
DACDAC-1999-BertaccoDQ #simulation
Cycle-Based Symbolic Simulation of Gate-Level Synchronous Circuits (VB, MD, SQ), pp. 391–396.
DACDAC-1999-ChinosiZG #clustering #parallel #simulation
Parallel Mixed-Level Power Simulation Based on Spatio-Temporal Circuit Partitioning (MC, RZ, CG), pp. 562–567.
DACDAC-1999-DalpassoBB #design #distributed #simulation
Virtual Simulation of Distributed IP-based Designs (MD, AB, LB), pp. 50–55.
DACDAC-1999-FallahAD #generative #simulation
Simulation Vector Generation from HDL Descriptions for Observability-Enhanced Statement Coverage (FF, PA, SD), pp. 666–671.
DACDAC-1999-Freund #algorithm #modelling #simulation
Passive Reduced-Order Models for Interconnect Simulation and Their Computation via Krylov-Subspace Algorithms (RWF), pp. 195–200.
DACDAC-1999-GanaiAK #simulation
Enhancing Simulation with BDDs and ATPG (MKG, AA, AK), pp. 385–390.
DACDAC-1999-KrasnickiPRC #named #performance #synthesis
MAELSTROM: Efficient Simulation-Based Synthesis for Custom Analog Cells (MK, RP, RAR, LRC), pp. 945–950.
DACDAC-1999-KuhnRK #hardware #java #simulation
Description and Simulation of Hardware/Software Systems with Java (TK, WR, UK), pp. 790–793.
DACDAC-1999-LiTRK #modelling #simulation
Substrate Modeling and Lumped Substrate Resistance Extraction for CMOS ESD/Latchup Circuit Simulation (TL, CHT, ER, SMK), pp. 549–554.
DACDAC-1999-NarayanR #multi #simulation
Multi-Time Simulation of Voltage-Controlled Oscillators (ON, JSR), pp. 629–634.
DACDAC-1999-SimunicBM #embedded #energy #simulation
Cycle-Accurate Simulation of Energy Consumption in Embedded Systems (TS, LB, GDM), pp. 867–872.
DATEDATE-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–?.
DATEDATE-1999-CabodiCPQ #simulation
Computing Timed Transition Relations for Sequential Cycle-Based Simulation (GC, PC, CP, SQ), pp. 8–12.
DATEDATE-1999-HalambiGGKDN #architecture #compilation #named
EXPRESSION: A Language for Architecture Exploration through Compiler/Simulator Retargetability (AH, PG, VG, AK, NDD, AN), pp. 485–490.
DATEDATE-1999-MaurerS #performance #simulation
Software Bit-Slicing: A Technique for Improving Simulation Performance (PMM, WJS), pp. 786–787.
DATEDATE-1999-PasquierC #execution #realtime #simulation
An Object-Based Executable Model for Simulation of Real-Time Hw/Sw Systems (OP, JPC), pp. 782–783.
DATEDATE-1999-SantosT #fault #simulation #using
Defect-Oriented Mixed-Level Fault Simulation of Digital Systems-on-a-Chip Using HDL (MBS, JPT), p. 549–?.
DATEDATE-1999-Sasaki #semantics #simulation #state machine
A Formal Semantics for Verilog-VHDL Simulation Interoperability by Abstact State Machine (HS), p. 353–?.
DATEDATE-1999-ScherberM #flexibility #modelling #performance #simulation
An Efficient and Flexible Methodology for Modelling and Simulation of Heterogeneous Mechatronic Systems (SS, CMS), pp. 784–785.
DATEDATE-1999-TabbaraSSFL #modelling #performance #using
Fast Hardware-Software Co-simulation Using VHDL Models (BT, MS, ALSV, EF, LL), p. 309–?.
DATEDATE-1999-UbarRM #diagrams #simulation
Cycle-based Simulation with Decision Diagrams (RU, JR, AM), pp. 454–458.
DATEDATE-1999-YangZ #fault #performance #robust #simulation
Fast, Robust DC and Transient Fault Simulation for Nonlinear Analog Circuits (ZRY, MZ), pp. 244–248.
VLDBVLDB-1999-DarmontS #named #random #simulation
VOODB: A Generic Discrete-Event Random Simulation Model To Evaluate the Performances of OODBs (JD, MS), pp. 254–265.
ITiCSEITiCSE-1999-CabezaCR #behaviour #education #memory management #named
CacheSim: a cache simulator for teaching memory hierarchy behaviour (MLCC, MIGC, MLR), p. 181.
ITiCSEITiCSE-1999-HewsonDC #generative #multi #simulation
A multimedia animated simulation generator (JH, WD, MC), pp. 131–134.
ICALPICALP-1999-KuceraM #algebra #process #simulation
Simulation Preorder on Simple Process Algebras (AK, RM), pp. 503–512.
FMFM-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.
IFMIFM-1999-BanachP #simulation
Retrenchment and Punctured Simulation (RB, MP), pp. 457–476.
IFMIFM-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.
AGTIVEAGTIVE-1999-NiereZ99a #simulation #testing #using
Testing and Simulating Production Control Systems Using the Fujaba Environment (JN, AZ), pp. 449–456.
AGTIVEAGTIVE-1999-RibeiroC #composition #graph grammar #modelling #simulation #using
Compositional Construction of Simulation Models Using Graph Grammars (LR, BC), pp. 87–94.
HCIHCI-CCAD-1999-InmanL #education #using
Teaching orientation and mobility skills to blind children using simulated acoustical environments (DPI, KL), pp. 1090–1094.
HCIHCI-CCAD-1999-KossekovaL #javascript #simulation
JavaScript programme for clinical case simulations (GK, DL), pp. 686–690.
HCIHCI-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.
HCIHCI-CCAD-1999-Swezey #metric #performance #problem #simulation
Measurement of team problem solving performance via a computerized quasi-experimental simulation (RWS), pp. 482–486.
HCIHCI-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.
HCIHCI-EI-1999-DaeleC #simulation
Between the situation of simulation and the situation of reference: the operators’ representations (AVD, DC), pp. 875–879.
HCIHCI-EI-1999-HowarthH #maintenance #simulation
The Maintenance of Habituation to Virtual Simulation Sickness (PAH, KJH), pp. 137–141.
HCIHCI-EI-1999-LoiseletHD #research
From Field to Simulator and Microworld Studies: The Ecological Validity of Research (AL, JMH, PD), pp. 880–884.
HCIHCI-EI-1999-MatsuoNNO #evaluation #interface #maintenance
Simulation-Based Human Interface Evaluation for Maintenance Facilities (SM, TN, YN, TO), pp. 948–952.
HCIHCI-EI-1999-Nyssen #learning #towards
Training Simulators in Anesthesia: Towards a Hierarchy of Learning Situations (ASN), pp. 890–894.
AdaEuropeAdaEurope-1999-BreguetZ
Railway Scale Model Simulator (PB, LZ), pp. 170–180.
AdaEuropeAdaEurope-1999-Hagenauer #distributed #on the #simulation
On the Use of Controlled Types for Fossil Collection in a Distributed Simulation Systems (HH), pp. 238–249.
ICEISICEIS-1999-AlexandrovichNC #design #fault tolerance #framework #simulation
The Integrated Framework for Fault-Tolerant System Simulation and Design (AEA, RMN, VOC), p. 771.
ICEISICEIS-1999-MelicioCR #problem
Solving the Timetabling Problem with Simulated Annealing (FM, JPC, ACR), pp. 272–279.
ICEISICEIS-1999-MendesM #scalability #simulation
Traffic Simulation of Large Regions (PM, JM), p. 761.
ICEISICEIS-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.
TOOLSTOOLS-ASIA-1999-XieYL #simulation #uml
Applying UML to Gas Turbine Engine Simulation (ZX, JY, JL), pp. 458–464.
TOOLSTOOLS-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.
TOOLSTOOLS-EUROPE-1999-Telea #data flow #modelling #object-oriented #simulation
Combining Object Orientation and Dataflow Modelling in the Vission Simulation System (ACT), pp. 56–65.
GPCEGCSE-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.
SACSAC-1999-PittsC #simulation #visualisation
Peripherality Based Level of Detail Switching as a Visualization Enhancement of High-Risk Simulations (GP, DC), pp. 98–104.
HPCAHPCA-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.
PPoPPPPoPP-1999-BagrodiaDDP #parallel #performance #predict #scalability #simulation #using
Performance Prediction of Large Parallel Applications using Parallel Simulations (RB, ED, SD, TP), pp. 151–162.
PPoPPPPoPP-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.
ICTSSIWTCS-1999-LatvakoskiH #communication #embedded #protocol #simulation #testing
Time Simulation Methods for Testing Protocol Software Embedded in Communicating Systems (JL, HH), pp. 379–394.
DACDAC-1998-AzizKS #hybrid #simulation #using #verification
Hybrid Verification Using Saturated Simulation (AA, JHK, TRS), pp. 615–618.
DACDAC-1998-BauerBKV #configuration management #logic #performance #simulation
A Reconfigurable Logic Machine for Fast Event-Driven Simulation (JB, MB, IK, PV), pp. 668–671.
DACDAC-1998-Dill #simulation #verification #what
What’s Between Simulation and Formal Verification? (Extended Abstract) (DLD), pp. 328–329.
DACDAC-1998-HuangCCL #design #fault
Fault-Simulation Based Design Error Diagnosis for Sequential Circuits (SYH, KTC, KCC, JYJL), pp. 632–637.
DACDAC-1998-LuoWA #functional #hybrid #performance #simulation
Hybrid Techniques for Fast Functional Simulation (YL, TW, AA), pp. 664–667.
DACDAC-1998-NguyenDN #linear #simulation
Adjoint Transient Sensitivity Computation in Piecewise Linear Simulation (TVN, AD, OJN), pp. 477–482.
DACDAC-1998-OlukotunHO #simulation
Digital System Simulation: Methodologies and Examples (KO, MH, DO), pp. 658–663.
DACDAC-1998-OrshanskyCH #performance #simulation #statistics
A Statistical Performance Simulation Methodology for VLSI Circuits (MO, JCC, CH), pp. 402–407.
DACDAC-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.
DATEDATE-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.
DATEDATE-1998-HansenKR #comparison #interface #simulation #synthesis #using #verification
Verification by Simulation Comparison using Interface Synthesis (CH, AK, WR), pp. 436–443.
DATEDATE-1998-JemaiKJ #architecture #behaviour #simulation #synthesis
Architectural Simulation in the Context of Behavioral Synthesis (AJ, PK, AAJ), pp. 590–595.
DATEDATE-1998-Kazmierski98a #interface #simulation
Fuzzy-logic digital-analogue interfaces for accurate mixed-signal simulation (TJK), pp. 941–944.
DATEDATE-1998-KedingWCM #design #fixpoint #named #simulation
FRIDGE: A Fixed-Point Design and Simulation Environment (HK, MW, MC, HM), pp. 429–435.
DATEDATE-1998-KimuraI #analysis #design
A Unified Technique for PCB/MCM Design by Combining Electromagnetic Field Analysis with Circuit Simulator (HK, NI), pp. 951–952.
DATEDATE-1998-Naroska #parallel #simulation
Parallel VHDL Simulation (EN), pp. 159–163.
DATEDATE-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.
DATEDATE-1998-RabeJKNO #performance #trade-off
Power-Simulation of Cell Based ASICs: Accuracy- and Performance Trade-Offs (DR, GJ, LK, WN), pp. 356–361.
DATEDATE-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.
DATEDATE-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.
DATEDATE-1998-SchmerlerTM #logic #simulation
Advanced Optimistic Approaches in Logic Simulation (SS, YT, KDMG), pp. 362–368.
DATEDATE-1998-TianS #fault #performance #simulation
Efficient DC Fault Simulation of Nonlinear Analog Circuits (MWT, CJRS), pp. 899–904.
ITiCSEITiCSE-1998-PerskyB #concurrent #re-engineering
Re-engineering a concurrency simulator (YP, MBA), pp. 185–188.
TACASTACAS-1998-Garavel #architecture #named #simulation #testing #verification
OPEN/CÆSAR: An OPen Software Architecture for Verification, Simulation, and Testing (HG), pp. 68–84.
TACASTACAS-1998-VelevB #array #memory management #modelling #performance #simulation
Efficient Modeling of Memory Arrays in Symbolic Ternary Simulation (MNV, REB), pp. 136–150.
ICALPICALP-1998-PetersenR #performance #queue #simulation
Efficient Simulations by Queue Machines (HP, JMR), pp. 884–895.
FMFM-1998-Yamane #design #realtime #simulation
A Practical Hierarchical Design by Timed Simulation Relations for Real-Time Systems (SY), pp. 151–167.
AdaEuropeAdaEurope-1998-HagenauerP #ada #distributed #simulation
Ada 95 for a Distributed Simulation System (HH, WP), pp. 140–150.
AdaSIGAda-1998-HopperBHH #ada #simulation
Use of Ada in Digital Radar Landmass Simulation (DRLMS) (JH, JDB, HH, TH), pp. 137–139.
ICPRICPR-1998-FlorebySS #bound #fourier #image #order #using
Boundary finding using Fourier surfaces of increasing order [simulated medical images] (LF, LS, KS), pp. 465–467.
ICPRICPR-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.
ICPRICPR-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.
ICPRICPR-1998-NakaiMI #analysis #simulation
Simulation and analysis of spectral distributions of human skin (HN, YM, SI), pp. 1065–1067.
ECOOPECOOP-1998-FritzsonE #modelling #named #object-oriented #simulation
Modelica — A Unified Object-Oriented Language for System Modelling and Simulation (PF, VE), pp. 67–90.
TOOLSTOOLS-USA-1998-CalderoniM #multi #named #simulation #tool support
MUTANT: A MultiAgent Toolkit for Artificial Life Simulation (SC, PM), pp. 218–229.
TOOLSTOOLS-USA-1998-SoulieMCC #framework #object-oriented #simulation
GEAMAS V2.0: An Object Oriented Platform for Complex Systems Simulations (JCS, PM, SC, RC), p. 230–?.
SACSAC-1998-BillardL #automaton #behaviour #distributed #learning #simulation
Simulation of period-doubling behavior in distributed learning automata (EB, SL), pp. 690–695.
SACSAC-1998-LeaLS
Shoaling waves simulator (SML, ML, PMS), pp. 666–671.
SACSAC-1998-LiWP #modelling #process #simulation
Modelling and simulation of fractional ARIMA processes based on importance sampling (JSL, AW, RPZ), pp. 453–455.
ICSEICSE-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.
ICSEICSE-1998-HanakawaMM #development #learning #simulation
A Learning Curve Based Simulation Model for Software Development (NH, SM, KiM), pp. 350–359.
ASPLOSASPLOS-1998-SchnarrL #performance #simulation #using
Fast Out-Of-Order Processor Simulation Using Memoization (ES, JRL), pp. 283–294.
HPDCHPDC-1998-MillerHPJ #distributed #simulation
Simulation Steering with SCIRun in a Distributed Environment (MM, CDH, SGP, CRJ), pp. 364–365.
LCTESLCTES-1998-LundqvistS #analysis #simulation #using
Integrating Path and Timing Analysis Using Instruction-Level Simulation Techniques (TL, PS), pp. 1–15.
CAVCAV-1998-GriffioenV #simulation
Normed Simulations (WODG, FWV), pp. 332–344.
ISSTAISSTA-1998-TraceyCM #automation #using
Automated Program Flaw Finding Using Simulated Annealing (NT, JAC, KM), pp. 73–81.
ASEASE-1997-PautlerWQ #simulation #specification
Exploiting Domain-Specific Knowledge to Refine Simulation Specifications (DP, SW, AQ), p. 117–?.
DACDAC-1997-AluruW #algorithm #simulation
Algorithms for Coupled Domain MEMS Simulation (NRA, JW), pp. 686–690.
DACDAC-1997-BauerE #approach #hardware
Hardware/Software Co-Simulation in a VHDL-Based Test Bench Approach (MB, WE), pp. 774–779.
DACDAC-1997-GuptaMA #formal method #simulation #towards #using #validation
Toward Formalizing a Validation Methodology Using Simulation Coverage (AG, SM, PA), pp. 740–745.
DACDAC-1997-HinesB #communication #embedded #modelling
Dynamic Communication Models in Embedded System Co-Simulation (KH, GB), pp. 395–400.
DACDAC-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.
DACDAC-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.
DACDAC-1997-PomeranzR #approach #fault #multi #simulation #using
Fault Simulation under the Multiple Observation Time Approach using Backward Implications (IP, SMR), pp. 608–613.
DACDAC-1997-Roychowdhury #multi #performance #simulation
Efficient Methods for Simulating Highly Nonlinear Multi-Rate Circuits (JSR), pp. 269–274.
DACDAC-1997-TianS #agile #fault #parametricity #simulation
Rapid Frequency-Domain Analog Fault Simulation Under Parameter Tolerances (MWT, CJRS), pp. 275–280.
DACDAC-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.
DATEEDTC-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.
DATEEDTC-1997-ShojiHSKN #behaviour #simulation
Acceleration of behavioral simulation on simulation specific machines (MS, FH, SS, SK, HN), pp. 373–377.
DATEEDTC-1997-SzekelyPPRC #simulation
SISSSI-A tool for dynamic electro-thermal simulation of analog VLSI cells (VS, AP, AP, MR, AC), p. 617.
DATEEDTC-1997-WalkerG #simulation
VHDL extensions for complex transmission line simulation (PW, SG), pp. 368–372.
DATEEDTC-1997-WalkerG97a #distributed #independence #simulation
Exploiting temporal independence in distributed preemptive circuit simulation (PW, SG), pp. 378–382.
DATEEDTC-1997-WunscheCSW #design #using
Microsystem design using simulator coupling (SW, CC, PS, FW), pp. 113–118.
ICDARICDAR-1997-HiranoOY #recognition #using
Structural Character Recognition Using Simulated Annealing (TH, YO, FY), pp. 507–510.
ITiCSEITiCSE-1997-DixonMK #education #network #simulation #using
Using a network simulation package to teach the client-server model (MWD, TJM, JMK), pp. 71–73.
ITiCSEITiCSE-1997-Knox #architecture #design #simulation
Integrating design and simulation into a computer architecture course (DK), pp. 42–44.
CSMRCSMR-1997-Holl #configuration management #maintenance
A Software Configuration Management System for the Maintenance of Nuclear Power Plant Simulators (BH), pp. 136–139.
CSMRCSMR-1997-Meltz #assessment
Assessment of the options for Hardware-/Software-Reengineering of two KSG/GfS Full-Scope-Simulators (PM), pp. 140–143.
DLTDLT-1997-CaludeCK #automaton #simulation
Deterministic Automata: Simulation, Universality and Minimality. Extended Abstract (CSC, EC, BK), pp. 519–537.
HCIHCI-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.
HCIHCI-SEC-1997-HainesDRH
Information Presentation and Control in a Modern Air Traffic Control Tower Simulator (RFH, SD, BR, SH), pp. 209–212.
HCIHCI-SEC-1997-NakagawaKNT #evaluation #interface
Simulation-Based Interface Evaluation Method of Equipment in Power Plants (TN, MK, YN, NT), pp. 233–236.
HCIHCI-SEC-1997-OgiHWK #realtime #simulation
Real-Time Numerical Simulation in Haptic Environment (TO, MH, HW, NK), pp. 965–968.
HCIHCI-SEC-1997-SawaY #architecture #modelling #simulation
New Modeling/Analyzing Architecture and Simulation Mechanism for Complex Structure (TS, MY), pp. 363–366.
AdaEuropeAdaEurope-1997-JovanovicSA #ada
Developing Scripting Capabilities for an Ada-Based Simulator (SSJ, DMS, PvA), pp. 56–63.
SACSAC-1997-CornoPRR #algorithm #generative #named
SAARA: a simulated annealing algorithm for test pattern generation for digital circuits (FC, PP, MR, MSR), pp. 228–232.
ESECESEC-FSE-1997-SchutzeRZ #generative #simulation
A Pattern-Based Application Generator for Building Simulation (MS, JPR, GZ), pp. 468–482.
ICSEICSE-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.
HPCAHPCA-1997-PaiRA #parallel #performance #simulation
The Impact of Instruction-Level Parallelism on Multiprocessor Performance and Simulation Methodology (VSP, PR, SVA), pp. 72–83.
CAVCAV-1997-VelevBJ #array #memory management #modelling #performance #simulation
Efficient Modeling of Memory Arrays in Symbolic Simulation (MNV, REB, AJ), pp. 388–399.
CSLCSL-1997-BonetG #bound #linear #simulation
Linear Lower Bounds and Simulations in Frege Systems with Substitutions (MLB, NG), pp. 115–128.
DACDAC-1996-Dahlgren #logic #simulation #using
Oscillation Control in Logic Simulation using Dynamic Dominance Grahps (PD), pp. 155–160.
DACDAC-1996-DartuTP #megamodelling #simulation
RC-Interconnect Macromodels for Timing Simulation (FD, BT, LTP), pp. 544–547.
DACDAC-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.
DACDAC-1996-HuangCCL #generative #simulation
Compact Vector Generation for Accurate Power Simulation (SYH, KCC, KTC, TCL), pp. 161–164.
DACDAC-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.
DACDAC-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.
DACDAC-1996-SchnaiderY #development #hardware #simulation
Software Development in a Hardware Simulation Environment (BS, EY), pp. 684–689.
DACDAC-1996-TodescoM #named #parallel #simulation
Symphony: A Simulation Backplane for Parallel Mixed-Mode Co-Simulation of VLSI Systems (ARWT, THYM), pp. 149–154.
DACDAC-1996-TsuiMMP #performance
Improving the Efficiency of Power Simulators by Input Vector Compaction (CYT, RM, DM, MP), pp. 165–168.
DACDAC-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.
DACDAC-1996-ZivojnovicM
Compiled HW/SW Co-Simulation (VZ, HM), pp. 690–695.
ASEKBSE-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.
SIGMODSIGMOD-1996-LeflerSW #database #named #performance #predict #simulation
DBSim: A Simulation Tool for Predicting Database Performance (ML, MS, CW), p. 548.
ITiCSEITiCSE-1996-GrundkeZ #protocol #visualisation
Simulator for visualizing data link layer protocols (EWG, ZZ), p. 235.
ITiCSEITiCSE-1996-Nadi #simulation #source code
Simulation programs for studying computer organization (NN), p. 233.
ITiCSEITiCSE-1996-Pattinson #education #network
Network management teaching — managing a simulated network (CP), p. 233.
ICALPICALP-1996-ChlebusGI #simulation
Shared-Memory Simulations on a Faulty-Memory DMM (BSC, AG, PI), pp. 586–597.
AdaEuropeAdaEurope-1996-Molenmaker #ada
Converting the Part Task Nautical Simulator to Ada 95 (KM), pp. 439–450.
AdaTRI-Ada-1996-HagenauerP #ada #parallel #prototype #simulation
Prototyping a Parallel Discrete Event Simulation System in Ada (HH, WP), pp. 11–22.
ICPRICPR-1996-ChenL #process #simulation
Simulation of closure process for line patterns (YSC, TDL), pp. 215–219.
ICPRICPR-1996-Gimelfarb96a #modelling #segmentation #simulation
Gibbs models for Bayesian simulation and segmentation of piecewise-uniform textures (GLG), pp. 760–764.
ICPRICPR-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.
ICPRICPR-1996-WuL #3d #segmentation #using
3D part segmentation using simulated electrical charge distributions (KW, MDL), pp. 14–18.
KDDKDD-1996-PfitznerS #parallel #simulation
Parallel Halo Finding in N-Body Cosmology Simulations (DWP, JKS), pp. 26–31.
KDDKDD-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.
SACSAC-1996-BarlasD #interactive #simulation
An interactive dynamic simulation model of a university management system (YB, VGD), pp. 120–128.
SACSAC-1996-HoskinsHKW #simulation
Ray tracing and the simulation of boreal forest stand dynamics (JAH, WDH, NCK, PYHW), pp. 447–453.
SACSAC-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.
HPDCHPDC-1996-HarrisonCGB #collaboration #development #process #simulation
Virtual Collaborative Simulation Environment for Integrated Product and Process Development (JPH, BC, MG, JB), pp. 19–22.
HPDCHPDC-1996-SolimanE #adaptation #clustering #distributed #performance #simulation
An Efficient Clustered Adaptive-Risk Technique for Distributed Simulation (HMS, ASE), pp. 383–391.
CAVCAV-1996-AmbroiseR #named #simulation #verification
Marella: A Tool for Simulation and Verification (DA, BR), pp. 458–461.
CAVCAV-1996-Baier #algorithm #bisimulation #polynomial #probability #simulation #testing
Polynomial Time Algorithms for Testing Probabilistic Bisimulation and Simulation (CB), pp. 50–61.
DACDAC-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.
DACDAC-1995-Chamberlain #logic #parallel #simulation
Parallel Logic Simulation of VLSI Systems (RDC), pp. 139–143.
DACDAC-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.
DACDAC-1995-FrenchLLO #compilation #simulation
A General Method for Compiling Event-Driven Simulations (RSF, MSL, JRL, KO), pp. 151–156.
DACDAC-1995-KassabMRT #architecture #fault #functional #simulation
Software Accelerated Functional Fault Simulation for Data-Path Architectures (MK, NM, JR, JT), pp. 333–338.
DACDAC-1995-KonukFL #fault #network #performance #simulation
Accurate and Efficient Fault Simulation of Realistic CMOS Network Breaks (HK, FJF, TL), pp. 345–351.
DACDAC-1995-KriegerBK #fault #multi #simulation
Symbolic Fault Simulation for Sequential Circuits and the Multiple Observation Time Test Strategy (RK, BB, MK), pp. 339–344.
DACDAC-1995-Ribas-XirgoC #analysis #fault #simulation
Analysis of Switch-Level Faults by Symbolic Simulation (LR, JC), pp. 352–357.
DACDAC-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.
DACDAC-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.
DACDAC-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.
DACDAC-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.
ICALPICALP-1995-PietracaprinaP #simulation
Improved Deterministic PRAM Simulation on the Mesh (AP, GP), pp. 372–383.
CHICHI-1995-CypherS #named #programming #simulation
KidSim: End User Programming of Simulations (AC, DCS), pp. 27–34.
AdaEuropeAdaEurope-1995-DaviesR #ada
The Use of Ada for the ENVISAT-1 Simulator (BD, DAR), pp. 170–177.
AdaEuropeAdaEurope-1995-Molenmaker
Objects at Use in Nautical Simulators (KM), pp. 178–186.
AdaEuropeAdaEurope-1995-ObermayerSL #distributed #interactive #interface #named #simulation
DIS — An Interface to Distributed Interactive Simulation (PEO, GS, RL), pp. 187–190.
SEKESEKE-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.
SACSAC-1995-AndrusN #named #simulation
SCAD: a computer generated simulation for audit instruction (JMA, MSN), pp. 14–16.
SACSAC-1995-HaynesW #adaptation #simulation
A simulation of adaptive agents in a hostile environment (TDH, RLW), pp. 318–323.
SACSAC-1995-McBrideGF #simulation
Simulation of a state prison population (RAM, DRG, SF), pp. 427–430.
HPCAHPCA-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.
HPCAHPCA-1995-TreiberM #design #simulation
Simulation Study of Cached RAID5 Designs (KT, JM), pp. 186–197.
HPDCHPDC-1995-AbramsonSGH #distributed #named #simulation #using
Nimrod: A Tool for Performing Parameterised Simulations Using Distributed Workstations (DA, RS, JG, BH), pp. 112–121.
HPDCHPDC-1995-Skordos #clustering #parallel #simulation
Parallel Simulation of Subsonic Fluid Dynamics on a Cluster of Workstations (PS), pp. 6–16.
HPDCHPDC-1995-Woodward #clustering #distributed #multi #simulation
Distributed Computing on Clusters of Shared-Memory Multiprocessors to Simulate Unsteady Turbulent Flows (PRW), p. 4.
DACDAC-1994-BeattyB #simulation #using #verification
Formally Verifying a Microprocessor Using a Simulation Methodology (DLB, REB), pp. 596–602.
DACDAC-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.
DACDAC-1994-HenftlingWA #fault #simulation
Path Hashing to Accelerate Delay Fault Simulation (MH, HCW, KA), pp. 522–526.
DACDAC-1994-KovalFSD #named
MONSTR: A Complete Thermal Simulator of Electronic Systems (VK, IWF, AJS, SWD), pp. 570–575.
DACDAC-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.
DACDAC-1994-Nguyen #performance #simulation
Efficient Simulation of Lossy and Dispersive Transmission Lines (TVN), pp. 622–627.
DACDAC-1994-NielsenK #analysis #performance #simulation
Performance Analysis Based on Timing Simulation (CDN, MK), pp. 70–76.
DACDAC-1994-Rowson #hardware
Hardware/Software Co-Simulation (JAR), pp. 439–440.
DACDAC-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.
DATEEDAC-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.
DATEEDAC-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.
DATEEDAC-1994-GaiMR #fault #named #performance
TORSIM: An Efficient Fault Simulator for Synchronous Sequential Circuits (SG, PLM, MSR), pp. 46–50.
DATEEDAC-1994-HirechFGR #design #simulation #testing
A Redefinable Symbolic Simulation Technique to Testability Design Rules Checking (MH, OF, AG, EHR), p. 668.
DATEEDAC-1994-LinCL #fault #named #performance
TRANS: A Fast and Memory-Efficient Path Delay Fault Simulator (MCL, JEC, CLL), pp. 508–512.
DATEEDAC-1994-LiW #automaton #fault #logic #simulation
Logic and Fault Simulation by Cellular Automata (YLL, CWW), pp. 552–556.
DATEEDAC-1994-MichaelsS #modelling #simulation
Variable Accuracy Device Modeling for Event-Driven Circuit Simulation (KWM, AJS), pp. 557–561.
DATEEDAC-1994-VermeirenSE #fault #simulation
A Suggestion for Accelerating the Analog Fault Simulation (WV, BS, GE), p. 662.
DATEEDAC-1994-WangFF
An Accurate Time-Domain Current Waveform Simulator for VLSI Circuits (JHW, JTF, WSF), pp. 562–566.
DATEEDAC-1994-WuLCL #clustering #distributed #fault #simulation
Distributed Fault Simulation for Sequential Circuits by Pattern Partitioning (WCW, CLL, JEC, WYL), p. 661.
PODSPODS-1994-HuaLL #clustering
A Decomposition-Based Simulated Annealing Technique for Data Clustering (KAH, SDL, WKL), pp. 117–128.
CSEETCSEE-1994-DeiningerS #education #project management
Teaching Software Project Management by Simulation-Experiences with a Comprehensive Model (MD, KS), pp. 227–242.
ESOPESOP-1994-Buth #simulation #term rewriting
Simulation of SOS Definitions with Term Rewriting Systems (KHB), pp. 150–164.
SASSAS-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.
STOCSTOC-1994-AroraRV #polynomial #simulation
Simulating quadratic dynamical systems is PSPACE-complete (preliminary version) (SA, YR, UVV), pp. 459–467.
STOCSTOC-1994-AuerL #learning #simulation
Simulating access to hidden information while learning (PA, PML), pp. 263–272.
ICGTTAGT-1994-Klempien-Hinrichs #confluence #decidability #simulation
Node Replacement in Hypergrahps: Simulation of Hyperedge Replacement, and Decidability of Confluence (RKH), pp. 397–411.
AdaTRI-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.
KDDKDD-1994-Klosgen #simulation
Exploration of Simulation Experiments by Discovery (WK), pp. 251–262.
KRKR-1994-BarndenHIS #implementation #nondeterminism #reasoning
An Integrated Implementation of Simulative, Uncertain and Metaphorical Reasoning about Mental States (JAB, SH, EI, GCS), pp. 27–38.
SEKESEKE-1994-PranevitchiusP #simulation #specification #tool support #validation
Tools for validation and simulation of Estelle/Ag specifications (HP, VP), pp. 94–99.
TOOLSTOOLS-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.
SACSAC-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.
SACSAC-1994-GrubbsHTM #simulation
Motorola 68040 microprocessor simulation for the Sun Workstation (TG, BH, RT, SM), pp. 25–30.
SACSAC-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.
SACSAC-1994-RosenG #network #using
Training hard to learn networks using advanced simulated annealing methods (BER, JMG), pp. 256–260.
SACSAC-1994-Sen94a #network #using
File placement over a network using simulated annealing326741 (SS), pp. 251–255.
ASPLOSASPLOS-1994-UhligNMS #simulation
Trap-driven Simulation with Tapeworm II (RU, DN, TNM, SS), pp. 132–144.
HPDCHPDC-1994-BorstCS #distributed #network #simulation
WAVE Processing of Networks and Distributed Simulation (PMB, MC, PS), pp. 61–69.
DACDAC-1993-Birger #simulation
The State of Simulation in Russia (AB), pp. 712–715.
DACDAC-1993-ChessL #fault #simulation
Bridge Fault simulation strategies for CMOS integrated Circuits (BC, TL), pp. 458–462.
DACDAC-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.
DACDAC-1993-LiuCS #behaviour #simulation #using #verification
Analog System Verification in the Presence of Parasitics Using Behavioral Simulation (EWYL, HCC, ALSV), pp. 159–163.
DACDAC-1993-MeyerC #fault #multi #performance #simulation
Fast Hierarchical Multi-Level Fault Simulation of Sequential Circuits with Switch-Level Accuracy (WM, RC), pp. 515–519.
DACDAC-1993-NagiCA #fault #named
DRAFTS: Discretized Analog Circuit Fault Simulator (NN, AC, JAA), pp. 509–514.
DACDAC-1993-StamoulisH #correlation #probability #simulation
Improved Techniques for Probabilistic Simulation Including Signal Correlation Effects (GIS, INH), pp. 379–383.
DACDAC-1993-VisweswariahW #incremental #simulation
Incremental Event-Driven Simulation of Digital FET Circuits (CV, JAW), pp. 737–741.
DACDAC-1993-YangLYD #performance #simulation
An Efficient Non-Quasi-Static Diode Model for Circuit Simulation (ATY, YL, JTY, RRD), pp. 720–725.
DACDAC-1993-YuanPR #component #evaluation #logic #simulation
Evaluation of Parts by Mixed-Level DC-Connected Components in Logic Simulation (DCY, LTP, JTR), pp. 367–372.
ASEKBSE-1993-Benner #component #simulation
The ARIES Simulation Component (ASC) (KMB), p. 9.
ICDARICDAR-1993-LeeS #design #modelling #using
Optimal design of reference models using simulated annealing combined with an improved LVQ3 (SWL, HHS), pp. 244–249.
STOCSTOC-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.
STOCSTOC-1993-GoldmannK #simulation
Simulating threshold circuits by majority circuits (MG, MK), pp. 551–560.
STOCSTOC-1993-NisanZ #simulation
More deterministic simulation in logspace (NN, DZ), pp. 235–244.
ICALPICALP-1993-ReifT #complexity #simulation
The Complexity of N-body Simulation (JHR, SRT), pp. 162–176.
FMFME-1993-PickinYBSG #process #simulation
Process Instances in LOTOS Simulation (SP, YY, WB, SS, TdG), pp. 521–540.
HCIHCI-ACS-1993-BextenHM #analysis #named #simulation
AUCA: A Tool for Presentation and Analysis of Simulation Results (EMzB, DH, CM), pp. 267–272.
HCIHCI-ACS-1993-Carling #modelling #performance
Performance, Mental Models and Background Knowledge in Mastering a Simulated Dynamic System (EC), pp. 599–604.
HCIHCI-SHI-1993-AndersonJBA
The Use of Computer Simulated Cases to Study Factors that Influence Clinical Practice Styles (JGA, SJJ, CB, MMA), pp. 742–747.
HCIHCI-SHI-1993-BenyshK #implementation #simulation
The Implementation of Knowledge Structures in Cognitive Simulation Environments (DVB, RJK), pp. 309–314.
HCIHCI-SHI-1993-FujitaITFNW
Simulated World of Hypothetical Life Forms — Virtual Creatures (TF, KI, HT, TF, SN, KW), pp. 663–668.
HCIHCI-SHI-1993-FurutaK #process #simulation
Computer Simulation Model of Cognitive Process in Group Works (KF, SK), pp. 979–984.
HCIHCI-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.
AdaEuropeAdaEurope-1993-PierceMG #design #object-oriented
Object-Oriented Design of an Air-Defence Simulator (RHP, IM, SJG), pp. 114–124.
AdaEuropeAdaEurope-1993-ThyseliusSS #ada #simulation #tool support
Adam, an Ada Simulation Toolkit (RT, MS, BS), pp. 298–313.
CAiSECAiSE-1993-CroshereRB #animation #communication #information management #simulation
An Animation Facility to Simulate an Information and Communication System (RC, RPvdR, AB), pp. 547–568.
SEKESEKE-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.
SEKESEKE-1993-QuiliciM #simulation
An Intelligent Environment for Spacecraft Simulation (AQ, LM), pp. 414–420.
OOPSLAOOPSLA-1993-MinouraPR #object-oriented #simulation
Structural Active Object Systems for Simulation (TM, SSP, KR), pp. 338–355.
TOOLSTOOLS-EUROPE-1993-HillG #animation #multi #object-oriented #simulation
A Multi-Domain Tool for Object-Oriented Simulation Animation (DRCH, MG), pp. 181–195.
TOOLSTOOLS-PACIFIC-1993-Coomber #object-oriented #realtime #simulation
An Object-Oriented Procedure for Simulating Real-Time Systems (CJC), pp. 269–278.
SACSAC-1993-Goforth #editing #interactive #simulation
Histogram Editing for Semi-Quantitative Data Input in Interactive Simulations (RRRG), pp. 627–633.
SACSAC-1993-SyangS #feedback #simulation
Qualitative Simulation: A Feedback Control System (AS, YS), pp. 504–510.
SACSAC-1993-Trans #simulation
A Symbolic Simulation Model of the Organization of Human Procedural Knowledge (KT), pp. 482–489.
ICSEICSE-1993-WangP #behaviour #simulation
Simulating the Behaviour of Software Modules by Trace Rewriting (YW, DLP), pp. 14–23.
CAVCAV-1993-Sogaard-AndersenGGLP #proving #simulation
Computer-Assisted Simulation Proofs (JFSA, SJG, JVG, NAL, AP), pp. 305–319.
DACDAC-1992-BeckerST #hardware
An Engineering Environment for Hardware/Software Co-Simulation (DB, RKS, SGT), pp. 129–134.
DACDAC-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.
DACDAC-1992-GennartL #simulation #using #validation
Validating Discrete Event Simulations Using Event Pattern Mappings (BAG, DCL), pp. 414–419.
DACDAC-1992-GuptaCM #component #hardware #simulation #synthesis
Synthesis and Simulation of Digital Systems Containing Interacting Hardware and Software Components (RKG, CJNCJ, GDM), pp. 225–230.
DACDAC-1992-Hirose #evaluation #logic #performance #simulation
Performance Evaluation of an Event-Driven Logic Simulation Machine (FH), pp. 428–431.
DACDAC-1992-Jones #incremental
Zero Delay versus Positive Delay in an Incremental Switch-Level Simulator (LGJ), pp. 424–427.
DACDAC-1992-JuS #incremental #simulation #using
Incremental Circuit Simulation Using Waveform Relaxation (YCJ, RAS), pp. 8–11.
DACDAC-1992-LeeH #fault #named #parallel #performance
HOPE: An Efficient Parallel Fault Simulator for Synchronous Sequential Circuits (HKL, DSH), pp. 336–340.
DACDAC-1992-LeeM #logic #multi #simulation
Two New Techniques for Compiled Multi-Delay Logic Simulation (YSL, PMM), pp. 420–423.
DACDAC-1992-LeeR92a #concurrent #fault #on the #performance #simulation
On Efficient Concurrent Fault Simulation for Synchronous Sequential Circuits (DHL, SMR), pp. 327–331.
DACDAC-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.
DACDAC-1992-LinK #simulation
Transient Simulation of Lossy Interconnect (SL, ESK), pp. 81–86.
DACDAC-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.
DACDAC-1992-RoychowdhuryNP #linear #simulation
Simulating Lossy Interconnect with High Frequency Nonidealities in Linear Time (JSR, ARN, DOP), pp. 75–80.
DACDAC-1992-ZeinED #logic #named
HLSIM — A New Hierarchical Logic Simulator and Netlist Converter (DAZ, OPE, GSD), pp. 432–437.
ASEKBSE-1992-Benner #component #simulation
ARIES Simulation Component (ASC) Demonstration (Demonstration) (KB), p. 30.
ASEKBSE-1992-Terwilliger #design #process #simulation
Simulating the Gries/Dijkstra Design Process (RBT), p. 22.
STOCSTOC-1992-KarpLH #distributed #memory management #performance #simulation
Efficient PRAM Simulation on a Distributed Memory Machine (RMK, ML, FMadH), pp. 318–326.
CHICHI-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.
CHICHI-1992-ShawLGS #artificial reality #simulation
The decoupled simulation model for virtual reality systems (CDS, JL, MG, YS), pp. 321–328.
CHICHI-1992-Spohrer #case study #experience #learning #prototype
Simulation-based learning systems: prototypes and experiences (AJ, JCS), pp. 523–524.
AdaEuropeAdaEurope-1992-OttensT #ada #simulation #specification
Simulation of Mosca Specifications in Ada (AO, HT), pp. 182–196.
AdaTRI-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.
AdaTRI-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.
ICMLML-1992-Venturini #classification #named
AGIL: Solving the Exploration Versus Exploration Dilemma in a single Classifier System Applied to Simulated Robotics (GV), pp. 458–463.
SEKESEKE-1992-LiS
A Simulation-Based SDL Support System (XL, OS), pp. 284–291.
SEKESEKE-1992-LudewigBDSS #named #simulation
SESAM — Simulating Software Projects (JL, TB, MD, KS, JS), pp. 608–615.
SEKESEKE-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.
TOOLSTOOLS-EUROPE-1992-Bezivin #object-oriented #simulation
Object-Oriented Simulation (JB), p. 411.
TOOLSTOOLS-PACIFIC-1992-DebrayH #c++ #simulation
Some Classes for Object-Based Simulation in C++ (TD, JBH), pp. 143–152.
TOOLSTOOLS-USA-1992-Stevens #assessment #effectiveness #object-oriented #simulation
Application of Object-Oriented Simulation to the Assessment of Military Systems Effectiveness (WKS), pp. 165–170.
HPDCHPDC-1992-BakerHW #distributed #scheduling #simulation
A Distributed Scheduling Simulation (DB, RFH, KGW), pp. 270–279.
HPDCHPDC-1992-BeckerD #distributed #simulation
Particle Simulation on Heterogeneous Distributed Supercomputers (JCB, LD), pp. 133–140.
HPDCHPDC-1992-MinnichP #simulation
A Radiative Heat Transfer Simulation on a SPARCStation Farm (RM, DVP), pp. 124–132.
CAVCAV-1992-BensalemBLS #simulation
Property Preserving Simulations (SB, AB, CL, JS), pp. 260–273.
DACDAC-1991-AmonB #behaviour #named
OEsim: A Simulator for Timing Behavior (TA, GB), pp. 656–661.
DACDAC-1991-AuWS #automation #generative #simulation
Automatic Generation of Compiled Simulations through Program Specialization (WYA, DW, SS), pp. 205–210.
DACDAC-1991-BarkatullahC
A Transmission Line Simulator for GaAs Integrated Circuits (JSB, SC), pp. 746–751.
DACDAC-1991-BrinerEK #parallel #simulation
Breaking the Barrier of Parallel Simulation of Digital Systems (JVBJ, JLE, GK), pp. 223–226.
DACDAC-1991-ChewS #logic #multi #simulation
Utilizing Logic Information in Multi-Level Timing Simulation (MPC, AJS), pp. 215–218.
DACDAC-1991-JainB #hardware #simulation
Mapping Switch-Level Simulation onto Gate-Level Hardware Accelerators (AJ, REB), pp. 219–222.
DACDAC-1991-Jones91a #simulation
Accelerating Switch-Level Simulation by Function Caching (LGJ), pp. 211–214.
DACDAC-1991-Kitamura #algorithm #fault #simulation
Sequential Circuit Fault Simulation by Fault Information Tracing Algorithm: FIT (YK), pp. 151–154.
DACDAC-1991-MontessoroG #concurrent #fault #multi #named #performance #simulation
Creator: General and Efficient Multilevel Concurrent Fault Simulation (PLM, SG), pp. 160–163.
DACDAC-1991-PitchumaniMR #fault #simulation
A System for Fault Diagnosis and Simulation of VHDL Descriptions (VP, PM, NR), pp. 144–150.
DACDAC-1991-RoychowdhuryP #performance #simulation
Efficient Transient Simulation of Lossy Interconnect (JSR, DOP), pp. 740–745.
DACDAC-1991-ShihK #approach #equation #named #performance #using
ILLIADS: A New Fast MOS Timing Simulator Using Direct Equation-Solving Approach (YHS, SMK), pp. 20–25.
DACDAC-1991-SteinNGR #adaptation #named #simulation
ADAPTS: A Digital Transient Simulation Strategy for Integrated Circuits (ADS, TVN, BJG, RAR), pp. 26–31.
DACDAC-1991-VandrisS #algorithm #fault #memory management #performance #simulation
Algorithms for Fast, Memory Efficient Switch-Level Fault Simulation (EV, GES), pp. 138–143.
DACDAC-1991-VisweswariahR #performance #simulation
Efficient Simulation of Bipolar Digital ICs (CV, RAR), pp. 32–37.
DACDAC-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.
DACDAC-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.
CHICHI-1991-GaverSO #effectiveness #simulation
Effective sounds in complex systems: the ARKOLA simulation (WWG, RBS, TO), pp. 85–90.
KRKR-1991-Wellman #constraints #multi #simulation
Qualitative Simulation with Multivariate Constraints (MPW), pp. 547–557.
ICMLML-1991-Shultz #development #modelling #simulation
Simulating Stages of Human Cognitive Development With Connectionist Models (TRS), pp. 105–109.
CAVCAV-1991-DillHW #simulation #using
Checking for Language Inclusion Using Simulation Preorders (DLD, AJH, HWT), pp. 255–265.
ICLPISLP-1991-ShenH #independence #simulation
A Simulation Study of Or- and and Independent And-parallelism (KS, MVH), pp. 135–151.
RTARTA-1991-Bundgen #algorithm #simulation
Simulation Buchberger’s Algorithm by Knuth-Bendix Completion (RB), pp. 386–397.
DACDAC-1990-AdamiakAPRW #simulation
System Simulation of Printed Circuit Boards Including Packages and Connectors (KA, RA, JP, CR, AW), pp. 413–418.
DACDAC-1990-Bryant #simulation
Symbolic Simulation — Techniques and Applications (REB), pp. 517–521.
DACDAC-1990-ChatterjeeH #approach #clustering
A New Simultaneous Circuit Partitioning and Chip Placement Approach Based on Simulated Annealing (AC, RIH), pp. 36–39.
DACDAC-1990-ForsytheAYAG #development #simulation
NASFLOW, a Simulation Tool for Silicon Technology Development (DDF, APA, CSY, SA, BG), pp. 333–337.
DACDAC-1990-HungWGS #parallel #simulation #using
Parallel Circuit Simulation Using Hierarchical Relaxation (GGH, YCW, KG, RAS), pp. 394–399.
DACDAC-1990-HwangLSW #fault #parallel
A Parallel Pattern Mixed-Level Fault Simulator (TSH, CLL, WZS, CPW), pp. 716–719.
DACDAC-1990-IshiuraDY #diagrams #simulation #using
Coded Time-Symbolic Simulation Using Shared Binary Decision Diagram (NI, YD, SY), pp. 130–135.
DACDAC-1990-KlingB #evolution #optimisation #standard
Optimization by Simulated Evolution with Applications to Standard Cell Placement (RMK, PB), pp. 20–25.
DACDAC-1990-MaurerW #simulation
Techniques for Unit-Delay Compiled Simulation (PMM, ZW), pp. 480–484.
DACDAC-1990-NiermannCP #fault #memory management #named #performance #proving
Proofs: A Fast, Memory Efficient Sequential Circuit Fault Simulator (TMN, WTC, JHP), pp. 535–540.
DACDAC-1990-SubramanianZ #distributed #logic #parallel #simulation
Distributed and Parallel Demand Driven Logic Simulation (KS, MRZ), pp. 485–490.
DACDAC-1990-WangM #logic #named #simulation
LECSIM: A Levelized Event Driven Compiled Logic Simulation (ZW, PMM), pp. 491–496.
DACDAC-1990-WardA #behaviour #fault #simulation
Behavioral Fault Simulation in VHDL (PCW, JRA), pp. 587–593.
DACDAC-1990-Yang #named #parallel
PARASPICE: A Parallel Circuit Simulator for Shared-Memory Multiprocessors (GCY), pp. 400–405.
STOCSTOC-1990-Cleve #bound #simulation #source code #towards
Towards Optimal Simulations of Formulas by Bounded-Width Programs (RC), pp. 271–277.
ICMLML-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.
CAVCAV-1990-JanickiK #graph #reachability #simulation #using
Using Optimal Simulations to Reduce Reachability Graphs (RJ, MK), pp. 166–175.
CAVCAV-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.
DACDAC-1989-AgrawalTD #algorithm #hardware #logic
Algorithms for Accuracy Enhancement in a Hardware Logic Simulator (PA, RT, WJD), pp. 645–648.
DACDAC-1989-BenkoskiS #interactive #modelling #multi #verification
Timing Verification by Formal Signal Interaction Modeling in a Multi-level Timing Simulator (JB, AJS), pp. 668–673.
DACDAC-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.
DACDAC-1989-ChengY #difference #fault #memory management #performance #simulation #using
Differential Fault Simulation — a Fast Method Using Minimal Memory (WTC, MLY), pp. 424–428.
DACDAC-1989-ChoB #fault #generative #simulation
Test Pattern Generation for Sequential MOS Circuits by Symbolic Fault Simulation (KC, REB), pp. 418–423.
DACDAC-1989-ChungC #parallel #simulation #using
Data Parallel Simulation Using Time-Warp on the Connection Machine (MJC, YC), pp. 98–103.
DACDAC-1989-George #hardware #modelling #simulation
Evaluating Hardware Models in DIGITAL’s System Simulation Environment (AKG), pp. 642–644.
DACDAC-1989-HoevenLDD #network #simulation
A New Model for the High Level Description and Simulation of VLSI Networks (AJvdH, AAdL, EFD, PD), pp. 738–741.
DACDAC-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.
DACDAC-1989-KravitzBR #parallel #simulation
Massively Parallel Switch-Level Simulation: A Feasibility Study (SAK, REB, RAR), pp. 91–97.
DACDAC-1989-MilsomSCMAS #layout #named #simulation
FACET: A CAE System for RF Analogue Simulation Including Layout (RFM, KJS, SGC, JCM, SA, FNS), pp. 622–625.
DACDAC-1989-NarayananP #algorithm #fault #parallel #simulation
A Massively Parallel Algorithm for Fault Simulation on the Connection Machine (VN, VP), pp. 734–737.
DACDAC-1989-NgV #framework #multi #scheduling #simulation
A Framework for Scheduling Multi-Rate Circuit Simulation (APCN, VV), pp. 19–24.
DACDAC-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.
DACDAC-1989-RumseyS #simulation
An ASIC Methodology for Mixed Analog-Digital Simulation (MR, JS), pp. 618–621.
DACDAC-1989-SadayappanV #matrix #performance #simulation
Efficient Sparse Matrix Factorization for Circuit Simulation on Vector Supercomputers (PS, VV), pp. 13–18.
DACDAC-1989-SalzH #incremental #named
IRSIM: An Incremental MOS Switch-Level Simulator (AS, MH), pp. 173–178.
DACDAC-1989-SchulzFF #fault #parallel #simulation
Parallel Pattern Fault Simulation of Path Delay Faults (MHS, FF, KF), pp. 357–363.
DACDAC-1989-SouleG #distributed #logic #parallel #simulation
Characterization of Parallelism and Deadlocks in Distributed Digital Logic Simulation (LS, AG), pp. 81–86.
DACDAC-1989-WangM #functional #scheduling #simulation
Scheduling High-Level Blocks for Functional Simulation (ZW, PMM), pp. 87–90.
DACDAC-1989-YangK #development #named #novel #simulation
iSMILE: A Novel Circuit Simulation Program with Emphasis on New Device Model Development (ATY, SMK), pp. 630–633.
DACDAC-1989-YuZYL #algorithm #behaviour #convergence #novel
A Novel Algorithm for Improving Convergence Behavior of Circuit Simulators (ZY, WZ, ZY, YEL), pp. 626–629.
SEKESEKE-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.
OOPSLAOOPSLA-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.
RTARTA-1989-Dauchet #linear #simulation #turing machine
Simulation of Turing Machines by a Left-Linear Rewrite Rule (MD), pp. 109–120.
DACDAC-1988-Adler #logic #simulation
A Dynamically-Directed Switch Model for MOS Logic Simulation (DA), pp. 506–511.
DACDAC-1988-ChoiHB #algorithm #simulation
Incremental-in-time Algorithm for Digital Simulation (KC, SYH, TB), pp. 501–505.
DACDAC-1988-DubaRAR #distributed #fault #simulation
Fault Simulation in a Distributed Environment (PAD, RKR, JAA, WAR), pp. 686–691.
DACDAC-1988-GaiMS #algorithm #concurrent #fault #performance #simulation
The Performance of the Concurrent Fault Simulation Algorithms in MOZART (SG, PLM, FS), pp. 692–697.
DACDAC-1988-GuraA #simulation
Improved Methods of Simulating RLC Couple and Uncoupled Transmission Lines Based on the Method of Characteristics (CVG, JAA), pp. 300–305.
DACDAC-1988-Hansen #compilation #hardware #logic #simulation
Hardware Logic Simulation by Compilation (CH), pp. 712–716.
DACDAC-1988-HarelK #approach #fault #graph #simulation
A Graph Compaction Approach to Fault Simulation (DH, BK), pp. 601–604.
DACDAC-1988-HeydemannPD #architecture #simulation
The Architecture of a Highly Integrated Simulation System (MH, AP, DD), pp. 617–621.
DACDAC-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.
DACDAC-1988-KazamaKNM #algorithm #evaluation #logic #performance #simulation
Algorithm for Vectorizing Logic Simulation and Evaluation of “VELVET” Performance (YK, YK, MN, HM), pp. 231–236.
DACDAC-1988-KonczykowskaB #automation #design
Automated Design Software for Switched-Capacitor IC’s with Symbolic Simulator SCYMBAL (AK, MB), pp. 363–368.
DACDAC-1988-Lewis #hardware #programmable #simulation
A Programmable Hardware Accelerator for Compiled Electrical Simulation (DML), pp. 172–177.
DACDAC-1988-MallelaG #clustering #standard
Clustering Based Simulated Annealing for Standard Cell Placement (SM, LKG), pp. 312–317.
DACDAC-1988-MotoharaMUMS #approach #fault #performance #simulation
An Approach to Fast Hierarchical Fault Simulation (AM, MM, MU, YM, MS), pp. 698–703.
DACDAC-1988-SaitohINKMHHK #logic #simulation #using
Logic Simulation System Using Simulation Processor (SP) (MS, KI, AN, MK, JM, HH, FH, NK), pp. 225–230.
DACDAC-1988-Sechen #metaprogramming #using
Chip-Planning, Placement, and Global Routing of Macro/Custom Cell Integrated Circuits Using Simulated Annealing (CS), pp. 73–80.
DACDAC-1988-SouleB #logic #parallel #simulation
Parallel Logic Simulation on General Purpose Machines (LS, TB), pp. 166–171.
STOCSTOC-1988-BhattCHLR #network #simulation
Optimal Simulations by Butterfly Networks (Preliminary Version) (SNB, FRKC, JWH, FTL, ALR), pp. 192–204.
ICALPICALP-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.
ICALPICALP-1988-RajasekaranR
Nested Annealing: A Provable Improvement to Simulated Annealing (SR, JHR), pp. 455–472.
PPoPPPPEALS-1988-Nicol #network #parallel #probability #simulation
Parallel Discrete-Event Simulation Of FCFS Stochastic Queuing Networks (DMN), pp. 124–137.
DACDAC-1987-BryantBBCS #named
COSMOS: A Compiled Simulator for MOS Circuits (REB, DLB, KSB, KC, TJS), pp. 9–16.
DACDAC-1987-Grover #standard #using
Standard Cell Placement Using Simulated Sintering (LKG), pp. 56–59.
DACDAC-1987-KlingB #evolution #named #standard #using
ESP: A New Standard Cell Placement Package Using Simulated Evolution (RMK, PB), pp. 60–66.
DACDAC-1987-LathropHK #abstraction #functional #modelling #simulation
Functional Abstraction from Structure in VLSI Simulation Models (RHL, RJH, RSK), pp. 822–828.
DACDAC-1987-SchultzB #fault #simulation
Accelerated Transition Fault Simulation (MHS, FB), pp. 237–243.
DACDAC-1987-Smith #hardware #scalability
A Hardware Switch Level Simulator for Large MOS Circuits (MTS), pp. 95–100.
DACDAC-1987-SmithMB #simulation
Demand Driven Simulation: BACKSIM (SPS, MRM, BB), pp. 181–187.
DACDAC-1987-SmithSS #architecture #parallel #performance #simulation
Faster Architectural Simulation Through Parallelism (JWS, KSS, RJSI), pp. 189–194.
DACDAC-1987-SouleB #abstraction #parallel #simulation #statistics
Statistics for Parallelism and Abstraction Level in Digital Simulation (LS, RB), pp. 588–591.
DACDAC-1987-StablerB #comparison #simulation
Boolean Comparison by Simulation (EPS, HB), pp. 584–587.
DACDAC-1987-StarkH #named #simulation
RED: Resistance Extraction for Digital Simulation (DS, MH), pp. 570–573.
DACDAC-1987-TanTBVP #performance #self #simulation
A Fast Signature Simulation Tool for Built-In Self-Testing Circuits (SBT, KT, KB, PV, RP), pp. 17–25.
DACDAC-1987-VladimirescuWKBKDNJL #hardware #simulation
A Vector Hardware Accelerator with Circuit Simulation Emphasis (AV, DW, MK, ZB, AK, KD, KCN, NJ, SL), pp. 89–94.
DACDAC-1987-WangHPZ #named
SSIM: A Software Levelized Compiled-Code Simulator (LTW, NEH, EHP, JJZ), pp. 2–8.
DACDAC-1987-WebberS #simulation
Circuit Simulation on the Connection Machine (DMW, ALSV), pp. 108–113.
SIGMODSIGMOD-1987-Ioannidis #optimisation #query
Query Optimization by Simulated Annealing (YEI, EW), pp. 9–22.
PLDIPLDI-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.
PLDIPLDI-1987-May #named #performance
Mimic: a fast system/370 simulator (CM), pp. 1–13.
STOCSTOC-1987-AjtaiKS #simulation
Deterministic Simulation in LOGSPACE (MA, JK, ES), pp. 132–140.
STOCSTOC-1987-Goldreich #formal method #simulation #towards
Towards a Theory of Software Protection and Simulation by Oblivious RAMs (OG), pp. 182–194.
HCIHCI-CE-1987-Gutierrez #elicitation #requirements #simulation
A System Simulation System to Support the Elicitation of Information Requirements by End-Users (OG), pp. 529–536.
HCIHCI-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.
HCIHCI-CE-1987-Zimolong #flexibility #simulation
Decision Aids and Risk Taking in Flexible Manufacturing Systems: A Simulation Study (BZ), pp. 265–272.
HCIHCI-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.
ECOOPECOOP-1987-Kreutzer #object-oriented #simulation
A Modeller’s Workbench: Experiments in Object-Oriented Simulation (WK), pp. 203–212.
ECOOPECOOP-1987-MaruichiUT #behaviour #simulation
Behavioral Simulation Based on Knowledge Objects (TM, TU, MT), pp. 213–222.
OOPSLAOOPSLA-1987-Bezivin #object-oriented #simulation
Some Experiments In Object-Oriented Simulation (JB), pp. 394–405.
OOPSLAOOPSLA-1987-Meulen #interactive #named #simulation #smalltalk
INSIST: Interactive Simulation in Smalltalk (PSvdM), pp. 366–376.
SOSPSOSP-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.
ICLPSLP-1987-OhwadaM87 #logic programming #parallel #simulation
Qualitative Simulation in Parallel Logic Programming (HO, FM), pp. 480–489.
ICLPSLP-1987-ShenW87 #execution #prolog #simulation
A Simulation Study of the Argonne Model for Or-Parallel Execution of Prolog (KS, DHDW), pp. 45–68.
DACDAC-1986-Adler #multi #named
SIMMOS: a multiple-delay switch-level simulator (DA), pp. 159–163.
DACDAC-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.
DACDAC-1986-Canright #simulation
Simulating and controlling the effects of transmission line impedance mismatches (REC), pp. 778–785.
DACDAC-1986-Frank #parallel #simulation
Exploiting parallelism in a switch-level simulation machine (EHF), pp. 20–26.
DACDAC-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.
DACDAC-1986-IvieL #named #simulation
STL — a high level language for simulation and test (JI, KWLL), pp. 517–523.
DACDAC-1986-JacobNP #analysis #empirical #multi #performance
An empirical analysis of the performance of a multiprocessor-based circuit simulator (GKJ, ARN, DOP), pp. 588–593.
DACDAC-1986-KravitzR #multi
Multiprocessor-based placement by simulated annealing (SAK, RAR), pp. 567–573.
DACDAC-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.
DACDAC-1986-NaharSS #combinator #optimisation
Simulated annealing and combinatorial optimization (SN, SS, ES), pp. 293–299.
DACDAC-1986-OdrynaNC
A workstation-mixed model circuit simulator (PO, KN, CC), pp. 186–192.
DACDAC-1986-PincusD #reduction #using
Delay reduction using simulated annealing (JDP, AMD), pp. 690–695.
DACDAC-1986-Smith #logic #parallel #simulation
Fundamentals of parallel logic simulation (RJSI), pp. 2–12.
DACDAC-1986-SugimotoAKK #development #object-oriented #visual notation
An object-oriented visual simulator for microprogram development (AS, SA, MK, YK), pp. 138–144.
DACDAC-1986-TakasakiSNIK #hardware #logic #simulation
HAL II: a mixed level hardware logic simulation system (ST, TS, NN, HI, NK), pp. 581–587.
DACDAC-1986-WongFCS #logic #simulation #statistics
Statistics on logic simulation (KFW, MAF, RDC, BLS), pp. 13–19.
STOCSTOC-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.
STOCSTOC-1986-KosarajuA #array #simulation
Optimal Simulations between Mesh-Connected Arrays of Processors (Preliminary Version) (SRK, MJA), pp. 264–272.
ICALPICALP-1986-BrzozowskiS #analysis #network #simulation #summary
Correspondence between Ternary Simulation and Binary Race Analysis in Gate Networks (Extended Summary) (JAB, CJHS), pp. 69–78.
DACDAC-1985-AshokCS #data flow #modelling #simulation #using
Modeling switch-level simulation using data flow (VA, RLC, PS), pp. 637–644.
DACDAC-1985-BryantS #concurrent #evaluation #fault #performance
Performance evaluation of FMOSSIM, a concurrent switch-level fault simulator (REB, MDS), pp. 715–719.
DACDAC-1985-Frank #data-driven #simulation #using
Switch-level simulation of VLSI using a special-purpose data-driven computer (EHF), pp. 735–738.
DACDAC-1985-GuptaA #fault #functional #modelling #simulation
Functional fault modeling and simulation for VLSI devices (AKG, JRA), pp. 720–726.
DACDAC-1985-HahnF #music #named #performance #simulation
MuSiC: an event-flow computer for fast simulation of digital systems (WH, KF), pp. 338–344.
DACDAC-1985-HennionSC #algorithm #generative
A new algorithm for third generation circuit simulators: the one-step relaxation method (BH, PS, DC), pp. 137–143.
DACDAC-1985-KrasniewskiA #estimation #self
Simulation-free estimation of speed degradation in NMOS self-testing circuits for CAD applications (AK, AA), pp. 808–811.
DACDAC-1985-LathropK #functional #object-oriented #simulation
An extensible object-oriented mixed-mod functional simulation system (RHL, RSK), pp. 630–636.
DACDAC-1985-Lewis #hardware #simulation
A hardware engine for analogue mode simulation of MOS digital circuits (DML), pp. 345–351.
DACDAC-1985-MiyoshiKTNA #logic #simulation
Speed up techniques of logic simulation (MM, YK, OT, YN, NA), pp. 812–815.
DACDAC-1985-MokkaralaFA #approach #functional #simulation #verification
A unified approach to simulation and timing verification at the functional level (VRM, AF, RA), pp. 757–761.
DACDAC-1985-NaharSS
Experiments with simulated annealing (SN, SS, ES), pp. 748–752.
DACDAC-1985-RoyDCG #object-oriented
An object-oriented swicth-level simulator (CR, LPD, EC, JG), pp. 623–629.
DACDAC-1985-Schaefer
A transistor-level logic-with-timing simulator for MOS circuits (TJS), pp. 762–765.
ICSEICSE-1985-PottsBCM #design #simulation #specification #validation
Discrete Event Simulation as a Means of Validating JSD Design Specifications (CP, AB, BHC, RM), pp. 119–127.
DACDAC-1984-ChenLNS #generative
The second generation motis mixed-mode simulator (CFC, CYL, HNN, PS), pp. 10–17.
DACDAC-1984-dAbreuCF #design #named
Oracle — a simulator for Bipolar and MOS IC design (MAd, KLC, CTF), pp. 343–349.
DACDAC-1984-DeutschN #implementation #multi #simulation
A multiprocessor implementation of relaxation-based electrical circuit simulation (JTD, ARN), pp. 350–357.
DACDAC-1984-DoshiSS #interactive #logic #multi
THEMIS logic simulator — a mix mode, multi-level, hierarchical, interactive digital circuit simulator (MHD, RBS, DMS), pp. 24–31.
DACDAC-1984-GlazierA #hardware #logic #named #simulation
Ultimate: A hardware logic simulation engine (MEG, APA), pp. 336–342.
DACDAC-1984-JainA #fault #named #simulation
STAFAN: An alternative to fault simulation (SKJ, VDA), pp. 18–23.
DACDAC-1984-KawaiH #fault #simulation
An experimental MOS fault simulation program CSASIM (MK, JPH), pp. 2–9.
DACDAC-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.
DACDAC-1984-ThamWW #design #functional #multi #simulation #verification
Functional design verification by multi-level simulation (KT, RW, DW), pp. 473–478.
ICALPICALP-1984-IbarraKR #performance #simulation #strict
Space and Time Efficient Simulations and Characterizations of Some Restricted Classes of PDAs (OHI, SMK, LER), pp. 247–259.
DACDAC-1983-AbramoviciMM #fault #simulation
Critical path tracing — an alternative to fault simulation (MA, PRM, DTM), pp. 214–220.
DACDAC-1983-BarzilaiHSTW #logic #simulation #using
Simulating pass transistor circuits using logic simulation machines (ZB, LMH, GMS, DTT, LSW), pp. 157–163.
DACDAC-1983-BastianEFHM #simulation #specification
Symbolic Parasitic Extractor for Circuit Simulation (SPECS) (JDB, ME, PJF, CEH, LPM), pp. 346–352.
DACDAC-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.
DACDAC-1983-ChengGKW #development #functional #simulation
Functional simulation shortens the development cycle of a new computer (RC, BG, KK, JW), pp. 515–519.
DACDAC-1983-FlakeMM #algebra #logic #simulation
An algebra for logic strength simulation (PF, PM, GM), pp. 615–618.
DACDAC-1983-Hill #interface #visual notation
Edisim and Edicap: Graphical simulator interfaces (DDH), pp. 608–614.
DACDAC-1983-JordanP #interactive #logic #named
ILS — interactive logic simulator (GDJ, BBP), pp. 719–720.
DACDAC-1983-KozakBG #array #design #simulation
Design aids for the simulation of bipolar gate arrays (PK, AKB, AG), pp. 286–292.
DACDAC-1983-OkazakiMY #multi
A multiple media delay simulator for MOS LSI circuits (KO, TM, TY), pp. 279–285.
DACDAC-1983-Ramachandran
An improved switch-level simulator for MOS circuits (VR), pp. 293–299.
DACDAC-1983-SangsterM #logic #named #simulation
Aquarius: Logic simulation on an Engineering Workstation (AS, JM), pp. 93–99.
DACDAC-1983-SasakiKOT #hardware #logic #named
HAL: A block level HArdware Logic simulator (TS, NK, KO, KT), pp. 150–156.
DACDAC-1983-StevensA #logic #multi
BIMOS, an MOS oriented multi-level logic simulator (PS, GA), pp. 100–106.
DACDAC-1983-Ulrich #concurrent #design #simulation #verification
A design verification methodology based on concurrent simulation and clock suppression (EU), pp. 709–712.
ICALPICALP-1983-Vitanyi #on the #simulation
On the Simulation of Many Storage Heads by a Single One (Extended Abstract) (PMBV), pp. 687–694.
DACDAC-1982-AbramoviciLM #logic #simulation
A logic simulation machine (MA, YHL, PRM), pp. 65–73.
DACDAC-1982-Agrawal #analysis
Synchronous path analysis in MOS circuit simulator (VDA), pp. 629–635.
DACDAC-1982-BoseKLNPW #fault
A fault simulator for MOS LSI circuits (AKB, PK, CYL, HNN, EPS, KWW), pp. 400–409.
DACDAC-1982-Denneau #simulation
The Yorktown Simulation Engine (MD), pp. 55–59.
DACDAC-1982-DesMaraisSW #functional #modelling #simulation
A functional level modelling language for digital simulation (PJD, ESYS, PSW), pp. 315–320.
DACDAC-1982-Hayes #fault #simulation
A fault simulation methodology for VLSI (JPH), pp. 393–399.
DACDAC-1982-HirakawaSM #logic #simulation
Logic simulation for LSI (KH, NS, MM), pp. 755–761.
DACDAC-1982-KronstadtP #simulation
Software support for the Yorktown Simulation Engine (EK, GFP), pp. 60–64.
DACDAC-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.
DACDAC-1982-McDermott #modelling
Transmission gate modeling in an existing three-value simulator (RMM), pp. 678–681.
DACDAC-1982-NestorT #design #implementation #multi #representation #simulation
Defining and implementing a multilevel design representation with simulation applications (JAN, DET), pp. 740–746.
DACDAC-1982-Pfister #simulation
The Yorktown Simulation Engine: Introduction (GFP), pp. 51–54.
DACDAC-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.
DACDAC-1982-ShivaC #composition #simulation #synthesis #using
Modular description/simulation/synthesis using DDL (SGS, JAC), pp. 321–329.
DACDAC-1982-UlrichH #modelling #network #simulation
Speed and accuracy in digital network simulation based on structural modeling (EU, DH), pp. 587–593.
SIGMODSIGMOD-1982-Bell #modelling #simulation #source code
Data Modelling of Scientific Simulation Programs (JLB), pp. 79–86.
STOCSTOC-1982-Pippenger #probability #simulation
Probabilistic Simulations (Preliminary Version) (NP), pp. 17–26.
STOCSTOC-1982-Vitanyi #multi #realtime #simulation #turing machine
Real-Time Simulation of Multicounters by Oblivious One-Tape Turing Machines (PMBV), pp. 27–36.
ICALPICALP-1982-Vitanyi #multi #performance #simulation
Efficient Simulations of Multicounter Machines (PMBV), pp. 546–560.
SIGIRSIGIR-1982-TagueN #database #retrieval #simulation #using
Simulation of Bibliographic Retrieval Databases Using Hyperterms (JT, MJN), pp. 194–208.
ICLPILPC-1982-RoachF82 #migration #prolog #simulation
A Prolog Simulation of Migration Decision Making in a Less Developed Country (JWR, TDF), pp. 110–115.
DACDAC-1981-ArmstrongD #logic #named
GSP: A logic simulator for LSI (JRA, DED), pp. 518–524.
DACDAC-1981-BreuerP #roadmap #simulation
Digital system simulation: Current status and future trends or darwin’s theory of simulation (MAB, ACP), pp. 269–275.
DACDAC-1981-Bryant #named
MOSSIM: A switch-level simulator for MOS LSI (REB), pp. 786–790.
DACDAC-1981-Cory #functional #simulation #verification
Symbolic simulation for functional verification with ADLIB and SDL (WEC), pp. 82–89.
DACDAC-1981-HirschhornHB #algorithm #data type #functional #simulation
Functional level simulation in FANSIM3 — algorithms, data structures and results (SH, MH, CB), pp. 248–255.
DACDAC-1981-Hlynka #design
A simulator to replace wire rules for high speed computer design (AH), pp. 113–117.
DACDAC-1981-HoltH #logic
A MOS/LSI oriented logic simulator (DH, DH), pp. 280–287.
DACDAC-1981-HsuSB #fault #testing
Structured trace diagnosis for LSSD board testing — an alternative to full fault simulated diagnosis (FCH, PS, REB), pp. 891–897.
DACDAC-1981-Krohn #simulation
Vector coding techniques for high speed digital simulation (HEK), pp. 525–529.
DACDAC-1981-Leinwand #logic #process #simulation
Process oriented logic simulation (SML), pp. 511–517.
DACDAC-1981-RaethALB #functional #logic #modelling #simulation
Functional modelling for logic simulation (PGR, JMA, GBL, JMB), pp. 791–795.
DACDAC-1981-Ruehli #analysis #bibliography #logic #modelling #scalability #simulation
Survey of analysis, simulation and modeling for large scale logic circuits (AER), pp. 124–129.
DACDAC-1981-Sherwood #logic #modelling #simulation
A MOS modelling technique for 4-state true-value hierarchical logic simulation or Karnough knowledge (WS), pp. 775–785.
SIGIRSIGIR-1981-TagueN #retrieval #simulation
Simulation of User Judgments in Bibliographic Retrieval Systems (JT, MJN), pp. 66–71.
DACDAC-1980-AgrawalBKNP
A mixed-mode simulator (VDA, AKB, PK, HNN, EPS), pp. 618–625.
DACDAC-1980-AltmanP #analysis #design
The SLIDE simulator: A facility for the design and analysis of computer interconnections (AHA, ACP), pp. 148–155.
DACDAC-1980-dAbreuT #concurrent #fault #functional
An accurate functional level concurrent fault simulator (MAd, EWT), pp. 210–217.
DACDAC-1980-DyerLMS #design #simulation
The use of graphics processors for circuit design simulation at GTE AE Labs (JD, AL, EJM, WDS), pp. 446–450.
DACDAC-1980-GiambiasiMM #deduction #fault #simulation
Methods for generalized deductive fault simulation (NG, AM, DM), pp. 386–392.
DACDAC-1980-HanauL