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