The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for Simulink with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1997-2000 (21) 2001 (15) 2002-2003 (36) 2004 (47) 2005 (57) 2006 (62) 2007 (77) 2008 (80) 2009 (80) 2010 (35) 2011 (38) 2012 (52) 2013 (66) 2014 (60) 2015 (70) 2016 (66) 2017 (58) 2018 (59) 2019 (57) 2020 (46) 2021 (44) 2022 (45) 2023 (40) 2024 (3)
Publication types (Num. hits)
article(270) book(5) data(4) incollection(11) inproceedings(911) phdthesis(13)
Venues (Conferences, Journals, ...)
CoRR(32) Comput. Appl. Eng. Educ.(21) ISCAS(18) DATE(15) Simul. Notes Eur.(14) EMSOFT(13) CCECE(12) HSCC(12) ICFEM(12) ETFA(9) IECON(9) ACM Trans. Embed. Comput. Syst...(8) ASE(8) DAC(8) EIT(8) FMICS(8) More (+10 of total 599)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 397 occurrences of 247 keywords

Results
Found 1214 publication records. Showing 1214 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
106Chunqing Chen, Jin Song Dong Applying Timed Interval Calculus to Simulink Diagrams. Search on Bibsonomy ICFEM The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Verification, Z, Simulink, Real-Time Specification
86Chunqing Chen, Jin Song Dong, Jun Sun 0001 Machine-Assisted Proof Support for Validation Beyond Simulink. Search on Bibsonomy ICFEM The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Formal Verification, PVS, Simulink, Real-Time Specifications
86Li Qi, Karen L. Butler-Purry, Stephen Woodruff Realization of a generalized modeling method for ungrounded power systems in Matlab/Simulink. Search on Bibsonomy SCSC The full citation details ... 2007 DBLP  BibTeX  RDF algebraic loops, ungrounded power systems, nonlinear, building blocks, Matlab/Simulink
75Arquimedes Canedo, Takeo Yoshizawa, Hideaki Komatsu Automatic parallelization of simulink applications. Search on Bibsonomy CGO The full citation details ... 2010 DBLP  DOI  BibTeX  RDF coarse grain dataflow, equation-level parallelism, compilers, multi-core, automatic parallelization, simulink, strands
66Paolo Zuliani, André Platzer, Edmund M. Clarke Bayesian statistical model checking with application to Simulink/Stateflow verification. Search on Bibsonomy HSCC The full citation details ... 2010 DBLP  DOI  BibTeX  RDF bayesian statis tics, statistical model checking, hybrid systems, probabilistic model checking, stochastic systems
66Changyan Zhou, Ratnesh Kumar 0001 Modeling Simulink Diagrams Using Input/Output Extended Finite Automata. Search on Bibsonomy COMPSAC (2) The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
65Sang-Il Han, Xavier Guerin, Soo-Ik Chae, Ahmed Amine Jerraya Buffer memory optimization for video codec application modeled in Simulink. Search on Bibsonomy DAC The full citation details ... 2006 DBLP  DOI  BibTeX  RDF memory size reduction, video codec application, Simulink
56Michael H. Schwarz, Huiyun Sheng, Oleksandr Sheleh, Josef Börcsök Matlab® / Simulink® generated source code for safety related systems. Search on Bibsonomy AICCSA The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
56B. Meenakshi 0002, Abhishek Bhatnagar, Sudeepa Roy Tool for Translating Simulink Models into Input Language of a Model Checker. Search on Bibsonomy ICFEM The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
56Tetsuya Tsukada, Yoshifumi Sekine A Basilar Membrane Model Using Simulink for Hearing-Aid Systems. Search on Bibsonomy ICONIP The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
55Indranil Saha, Kuntal Chakraborty, Suman Roy 0001, B. VishnuVardhan Reddy, Venkatappaiah Kurapati, Vishesh Sharma An approach to reverse engineering of C programs to simulink models with conformance testing. Search on Bibsonomy ISEC The full citation details ... 2009 DBLP  DOI  BibTeX  RDF reverse engineering, c, conformance testing, simulink
55Rajeev Alur, Aditya Kanade, S. Ramesh 0002, K. C. Shashidhar Symbolic analysis for improving simulation coverage of Simulink/Stateflow models. Search on Bibsonomy EMSOFT The full citation details ... 2008 DBLP  DOI  BibTeX  RDF simulations, coverage, hybrid systems, Simulink, Stateflow
55Manoranjan Satpathy, Anand Yeolekar, S. Ramesh 0002 Randomized directed testing (REDIRECT) for Simulink/Stateflow models. Search on Bibsonomy EMSOFT The full citation details ... 2008 DBLP  DOI  BibTeX  RDF simulink/stateflow models, coverage, hybrid systems, model based testing
55Timothy Bourke, Arcot Sowmya A timing model for synchronous language implementations in simulink. Search on Bibsonomy EMSOFT The full citation details ... 2006 DBLP  DOI  BibTeX  RDF timed automata, synchronous languages, simulink
55Yuan Zhan, John A. Clark The state problem for test generation in Simulink. Search on Bibsonomy GECCO The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Matlab-Simulink, state problem, structural coverage, tracing and deducing, automation, test-data generation
55Stavros Tripakis, Christos Sofronis, Paul Caspi, Adrian Curic Translating discrete-time simulink to lustre. Search on Bibsonomy ACM Trans. Embed. Comput. Syst. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF Code generation, embedded software, Simulink, Lustre
55Norman Scaife, Christos Sofronis, Paul Caspi, Stavros Tripakis, Florence Maraninchi Defining and translating a "safe" subset of simulink/stateflow into lustre. Search on Bibsonomy EMSOFT The full citation details ... 2004 DBLP  DOI  BibTeX  RDF embedded software, simulink, lustre, automatic translation
55Paul Caspi, Adrian Curic, Aude Maignan, Christos Sofronis, Stavros Tripakis, Peter Niebert From simulink to SCADE/lustre to TTA: a layered approach for distributed embedded applications. Search on Bibsonomy LCTES The full citation details ... 2003 DBLP  DOI  BibTeX  RDF scheduling, embedded software, synchronous languages, simulink, lustre, code distribution
50Dong Liu, Xuesong Mei, Tao Tao, Youqing Zhou Research on Design Method and Application of FPGA-Based Motion Control. Search on Bibsonomy ICIRA (2) The full citation details ... 2008 DBLP  DOI  BibTeX  RDF System Generator, FPGA, motion control, MATLAB/Simulink
50Marco Zennaro, Raja Sengupta Distributing synchronous programs using bounded queues. Search on Bibsonomy EMSOFT The full citation details ... 2005 DBLP  DOI  BibTeX  RDF distributed synchronous programs, globally asynchronous locally synchronous architecture, GALS, Simulink
46Gholamreza Latif Shabgahi, F. Tajarrod A New Approach for the Construction of Fault Trees from System Simulink. Search on Bibsonomy ARES The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
46Chang-liang Liu, Lin Chen, Xiao-mei Wang Development of Simulation Software for Coal-Fired Power Units Based on Matlab/Simulink. Search on Bibsonomy ICIC (3) The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
46Katalin Popovici, Ahmed Amine Jerraya Simulink based hardware-software codesign flow for heterogeneous MPSoC. Search on Bibsonomy SCSC The full citation details ... 2007 DBLP  BibTeX  RDF hardware-software gradual refinement, multimedia applications, abstraction levels
46Kai Huang 0002, Sang-Il Han, Katalin Popovici, Lisane B. de Brisolara, Xavier Guerin, Lei Li, Xiaolang Yan, Soo-Ik Chae, Luigi Carro, Ahmed Amine Jerraya Simulink-Based MPSoC Design Flow: Case Study of Motion-JPEG and H.264. Search on Bibsonomy DAC The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
46Gerald Stieglbauer, Andreas Werner Modellierung von deterministischer Software in Simulink. Search on Bibsonomy Inform. Forsch. Entwickl. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF Embedded realtime systems, Model-based software development, Software architecture, Code generation, Model generation, Digital controllers
46Lisa M. Boden, Robert Busser, Mark R. Blackburn, Aaron Nauman Extending Simulink Models With Natural Relations To Improve Automated Model-Based Testing. Search on Bibsonomy SEW The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
46Nikolaos Papandreou, Maria Varsamou, Theodore Antonakopoulos 0001 Transmission Systems Prototyping Based on Stateflow/Simulink Models. Search on Bibsonomy IEEE International Workshop on Rapid System Prototyping The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
46Wolfgang Pree, Gerald Stieglbauer, Josef Templ Simulink Integration of Giotto/TDL. Search on Bibsonomy ASWSD The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
46J. Moreno-Reina, José M. de la Rosa 0001, Fernando Medeiro, R. Romay, Rocío del Río, Maria Belen Pérez-Verdú, Ángel Rodríguez-Vázquez A SIMULINK-based approach for fast and precise simulation of switched-capacitor, switched-current and continuous-time Sigma-Delta modulators. Search on Bibsonomy ISCAS (4) The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
46Raimund Kirner, Roland Lang, Gerald Freiberger, Peter P. Puschner Fully Automatic Worst-Case Execution Time Analysis for Matlab/Simulink Models. Search on Bibsonomy ECRTS The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
46Stéphane Tudoret, Simin Nadjm-Tehrani, Albert Beneviste, Jan-Erik Strömberg Co-simulation of Hybrid Systems: Signal-Simulink. Search on Bibsonomy FTRTFT The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
45Yuan Zhan, John A. Clark Search-based mutation testing for Simulink models. Search on Bibsonomy GECCO The full citation details ... 2005 DBLP  DOI  BibTeX  RDF simulated annealing, automation, heuristic search, test-data generation, mutation testing, Matlab/Simulink
41Lisane B. de Brisolara, Marcio F. da S. Oliveira, Ricardo Miotto Redin, Luís C. Lamb, Luigi Carro, Flávio Rech Wagner Using UML as Front-end for Heterogeneous Software Code Generation Strategies. Search on Bibsonomy DATE The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
41Emily T. Swain, Yunlin Xu, Rong Gao, Thomas J. Downar, Lefteri H. Tsoukalas The Application of Neural Networks to Electric Power Grid Simulation. Search on Bibsonomy ICANN (2) The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
41Changchun Shi, James Hwang, Scott McMillan, Ann Root, Vinay Singh A System Level Resource Estimation Tool for FPGAs. Search on Bibsonomy FPL The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
40Ainsmar Brown, Richard Garcia Concepts and Validation of a Small-Scale Rotorcraft Proportional Integral Derivative (PID) Controller in a Unique Simulation Environment. Search on Bibsonomy J. Intell. Robotic Syst. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF X-Plane, Simulation, MATLAB, UAV, Simulink, PID, UAS
40Chang Ho Sung, Jeong-Hee Hong, Tag Gon Kim Interoperation of DEVS models and differential equation models using HLA/RTI: hybrid simulation of engineering and engagement level models. Search on Bibsonomy SpringSim The full citation details ... 2009 DBLP  DOI  BibTeX  RDF combat system effectiveness, DEVS, hybrid simulation, MATLAB/Simulink, HLA/RTI
40Daniel Ernst, Kimon P. Valavanis, Richard Garcia, Jeff Craighead Unmanned Vehicle Controller Design, Evaluation and Implementation: From MATLAB to Printed Circuit Board. Search on Bibsonomy J. Intell. Robotic Syst. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Autopilot, Unmanned systems, Validation, Implementation, Microcontroller, Controller design, MATLAB/SIMULINK
40Bradley Oraw, Vijay Choudhary, Raja Ayyanar A cosimulation approach to model-based design for complex power electronics and digital control systems. Search on Bibsonomy SCSC The full citation details ... 2007 DBLP  BibTeX  RDF Saber, automatic code generation, Simulink, cosimulation, digital control
40Ana Toledo Moreo, Cristina Vicente-Chicote, Juan Suardíaz Muro, Sergio A. Cuenca Xilinx System Generator Based HW Components for Rapid Prototyping of Computer Vision SW/HW Systems. Search on Bibsonomy IbPRIA (1) The full citation details ... 2005 DBLP  DOI  BibTeX  RDF FPGAs, prototyping, Simulink, co-simulation, image processing applications
35Aditya Kanade, Rajeev Alur, Franjo Ivancic, S. Ramesh 0002, Sriram Sankaranarayanan 0001, K. C. Shashidhar Generating and Analyzing Symbolic Traces of Simulink/Stateflow Models. Search on Bibsonomy CAV The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
35Alexandre Donzé, Bruce H. Krogh, Akshay Rajhans Parameter Synthesis for Hybrid Systems with an Application to Simulink Models. Search on Bibsonomy HSCC The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
35Andreas Windisch Search-based testing of complex simulink models containing stateflow diagrams. Search on Bibsonomy ICSE Companion The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
35Danilo Beuche, Jens Weiland Managing Flexibility: Modeling Binding-Times in Simulink. Search on Bibsonomy ECMDA-FA The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
35Onsy A. Abdel Alim, Nemat Elboghdadly, Mahmoud Ashour, Azza M. Elaskary Channel estimation and equalization for fixed/mobile OFDM WiMAX system in simulink. Search on Bibsonomy MOBILWARE The full citation details ... 2008 DBLP  DOI  BibTeX  RDF OFDM, WiMAX, equalization, channel estimation, Doppler effect
35Weimu Ma, Yunong Zhang, Jiahai Wang MATLAB Simulink modeling and simulation of Zhang neural networks for online time-varying sylvester equation solving. Search on Bibsonomy IJCNN The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
35Pontus Boström, Lionel Morel, Marina Waldén Stepwise Development of Simulink Models Using the Refinement Calculus Framework. Search on Bibsonomy ICTAC The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
35Alonso Morgado, Rocío del Río, José M. de la Rosa 0001 A SIMULINK Block Set for the High-Level Simulation of Multistandard Radio Receivers. Search on Bibsonomy ISCAS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
35Jason M. Carter, Jesse H. Poore Sequence-based specification of feedback control systems in Simulink®. Search on Bibsonomy CASCON The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
35Yves Vanderperren, Wim Dehaene From UML/SysML to Matlab/Simulink: current state and future perspectives. Search on Bibsonomy DATE The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
35Jingzhao Ou, Viktor K. Prasanna MATLAB/Simulink Based Hardware/Software Co-Simulation for Designing Using FPGA Configured Soft Processors. Search on Bibsonomy IPDPS The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
35Michael A. Shanblatt, Brian Foulds A Simulink-to-FPGA Implementation Tool for Enhanced Design Flow. Search on Bibsonomy MSE The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
35Sandeep Neema, Zsolt Kalmar, Feng Shi, Attila Vizhanyo, Gabor Karsai A Visually-Specified Code Generator for Simulink/Stateflow. Search on Bibsonomy VL/HCC The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
35Jesús Ruiz-Amaya, Josep Lluís de la Rosa, Fernando Medeiro, Francisco V. Fernández 0001, Rocío del Río, Maria Belen Pérez-Verdú, Ángel Rodríguez-Vázquez MATLAB/SIMULINK-Based High-Level Synthesis of Discrete-Time and Continuous-Time [Sigma, Delta] Modulators. Search on Bibsonomy DATE The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
35Mihail Petrov, Tudor Murgan, Frank May, Martin Vorbach, Peter Zipf, Manfred Glesner The XPP Architecture and Its Co-simulation Within the Simulink Environment. Search on Bibsonomy FPL The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
35Levent Burak Kara, Thomas F. Stahovich Sim-U-Sketch: a sketch-based interface for SimuLink. Search on Bibsonomy AVI The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
35Jingzhao Ou, Viktor K. Prasanna PyGen: A MATLAB/Simulink Based Tool for Synthesizing Parameterized and Energy Efficient Designs Using FPGAs. Search on Bibsonomy FCCM The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
35Uwe Hatnik, Sven Altmann Using ModelSim, Matlab/Simulink and NS for Simulation of Distributed Systems. Search on Bibsonomy PARELEC The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
35Paul Caspi, Adrian Curic, Aude Maignan, Christos Sofronis, Stavros Tripakis Translating Discrete-Time Simulink to Lustre. Search on Bibsonomy EMSOFT The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
31Dominik Schmitz, Ming Zhang, Thomas Rose 0001, Matthias Jarke, Andreas Polzer, Jacob Palczynski, Stefan Kowalewski, Michael Reke Mapping Requirement Models to Mathematical Models in Control System Development. Search on Bibsonomy ECMDA-FA The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
31Gaurav Saxena, Subramaniam Ganesan, Manohar Das Real time implementation of adaptive noise cancellation. Search on Bibsonomy EIT The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
31Matthew Staats, Mats Per Erik Heimdahl Partial Translation Verification for Untrusted Code-Generators. Search on Bibsonomy ICFEM The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
31Long Chen 0003, Li-min Niu, Jing-bo Zhao, Hao-Bin Jiang Application of AMESim & MATLAB Simulation on Vehicle Chassis System Dynamics. Search on Bibsonomy IITA The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
31D. Borrie, S. Isnandar, C. S. Özveren Simulation of Complex Environments: The Fuzzy Cognitive Agent. Search on Bibsonomy ISDA (1) The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
31Euripides Sotiriades, Christos Kozanitis, Grigorios Chrysos 0001, Apostolos Dollas Rapid Phototyping of a System-on-a-Chip for the BLAST Algorithm Implementation. Search on Bibsonomy IEEE International Workshop on Rapid System Prototyping The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
30Fazli Subhan, Halabi Hasbullah Designing of Roaming Protocol for Bluetooth Equipped Multi Agent Systems. Search on Bibsonomy IVIC The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Multi Agent Systems, component, Bluetooth, Handoff, Roaming, Simulink
30Chuanyin Tang, Lijie Yue, Lixin Guo, Shuwen Zhou, Wei Zhou, Zhaowen Wang Fuzzy Logic Control for Vehicle Suspension Systems. Search on Bibsonomy ICIRA (2) The full citation details ... 2008 DBLP  DOI  BibTeX  RDF suspension system, simulation, animation, fuzzy control, Matlab/simulink
30Toshihiro Obata, Teiichiro Inoue General Mode Controller for Software on Artificial Satellite with Model-Based Validation Tool. Search on Bibsonomy MoDELS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Mode controller, high quality, embedded system, flexibility, Simulink, Stateflow
30Florian Deissenboeck, Benjamin Hummel, Elmar Jürgens, Bernhard Schätz, Stefan Wagner 0001, Jean-Francois Girard, Stefan Teuchert Clone detection in automotive model-based development. Search on Bibsonomy ICSE The full citation details ... 2008 DBLP  DOI  BibTeX  RDF model clone, data-flow, clone detection, matlab/simulink
30Yan Shi 0005, Chunmei Zhang, Anbo Liang, Haibo Yuan Fuzzy Control of the Spraying Medicine Control System. Search on Bibsonomy CCTA The full citation details ... 2007 DBLP  DOI  BibTeX  RDF variable spraying pesticide, fuzzy control, Matlab, Simulink
30M. M. Adams, Philip B. Clayton ClawZ: Cost-Effective Formal Verification for Control Systems. Search on Bibsonomy ICFEM The full citation details ... 2005 DBLP  DOI  BibTeX  RDF industrial formal verification, ProofPower, Eurofighter Typhoon, Ada, refinement, Z, control systems, safety-critical software, Simulink, real-time software, formal proof
30Ana Cavalcanti 0001, Phil Clayton, Colin O'Halloran Control Law Diagrams in Circus. Search on Bibsonomy FM The full citation details ... 2005 DBLP  DOI  BibTeX  RDF refinement, CSP, Z, Simulink
30Levent Burak Kara, Thomas F. Stahovich Hierarchical parsing and recognition of hand-sketched diagrams. Search on Bibsonomy UIST The full citation details ... 2004 DBLP  DOI  BibTeX  RDF pnns, visual parsing, Simulink, symbol recognition, pen computing, sketch understanding
30Colin O'Halloran, Alf Smith Verification of Picture Generated Code. Search on Bibsonomy ASE The full citation details ... 1999 DBLP  DOI  BibTeX  RDF Ada, Z, Automatic Code Generation, Proof, Simulink, SPARK, Control Laws
30Sohil Lal Shrestha Harnessing Large Language Models for Simulink Toolchain Testing and Developing Diverse Open-Source Corpora of Simulink Models for Metric and Evolution Analysis. Search on Bibsonomy ISSTA The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
30Sohil Lal Shrestha, Christoph Csallner SLGPT: Using Transfer Learning to Directly Generate Simulink Model Files and Find Bugs in the Simulink Toolchain. Search on Bibsonomy CoRR The full citation details ... 2021 DBLP  BibTeX  RDF
30Sohil Lal Shrestha, Christoph Csallner SLGPT: Using Transfer Learning to Directly Generate Simulink Model Files and Find Bugs in the Simulink Toolchain. Search on Bibsonomy EASE The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
30Vera Pantelic, Steven M. Postma, Mark Lawford, Alexandre Korobkine, Bennett Mackenzie, Jeff Ong, Marc Bender A Toolset for Simulink - Improving Software Engineering Practices in Development with Simulink. Search on Bibsonomy MODELSWARD The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
30Alexandre Chapoutot Simulation abstraite : une analyse statique de modèles Simulink. (Abstract Simulation: a Static Analysis of Simulink Models). Search on Bibsonomy 2008   RDF
25Michael Ryabtsev, Ofer Strichman Translation Validation: From Simulink to C. Search on Bibsonomy CAV The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
25Tibor Farkas, Carsten Neumann, Andreas Hinnerichs An Integrative Approach for Embedded Software Design with UML and Simulink. Search on Bibsonomy COMPSAC (2) The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
25Rajibul Huq, Hervé Lacheray, Cameron Fulford, Derek Wight, Jacob Apkarian QBOT: An educational mobile robot controlled in MATLAB Simulink environment. Search on Bibsonomy CCECE The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
25Marco Di Natale, Valerio Pappalardo Buffer optimization in multitask implementations of Simulink models. Search on Bibsonomy ACM Trans. Embed. Comput. Syst. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF schedulability, code generation, Software models, real-time programming
25Gabriel Lizárraga, Roberto Sepúlveda, Oscar Montiel, Oscar Castillo 0001 Modeling and Simulation of the Defuzzification Stage Using Xilinx System Generator and Simulink. Search on Bibsonomy Soft Computing for Hybrid Intelligent Systems The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
25Muhammad Ikhwan Jambak, Habibollah Haron, Dewi Nasien Development of Robot Simulation Software for Five Joints Mitsubishi RV-2AJ Robot Using MATLAB/Simulink and V-Realm Builder. Search on Bibsonomy CGIV The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
25Taufik, Makbul Anwari Modeling and Simulation of Current Ripple in DC Link Connecting Two PWM Inverters Using Matlab/Simulink. Search on Bibsonomy Asia International Conference on Modelling and Simulation The full citation details ... 2008 DBLP  DOI  BibTeX  RDF DC bus Current Ripple, PWM Inverter
25Csaba Petre, Craig Schlottmann, Paul E. Hasler Automated conversion of Simulink designs to analog hardware on an FPAA. Search on Bibsonomy ISCAS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
25Yunong Zhang, Xiaojiao Guo, Weimu Ma, Ke Chen 0004, Binghuang Cai MATLAB Simulink Modeling and Simulation of Zhang Neural Network for Online Time-Varying Matrix Inversion. Search on Bibsonomy ICNSC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
25Hongfu Zhou Simulation on Temperature Fuzzy Control in Injection Mould Machine by Simulink. Search on Bibsonomy ICNSC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
25T. Barlas, Mehrdad Moallem Next generation of embedded controllers: Developing FPGA-based reconfigurable controllers using Matlab/Simulink. Search on Bibsonomy ETFA The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
25Youssef Atat, Nacer-Eddine Zergainoh Simulink-based MPSoC Design: New Approach to Bridge the Gap between Algorithm and Architecture Design. Search on Bibsonomy ISVLSI The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
25Henrik Schiøler, Hans-Peter Schwefel, Martin B. Hansen CyNC: a MATLAB/SimuLink toolbox for network calculus. Search on Bibsonomy VALUETOOLS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF modelling, real time systems, performance analysis, tools, network calculus
25Brian Wesley Williams Using hybrid automata to model four stroke engines with variable valve timing in Simulink/Stateflow. Search on Bibsonomy ACM Southeast Regional Conference The full citation details ... 2006 DBLP  DOI  BibTeX  RDF hybrid and embedded systems, hybrid automata
25Shoujun Song, Weiguo Liu Fuzzy Parameters Self-Tuning PID Control of Switched Reluctance Motor Based on Simulink/NCD. Search on Bibsonomy CIMCA/IAWTIC The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
25Marco Di Natale Optimizing the Multitask Implementation of Multirate Simulink Models. Search on Bibsonomy IEEE Real Time Technology and Applications Symposium The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
25Roman Bartosinski, Zdenek Hanzálek, Libor Waszniowski, Petr Struzka Processor Expert Enhances Matlab Simulink Facilities for Embedded Software Rapid Development. Search on Bibsonomy ETFA The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
25Xiaoying Li, Fuming Sun, Enhua Wu A Simulink-to-FPGA Co-Design of Encryption Module. Search on Bibsonomy APCCAS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
25Hideaki Okazaki, Chiho Okazaki, Hirohiko Honda, Takuji Kawamoto Simulink based model realization for CDMA communication over power lines. Search on Bibsonomy ISCAS (5) The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
25S. I. Ahmed, Tad A. Kwasniewski An all-digital data recovery circuit optimization using Matlab/Simulink. Search on Bibsonomy ISCAS (5) The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
25Andrea Fornasari, Piero Malcovati, Franco Maloberti Improved modeling of sigma-delta modulator non-idealities in Simulink. Search on Bibsonomy ISCAS (6) The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 1214 (100 per page; Change: )
Pages: [1][2][3][4][5][6][7][8][9][10][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license