Search results for "DIPES"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	Rui Marcelino, Horácio C. Neto, João M. P. Cardoso	Sorting Units for FPGA-Based Embedded Systems.	DIPES	2008	DBLP DOI BibTeX RDF	FPGAs, embedded systems, sorting, special-purpose architecture
1	Christoph M. Kirchsteiger, Christoph Trummer, Christian Steger, Reinhold Weiss, Markus Pistauer	Specification-based Verification of Embedded Systems by Automated Test Case Generation.	DIPES	2008	DBLP DOI BibTeX RDF
1	Hugo Metivier, Jean-Pierre Talpin, Thierry Gautier, Paul Le Guernic	Analysis of Periodic Clock Relations in Polychronous Systems.	DIPES	2008	DBLP DOI BibTeX RDF
1	Sherif Fadel Fahmy, Binoy Ravindran, E. Douglas Jensen	Scheduling Dependent Distributable Real-Time Threads in Dynamic Networked Embedded Systems.	DIPES	2008	DBLP DOI BibTeX RDF
1	Rita Kalile Almeida Andrade, Thomás Alimena Del Grande, Tiago Bücker, Carlos Eduardo Pereira	Design and Implementation of a FTT-CAN Communication Infra-Structure for the RT-femtoJava Processor.	DIPES	2008	DBLP DOI BibTeX RDF
1	Santiago Urueña, Juan Zamorano, José Antonio Pulido, Juan Antonio de la Puente	Communication Paradigms for High-Integrity Distributed Systems with Hard Real-Time Requirements.	DIPES	2008	DBLP DOI BibTeX RDF
1	Augustin Kebemou, Ina Schieferdecker	The Components Data Flow Machine: An Intermediate Modeling Format to Support the Design of Automobiles E/E Systems Architectures.	DIPES	2008	DBLP DOI BibTeX RDF	design, architecture, partitioning, mapping, automotive systems
1	Ricardo Miotto Redin, Marcio F. da S. Oliveira, Lisane B. de Brisolara, Júlio C. B. de Mattos, Luís C. Lamb, Flávio Rech Wagner, Luigi Carro	On the Use of Software Quality Metrics to Improve Physical Properties of Embedded Systems.	DIPES	2008	DBLP DOI BibTeX RDF	software engineering, measurement, metrics, quality, embedded software
1	Claudius Stern, Philipp Adelt, Willi Richert, Bernd Kleinjohann	Hierarchically Distributing Embedded Systems for Improved Autonomy.	DIPES	2008	DBLP DOI BibTeX RDF	autonomous systems, robot control, distributed embedded systems
1	Sebastien Revol, Safouan Taha, François Terrier, Alain Clouard, Sébastien Gérard, Ansgar Radermacher, Jean-Luc Dekeyser	Unifying HW Analysis and SoC Design Flows by Bridging Two Key Standards: UML and IP-XACT.	DIPES	2008	DBLP DOI BibTeX RDF
1	Henning Zabel, Wolfgang Müller 0003	An Efficient Time Annotation Technique in Abstract RTOS Simulations for Multiprocessor Task Migration.	DIPES	2008	DBLP DOI BibTeX RDF
1	Balaji V. Iyer, Thomas M. Conte	A Power Model for Register-Sharing Structures.	DIPES	2008	DBLP DOI BibTeX RDF
1	Eyad Alkassar, Peter Böhm, Steffen Knapp	Formal Correctness of an Automotive Bus Controller Implementation at Gate-Level.	DIPES	2008	DBLP DOI BibTeX RDF
1	Luís Nogueira, Luís Miguel Pinho	Handling QoS Dependencies in Distributed Cooperative Real-Time Systems.	DIPES	2008	DBLP DOI BibTeX RDF
1	Kyoungwoo Lee, Aviral Shrivastava, Nikil D. Dutt, Nalini Venkatasubramanian	Data Partitioning Techniques for Partially Protected Caches to Reduce Soft Error Induced Failures.	DIPES	2008	DBLP DOI BibTeX RDF
1	Simon Tjell, João M. Fernandes	Expressing Environment Assumptions and Real-time Requirements for a Distributed Embedded System with Shared Variables.	DIPES	2008	DBLP DOI BibTeX RDF
1	Geovani Ricardo Wiedenhoft, Antônio Augusto Fröhlich	Using Imprecise Computation Techniques for Power Management in Real-Time Embedded Systems.	DIPES	2008	DBLP DOI BibTeX RDF
1	Meng Wang 0005, Zili Shao, Hui Liu 0006, Chun Jason Xue	Minimizing Leakage Energy with Modulo Scheduling for VLIW DSP Processors.	DIPES	2008	DBLP DOI BibTeX RDF
1	Kyoungwoo Lee, Minyoung Kim, Nikil D. Dutt, Nalini Venkatasubramanian	Error-Exploiting Video Encoder to Extend Energy/QoS Tradeoffs for Mobile Embedded Systems.	DIPES	2008	DBLP DOI BibTeX RDF
1	Enkhbold Ochirsuren, Heiko Hinkelmann, Leandro Soares Indrusiak, Manfred Glesner	TinyOS Extensions for a Wireless Sensor Network Node Based on a Dynamically Reconfigurable Processor.	DIPES	2008	DBLP DOI BibTeX RDF
1	Baokang Zhao, Meng Wang 0005, Zili Shao, Jiannong Cao 0001, Keith C. C. Chan, Jinshu Su	Topology-Aware Energy Efficient Task Assignment for Collaborative In-Network Processing in Distributed Sensor Systems.	DIPES	2008	DBLP DOI BibTeX RDF
1	Bernd Kleinjohann, Lisa Kleinjohann, Wayne H. Wolf (eds.)	Distributed Embedded Systems: Design, Middleware and Resources, IFIP 20th World Computer Congress, TC10 Working Conference on Distributed and Parallel Embedded Systems (DIPES 2008), September 7-10, 2008, Milano, Italy	DIPES	2008	DBLP BibTeX RDF
1	D. Doreen Hephzibah Miriam, T. Srinivasan 0001	A Fast and Efficient Isomorphic Task Allocation Scheme for K-Ary N-Cube Systems.	DIPES	2006	DBLP DOI BibTeX RDF	Full subcube recognition, k-ary n-cube systems, isomorphic partitioning, processor allocation
1	Luís Almeida 0001, Paulo Pedreiras, Ricardo Marau	Traffic Scheduling Anomalies in Temporal Partitions.	DIPES	2006	DBLP DOI BibTeX RDF	real-time systems, real-time scheduling, real-time communication, distributed real-time systems
1	Clemens Moser, Davide Brunelli, Lothar Thiele, Luca Benini	Lazy Scheduling for Energy Harvesting Sensor Nodes.	DIPES	2006	DBLP DOI BibTeX RDF
1	Simon Tjell	Model-Based Analysis of a Windmill Communication System.	DIPES	2006	DBLP DOI BibTeX RDF	Real-time systems, performance analysis, communication protocol, Coloured Petri Nets
1	Bernhard Steffen, Tiziana Margaria	Continuous Engineering of Embedded systems.	DIPES	2006	DBLP DOI BibTeX RDF
1	Bernd Kleinjohann, Lisa Kleinjohann, Ricardo Jorge Machado 0001, Carlos Eduardo Pereira, P. S. Thiagarajan (eds.)	From Model-Driven Design to Resource Management for Distributed Embedded Systems, IFIP TC 10 Working Conference on Distributed and Parallel Embedded Systems (DIPES 2006), October 11-13, 2006, Braga, Portugal	DIPES	2006	DBLP BibTeX RDF
1	Hermann Kopetz	Pulsed Data Streams.	DIPES	2006	DBLP DOI BibTeX RDF	distributed system, embedded system, real-time, distributed control
1	Fabio Wronski, Eduardo Wenzel Brião, Flávio Rech Wagner	Evaluating Energy-Aware Task Allocation Strategies for MPSOCS.	DIPES	2006	DBLP DOI BibTeX RDF	Simulation, Networks-on-Chip, Task Allocation, Multiprocessor SoCs, Energy Estimation
1	Jan Haase 0001, Markus Damm, Dennis Hauser, Klaus Waldschmidt	Reliability-Aware Power Management of Multi-Core Processors.	DIPES	2006	DBLP DOI BibTeX RDF	SDVM, Reliability, Adaptivity, Power Management
1	Alain Girault, Hamoudi Kalla, Yves Sorel	Transient Processor/Bus Fault Tolerance for Embedded Systems.	DIPES	2006	DBLP DOI BibTeX RDF	hybrid redundancy, safety-critical systems, transient faults, real-time embedded systems, scheduling heuristics, heterogeneous architectures, data fragmentation
1	Marcelo Götz, Achim Rettberg, Carlos Eduardo Pereira	Communication-Aware Component Allocation Algorithm for a Hybrid Architecture.	DIPES	2006	DBLP DOI BibTeX RDF	System-on-Chip, Reconfigurable Computing, Real Time Operating System
1	Christo Angelov, Jesper Berthing	Distributed Timed Multitasking - A Model of Computation for Hard Real-Time Distributed Systems.	DIPES	2006	DBLP DOI BibTeX RDF	hard real-time distributed systems, actor-based architecture, signal-based communication, timed multitasking
1	Arliones Stevert Hoeller, Lucas Francisco Wanner, Antônio Augusto Fröhlich	A Hierarchical Approach for Power Management on Mobile Embedded Systems.	DIPES	2006	DBLP DOI BibTeX RDF	energy consumption management, mobile computing, embedded systems, Power management, embedded operating systems, low-power computing
1	João M. Fernandes, Ricardo Jorge Machado 0001, Paula Monteiro, Helena Rodrigues	A Demonstration Case on the Transformation of Software Architectures for Service Specification.	DIPES	2006	DBLP DOI BibTeX RDF
1	Jan Madsen, Thomas K. Stidsen, Peter Kjaerulf, Shankar Mahadevan	Multi-Objective Design Space Exploration of Embedded System Platforms.	DIPES	2006	DBLP DOI BibTeX RDF
1	Alfons Crespo, Ismael Ripoll, Miguel Masmano	Dynamic Memory Management for Embedded Real-Time Systems.	DIPES	2006	DBLP DOI BibTeX RDF	real-time systems, embedded systems, Dynamic memory allocation
1	Eduardo Tavares, Meuse N. Oliveira Jr., Paulo Romero Martins Maciel, Bruno Souza, Silvino Neto, Raimundo S. Barreto, Romulo Devezas Freitas, Marcelo Custódio	Pre-Runtime Scheduling Considering Timing and Energy Constraints in Embedded Systems with Multiple Processors.	DIPES	2006	DBLP DOI BibTeX RDF
1	Paul Caspi	Some Issues in Model-Based Development for Embedded Control Systems.	DIPES	2006	DBLP DOI BibTeX RDF	approximation, sampling, voting, distances, model-based development, embedded control
1	Wayne H. Wolf	Design Challenges in Multiprocessor Systems-on-Chip.	DIPES	2006	DBLP DOI BibTeX RDF
1	Achim Rettberg, Franz-Josef Rammig	Integration of Energy Reduction into High-Level Synthesis by Partitioning.	DIPES	2006	DBLP DOI BibTeX RDF
1	Thierry Jéron	Model-Based Test Selection for Infinite State Reactive Systems.	DIPES	2006	DBLP DOI BibTeX RDF
1	Jean-Marc Jézéquel	Reifying the Semantic Domains of Component Contracts.	DIPES	2006	DBLP DOI BibTeX RDF
1	Björn Lisper	Trends in Timing Analysis.	DIPES	2006	DBLP DOI BibTeX RDF	Real-time System, Program Analysis, Timing Analysis
1	Willi Richert, Bernd Kleinjohann, Markus Koch, Alexander Bruder, Stefan Rose, Philipp Adelt	The Paderkicker Team: Autonomy in Realtime Environments.	DIPES	2006	DBLP DOI BibTeX RDF
1	Klaus Schneider 0001, Jens Brandt 0001, Eric Vecchié	Modular Compilation of Synchronous Programs.	DIPES	2006	DBLP DOI BibTeX RDF	modular compilation, synchronous languages
1	Henning Zabel, Achim Rettberg	Prototyping an Ambient Light System - A Case Study.	DIPES	2006	DBLP DOI BibTeX RDF
1	François Terrier, Sébastien Gérard	MDE Benefits for Distributed, Real Time and Embedded Systems.	DIPES	2006	DBLP DOI BibTeX RDF	Embedded System, Real Time, Model-Driven Engineering, UML profile
1	Peter P. Puschner, Raimund Kirner	From Time-Triggered to Time-Deterministic Real-Time Systems.	DIPES	2006	DBLP DOI BibTeX RDF	Real-time systems, determinism, time-triggered architecture, time predictability
1	Luís Nogueira, Luís Miguel Pinho	Iterative Refinement Approach for QOS-Aware Service Configuration.	DIPES	2006	DBLP DOI BibTeX RDF
1	Edgard de Faria Corrêa, Eduardo W. Basso, Gustavo R. Wilke, Flávio Rech Wagner, Luigi Carro	The Implications of Real-Time Behavior in Networks-on-Chip Architectures.	DIPES	2004	DBLP DOI BibTeX RDF
1	Martin Kardos, Yuhong Zhao 0001	Verification Framework for UML-Based Design of Embedded Systems.	DIPES	2004	DBLP DOI BibTeX RDF
1	Ashoke Deb	A Dataflow Language (AVON) as an Architecture Description Language (ADL).	DIPES	2004	DBLP DOI BibTeX RDF
1	Júlio C. B. de Mattos, Lisane B. de Brisolara, Renato Fernandes Hentschke, Luigi Carro, Flávio Rech Wagner	Design Space Exploration with Automatic Generation of IP-Based Embedded Software.	DIPES	2004	DBLP DOI BibTeX RDF
1	Uwe Glässer, Mona Vajihollahi	Engineering Concurrent and Reactive Systems with Distributed Real-Time Abstract State Machines.	DIPES	2004	DBLP DOI BibTeX RDF
1	Alain Girault, Hamoudi Kalla, Yves Sorel	An Active Replication Scheme that Tolerates Failures in Distributed Embedded Real-Time Systems.	DIPES	2004	DBLP DOI BibTeX RDF
1	Florian Dittmann 0001, Achim Rettberg	A Self-Controlled and Dynamically Reconfigurable Architecture.	DIPES	2004	DBLP DOI BibTeX RDF
1	K. H. (Kane) Kim, C. S. Im, M. C. Kim, Yuqing Li, Seung-Mok Yoo, L. C. Zheng	A Software Architecture and Supporting Kernel for Largely Synchronously Operating Sensor Networks.	DIPES	2004	DBLP DOI BibTeX RDF
1	Kazuhiro Ogata 0001, Daigo Yamagishi, Takahiro Seino, Kokichi Futatsugi	Modeling and Verification of Hybrid Systems Based on Equations.	DIPES	2004	DBLP DOI BibTeX RDF
1	Karen Godary-Dejean, Isabelle Augé-Blum, Anne Mignotte	Temporal Bounds for TTA: Validation.	DIPES	2004	DBLP DOI BibTeX RDF
1	Raimundo S. Barreto, Paulo Romero Martins Maciel, Marília Neves, Eduardo Tavares, Ricardo Massa Ferreira Lima	A Novel Approach for Off-Line Multiprocessor Scheduling in Embedded Hard Real-Time Systems.	DIPES	2004	DBLP DOI BibTeX RDF
1	Uwe Honekamp, Matthias Wernicke	Development of Distributed Automotive Software: The DaVinci Methodology.	DIPES	2004	DBLP DOI BibTeX RDF
1	Wojciech Noworyta	Distribution of Time Interval Between Successive Interrupt Requests.	DIPES	2004	DBLP DOI BibTeX RDF
1	Diogo Zandonai, Sergio Bampi, Marcel Bergerman	ME64 - A Parallel Hardware Architecture for Motion Estimation Implemented in FPGA.	DIPES	2004	DBLP DOI BibTeX RDF
1	Frank Slomka, Karsten Albers, Richard Hofmann	A Multiobjective Tabu Search Algorithm for the Design Space Exploration of Embedded Systems.	DIPES	2004	DBLP DOI BibTeX RDF
1	André Luiz de Freitas Francisco, Achim Rettberg, Andreas Hennig	Hardware Design and Protocol Specification for the Control and Communication within a Mechatronic System.	DIPES	2004	DBLP DOI BibTeX RDF
1	Lisane B. de Brisolara, Leandro Buss Becker, Luigi Carro, Flávio Rech Wagner, Carlos Eduardo Pereira	Evaluating High-Level Models for Real-Time Embedded Systems Design.	DIPES	2004	DBLP DOI BibTeX RDF
1	Carsten Rust, Achim Rettberg	Automatic Synthesis of SystemC-Code from Formal Specifications.	DIPES	2004	DBLP DOI BibTeX RDF
1	John Hawkins, Ali E. Abdallah	Hardware Synthesis of a Parallel JPEG Decoder from its Functional Specification.	DIPES	2004	DBLP DOI BibTeX RDF
1	Brigitte Oesterdiekhoff	Internet Premium Services for Flexible Format Distributed Services.	DIPES	2004	DBLP DOI BibTeX RDF
1	Claudia Kretzschmar, Markus Scheithauer, Dietmar Müller 0001	Adaptive Bus Encoding Schemes for Power-Efficient Data Transfer in DSM Environments.	DIPES	2004	DBLP DOI BibTeX RDF
1	Michael Kersten, Wolfgang Nebel	On Detecting Deadlocks in Large UML Models.	DIPES	2004	DBLP DOI BibTeX RDF
1	Ricardo Jorge Machado 0001, João M. Fernandes	A Multi-Level Design Pattern for Embedded Software.	DIPES	2004	DBLP DOI BibTeX RDF
1	Roman Gumzej, Matjaz Colnaric, Wolfgang A. Halang	Profiling Specification PEARL Designs.	DIPES	2004	DBLP DOI BibTeX RDF
1	Bernd Kleinjohann, Guang R. Gao, Hermann Kopetz, Lisa Kleinjohann, Achim Rettberg (eds.)	Design Methods and Applications for Distributed Embedded Systems, IFIP 18th World Computer Congress, TC10 Working Conference on Distributed and Parallel Embedded Systems (DIPES 2004), 22-27 August 2004, Toulouse, France	DIPES	2004	DBLP BibTeX RDF
1	Yuhong Zhao 0001	LTL's Intuitive Representations and its Automaton Translation.	DIPES	2004	DBLP DOI BibTeX RDF
1	Carsten Rust, Franz J. Rammig	A Petri Net Based Approach for the Design of Dynamically Modifiable Embedded Systems.	DIPES	2004	DBLP DOI BibTeX RDF
1	Håkan Sivencrona, Mattias Persson, Jan Torin	A Membership Agreement Algorithm Detecting and Tolerating Asymmetric Timing Faults.	DIPES	2004	DBLP DOI BibTeX RDF
1	Jean-Paul Jamont, Michel Occello, André Lagrèze	A Decentralized Self-Organized Approach for Wireless Sensor Networks.	DIPES	2004	DBLP DOI BibTeX RDF
1	Per Johannessen, Fredrik Törner, Jan Torin	Experiences from Model Based Development of Drive-By-Wire Control Systems.	DIPES	2004	DBLP DOI BibTeX RDF
1	David Doose, Zoubir Mammeri	Schedulability Analysis and Design of Real-Time Embedded Systems with Partitions.	DIPES	2004	DBLP DOI BibTeX RDF
1	Chokri Mraidha, Sylvain Robert, Sébastien Gérard, David Servat	MDA Platform for Complex Embedded Systems Development.	DIPES	2004	DBLP DOI BibTeX RDF
1	Carsten Böke, Simon Oberthür	Flexible Resource Management - A Framework for Self-Optimizing Real-Time Systems.	DIPES	2004	DBLP DOI BibTeX RDF
1	João M. Fernandes, Ricardo Jorge Machado 0001	Can UML be a System-Level Language for Embedded Software?.	DIPES	2002	DBLP BibTeX RDF
1	Vytautas Stuikys, Robertas Damasevicius, Giedrius Ziberkas, Giedrius Majauskas	Soft IP Design Framework Using Metaprogramming Techniques.	DIPES	2002	DBLP BibTeX RDF
1	Holger Giese, Martin Kardos, Ulrich Nickel 0002	Towards Design Verification and Validation at Multiple Levels of Abstraction.	DIPES	2002	DBLP BibTeX RDF
1	Paul Townend, Jie Xu 0007, Malcolm Munro	Building Embedded Fault-Tolerant Systems for Critical Applications: An Experimental Study.	DIPES	2002	DBLP BibTeX RDF
1	Bernd Kleinjohann, K. H. Kim, Lisa Kleinjohann, Achim Rettberg (eds.)	Design and Analysis of Distributed Embedded Systems, IFIP 17th World Computer Congress - TC10 Stream on Distributed and Parallel Embedded Systems (DIPES 2002), August 25-29, 2002, Montréal, Québec, Canada	DIPES	2002	DBLP BibTeX RDF
1	Stephen S. Yau, Fariaz Karim	Adaptive Middleware for Ubiquitous Computing Environments.	DIPES	2002	DBLP DOI BibTeX RDF
1	Christophe Bobda	Temporal Partitioning and Sequencing of Dataflow Graphs on Reconfigurable Systems.	DIPES	2002	DBLP BibTeX RDF
1	Zonghua Gu 0001, Kang G. Shin	Analysis of Event-Driven Real-Time Systems with Time Petri Nets: A Translation-Based Approach.	DIPES	2002	DBLP BibTeX RDF
1	Achim Rettberg, Wolfgang Thronicke	How to integrate Webservices in Embedded System Design?.	DIPES	2002	DBLP BibTeX RDF
1	Roman Gumzej, Wolfgang A. Halang	PEARL for Distributed Embedded Systems.	DIPES	2002	DBLP BibTeX RDF
1	Mauro Cesar Zanella, Thomas Lehmann 0001, Thorsten Hestermeyer, Andreas Pottharst	Deterministic and High-Performance Communication System for the Distributed Control of Mechatronic Systems Using the IEEE1394a.	DIPES	2002	DBLP BibTeX RDF
1	Romualdo Santamaria	IEEE-1394 A Standard to Interconnect Distributed Systems.	DIPES	2002	DBLP BibTeX RDF
1	Eric Marsden, Nicolas Perrot, Jean-Charles Fabre, Jean Arlat	Dependability Characterization of Middleware Services.	DIPES	2002	DBLP BibTeX RDF
1	Carsten Rust, Friedhelm Stappert, Reinhard Bernhardi-Grisson	Petri Net Based Design of Reconfigurable Embedded.	DIPES	2002	DBLP BibTeX RDF
1	Peter P. Puschner	Transforming Execution-Time Boundable Code into Temporally Predictable Code.	DIPES	2002	DBLP BibTeX RDF
1	Uwe Glässer, Margus Veanes	Universal Plug and Play Machine Models.	DIPES	2002	DBLP BibTeX RDF

Publications at "DIPES"( http://dblp.L3S.de/Venues/DIPES )