Search results for "real-time calculus"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
3	Devesh B. Chokshi, Purandar Bhaduri	Performance analysis of FlexRay-based systems using real-time calculus, revisited.	SAC	2010	DBLP DOI BibTeX RDF	FlexRay, real-time calculus
2	Karine Altisen, Matthieu Moy	ac2lus: Bringing SMT-Solving and Abstract Interpretation Techniques to Real-Time Calculus through the Synchronous Language Lustre.	ECRTS	2010	DBLP DOI BibTeX RDF	Modular Performance Analysis, Formal methods, Observer, Lustre, Real-Time Calculus
2	Devesh B. Chokshi, Purandar Bhaduri	Modeling Fixed Priority Non-Preemptive Scheduling with Real-Time Calculus.	RTCSA	2008	DBLP DOI BibTeX RDF
2	Bengt Jonsson, Simon Perathoner, Lothar Thiele, Wang Yi	Cyclic dependencies in modular performance analysis.	EMSOFT	2008	DBLP DOI BibTeX RDF	fixpoint iteration, performance analysis, real-time calculus
2	Pieter J. L. Cuijpers, Reinder J. Bril	Towards Budgeting in Real-Time Calculus: Deferrable Servers.	FORMATS	2007	DBLP DOI BibTeX RDF
2	Fulong Chen, Xiaoya Fan	Embedded System's Performance Analysis with RTC and QT.	APPT	2007	DBLP DOI BibTeX RDF	embedded system, performance analysis, queuing theory, real-time calculus
2	Ernesto Wandeler, Lothar Thiele	Real-time interfaces for interface-based design of real-time systems with fixed priority scheduling.	EMSOFT	2005	DBLP DOI BibTeX RDF	real-time interfaces, performance analysis, hierarchical scheduling, real-time calculus
1	Hennadiy Leontyev, Samarjit Chakraborty, James H. Anderson	Multiprocessor extensions to real-time calculus.	Real-Time Systems	2011	DBLP DOI BibTeX RDF
1	Kasper Revsbech, Henrik Schiøler, Tatiana K. Madsen, Jimmy Jessen Nielsen	Worst-Case Traversal Time Modelling of Ethernet Based In-Car Networks Using Real Time Calculus.	NEW2AN	2011	DBLP DOI BibTeX RDF
1	Alena Simalatsar, Yusi Ramadian, Kai Lampka, Simon Perathoner, Roberto Passerone, Lothar Thiele	Enabling parametric feasibility analysis in real-time calculus driven performance evaluation.	CASES	2011	DBLP DOI BibTeX RDF
1	Godofredo R. Garay, Julio Ortega, Vicente Alarcón Aquino	Comparing Real-Time Calculus with the existing analytical approaches for the performance evaluation of network interfaces.	CONIELECOMP	2011	DBLP DOI BibTeX RDF
1	Karine Altisen, Yanhong Liu, Matthieu Moy	Performance Evaluation of Components Using a Granularity-based Interface Between Real-Time Calculus and Timed Automata	QAPL	2010	DBLP DOI BibTeX RDF
1	Karine Altisen, Yanhong Liu, Matthieu Moy	Performance Evaluation of Components Using a Granularity-based Interface Between Real-Time Calculus and Timed Automata	CoRR	2010	DBLP BibTeX RDF
1	Matthieu Moy, Karine Altisen	Arrival Curves for Real-Time Calculus: The Causality Problem and Its Solutions.	TACAS	2010	DBLP DOI BibTeX RDF
1	Simon Perathoner, Tobias Rein, Lothar Thiele, Kai Lampka, Jonas Rox	Modeling structured event streams in system level performance analysis.	LCTES	2010	DBLP DOI BibTeX RDF	event count curves, performance analysis, real-time calculus
1	Hennadiy Leontyev, Samarjit Chakraborty, James H. Anderson	Multiprocessor Extensions to Real-Time Calculus.	IEEE Real-Time Systems Symposium	2009	DBLP DOI BibTeX RDF
1	Kai Lampka, Simon Perathoner, Lothar Thiele	Analytic real-time analysis and timed automata: a hybrid method for analyzing embedded real-time systems.	EMSOFT	2009	DBLP DOI BibTeX RDF	performance analysis, timed automata, hard real-time systems, real-time calculus
1	Lothar Thiele, Nikolay Stoimenov	Modular performance analysis of cyclic dataflow graphs.	EMSOFT	2009	DBLP DOI BibTeX RDF	dioid algebras, real-time systems, synchronous dataflow, marked graphs, real-time calculus
1	Linh T. X. Phan, Samarjit Chakraborty, P. S. Thiagarajan	A Multi-mode Real-Time Calculus.	IEEE Real-Time Systems Symposium	2008	DBLP DOI BibTeX RDF
1	Oleg Sokolsky, Alexander Chernoguzov	Performance Analysis of AADL Models Using Real-Time Calculus.	Monterey Workshop	2008	DBLP DOI BibTeX RDF
1	Frank E. B. Ophelders, Samarjit Chakraborty, Henk Corporaal	Intra- and inter-processor hybrid performance modeling for MPSoC architectures.	CODES+ISSS	2008	DBLP DOI BibTeX RDF	simulation, performance analysis, system-on-chip
1	Karsten Albers, Frank Bodmann, Frank Slomka	Advanced Hierachical Event-Stream Model.	ECRTS	2008	DBLP DOI BibTeX RDF
1	Linh T. X. Phan, Samarjit Chakraborty, P. S. Thiagarajan, Lothar Thiele	Composing Functional and State-Based Performance Models for Analyzing Heterogeneous Real-Time Systems.	RTSS	2007	DBLP DOI BibTeX RDF
1	Shanmuga Priya Marimuthu, Samarjit Chakraborty	A Framework for Compositional and Hierarchical Real-Time Scheduling.	RTCSA	2006	DBLP DOI BibTeX RDF
1	Pieter J. L. Cuijpers, A. V. Fyukov	Simulation-Based Performance Analysis of a Medical Image-Processing Architecture.	FMICS/PDMC	2006	DBLP DOI BibTeX RDF
1	Ernesto Wandeler, Lothar Thiele, Marcel Verhoef, Paul Lieverse	System architecture evaluation using modular performance analysis: a case study.	STTT	2006	DBLP DOI BibTeX RDF
1	Ernesto Wandeler, Alexander Maxiaguine, Lothar Thiele	Quantitative Characterization of Event Streams in Analysis of Hard Real-Time Applications.	Real-Time Systems	2005	DBLP DOI BibTeX RDF	end-to-end delay analysis, real-time multimedia analysis, performance analysis, network calculus, real-time calculus
1	Lothar Thiele	Modular Performance Analysis of Distributed Embedded Systems.	FORMATS	2005	DBLP DOI BibTeX RDF
1	Samarjit Chakraborty, Simon Künzli, Lothar Thiele	A General Framework for Analysing System Properties in Platform-Based Embedded System Designs.	DATE	2003	DBLP DOI BibTeX RDF