|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 497 occurrences of 212 keywords
|
|
|
Results
Found 751 publication records. Showing 751 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
11 | Jon Pérez 0001, Carlos Fernando Nicolás, Roman Obermaisser, Christian El Salloum |
Modeling Time-Triggered Architecture Based Safety-Critical Embedded Systems Using SystemC. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FDL ![In: Proceedings of the 2010 Forum on specification & Design Languages, FDL 2010, September 14-16, 2010, Southampton, UK, pp. 10-15, 2010, ECSI, Electronic Chips & Systems design Initiative. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
11 | Wilfried Steiner |
An Evaluation of SMT-Based Schedule Synthesis for Time-Triggered Multi-hop Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTSS ![In: Proceedings of the 31st IEEE Real-Time Systems Symposium, RTSS 2010, San Diego, California, USA, November 30 - December 3, 2010, pp. 375-384, 2010, IEEE Computer Society, 978-0-7695-4298-0. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
11 | Christopher Szilagyi, Philip Koopman |
Low cost multicast authentication via validity voting in time-triggered embedded control networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WESS ![In: Proceedings of the 5th Workshop on Embedded Systems Security, WESS 2010, Scottsdale, AZ, USA, October 24, 2010, pp. 10, 2010, ACM, 978-1-4503-0078-0. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
11 | Graham Hemingway, Joseph Porter, Nicholas Kottenstette, Harmon Nine, Christopher P. van Buskirk, Gabor Karsai, Janos Sztipanovits |
Automated synthesis of Time-Triggered Architecture-based TrueTime models for platform effects simulation and analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
International Symposium on Rapid System Prototyping ![In: Proceedings of the 21st IEEE International Symposium on Rapid System Prototyping, RSP 2010, Fairfax, VA, USA, 8-11 June, 2010, pp. 1-7, 2010, IEEE, 978-1-4244-7073-0. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
11 | Keith Florence Athaide, Michael J. Pont |
Ameliorating problems in system integration with time-triggered scheduling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SoSE ![In: 5th International Conference on System of Systems Engineering, SoSE 2010, Loughborough, UK, 22-24 June, 2010, pp. 1-6, 2010, IEEE, 978-1-4244-8197-2. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
11 | Zemian Hughes |
Design and evaluation of a predictable embedded processor for use in time-triggered applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2010 |
RDF |
|
11 | Sebastian Voss |
Integrated Task and Message Scheduling in Time-Triggered Aeronautic Systems (PDF / PS) ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2010 |
RDF |
|
11 | Matthias Függer, Eric Armengaud, Andreas Steininger |
Safely Stimulating the Clock Synchronization Algorithm in Time-Triggered Systems - a Combined Formal & Experimental Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Ind. Informatics ![In: IEEE Trans. Ind. Informatics 5(2), pp. 132-146, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
11 | Minsoo Ryu |
A Scheduling Algorithm for Minimizing Exclusive Window Durations in Time-Triggered Controller Area Network. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEICE Trans. Commun. ![In: IEICE Trans. Commun. 92-B(8), pp. 2739-2742, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
11 | Roman Obermaisser |
Time-Triggered Communication. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Networked Embedded Systems ![In: Networked Embedded Systems - Volume 2 of the Embedded Systems Handbook, pp. 14, 2009, CRC Press, 978-1-4398-0761-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
11 | Christopher Szilagyi, Philip Koopman |
Flexible multicast authentication for time-triggered embedded control network applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DSN ![In: Proceedings of the 2009 IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2009, Estoril, Lisbon, Portugal, June 29 - July 2, 2009, pp. 165-174, 2009, IEEE Computer Society, 978-1-4244-4422-9. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
11 | Olaf Graeser, Oliver Niggemann |
Planning of Time Triggered Communication Schedules. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Echtzeit ![In: Software-intensive verteilte Echtzeitsysteme - Echtzeit 2009, Fachtagung des GI/GMA-Fachausschusses Echtzeitsysteme (real-time), Boppard, 19. und 20. November 2009, pp. 21-30, 2009, Springer, 978-3-642-04782-4. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
11 | Alessandro Pinto, Ratnesh Kumar 0001, Songyan Xu |
Synthesis of wireless time-triggered embedded networks for networked control systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASE ![In: IEEE Conference on Automation Science and Engineering, CASE 2009, Bangalore, India, 22-25 August, 2011, pp. 397-402, 2009, IEEE, 978-1-4244-4578-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
11 | Sebastian Voss, Maria Sorea, Klaus Echtle |
SAL-Based Symbolic Scheduling in Time-Triggered Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFM ![In: Integrated Formal Methods, 7th International Conference, IFM 2009, Düsseldorf, Germany, February 16-19, 2009. Proceedings, pp. 200-214, 2009, Springer, 978-3-642-00254-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
11 | Ayman K. Gendy |
Techniques for scheduling time-triggered resource-constrained embedded systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2009 |
RDF |
|
11 | Michael J. Pont |
Applying time-triggered architectures in reliable embedded systems: challenges and solutions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Elektrotech. Informationstechnik ![In: Elektrotech. Informationstechnik 125(11), pp. 401-405, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
11 | Feng Xia 0001, Wenhong Zhao |
Flexible Time-Triggered Sampling in Smart Sensor-Based Wireless Control Systems ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/0806.1567, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
11 | Hermann Kopetz |
On the Design of Distributed Time-Triggered Embedded Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comput. Sci. Eng. ![In: J. Comput. Sci. Eng. 2(4), pp. 340-356, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
11 | Hermann Kopetz |
The Rationale for Time-Triggered Ethernet. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTSS ![In: Proceedings of the 29th IEEE Real-Time Systems Symposium, RTSS 2008, Barcelona, Spain, 30 November - 3 December 2008, pp. 3-11, 2008, IEEE Computer Society, 978-0-7695-3477-0. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
11 | Hermann Kopetz, Christian El Salloum, Bernhard Huber, Roman Obermaisser, Christian Paukovits |
Composability in the time-triggered system-on-chip architecture. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SoCC ![In: 21st Annual IEEE International SoC Conference, SoCC 2008, September 17-20, 2008, Radisson Hotel, Newport Beach, CA, USA, Proceedings, pp. 87-90, 2008, IEEE, 978-1-4244-2596-9. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
11 | Sri Kanajan |
Time-Triggered Scheduling Synthesis in the Presence of Uncertainty. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESA ![In: Proceedings of the 2008 International Conference on Embedded Systems & Applications, USA 2008, July 14-17, 2008, Las Vegas, Nevada, USA, pp. 160-166, 2008, CSREA Press, 1-60132-065-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
11 | Keith Florence Athaide, Michael J. Pont, Devaraj Ayavoo |
Shared-Clock Methodology for Time-Triggered Multi-Cores. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPA ![In: The thirty-first Communicating Process Architectures Conference, CPA 2008, organised under the auspices of WoTUG and the Department of Computer Science of the University of York, York, Yorkshire, UK, 7-10 September 2008, pp. 149-162, 2008, IOS Press, 978-1-58603-907-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
11 | Vaclav Mikolasek, Astrit Ademaj, Stanislav Racek |
Segmentation of standard ethernet messages in the time-triggered ethernet. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ETFA ![In: Proceedings of 13th IEEE International Conference on Emerging Technologies and Factory Automation, ETFA 2008, September 15-18, 2008, Hamburg, Germany, pp. 392-399, 2008, IEEE, 1-4244-1505-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
11 | Philipp Peti |
Diagnosis and maintenance in an integrated time triggered architecture: tackling the trouble identified phenomenon. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2008 |
RDF |
|
11 | Jens Chr. Lisner |
A fault tolerant dynamic time triggered protocol. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2008 |
RDF |
|
11 | Ernesto Martins, Ricardo Marau, Joaquim Ferreira 0001, José Alberto Fonseca, Luís Almeida 0001, Mario Calha, Valter Silva, Paulo Pedreiras |
Online QoS Adaptation with the Flexible Time-Triggered (FTT) Communication Paradigm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Handbook of Real-Time and Embedded Systems ![In: Handbook of Real-Time and Embedded Systems., 2007, Chapman and Hall/CRC, 978-1-58488-678-5. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
11 | Klaus Schmidt 0002, Ece Guran Schmidt |
Systematic Message Schedule Construction for Time-Triggered CAN. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Veh. Technol. ![In: IEEE Trans. Veh. Technol. 56(6), pp. 3431-3441, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
11 | Michael Short 0001, Michael J. Pont |
Fault-Tolerant Time-Triggered Communication Using CAN. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Ind. Informatics ![In: IEEE Trans. Ind. Informatics 3(2), pp. 131-142, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
11 | Holger Pfeifer, Friedrich W. von Henke |
Modular formal analysis of the central guardian in the Time-Triggered Architecture. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Reliab. Eng. Syst. Saf. ![In: Reliab. Eng. Syst. Saf. 92(11), pp. 1538-1550, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
11 | Shehryar Shaheen, Donal Heffernan, Gabriel Leen |
A gateway for time-triggered control networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Microprocess. Microsystems ![In: Microprocess. Microsystems 31(1), pp. 38-50, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
11 | Donggil Kim, Seawook Park, Kyungmin Kang, Dongik Lee |
Time-triggered wireless sensor network for feedback control. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEICE Electron. Express ![In: IEICE Electron. Express 4(21), pp. 644-649, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
11 | Paul Pop, Kåre Harbo Poulsen, Viacheslav Izosimov, Petru Eles |
Scheduling and voltage scaling for energy/reliability trade-offs in fault-tolerant time-triggered embedded systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CODES+ISSS ![In: Proceedings of the 5th International Conference on Hardware/Software Codesign and System Synthesis, CODES+ISSS 2007, Salzburg, Austria, September 30 - October 3, 2007, pp. 233-238, 2007, ACM, 978-1-59593-824-4. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
scheduling, reliability, embedded systems, energy minimization |
11 | S. Ramesh, P. Vignesh V. Ganesan, Gurulingesh Raravi |
A Formal Framework for the Correct-by-construction and Verification of Distributed Time Triggered Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIES ![In: IEEE Second International Symposium on Industrial Embedded Systems, SIES 2007, Hotel Costa da Caparica, Lisbon, Portugal, July 4-6, 2007, pp. 63-70, 2007, IEEE, 1-4244-0840-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
11 | Roman Obermaisser, Hermann Kopetz, Christian El Salloum, Bernhard Huber |
Error Containment in the Time-Triggered System-On-a-Chip Architecture. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IESS ![In: Embedded System Design: Topics, Techniques and Trends, IFIP TC10 Working Conference: International Embedded Systems Symposium (IESS), May 30 - June 1, 2007, Irvine, CA, USA, pp. 339-352, 2007, Springer, 978-0-387-72257-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
11 | Klaus Steinhammer, Astrit Ademaj |
Hardware Implementation of the Time-Triggered Ethernet Controller. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IESS ![In: Embedded System Design: Topics, Techniques and Trends, IFIP TC10 Working Conference: International Embedded Systems Symposium (IESS), May 30 - June 1, 2007, Irvine, CA, USA, pp. 325-338, 2007, Springer, 978-0-387-72257-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
11 | Ricardo Marau, Luís Almeida 0001, Paulo Pedreiras, Michael González Harbour, Daniel Sangorrín, Julio L. Medina |
Integration of a flexible time triggered network in the FRESCOR resource contracting framework. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ETFA ![In: Proceedings of 12th IEEE International Conference on Emerging Technologies and Factory Automation, ETFA 2007, September 25-28, 2007, Patras, Greece, pp. 1481-1488, 2007, IEEE, 978-1-4244-0825-2. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
11 | Nuno Ferreira 0001, José A. Fonseca |
Using time-triggered communications over IEEE 802.15.4. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ETFA ![In: Proceedings of 12th IEEE International Conference on Emerging Technologies and Factory Automation, ETFA 2007, September 25-28, 2007, Patras, Greece, pp. 1384-1387, 2007, IEEE, 978-1-4244-0825-2. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
11 | Moritz Mauthner, Wilfried Elmenreich, Alexander Kirchner |
Analysis of sensor and fusion schedules of a time-triggered sensor fusion system. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FUSION ![In: 10th International Conference on Information Fusion, FUSION 2007, Québec, Canada, July 9-12, 2007, pp. 1-5, 2007, IEEE. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
11 | Michael J. Pont, Susan Kurian, Huiyan Wang |
Selecting an appropriate scheduler for use with time-triggered embedded systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EuroPLoP ![In: Proceedings of the 12th European Conference on Pattern Languages of Programs (EuroPLoP '2007), Irsee, Germany, July 4-8, 2007., pp. 595-618, 2007, UVK - Universitaetsverlag Konstanz, 978-3-87940-819-1. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP BibTeX RDF |
|
11 | Huiyan Wang, Michael J. Pont, Susan Kurian |
Patterns which help to avoid conflicts over shared resources in time-triggered embedded systems which employ a pre-emptive scheduler. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EuroPLoP ![In: Proceedings of the 12th European Conference on Pattern Languages of Programs (EuroPLoP '2007), Irsee, Germany, July 4-8, 2007., pp. 619-642, 2007, UVK - Universitaetsverlag Konstanz, 978-3-87940-819-1. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP BibTeX RDF |
|
11 | Roman Obermaisser, Philipp Peti, Bernhard Huber, Christian El Salloum |
DECOS: an integrated time-triggered architecture. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Elektrotech. Informationstechnik ![In: Elektrotech. Informationstechnik 123(3), pp. 83-95, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
11 | Eric Armengaud |
Low Level Bus Traffic Replay for the Test and Debugging of Time-Triggered Communication Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DDECS ![In: Proceedings of the 9th IEEE Workshop on Design & Diagnostics of Electronic Circuits & Systems (DDECS 2006), Prague, Czech Republic, April 18-21, 2006, pp. 155-156, 2006, IEEE Computer Society, 1-4244-0185-2. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
11 | Jewgenij Botaschanjan, Alexander Gruler, Alexander Harhurin, Leonid Kof, Maria Spichkova, David Trachtenherz |
Towards Modularized Verification of Distributed Time-Triggered Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM ![In: FM 2006: Formal Methods, 14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006, Proceedings, pp. 163-178, 2006, Springer, 3-540-37215-6. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
11 | Astrit Ademaj, Hermann Kopetz, Petr Grillinger, Klaus Steinhammer, Alexander Hanzlik |
Fault-Tolerant Time-Triggered Ethernet Configuration with Star Topology. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ARCS Workshops ![In: ARCS 2006 - 19th International Conference on Architecture of Computing Systems, Workshops Proceedings, March 16, 2006, Frankfurt am Main, Germany, pp. 95-105, 2006, GI, 3-88579-175-7. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP BibTeX RDF |
|
11 | Chisanga Mwelwa |
Development and assessment of a tool to support pattern-based code generation of time-triggered (TT) embedded systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2006 |
RDF |
|
11 | Tivadar Szemethy |
Case Study: Model Transformations for Time-triggered Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GRaMoT@GPCE ![In: Proceedings of the International Workshop on Graph and Model Transformation, GraMoT@GPCE 2005, Tallinn, Estonia, September 28, 2005, pp. 175-190, 2005, Elsevier. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
11 | Hermann Kopetz, Günther Bauer 0001 |
Time-Triggered Communication Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
The Industrial Information Technology Handbook ![In: The Industrial Information Technology Handbook, pp. 1-11, 2005, CRC Press, 0-8493-1985-4. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
11 | Wei Zheng, Jike Chong, Claudio Pinello, Sri Kanajan, Alberto L. Sangiovanni-Vincentelli |
Extensible and Scalable Time Triggered Scheduling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACSD ![In: Fifth International Conference on Application of Concurrency to System Design (ACSD 2005), 6-9 June 2005, St. Malo, France, pp. 132-141, 2005, IEEE Computer Society, 0-7695-2363-3. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
11 | Marco A. Wehrmeister, Fernando H. Athaide, Fabiano Costa Carvalho, Carlos Eduardo Pereira |
Assessing the Use of RT-Java in Automotive Time-Triggered Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IESS ![In: From Specification to Embedded Systems Application [International Embedded Systems Symposium, IESS 2005, Manaus, Brazil, August 2005], pp. 223-234, 2005, Springer, 978-0-387-27557-4. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
11 | Roman Obermaisser, Emmanuel Henrich, K. H. Kim, Hermann Kopetz, Moon-hae Kim |
Integration of two Complementary Time-Triggered Technologies: TMO and TTP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IESS ![In: From Specification to Embedded Systems Application [International Embedded Systems Symposium, IESS 2005, Manaus, Brazil, August 2005], pp. 211-222, 2005, Springer, 978-0-387-27557-4. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
11 | Roman Obermaisser, Philipp Peti, Hermann Kopetz |
Virtual Networks in an Integrated Time-Triggered Architecture. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WORDS ![In: 10th IEEE International Workshop on Object-Oriented Real-Time Dependable Systems (WORDS 2005), 2-4 February 2005, Sedona, AZ, USA, pp. 241-253, 2005, IEEE Computer Society, 0-7695-2347-1. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
11 | Stanislav Racek, Pavel Herout, Jan Hlavicka |
Dependability Evaluation of Time Triggered Architecture Using Simulation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Artif. Intell. ![In: Comput. Artif. Intell. 23(1), pp. 51-76, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP BibTeX RDF |
|
11 | Paula Doyle, Donal Heffernan, D. Duma |
A time-triggered transducer network based on an enhanced IEEE 1451 model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Microprocess. Microsystems ![In: Microprocess. Microsystems 28(1), pp. 1-12, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
11 | Andronikos Nedos, Alexander O'Connor, Graham Abell, Siobhán Clarke, Vinny Cahill |
LATTE: Location and Time Triggered Email. ![Search on Bibsonomy](Pics/bibsonomy.png) |
International Conference on Wireless Networks ![In: Proceedings of the International Conference on Wireless Networks, ICWN '04, Volume 2 & Proceedings of the International Conference on Pervasive Computing and Communications, PCC'04, June 21-24, 2004, Las Vegas, Nevada, USA, pp. 813-819, 2004, CSREA Press, 1-932415-39-4. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP BibTeX RDF |
|
11 | Hermann Kopetz |
The fault-hypothesis for the time-triggered architecture. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFIP Congress Topical Sessions ![In: Building the Information Society, IFIP 18th World Computer Congress, Topical Sessions, 22-27 August 2004, Toulouse, France, pp. 221-233, 2004, Kluwer/Springer, 1-4020-8156-1. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
11 | Albert Benveniste, Benoît Caillaud, Luca P. Carloni, Paul Caspi, Alberto L. Sangiovanni-Vincentelli |
Heterogeneous reactive systems modeling: capturing causality and the correctness of loosely time-triggered architectures (LTTA). ![Search on Bibsonomy](Pics/bibsonomy.png) |
EMSOFT ![In: EMSOFT 2004, September 27-29, 2004, Pisa, Italy, Fourth ACM International Conference On Embedded Software, Proceedings, pp. 220-229, 2004, ACM, 1-58113-860-1. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
distributed deployment, heterogeneous reactive systems, GALS |
11 | Wolfgang Herzner, Wilfried Kubinger, Manfred Gruber |
Triple-T (Time-Triggered Transmission). ![Search on Bibsonomy](Pics/bibsonomy.png) |
EuroPLoP ![In: Proceedings of the 9th European Conference on Pattern Languages of Programms (EuroPLoP '2004), Irsee, Germany, July 7-11, 2004., pp. 705-736, 2004, UVK - Universitaetsverlag Konstanz, 978-3-87940-796-5. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP BibTeX RDF |
|
11 | Michael J. Pont |
Supporting the Development of Time-Triggered Co-Operatively Scheduled (TTCS) Embedded Software Using Design Patterns. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Informatica (Slovenia) ![In: Informatica (Slovenia) 27(1), pp. 81-88, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP BibTeX RDF |
|
11 | Hermann Kopetz, Günther Bauer 0001 |
The time-triggered architecture. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Proc. IEEE ![In: Proc. IEEE 91(1), pp. 112-126, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
11 | Thomas A. Henzinger, Benjamin Horowitz, Christoph M. Kirsch |
Giotto: a time-triggered language for embedded programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Proc. IEEE ![In: Proc. IEEE 91(1), pp. 84-99, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
11 | Takanori Yokoyama, Hidemitsu Naya, Fumio Narisawa, Satoru Kuragaki, Wataru Nagaura, Takaaki Imai, Shoji Suzuki |
A development method of time-triggered object-oriented software for embedded control systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Syst. Comput. Jpn. ![In: Syst. Comput. Jpn. 34(2), pp. 43-54, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
11 | René Hexel |
FITS - A Fault Injection Architecture for Time-Triggered Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACSC ![In: Computer Science 2003, Twenty-Sixth Australasian Computer Science Conference (ACSC2003), Adelaide, South Australia, February 2003, pp. 333-338, 2003, Australian Computer Society, 0-909-92594-1. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP BibTeX RDF |
|
11 | Martin Schlager |
A Simulation Architecture for Time-Triggered Transducer Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WISES ![In: Proceedings of the First Workshop on Intelligent Solutions in Embedded Systems, WISES 2003, Vienna University of Technology, Vienna, Austria, 2003, June 27, pp. 39-49, 2003, Vienna University of Technology. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP BibTeX RDF |
|
11 | Michael J. Pont, Andrew J. Norman, Chisanga Mwelwa, Tim Edwards |
Prototyping Time-triggered Embedded Systems using PC Hardware. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EuroPLoP ![In: Proceedings of the 8th European Conference on Pattern Languages of Programms (EuroPLoP '2003), Irsee, Germany, June 25-29, 2003., pp. 691-716, 2003, UVK - Universitaetsverlag Konstanz, 978-3-87940-788-0. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP BibTeX RDF |
|
11 | Holger Pfeifer |
Formal analysis of fault tolerant algorithms in the time-triggered architecture. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2003 |
RDF |
|
11 | Gabriel Leen, Donal Heffernan |
TTCAN: a new time-triggered controller area network. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Microprocess. Microsystems ![In: Microprocess. Microsystems 26(2), pp. 77-94, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
11 | Reinhard Maier, Georg Stöger, Stefan Poledna, Günther Bauer 0001 |
IEEE Micro: Electronics Architecture - Time-Triggered Architecture: A Consistent Computing Platform. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Distributed Syst. Online ![In: IEEE Distributed Syst. Online 3(9), 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP BibTeX RDF |
|
11 | Idriz Smaili, Astrit Ademaj |
Setting break-points in distributed time-triggered architecture. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HLDVT ![In: Seventh IEEE International High-Level Design Validation and Test Workshop 2002, Cannes, France, October 27-29, 2002, pp. 57-62, 2002, IEEE Computer Society, 0-7803-7655-2. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
11 | Astrit Ademaj |
Slightly-off-specification failures in the time-triggered architecture. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HLDVT ![In: Seventh IEEE International High-Level Design Validation and Test Workshop 2002, Cannes, France, October 27-29, 2002, pp. 7-12, 2002, IEEE Computer Society, 0-7803-7655-2. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
11 | Holger Pfeifer, Friedrich W. von Henke |
Formal analysis for dependability properties: the time-triggered architecture example. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ETFA (1) ![In: Proceedings of 8th IEEE International Conference on Emerging Technologies and Factory Automation, ETFA 2001, October 15-18, 2001, Antibes/Juan les Pins, France - Volume 1, pp. 343-352, 2001, IEEE, 0-7803-7241-7. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
11 | Günther Bauer 0001, Hermann Kopetz, Peter P. Puschner |
Assumption coverage under different failure modes in the time-triggered architecture. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ETFA (1) ![In: Proceedings of 8th IEEE International Conference on Emerging Technologies and Factory Automation, ETFA 2001, October 15-18, 2001, Antibes/Juan les Pins, France - Volume 1, pp. 333-341, 2001, IEEE, 0-7803-7241-7. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
11 | Paul Pop, Petru Eles, Zebo Peng |
Scheduling with optimized communication for time-triggered embedded systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CODES ![In: Proceedings of the Seventh International Workshop on Hardware/Software Codesign, CODES 1999, Rome, Italy, 1999, pp. 178-182, 1999, ACM, 1-58113-132-1. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
11 | Hermann Kopetz |
The Time-Triggered Architecture. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISORC ![In: 1st International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC '98), 20-22 April 1998, Kyoto, Japan, pp. 22-, 1998, IEEE Computer Society, 0-8186-8430-5. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
11 | Christopher Temple |
Avoiding the Babbling-Idiot Failure in a Time-Triggered Communication System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FTCS ![In: Digest of Papers: FTCS-28, The Twenty-Eigth Annual International Symposium on Fault-Tolerant Computing, Munich, Germany, June 23-25, 1998, pp. 218-227, 1998, IEEE Computer Society, 0-8186-8470-4. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
11 | Bernd Hedenetz |
A Development Framework for Ultra-Dependable Automotive Systems Based on a Time-Triggered Architecture. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTSS ![In: Proceedings of the 19th IEEE Real-Time Systems Symposium, Madrid, Spain, December 2-4, 1998, pp. 358-367, 1998, IEEE Computer Society, 0-8186-9212-X. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
11 | Hermann Kopetz |
The Time-Triggered Model of Computation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTSS ![In: Proceedings of the 19th IEEE Real-Time Systems Symposium, Madrid, Spain, December 2-4, 1998, pp. 168-177, 1998, IEEE Computer Society, 0-8186-9212-X. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
11 | Alan Burns 0001, Robert I. Davis 0001 |
Choosing Task Periods to Minimise System Utilisation in Time Triggered Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Process. Lett. ![In: Inf. Process. Lett. 58(5), pp. 223-229, 1996. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
10 | Andreas Schranzhofer, Rodolfo Pellizzoni, Jian-Jia Chen, Lothar Thiele, Marco Caccamo |
Worst-case response time analysis of resource access models in multi-core systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DAC ![In: Proceedings of the 47th Design Automation Conference, DAC 2010, Anaheim, California, USA, July 13-18, 2010, pp. 332-337, 2010, ACM, 978-1-4503-0002-5. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
scheduling, TDMA, shared resources |
10 | Hermann Kopetz, Christian El Salloum, Bernhard Huber, Roman Obermaisser |
Periodic Finite-State Machines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISORC ![In: Tenth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2007), 7-9 May 2007, Santorini Island, Greece, pp. 10-20, 2007, IEEE Computer Society, 0-7695-2765-5. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
10 | Jan Romberg, Andreas Bauer 0002 |
Loose synchronization of event-triggered networks for distribution of synchronous programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EMSOFT ![In: EMSOFT 2004, September 27-29, 2004, Pisa, Italy, Fourth ACM International Conference On Embedded Software, Proceedings, pp. 193-202, 2004, ACM, 1-58113-860-1. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
scheduling, embedded software, synchronous languages, AutoFocus, code distribution |
9 | Razvan Racu, Li Li 0027, Rafik Henia, Arne Hamann, Rolf Ernst |
Improved response time analysis of tasks scheduled under preemptive Round-Robin. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CODES+ISSS ![In: Proceedings of the 5th International Conference on Hardware/Software Codesign and System Synthesis, CODES+ISSS 2007, Salzburg, Austria, September 30 - October 3, 2007, pp. 179-184, 2007, ACM, 978-1-59593-824-4. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Round-Robin, response time analysis |
9 | Roman Obermaisser |
A Model-Driven Framework for the Generation of Gateways in Distributed Real-Time Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTSS ![In: Proceedings of the 28th IEEE Real-Time Systems Symposium (RTSS 2007), 3-6 December 2007, Tucson, Arizona, USA, pp. 93-104, 2007, IEEE Computer Society, 0-7695-3062-1. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
9 | Gabor Madl, Sherif Abdelwahed, Gabor Karsai |
Automatic Verification of Component-Based Real-Time CORBA Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTSS ![In: Proceedings of the 25th IEEE Real-Time Systems Symposium (RTSS 2004), 5-8 December 2004, Lisbon, Portugal, pp. 231-240, 2004, IEEE Computer Society, 0-7695-2247-5. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
9 | Sebastian Fischmeister, Insup Lee 0001, Robert Trausmuth |
Hardware acceleration for verifiable, adaptive real-time communication. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ETFA ![In: Proceedings of 13th IEEE International Conference on Emerging Technologies and Factory Automation, ETFA 2008, September 15-18, 2008, Hamburg, Germany, pp. 1425-1432, 2008, IEEE, 1-4244-1505-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
9 | Iria Estévez-Ayres, Luís Almeida 0001, Marisol García-Valls, Pablo Basanta-Val |
An Architecture to Support Dynamic Service Composition in Distributed Real-Time Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISORC ![In: Tenth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2007), 7-9 May 2007, Santorini Island, Greece, pp. 249-256, 2007, IEEE Computer Society, 0-7695-2765-5. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
9 | Raimund Kirner, Peter P. Puschner |
Time-Predictable Task Preemption for Real-Time Systems with Direct-Mapped Instruction Cache. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISORC ![In: Tenth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2007), 7-9 May 2007, Santorini Island, Greece, pp. 87-93, 2007, IEEE Computer Society, 0-7695-2765-5. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
9 | Tivadar Szemethy, Gabor Karsai, Daniel Balasubramanian |
Model Transformations in the Model-Based Development of Real-time Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECBS ![In: 13th Annual IEEE International Conference and Workshop on Engineering of Computer Based Systems (ECBS 2006), 27-30 March 2006, Potsdam, Germany, pp. 177-186, 2006, IEEE Computer Society, 0-7695-2546-6. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
9 | Arkadeb Ghosal, Thomas A. Henzinger, Christoph M. Kirsch, Marco A. A. Sanvido |
Event-Driven Programming with Logical Execution Times. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HSCC ![In: Hybrid Systems: Computation and Control, 7th International Workshop, HSCC 2004, Philadelphia, PA, USA, March 25-27, 2004, Proceedings, pp. 357-371, 2004, Springer, 3-540-21259-0. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
9 | Ricky W. Butler |
Formal Methods at NASA Langley. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TPHOLs ![In: Theorem Proving in Higher Order Logics, 15th International Conference, TPHOLs 2002, Hampton, VA, USA, August 20-23, 2002, Proceedings, pp. 1-2, 2002, Springer, 3-540-44039-9. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
8 | Iria Estévez-Ayres, Marisol García-Valls, Luís Almeida 0001, Pablo Basanta-Val |
Solutions for Supporting Composition of Service-Based Real-Time Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISORC ![In: 11th IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2008), 5-7 May 2008, Orlando, Florida, USA, pp. 42-49, 2008, IEEE Computer Society, 978-0-7695-3132-8. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
distributed real-time architectures, service composition algorithm, service oriented architecture |
8 | 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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DIPES ![In: 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, pp. 143-150, 2008, Springer, 978-0-387-09660-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
8 | Eyad Alkassar, Peter Böhm, Steffen Knapp |
Formal Correctness of an Automotive Bus Controller Implementation at Gate-Level. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DIPES ![In: 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, pp. 57-67, 2008, Springer, 978-0-387-09660-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
8 | P. Vijay Suman, Paritosh K. Pandya, Shankara Narayanan Krishna, Lakshmi Manasa |
Timed Automata with Integer Resets: Language Inclusion and Expressiveness. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORMATS ![In: Formal Modeling and Analysis of Timed Systems, 6th International Conference, FORMATS 2008, Saint Malo, France, September 15-17, 2008. Proceedings, pp. 78-92, 2008, Springer, 978-3-540-85777-8. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
8 | Frédéric Boniol, Pierre-Emmanuel Hladik, Claire Pagetti, Frédéric Aspro, Victor Jégu |
A Framework for Distributing Real-Time Functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORMATS ![In: Formal Modeling and Analysis of Timed Systems, 6th International Conference, FORMATS 2008, Saint Malo, France, September 15-17, 2008. Proceedings, pp. 155-169, 2008, Springer, 978-3-540-85777-8. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Distributed systems, Constraint programming, Industrial case study |
8 | Steffen Knapp, Wolfgang J. Paul |
Realistic Worst-Case Execution Time Analysis in the Context of Pervasive System Verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Program Analysis and Compilation ![In: Program Analysis and Compilation, Theory and Practice, Essays Dedicated to Reinhard Wilhelm on the Occasion of His 60th Birthday, pp. 53-81, 2006, Springer, 978-3-540-71315-9. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
8 | Albert Benveniste, Benoît Caillaud, Luca P. Carloni, Paul Caspi, Alberto L. Sangiovanni-Vincentelli, Stavros Tripakis |
Communication by sampling in time-sensitive distributed systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EMSOFT ![In: Proceedings of the 6th ACM & IEEE International conference on Embedded software, EMSOFT 2006, October 22-25, 2006, Seoul, Korea, pp. 152-160, 2006, ACM, 1-59593-542-8. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
distributed deployment, heterogeneous reactive systems, scheduling, tagged systems |
8 | Sebastian Fischmeister, Oleg Sokolsky, Insup Lee 0001 |
Network-Code Machine: Programmable Real-Time Communication Schedules. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Real Time Technology and Applications Symposium ![In: 12th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS 2006), 4-7 April 2006, San Jose, California, USA, pp. 311-324, 2006, IEEE Computer Society, 0-7695-2516-4. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
8 | Hermann Kopetz |
TTA Supported Service Availability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISAS ![In: Service Availability, Second International Service Availability Symposium, ISAS 2005, Berlin, Germany, April 25-26, 2005, Revised Selected Papers, pp. 1-14, 2005, Springer, 3-540-29103-2. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
8 | Sven Beyer, Peter Böhm, Michael Gerke 0002, Mark A. Hillebrand, Thomas In der Rieden, Steffen Knapp, Dirk Leinenbach, Wolfgang J. Paul |
Towards the Formal Verification of Lower System Layers in Automotive Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCD ![In: 23rd International Conference on Computer Design (ICCD 2005), 2-5 October 2005, San Jose, CA, USA, pp. 317-326, 2005, IEEE Computer Society, 0-7695-2451-6. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
8 | Carlos Eduardo Pereira, Marcelo Götz |
Architectural solutions for enhancing the real-time behavior of distributed embedded systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WORDS ![In: 8th IEEE International Workshop on Object-Oriented Real-Time Dependable Systems (WORDS 2003), 15-17 January 2003, Guadalajara, Mexico, pp. 164-168, 2003, IEEE Computer Society, 0-7695-1929-6. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
Displaying result #601 - #700 of 751 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ >>] |
|