Table of Contents, vol 6, no 3&4, year 2013
pages: 245 - 259
Modeling of Expert Knowledge for Maritime Situation Assessment
Yvonne Fischer, Karlsruhe Institute of Technology (KIT), Germany
Jürgen Beyerer, Fraunhofer Institute of Optronics, System Technologies and Image Exploitation (IOSB), Germany
pages: 260 - 271
Urban Area Energy Flow Microsimulation for Planning Support: a Calibration and Verification Study
Diane Perez, Solar Energy and Building Physics Laboratory (LESO-PB), École Polytechnique Fédérale de Lausanne (EPFL), Switzerland
Jérôme Henri Kämpf, Solar Energy and Building Physics Laboratory (LESO-PB), École Polytechnique Fédérale de Lausanne (EPFL), Switzerland
Jean-Louis Scartezzini, Solar Energy and Building Physics Laboratory (LESO-PB), École Polytechnique Fédérale de Lausanne (EPFL), Switzerland
pages: 272 - 286
Design Space Exploration of Many-Core NoCs Based on Queueing-Theoretic Models
Erik Fischer, Technische Universität Dresden, Germany
David Öhmann, Technische Universität Dresden, Germany
Albrecht Fehske, Technische Universität Dresden, Germany
Gerhard P. Fettweis, Technische Universität Dresden, Germany
pages: 287 - 299
Undecidable Case and Decidable Case of Joint Diagnosability in Distributed Discrete Event Systems
Lina Ye, INRIA, Grenoble-Rhône-Alpes, France
Philippe Dague, Univ. Paris-Sud, France
pages: 300 - 309
Monitoring Virtualized Infrastructure in the Context of Grid Job Execution
Jiří Sitera, CESNET, Czech Republic
Zdeněk Šustr, CESNET, Czech Republic
Boris Parák, CESNET, Czech Republic
Daniel Kouřil, CESNET, Czech Republic
pages: 310 - 323
Static Preprocessing for Automated Structural Testing of Simulink Models
Benjamin Wilmes, Berlin Institute of Technology, Daimler Center for Automotive IT Innovations (DCAITI), Germany
pages: 324 - 334
Sick But Not Dead Failures - Adaptive Testing, Evaluation and Design Methodologies
Tara Astigarraga, IBM, USA
Michael Browne, IBM, USA
Lou Dickens, IBM, USA
Ian MacQuarrie, IBM, USA
pages: 335 - 352
Towards Evolvable State Machines and their Applications
Dirk van der Linden, University of Antwerp, Belgium
Wim Ploegaerts, PWCS bvba, Belgium
Georg Neugschwandtner, University of Antwerp, Belgium
Herwig Mannaert, University of Antwerp, Belgium
pages: 353 - 363
Sustainable Multiprocessor Real-Time Scheduling with Exact Preemption Cost
Falou Ndoye, INRIA Paris-Rocquencourt, France
Yves Sorel, INRIA Paris-Rocquencourt, France
pages: 364 - 373
Multilevel Flash Memories: Channel Modeling, Capacities and Optimal Coding Rates
Xiujie Huang, University of Hawaii, USA
Aleksandar Kavcic, University of Hawaii, USA
Xiao Ma, Sun Yat-sen University, China
Guiqiang Dong, Skyera Inc., USA
Tong Zhang, Rensselaer Polytechnic Institute, USA
pages: 374 - 383
Enhanced Design Conditions for Decentralized State-Space Control of Systems with Relevant Interactions
Dusan Krokavec, Technical University of Kosice, Slovakia
Anna Filasova, Technical University of Kosice, Slovakia
pages: 384 - 393
Rapid Aerial Mapping with Multiple Heterogeneous Unmanned Vehicles
Eduard Santamaria, Fraunhofer IOSB, Germany
Florian Segor, Fraunhofer IOSB, Germany
Igor Tchouchenkov, Fraunhofer IOSB, Germany
Rainer Schoenbein, Fraunhofer IOSB, Germany
pages: 394 - 404
Time Series Prediction with Automated Periodicity Detection
Michael Schaidnagel, Reutlingen University, Germany
Fritz Laux, Reutlingen University, Germany
download vol 6, no 3&4, year 2013
