|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 1714 occurrences of 1167 keywords
|
|
|
|
|
Results
Found 2257 publication records. Showing 2257 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 3 | Loren K. Miller |
Simulation-Based Engineering for Industrial Competitive Advantage.  |
Computing in Science and Engineering  |
2010 |
DBLP DOI BibTeX RDF |
Simulation-based engineering design, industrial competitive advantage, US Department of Energy, Sandia National Laboratories, The Goodyear Tire & Rubber Company, simulation-based product development, prototype-based product development, Cooperative Research and Development Agreement, CRADA, systems engineering, technology transfer, time-to-market |
| 3 | S. K. Panda, Arnab Roy 0001, P. P. Chakrabarti, Rajeev Kumar |
Simulation-based verification using Temporally Attributed Boolean Logic.  |
ACM Trans. Design Autom. Electr. Syst.  |
2008 |
DBLP DOI BibTeX RDF |
Bus verification, instruction semantics verification, interrupt testing, offline-online verification algorithm, simulation based verification, temporal logic, timing verification |
| 3 | Ralf Küsters, Anupam Datta, John C. Mitchell, Ajith Ramanathan |
On the Relationships between Notions of Simulation-Based Security.  |
J. Cryptology  |
2008 |
DBLP DOI BibTeX RDF |
Simulation-based security, Reactive Simulatability, Black-Box Simulatability, Universal Composability, Process calculus |
| 3 | Gang Chen, Yi Li, Jinyang Shi |
Modeling and Simulation of Continuous Time-Invariant Systems in Simulation Based Learning Environments.  |
ICHL  |
2008 |
DBLP DOI BibTeX RDF |
simulation based learning environment, continuous time-invariant system, interpretive structural modeling, frame based knowledge representation |
| 3 | Changming Su, Jiangwen Wan, Ning Yu |
Dynamic Simulation Based Localization for Mobile Sensor Networks.  |
MSN  |
2007 |
DBLP DOI BibTeX RDF |
Simulation Based Localization, Compuation cost, Mobile Sensor Networks |
| 3 | Barbara Sorensen, Sowmya Ramachandran |
Simulation-Based Automated Intelligent Tutoring.  |
HCI  |
2007 |
DBLP DOI BibTeX RDF |
Scenario Authoring Tool, Intelligent Tutoring, Simulation-based training |
| 3 | Shuo Sheng, Koichiro Takayama, Michael S. Hsiao |
Effective safety property checking using simulation-based sequential ATPG.  |
DAC  |
2002 |
DBLP DOI BibTeX RDF |
sequential ATPG, simulation-based, verification |
| 3 | Marcello Lajolo, Luciano Lavagno, Maurizio Rebaudengo, Matteo Sonza Reorda, Massimo Violante |
Automatic test bench generation for simulation-based validation.  |
CODES  |
2000 |
DBLP DOI BibTeX RDF |
simulation-based validation, genetic algorithm |
| 3 | Dilip Krishnaswamy, Michael S. Hsiao, Vikram Saxena, Elizabeth M. Rudnick, Janak H. Patel, Prithviraj Banerjee |
Parallel Genetic Algorithms for Simulation-Based Sequential Circuit Test Generation.  |
VLSI Design  |
1997 |
DBLP DOI BibTeX RDF |
simulation-based test generation, distributed memory MIMD machines, shared memory MIMD machines, parallel search strategies, logic testing, fault coverage, NP-complete problems, VLSI circuits, parallel genetic algorithms, sequential circuit test generation |
| 3 | Jörn Altmann, Frank Balbach, Axel Hein |
An Approach for Hierarchical System Level Diagnosis of Massively Parallel Computers Combined with a Simulation-Based Method for Dependability Analysis.  |
EDCC  |
1994 |
DBLP DOI BibTeX RDF |
simulation-based analysis, scalable and object-oriented simulation models, system level diagnosis, massively parallel computers |
| 2 | Adnan Salman, Allen D. Malony, Matthew J. Sottile |
An Open Domain-Extensible Environment for Simulation-Based Scientific Investigation (ODESSI).  |
ICCS  |
2009 |
DBLP DOI BibTeX RDF |
|
| 2 | Lionel Amodeo, Christian Prins, David Ricardo Sánchez |
Comparison of Metaheuristic Approaches for Multi-objective Simulation-Based Optimization in Supply Chain Inventory Management.  |
EvoWorkshops  |
2009 |
DBLP DOI BibTeX RDF |
Simulation, Evolutionary Algorithms, Multi-objective Optimization, Supply chain management, Metaheuristics |
| 2 | Yong-Jun You, Sung-Do Chi |
SIMVA: simulation-based network vulnerability analysis system.  |
SpringSim  |
2009 |
DBLP DOI BibTeX RDF |
SES/MB, vulnerability analysis system, simulation, network security, DEVS |
| 2 | Qishi Wu, Yi Gu, Zongmin Wang |
Simulation-based analysis of performance dynamics of distributed applications in heterogeneous network environments.  |
SpringSim  |
2009 |
DBLP DOI BibTeX RDF |
computing workflow, graph mapping, distributed computing, dynamic simulation |
| 2 | Farhad Mehdipour, Hamid Noori, Bahman Javadi, Hiroaki Honda, Koji Inoue, Kazuaki Murakami |
A combined analytical and simulation-based model for performance evaluation of a reconfigurable instruction set processor.  |
ASP-DAC  |
2009 |
DBLP DOI BibTeX RDF |
|
| 2 | Jun Hu, Loe M. G. Feijs |
A Distributed Multi-agent Architecture in Simulation Based Medical Training.  |
Edutainment  |
2009 |
DBLP DOI BibTeX RDF |
delivery simulator, Distribution, multi-agent, medical training |
| 2 | Rafail Ostrovsky, Giuseppe Persiano, Ivan Visconti |
Simulation-Based Concurrent Non-malleable Commitments and Decommitments.  |
TCC  |
2009 |
DBLP DOI BibTeX RDF |
|
| 2 | Radek Kocí, Vladimír Janousek |
Simulation Based Design of Control Systems Using DEVS and Petri Nets.  |
EUROCAST  |
2009 |
DBLP DOI BibTeX RDF |
|
| 2 | Andreas Beham, Monika Kofler, Michael Affenzeller, Stefan Wagner 0002 |
Evolutionary Selection in Simulation-Based Optimization.  |
EUROCAST  |
2009 |
DBLP DOI BibTeX RDF |
evolutionary algorithms, selection, simulation-based optimization |
| 2 | Viviane Guéraud, Anne Lejeune, Jean-Michel Adam, Michel Dubois, Nadine Mandran |
Supervising Distant Simulation-Based Practical Work: Environment and Experimentation.  |
EC-TEL  |
2009 |
DBLP DOI BibTeX RDF |
Distant monitoring, Semantic data visualization, Teacher interface, Simulation, Distance Learning, Supervision, Virtual learning environment, Tutoring system, Computer supported learning |
| 2 | Susan M. Stevens, Chris Forsythe, Robert G. Abbott, Charles J. Gieseler |
Experimental Assessment of Accuracy of Automated Knowledge Capture.  |
HCI  |
2009 |
DBLP DOI BibTeX RDF |
Naval training systems, intelligent tutoring systems, Automated assessment, simulation-based training |
| 2 | Matthew J. Rutherford, Antonio Carzaniga, Alexander L. Wolf |
Evaluating Test Suites and Adequacy Criteria Using Simulation-Based Models of Distributed Systems.  |
IEEE Trans. Software Eng.  |
2008 |
DBLP DOI BibTeX RDF |
|
| 2 | Jonathan Katz, Yehuda Lindell |
Handling Expected Polynomial-Time Strategies in Simulation-Based Security Proofs.  |
J. Cryptology  |
2008 |
DBLP DOI BibTeX RDF |
Expected polynomial-time, Black-box simulation, Zero-knowledge, Secure multiparty computation |
| 2 | Jiexin Lian, Zhaoxia Hu, Sol M. Shatz |
Simulation-based analysis of UML statechart diagrams: methods and case studies.  |
Software Quality Journal  |
2008 |
DBLP DOI BibTeX RDF |
Formal methods, Petri nets, UML statecharts, Design analysis |
| 2 | Jose Angel Irastorza, Ramón Agüero, Luis Muñoz |
Fostering the simulation-based evaluation of management architectures over multi-hop topologies.  |
NOMS  |
2008 |
DBLP DOI BibTeX RDF |
|
| 2 | Xingquan Cai, Jinhong Li, Zhitong Su |
Complex Effects Simulation Based Large Particles System on GPU.  |
ISNN  |
2008 |
DBLP DOI BibTeX RDF |
GPU (Graphics Processing Unit), complex effects simulation, state-preserving simulation, collision detection, particles system |
| 2 | Olaf Hagendorf, Thorsten Pawletta |
An approach for simulation based structure optimisation of discrete event systems.  |
SpringSim  |
2008 |
DBLP DOI BibTeX RDF |
DSDEVS Matlab toolbox, SES, structure optimisation, discrete event simulation, DEVS |
| 2 | K. R. Anne, S. K. Bhagavatula, Jean Chamberlain Chedjou, Kyandoghere Kyamakya |
Self-organized supply chain networks: theory in practice and an analog simulation based approach.  |
Autonomics  |
2008 |
DBLP DOI BibTeX RDF |
adaptive supply chains, analog simulation, self-organized supply chains, supply chain optimization |
| 2 | Hiroyuki Eto, Tadashi Dohi, Jianhua Ma |
Simulation-Based Optimization Approach for Software Cost Model with Rejuvenation.  |
ATC  |
2008 |
DBLP DOI BibTeX RDF |
non-parametric statistics, adaptation, Q-learning, software rejuvenation, Software aging, simulation-based optimization, semi-Markov decision process |
| 2 | Eugene Syriani, Hans Vangheluwe |
Programmed Graph Rewriting with Time for Simulation-Based Design.  |
ICMT  |
2008 |
DBLP DOI BibTeX RDF |
|
| 2 | Vittorio Cortellessa, Pierluigi Pierini, Romina Spalazzese, Alessio Vianale |
MOSES: MOdeling Software and platform architEcture in UML 2 for Simulation-based performance analysis.  |
QoSA  |
2008 |
DBLP DOI BibTeX RDF |
Simulation, UML, Software Performance, Resource Modeling |
| 2 | Huafei Zhu, Feng Bao, Robert H. Deng |
Robust and Reliable Broadcast Protocols in the Stand-Alone and Simulation-Based Frameworks.  |
ICC  |
2008 |
DBLP DOI BibTeX RDF |
|
| 2 | Xiaopan Zhang, Xide Fu, Xiaohui Yuan |
Simulation Based Parallel Genetic Algorithm to the Lockage Co-scheduling of the Three Gorges Project.  |
CSSE  |
2008 |
DBLP DOI BibTeX RDF |
|
| 2 | Joost C. F. de Winter, Stefan de Groot, Jenny Dankelman, Peter A. Wieringa, M. M. van Paassen, Mark Mulder |
Advancing simulation-based driver training: lessons learned and future perspectives.  |
Mobile HCI  |
2008 |
DBLP DOI BibTeX RDF |
|
| 2 | Teruaki Ito |
Simulation-Based Approaches Towards Congestion Problems.  |
Asia International Conference on Modelling and Simulation  |
2008 |
DBLP DOI BibTeX RDF |
congestion problem, Simulation, logistics, traffic congestion |
| 2 | Amal Kumar Kundu, I. Kharagpur, Tathagato Rai Dastidar, Tarun Kanti Bhattacharyya, Partha Ray |
A methodology for efficient design of analog circuits using an automated simulation based synthesis tool.  |
ISCAS  |
2008 |
DBLP DOI BibTeX RDF |
|
| 2 | Florin Sandu, Szilárd Cserey, Titus Constantin Balan, Mihai Romanca |
Simulation-based UMTS e-learning software.  |
PETRA  |
2008 |
DBLP DOI BibTeX RDF |
3G mobile telecom, 3GPP release 4, discrete event simulation systems, protocol monitors and emulators, virtual network adapters, UMTS |
| 2 | Andrea Seraghiti, Saverio Delpriori, Emanuele Lattanzi, Alessandro Bogliolo |
Self-adapting maxflow routing algorithm for WSNs: practical issues and simulation-based assessment.  |
CSTST  |
2008 |
DBLP DOI BibTeX RDF |
maxflow, routing self-adaptation, simulation |
| 2 | Birkan Can, Andreas Beham, Cathal Heavey |
A comparative study of genetic algorithm components in simulation-based optimisation.  |
Winter Simulation Conference  |
2008 |
DBLP DOI BibTeX RDF |
|
| 2 | Thomas R. Robbins, Terry P. Harrison |
A simulation based scheduling model for call centers with uncertain arrival rates.  |
Winter Simulation Conference  |
2008 |
DBLP DOI BibTeX RDF |
|
| 2 | Hoi-Ching Lam, Ming Lu |
Simulation-based, optimized scheduling of limited bar-benders over multiple building sites.  |
Winter Simulation Conference  |
2008 |
DBLP DOI BibTeX RDF |
|
| 2 | J. Mark Belue, Stuart H. Kurkowski, Scott R. Graham, Kenneth M. Hopkinson, Ryan W. Thomas, Joshua W. Abernathy |
Research and analysis of simulation-based networks through multi-objective visualization.  |
Winter Simulation Conference  |
2008 |
DBLP DOI BibTeX RDF |
|
| 2 | Daniel Noack, Oliver Rose |
A simulation based optimization algorithm for slack reduction and workforce scheduling.  |
Winter Simulation Conference  |
2008 |
DBLP DOI BibTeX RDF |
|
| 2 | Pasquale Legato, Rina Mary Mazza, Roberto Trunfio |
Simulation-based optimization for the quay crane scheduling problem.  |
Winter Simulation Conference  |
2008 |
DBLP DOI BibTeX RDF |
|
| 2 | Bum C. Park, Eui S. Park, Byoung K. Choi, Byung H. Kim, Jin H. Lee |
Simulation based planning and scheduling system for TFT-LCD Fab.  |
Winter Simulation Conference  |
2008 |
DBLP DOI BibTeX RDF |
|
| 2 | Michael E. Kuhl, Radhames A. Tolentino-Pena |
A dynamic crashing method for project management using simulation-based optimization.  |
Winter Simulation Conference  |
2008 |
DBLP DOI BibTeX RDF |
|
| 2 | Chunhua Tian, Hao Zhang, Feng Li |
Rule flow logic verification: A simulation based approach.  |
Winter Simulation Conference  |
2008 |
DBLP DOI BibTeX RDF |
|
| 2 | Javier Faulin, Miquel Gilibert, Angel A. Juan, Xavier Vilajosana, Rubén Ruiz |
SR-1: A simulation-based algorithm for the Capacitated Vehicle Routing Problem.  |
Winter Simulation Conference  |
2008 |
DBLP DOI BibTeX RDF |
|
| 2 | Khalid Almahorg, Otman Basir |
Simulation-Based Performance Comparison of VANETs Backbone Formation Algorithms.  |
DS-RT  |
2008 |
DBLP DOI BibTeX RDF |
|
| 2 | Yvonne Mertens, Matthias Wellens, Petri Mähönen |
Simulation-Based Performance Evaluation of Enhanced Broadcast Schemes for IEEE 802.11-Based Vehicular Networks.  |
VTC Spring  |
2008 |
DBLP DOI BibTeX RDF |
|
| 2 | Ralf Küsters, Max Tuengerthal |
Joint State Theorems for Public-Key Encryption and Digital Signature Functionalities with Local Computation.  |
CSF  |
2008 |
DBLP DOI BibTeX RDF |
simulation-based security, joint state, secure composition, cryptographic protocols |
| 2 | Tomoya Horiguchi, Tsukasa Hirashima |
Domain-Independent Error-Based Simulation for Error-Awareness and Its Preliminary Evaluation.  |
PRICAI  |
2008 |
DBLP DOI BibTeX RDF |
simulation-based learning environment, learner’s error, intelligent tutoring system, counterexample, truth maintenance system |
| 2 | Miriam Zia, Sadaf Mustafiz, Hans Vangheluwe, Jörg Kienzle |
A modelling and simulation based process for dependable systems design.  |
Software and System Modeling  |
2007 |
DBLP DOI BibTeX RDF |
|
| 2 | Kai-Hui Chang, Valeria Bertacco, Igor L. Markov |
Simulation-Based Bug Trace Minimization With BMC-Based Refinement.  |
IEEE Trans. on CAD of Integrated Circuits and Systems  |
2007 |
DBLP DOI BibTeX RDF |
|
| 2 | Ian O'Connor, Faress Tissafi-Drissi, Frédéric Gaffiot, Joni Dambre, Michiel De Wilde, Jan Van Campenhout, D. Van Thourhout, Dirk Stroobandt |
Systematic Simulation-Based Predictive Synthesis of Integrated Optical Interconnect.  |
IEEE Trans. VLSI Syst.  |
2007 |
DBLP DOI BibTeX RDF |
|
| 2 | S. Krishnamoorthy, J. J. Feng, Z. J. Chen |
Simulation-Based Analysis of Dielectrophoretic Field Flow Fractionation Devices.  |
IEEE Design & Test of Computers  |
2007 |
DBLP DOI BibTeX RDF |
dielectrophoresis, field flow fractionation, bioassays, microfluidics, cells, particles, lab on a chip |
| 2 | Gül Gürkan, Fikri Karaesmen, Özge Özdemir |
Optimal Threshold Levels in Stochastic Fluid Models via Simulation-based Optimization.  |
Discrete Event Dynamic Systems  |
2007 |
DBLP DOI BibTeX RDF |
Hedging points, Threshold levels, Generalized semi-Markov processes, Infinitesimal perturbation analysis, Sample-path optimization, Service-level constraints, Stochastic optimization, Stochastic fluid models |
| 2 | Stéphane P. A. Bordas, James G. Conley, Brian Moran, Joe Gray, Ed Nichols |
A simulation-based design paradigm for complex cast components.  |
Eng. Comput. (Lond.)  |
2007 |
DBLP DOI BibTeX RDF |
Casting design and modeling, Extended finite element method, XFEM, Crack growth and damage tolerance analysis, Non-destructive evaluation, Industrial problems, Micro-macro simulations |
| 2 | Huai Zhang, Zhibin Jiang, Chengtao Guo |
Simulation based real-time scheduling method for dispatching and rework control of semiconductor manufacturing system.  |
SMC  |
2007 |
DBLP DOI BibTeX RDF |
|
| 2 | Tahsin M. Kurç, Xi Zhang, Manish Parashar, Hector Klie, Mary F. Wheeler, Ümit V. Çatalyürek, Joel H. Saltz |
Dynamic Data-Driven Systems Approach for Simulation Based Optimizations.  |
International Conference on Computational Science  |
2007 |
DBLP DOI BibTeX RDF |
|
| 2 | Yiming Li, Shao-Ming Yu, Yih-Lang Li |
A Simulation-Based Hybrid Optimization Technique for Low Noise Amplifier Design Automation.  |
International Conference on Computational Science  |
2007 |
DBLP DOI BibTeX RDF |
DaCO, Optimization, parameter tuning, circuit design, computational performance, LNA |
| 2 | Cheng Qin, Ning Kang, Ning Cao |
Performance evaluation of anisotropic diffusion simulation based tractography on phantom images.  |
ACM Southeast Regional Conference  |
2007 |
DBLP DOI BibTeX RDF |
diffusion simulation based tractography (DST), diffusion tensor magnetic resonance imaging (DT-MRI), phantom images for simulating tractography errors (PISTE) |
| 2 | Ozgur Eski, Irem Ozkarahan |
A Simulation Based Fuzzy Goal Programming Model for Cell Formation.  |
FSKD  |
2007 |
DBLP DOI BibTeX RDF |
|
| 2 | Ye Wen, Wei Zhang, Richard Wolski, Navraj Chohan |
Simulation-based augmented reality for sensor network development.  |
SenSys  |
2007 |
DBLP DOI BibTeX RDF |
simulation, sensor network, debugging |
| 2 | Jiangming Jia, Zhengxiao Wang, Xiaohong Pan |
Simulation-Based Optimization Research on Outsourcing Procurement Cost.  |
LSMS  |
2007 |
DBLP DOI BibTeX RDF |
|
| 2 | Mesut E. Baran, Nikhil Mahajan, Sercan Teleke |
Simulation-based design of protection schemes for shipboard power systems.  |
SCSC  |
2007 |
DBLP DOI BibTeX RDF |
electromagnetic transient analysis, power electronic systems, power system protection, power system simulation |
| 2 | S. Rosado, Rolando Burgos, S. Ahmed, Fred Wang, Dushan Boroyevich |
Modeling of power electronics for simulation based analysis of power systems.  |
SCSC  |
2007 |
DBLP DOI BibTeX RDF |
interconnected power systems, stability, hierarchy, power electronics |
| 2 | Roger Dougal, Blake Langland, Antonello Monti |
Virtual prototyping as a mechanism for simulation-based design.  |
SCSC  |
2007 |
DBLP DOI BibTeX RDF |
|
| 2 | Kai Zhang, Hongkai Xiong, Xiaobo Zhou |
A Simulation-Based 3D Axon Axis Extraction in Confocal Fluorescence Microscopy Images.  |
BIBE  |
2007 |
DBLP DOI BibTeX RDF |
|
| 2 | Teruaki Ito |
A Simulation-Based Approach to Congestion Problem in Cafeteria.  |
Asia International Conference on Modelling and Simulation  |
2007 |
DBLP DOI BibTeX RDF |
|
| 2 | Olivier de Marneffe, Olivier Pereira, Jean-Jacques Quisquater |
Simulation-Based Analysis of E2E Voting Systems.  |
VOTE-ID  |
2007 |
DBLP DOI BibTeX RDF |
|
| 2 | Dieter Hildebrandt, Ludger Bischofs, Wilhelm Hasselbring |
RealPeer--A Framework for Simulation-Based Development of Peer-to-Peer Systems.  |
PDP  |
2007 |
DBLP DOI BibTeX RDF |
|
| 2 | Gang Taek Lee, Dong Hwi Lee, Kuinam J. Kim |
Simulation Based Nodal Analysis for Effects Based Operations.  |
ICCSA  |
2007 |
DBLP DOI BibTeX RDF |
Effects Based Operations, Information Security |
| 2 | Isaías Martinez-Yelmo, Ignacio Soto, David Larrabeiti, Carmen Guerrero |
A Simulation-Based Study of TCP Performance over an Optical Burst Switched Backbone with 802.11 Access.  |
EUNICE  |
2007 |
DBLP DOI BibTeX RDF |
|
| 2 | Sven Lahde |
Simulation-Based Evaluation of Routing Protocols for Vehicular Ad Hoc Networks.  |
KiVS  |
2007 |
DBLP DOI BibTeX RDF |
|
| 2 | Arunachalam Chockalingam, Kumar Muthuraman |
American option pricing under stochastic volatility: a simulation-based approach.  |
Winter Simulation Conference  |
2007 |
DBLP DOI BibTeX RDF |
|
| 2 | Adham Shahin, Simaan M. AbouRizk, Yasser Mohamed, Siri Fernando |
A simulation-based framework for quantifying the cold regions weather impacts on construction schedules.  |
Winter Simulation Conference  |
2007 |
DBLP DOI BibTeX RDF |
|
| 2 | Mark Broadie, Minsup Han, Assaf Zeevi |
Implications of heavy tails on simulation-based ordinal optimization.  |
Winter Simulation Conference  |
2007 |
DBLP DOI BibTeX RDF |
|
| 2 | Mike Graul, Perakath C. Benjamin, Arthur Keen, Frank Boydstun |
Simulation-based, ontology driven resource plan development.  |
Winter Simulation Conference  |
2007 |
DBLP DOI BibTeX RDF |
|
| 2 | Adeline T. H. Ang, Appa Iyer Sivakumar |
Online multiobjective single machine dynamic scheduling with sequence-dependent setups using simulation-based genetic algorithm with desirability function.  |
Winter Simulation Conference  |
2007 |
DBLP DOI BibTeX RDF |
|
| 2 | Takayuki Yoshizumi, Hiroyuki Okano |
A simulation-based algorithm for supply chain optimization.  |
Winter Simulation Conference  |
2007 |
DBLP DOI BibTeX RDF |
|
| 2 | Stephanie J. Lackey, Jonathan T. Harris, Linda C. Malone, Denise M. Nicholson |
Blending systems engineering principles and simulation-based design techniques to facilitate military prototype development.  |
Winter Simulation Conference  |
2007 |
DBLP DOI BibTeX RDF |
|
| 2 | Jason Tan, Gautam Biswas |
Simulation-Based Game Learning Environments: Building and Sustaining a Fish Tank.  |
DIGITEL  |
2007 |
DBLP DOI BibTeX RDF |
|
| 2 | Jinkui Hou, Huahong Yu, Guodong Huang |
Simulation-based Model Mapping Approach.  |
SERA  |
2007 |
DBLP DOI BibTeX RDF |
semantic consistency, model transformation, model-driven development, model mapping |
| 2 | Doo-Yeoun Cho, Myeong-Jo Son, Jung-Ho Kang, Sung-Jun Lee, Ju-Hwan Cha, Seong-Jin Yoo, Hyo-Kwang Lee, Kyu-Yeul Lee, Tae Wan Kim, Yong-Seog Ko |
Analysis of a submarine's evasive capability against an antisubmarine warfare torpedo using DEVS modeling and simulation.  |
SpringSim  |
2007 |
DBLP DOI BibTeX RDF |
evasive capability, simulation based acquisition (SBA), submarine, unified modeling language (UML), DEVS formalism |
| 2 | Kai-Hui Chang, Igor L. Markov, Valeria Bertacco |
Fixing Design Errors with Counterexamples and Resynthesis.  |
ASP-DAC  |
2007 |
DBLP DOI BibTeX RDF |
simulation-based verification, digital design errors, error-correction framework, resynthesis techniques, goal-directed search, entropy-guided search, counterexamples, digital designs, combinational equivalence-checking |
| 2 | Cheng-Yeh Wang, Chih-Bin Kuo, Jing-Yang Jou |
Hybrid Wordlength Optimization Methods of Pipelined FFT Processors.  |
IEEE Trans. Computers  |
2007 |
DBLP DOI BibTeX RDF |
Pipelined FFT processor, Signal-to-quantization noise ratio, Wordlength optimization, Simulation-based analysis, Upper-bound wordlength, Lowerbound wordlength, Statistical analysis |
| 2 | Qingwei Wu, Michael S. Hsiao |
A New Simulation-Based Property Checking Algorithm Based on Partitioned Alternative Search Space Traversal.  |
IEEE Trans. Computers  |
2006 |
DBLP DOI BibTeX RDF |
verification, Automatic test pattern generation (ATPG), satisfiability, logic-simulation |
| 2 | Hepu Deng, Chung-Hsing Yeh |
Simulation-based evaluation of defuzzification-based approaches to fuzzy multiattribute decision making.  |
IEEE Transactions on Systems, Man, and Cybernetics, Part A  |
2006 |
DBLP DOI BibTeX RDF |
|
| 2 | Makoto Sugihara, Tohru Ishihara, Masanori Muroyama, Koji Hashimoto |
A Simulation-Based Soft Error Estimation Methodology for Computer Systems.  |
ISQED  |
2006 |
DBLP DOI BibTeX RDF |
Reliability, Estimation, Soft Error, Computer Systems, Instruction-Set Simulation |
| 2 | WenAn Tan |
A Simulation-Based Process Model Learning Approach for Dynamic Enterprise Process Optimization.  |
ICIC  |
2006 |
DBLP DOI BibTeX RDF |
|
| 2 | Fernando Beltrán, Matthias Roggendorf |
A Simulation-Based Approach to Bidding Strategies for Network Resources in Competitive Wireless Networks.  |
ICQT  |
2006 |
DBLP DOI BibTeX RDF |
|
| 2 | Yiming Li, Cheng-Kai Chen |
A Distributed Simulation-Based Computational Intelligence Algorithm for Nanoscale Semiconductor Device Inverse Problem.  |
ISPA Workshops  |
2006 |
DBLP DOI BibTeX RDF |
|
| 2 | Douglas M. Blough, Cyrus Harvesf, Giovanni Resta, George F. Riley, Paolo Santi |
A Simulation-Based Study on the Throughput Capacity of Topology Control in CSMA/CA Networks.  |
PerCom Workshops  |
2006 |
DBLP DOI BibTeX RDF |
|
| 2 | Ralf Küsters |
Simulation-Based Security with Inexhaustible Interactive Turing Machines.  |
CSFW  |
2006 |
DBLP DOI BibTeX RDF |
|
| 2 | Ting Xue, Natalija Vlajic |
Analytical and Simulation Based Evaluation of Wireless-to-Wireline TCP-SYN Attacks.  |
CCECE  |
2006 |
DBLP DOI BibTeX RDF |
|
| 2 | Görschwin Fey, Sean Safarpour, Andreas G. Veneris, Rolf Drechsler |
On the relation between simulation-based and SAT-based diagnosis.  |
DATE  |
2006 |
DBLP DOI BibTeX RDF |
|
| 2 | Kerstin Eder, Peter A. Flach, Hsiou-Wen Hsueh |
Towards Automating Simulation-Based Design Verification Using ILP.  |
ILP  |
2006 |
DBLP DOI BibTeX RDF |
|
| 2 | Xiong Li, Kai Wang, Xianggang Liu, Jiuting Duo, Zhiming Dong |
Platform-Level Multiple Sensors Simulation Based on Multi-agent Interactions.  |
PRIMA  |
2006 |
DBLP DOI BibTeX RDF |
simulation, multi-agent system, interactions, agent |
| 2 | Junko Sekine, Enrique Campos-Náñez, John R. Harrald, Hernán G. Abeledo |
A simulation-based approach to trade-off analysis of port security.  |
Winter Simulation Conference  |
2006 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #100 of 2257 (100 per page; Change: ) Pages: [ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ >>] |
|