|
|
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][ >>] |
|