Simulation of Embedded Applications Implemented in Embedded Process Functional Language (English)
- New search for: Behalek, Marek
- New search for: Behalek, Marek
In:
2009 International Conference on Computational Intelligence, Modelling and Simulation
;
253-258
;
2009
- Conference paper / Electronic Resource
-
Title:Simulation of Embedded Applications Implemented in Embedded Process Functional Language
-
Contributors:Behalek, Marek ( author )
-
Published in:
-
Publisher:
- New search for: IEEE
-
Publication date:2009-09-01
-
Size:152244 byte
-
ISBN:
-
DOI:
-
Type of media:Conference paper
-
Type of material:Electronic Resource
-
Language:English
-
Source:
Table of contents conference proceedings
The tables of contents are generated automatically and are based on the data records of the individual contributions available in the index of the TIB portal. The display of the Tables of Contents may therefore be incomplete.
- 1
-
Awareness Behavioral Modelling for Fault Management of Agent-Based Computer Supported Cooperative WorkTalaei-Khoei, Amir / Ray, Pradeep / Parameswaran, Nandan et al. | 2009
- 6
-
A Numerical Solution of the Dispersion Modeling in the Planetary Boundary LayerDvorak, Radim / Zboril, Frantisek / Simek, Vaclav et al. | 2009
- 11
-
A New Method Based on Genetic Algorithms for Solving Traveling Salesman ProblemFrahadnia, Farshad et al. | 2009
- 17
-
Robust Feed-Forward Schemes for Anti-sway Control of Rotary CraneAhmad, Mohd Ashraf / Ismail, Raja Mohd Taufika Raja / Ramli, Mohd Syakirin / Zakaria, Nor Farizan / Ghani, Nor Maniha Abd et al. | 2009
- 23
-
Rough Set Based Data Mining Strategy for Analyzing Distance Protective Relay OperationsOthman, Mohammad Lutfi / Aris, Ishak / Abdullah, Mahmod Senan / Ali, Mohammad Liakot / Othman, Mohammad Ridzal et al. | 2009
- 30
-
Hybrid Models in Dynamic Simulation of a Biological Water Treatment ProcessJuuso, Esko K. et al. | 2009
- 36
-
A Novel Approach of Computer Vision Navigation for Mobile Tracking RobotWu, Jie / Abdulla, Hussam M. Dahwa / Snasel, Václav et al. | 2009
- 43
-
STBC CDMA System Simulation in MIMO Channels with Correlative ModelRahmati, Mehdi / Vakili, Vahid Tabataba et al. | 2009
- 48
-
A New Hybrid Particle Swarm Optimization Algorithm for Handling Multiobjective Problem Using Fuzzy Clustering TechniqueBenameur, Lamia / Alami, Jihane / Imrani, AbdelHakim El et al. | 2009
- 54
-
A Review on Techniques Applied to Modelling, Simulating and Visualising Evolution of Physical LandscapeNti, Isaac Kwadwo / Sallis, Philip J. / Shanamuganathan, Subana et al. | 2009
- 59
-
One Tool for Building Visual ModelsTereshchenko, Vasyl et al. | 2009
- 63
-
Design of a Highly Safe Model Vehicle for Rear-End Collision Avoidance Considering Multiple Faults of SensorsKasuga, Takeshi / Yakubo, Satoshi et al. | 2009
- 69
-
Data Processing for Simulation of Laser Beam Impact Statistical Method for the Heat-Affected Area DetectionHajkova, Jana et al. | 2009
- 75
-
Technical Initial Problems and Automatic TransformationKaluza, Vlastimil / Kopriva, Jan / Kunovsky, Jirí / Sehnalova, Pavla et al. | 2009
- 81
-
Simulating Infantry and Crowd BehaviorsPetz, Igor / Sobota, Branislav / Perhac, Ján et al. | 2009
- 87
-
A Synthesis on Lyapunov Methods to the Estimation and Enlargement of Attraction Domain for Nonlinear Autonomous SystemsHamidi, Faiçal / Jerbi, Houssem et al. | 2009
- 93
-
Smart City Components ArchitictureAl-Hader, Mahmoud / Rodzi, Ahmad / Sharif, Abdul Rashid / Ahmad, Noordin et al. | 2009
- 98
-
Integration of Thermal Dynamics and Lighting in Buildings with Object Oriented Multi-domain ApproachSodja, Anton / Zupancic, Borut et al. | 2009
- 104
-
Adaptive Neural Network Model Using the Immune System for Financial Time Series ForecastingMahdi, A.A. / Hussain, A.J. / Al-Jumeily, D. et al. | 2009
- 110
-
Protocol Specification and Verification Using Process Algebra and Petri NetsSimonak, Slavomír / Hudak, Štefan / Korecko, Štefan et al. | 2009
- 115
-
Mathematical Modeling of Crown Forest Fire Initiation and SpreadPerminov, Valeriy et al. | 2009
- 120
-
A Simple Optimum-Time Firing Squad Synchronization Algorithm for Two-Dimensional Rectangle ArraysUmeo, Hiroshi / Yunes, Jean-Baptiste / Yamawaki, Takuya et al. | 2009
- 126
-
An Agent Based Model for Uniform Access to Resources in Cooperative Information SystemsLeila, Ouahrani / Zaia, Alimazighi et al. | 2009
- 132
-
Agent-Based Simulation Model of Educational Process in the Student GroupIvashkin, Yuri A. / Nazoikin, Evgenii A. et al. | 2009
- 138
-
Using Web Services to Support Battlefield Visualization and Tactical Decision MakingKoyuncu, Baki / Bostanci, Erkan et al. | 2009
- 142
-
Teleworking and Next Generation CyberpaceBabulak, Eduard et al. | 2009
- 147
-
Object Oriented Terrain Modelling: Lessons Learned from Java3D Development IssuesJovanovic, Mladjan / Starcevic, Dušan et al. | 2009
- 153
-
Diagnosis of a Continous Stirred Tank Reactor Using Kalman FilterHsoumi, Aicha / El Harabi, Rafika / Ali, Saloua Bel Hadj / Abdelkrim, Mohamed Naceur et al. | 2009
- 159
-
Simulation as a New Approach to First Responders TrainingSturm, Nadine / Rainer, Karin / Chroust, Gerhard / Roth, Markus et al. | 2009
- 164
-
Estimating the Parameters of Cyclin-Triggered Gene Expression in Cell Cycle Control NetworkLecca, Paola / Palmisano, Alida et al. | 2009
- 170
-
Quasi Analytical State Observer in Real Time Lerneable SystemAlexik, Mikulas et al. | 2009
- 176
-
Using Patch Histogram of Detected Corners for Image RetrievalRiaz, Muhammad / Park, Jongan et al. | 2009
- 181
-
Simulation of Target Range Measurement Process by Passive Optoelectronic RangefinderCech, Vladimir / Jevicky, Jiri et al. | 2009
- 187
-
Vehicle Recognition System Using Singular Value Decomposition (SVD) and Levenberg-MarquardtSaad, Zuraidi / Osman, Muhammad Khusairi / Zulkafli, Zuli Imran / Ishak, Sopiah et al. | 2009
- 192
-
A New Comparison Method for Full Reference Image Quality MetricHan, Yu / Cai, Yunze / Xu, Xiaoming et al. | 2009
- 198
-
HPCgen A Fast Generator of Contact Networks of Large Urban Cities for Epidemiological StudiesZhang, Tianyou / Soh, Soon Hong / Fu, Xiuju / Lee, Kee Khoon / Wong, Limsoon / Ma, Stefan / Xiao, Gaoxi / Kwoh, Chee Keong et al. | 2009
- 204
-
Modeling Cognitive Distortions of Behavioural FinanceMiglietta, Nicola / Remondino, Marco et al. | 2009
- 210
-
Solving LTI Descriptor (Regular) Differential Multi-Delay Systems Using Matrix Pencil TheoryPantelous, Athanasios A. et al. | 2009
- 216
-
Control System Design for Solar Energy with LHTS to Fresh Air ConditioningWang, Lili / Yang, Jun / Zhou, Xiaoguang / Li, Peng et al. | 2009
- 220
-
Supply Air Temperature Control in an Industrial HVAC Pilot Plant Based on Smith Predictor and Inward ApproachRehrl, Jakob / Horn, Martin et al. | 2009
- 226
-
On the Synthesis of a Novel Nonlinear Feedback Control for Nonlinear Input-Affine SystemsJemai, Wiem Jebri / Jerbi, Houssem / Abdelkrim, Mohamed Naceur et al. | 2009
- 231
-
Modeling and Control of an Industrial Continuous FurnaceBitschnau, Lukas / Kozek, Martin et al. | 2009
- 237
-
The World in 2050 Challenges and Opportunities for Modelling and Simulation (Invited Paper)Zobel, Richard et al. | 2009
- 245
-
Services for Numerical CalculationIsbasoiu, Eliza Consuela et al. | 2009
- 253
-
Simulation of Embedded Applications Implemented in Embedded Process Functional LanguageBehalek, Marek et al. | 2009
- 259
-
Distributed and Centralized Version of an Efficient Communication Protocol for Distributed Traffic SimulationPotuzak, Tomas et al. | 2009
- 265
-
Using Simulated Annealing for Task Scheduling in Distributed SystemsKashani, Mostafa Haghi / Jahanshahi, Mohsen et al. | 2009
- 270
-
Efficiency Analysis and Benchmarking of Telecommunication Sector In IndiaSaxena, Vineeta / Thakur, Tripta / Singh, R.P. et al. | 2009
- 276
-
Computer Network Redesign through Clusters Consolidation and OPNET ModelerHabib, Sami J. / Marimuthu, Paulvanna Nayaki / Isaac, Asha Merine et al. | 2009
- 282
-
Performability Modelling of Handoff in Wireless Cellular Networks and the Exact Solution of System Models with Service Rates Dependent on Numbers of Originating and Handoff CallsEver, Enver / Kirsal, Yonal / Gemikonakli, Orhan et al. | 2009
- 288
-
Peltier Effect Based Solar Powered Air Conditioning SystemSharma, Rohit / Sehgal, Vivek Kumar / Nitin, / Thakur, Abhinav / Khan, Adnan Munir / Sharma, Ashish / Sharma, Pankaj et al. | 2009
- 293
-
Author index| 2009
- 296
-
Roster Page| 2009
- C1
-
Cover Art| 2009
- i
-
Title Page i| 2009
- iii
-
Title Page iii| 2009
- iv
-
Copyright Page| 2009
- v
-
Table of Contents| 2009
- x
-
Welcome Message from the Chairs| 2009
- xii
-
Conference Organization| 2009
- xiii
-
International Program Committee| 2009
- xiv
-
Technical Program Committee| 2009
- xv
-
International Reviewers| 2009
- xvi
-
Technical Sponsors| 2009
- xvii
-
Plenary Abstracts| 2009