System Architecture and Networking

Research Output

Filter
Report
2015

Mode-controlled dataflow based buffer allocation for real-time streaming applications running on a multi-processor without back-pressure

Salunkhe, H. L., Lele, A., Moreira, O. & Berkel, van, C. H., 2015, Eindhoven: Technische Universiteit Eindhoven. 18 p. (Computer science reports; vol. 1503)

Research output: Book/ReportReportAcademic

Open Access
File
223 Downloads (Pure)

Proactive dependability framework for smart environment applications

Warriach, E. U., Özçelebi, T. & Lukkien, J. J., 2015, arXiv.org. 2 p. (arXiv; vol. 1507.00276 [cs.SY])

Research output: Book/ReportReportAcademic

Open Access
File
32 Downloads (Pure)
2014

Buffer allocation for real-time streaming on a multi-processor without back-pressure

Salunkhe, H. L., Moreira, O. & Berkel, van, C. H., 2014, Eindhoven: Technische Universiteit Eindhoven. 20 p. (Computer science reports; vol. 1405)

Research output: Book/ReportReportAcademic

Open Access
File
333 Downloads (Pure)

Improving the performance of trickle-based data dissemination in low-power networks

Stolikj, M., Meyfroyt, T. M. M., Cuijpers, P. J. L. & Lukkien, J. J., 2014, Eindhoven: Technische Universiteit Eindhoven. 19 p. (Computer science reports; vol. 1410)

Research output: Book/ReportReportAcademic

Open Access
File
113 Downloads (Pure)
2013

Prefix orders as a general model of dynamics

Cuijpers, P. J. L., 2013, Eindhoven: Technische Universiteit Eindhoven. 20 p. (Computer science reports; vol. 1309)

Research output: Book/ReportReportAcademic

Open Access
File
40 Downloads (Pure)

Relevance as a metric for evaluating machine learning algorithms

Kota Gopalakrishna, A., Ozcelebi, T., Liotta, A. & Lukkien, J. J., 2013, Eindhoven: Technische Universiteit Eindhoven. 14 p. (Computer science reports; vol. 1304)

Research output: Book/ReportReportAcademic

Open Access
File
6 Citations (Scopus)
192 Downloads (Pure)

Resource-aware life cycle models for service-oriented applications managed by a component framework

Mak, R. H., 2013, Eindhoven: Technische Universiteit Eindhoven. 51 p. (Computer science reports; vol. 1307)

Research output: Book/ReportReportAcademic

Open Access
File
56 Downloads (Pure)
2012

Appendices C-G to "Repairing time-determinism in the process algebra for hybrid systems ACPhssrt"

Khadim, U. & Cuijpers, P. J. L., 2012, Eindhoven: Technische Universiteit Eindhoven. 56 p. (Computer science reports; vol. 1202)

Research output: Book/ReportReportAcademic

Open Access
File
42 Downloads (Pure)

Efficient reprogramming of sensor networks using incremental updates and data compression

Stolikj, M., Cuijpers, P. J. L. & Lukkien, J. J., 2012, Eindhoven: Technische Universiteit Eindhoven. 24 p. (Computer science reports; vol. 1210)

Research output: Book/ReportReportAcademic

Open Access
File
68 Downloads (Pure)

Revised budget allocations for fixed-priority-scheduled periodic resources

Heuvel, van den, M. M. H. P., Cuijpers, P. J. L., Lukkien, J. J. & Fisher, N., 2012, Eindhoven: Technische Universiteit Eindhoven. 4 p. (Computer science reports; vol. 1203)

Research output: Book/ReportReportAcademic

Open Access
File
47 Downloads (Pure)
2011

Moore-Smith theory for uniform spaces through asymptotic equivalence

Cuijpers, P. J. L., 2011, Eindhoven: Technische Universiteit Eindhoven. 6 p. (Computer science reports; vol. 1106)

Research output: Book/ReportReportAcademic

Open Access
File
36 Downloads (Pure)
2010

Desynchronisability of (partial) closed loop systems

Beohar, H. & Cuijpers, P. J. L., 2010, Eindhoven: Technische Universiteit Eindhoven. 66 p. (Computer science reports; vol. 1019)

Research output: Book/ReportReportAcademic

Open Access
File
32 Downloads (Pure)

Extending an open-source real-time operating system with hierarchical scheduling

Holenderski, M. J., Cools, W. A., Bril, R. J. & Lukkien, J. J., 2010, Eindhoven: Technische Universiteit Eindhoven. 22 p. (Computer science reports; vol. 1010)

Research output: Book/ReportReportAcademic

Open Access
File
48 Downloads (Pure)
2009

Design of asynchronous supervisors

Beohar, H., Cuijpers, P. J. L. & Baeten, J. C. M., 2009, s.n. 26 p. (arXiv.org [cs.LO]; vol. 0910.0868)

Research output: Book/ReportReportAcademic

Queue merge : a binary operator for modeling queueing behavior

Cuijpers, P. J. L., Koenders, F. A. J., Pustjens, M. G. P., Senders, B. A. G., Tilburg, van, P. J. A. & Verduin, P., 2009, Eindhoven: Technische Universiteit Eindhoven. 30 p. (Computer science reports; vol. 0902)

Research output: Book/ReportReportAcademic

Open Access
File
28 Downloads (Pure)

Swift mode changes in memory constrained real-time systems

Holenderski, M. J., Bril, R. J. & Lukkien, J. J., 2009, Eindhoven: Technische Universiteit Eindhoven. 17 p. (Computer science reports; vol. 0908)

Research output: Book/ReportReportAcademic

Open Access
File
65 Downloads (Pure)
2008

A proof system for invariants in layered OO designs

Middelkoop, R., Huizing, C., Kuiper, R. & Luit, E. J., 2008, Eindhoven: Technische Universiteit Eindhoven. 43 p. (Computer science reports; vol. 0801)

Research output: Book/ReportReportAcademic

Open Access
File
39 Downloads (Pure)

Basic timed process algebra with non-existence ($BPA^{srt}_{\bot}$)

Khadim, U. & Cuijpers, P. J. L., 2008, Eindhoven: Technische Universiteit Eindhoven. 281 p. (Computer science reports; vol. 0809)

Research output: Book/ReportReportAcademic

Open Access
File
25 Downloads (Pure)

Real-time system overheads : a literature overview

Holenderski, M. J., 2008, Eindhoven: Technische Universiteit Eindhoven. 20 p. (Computer science reports; vol. 0826)

Research output: Book/ReportReportAcademic

Open Access
File
24 Downloads (Pure)
2007

Linearization of hybrid Chi using program counters

Khadim, U., Beek, van, D. A. & Cuijpers, P. J. L., 2007, Eindhoven: Technische Universiteit Eindhoven. 48 p. (Computer science reports; vol. 0718)

Research output: Book/ReportReportAcademic

Open Access
File
28 Downloads (Pure)

Safety-critical design of the Generic Driving Actuator : a hybrid approach

Merkx, L. L. F., Duringhof, H. M. & Cuijpers, P. J. L., 2007, Eindhoven: Technische Universiteit Eindhoven. 92 p. (Computer science reports; vol. 0709)

Research output: Book/ReportReportAcademic

Open Access
File
48 Downloads (Pure)

Scalable parallel rank order filters

Horst, van der, M. G. & Mak, R. H., 2007, Eindhoven: Technische Universiteit Eindhoven. 89 p. (Computer science reports; vol. 0705)

Research output: Book/ReportReportAcademic

Open Access
File
52 Downloads (Pure)
2006

Analysis of hierarchical fixed-priority pre-emptive scheduling revisited

Bril, R. J. & Cuijpers, P. J. L., 2006, Eindhoven: Technische Universiteit Eindhoven. 20 p. (Computer science reports; vol. 0636)

Research output: Book/ReportReportAcademic

Open Access
File
28 Downloads (Pure)

A note on continuous bisimulation and stability

Cuijpers, P. J. L., 2006, Eindhoven: Technische Universiteit Eindhoven. 8 p. (Computer science reports; vol. 0626)

Research output: Book/ReportReportAcademic

Open Access
File
38 Downloads (Pure)

Multiple objective optimization for video streaming

Ozcelebi, T., 2006, Istanbul: Koç University. 113 p.

Research output: Book/ReportReportAcademic

Towards periodic budgeting in real-time calculus

Cuijpers, P. J. L. & Bril, R. J., 2006, Eindhoven: Technische Universiteit Eindhoven. (Computer science reports; vol. 0622)

Research output: Book/ReportReportAcademic

Open Access
File
66 Downloads (Pure)
2005

Periodic-drop-take calculus for stream transformers

Mak, R. H., 2005, Eindhoven: Technische Universiteit Eindhoven. 27 p. (Computer science reports; vol. 0502)

Research output: Book/ReportReportAcademic

Open Access
File
26 Downloads (Pure)
2004

Action and predicate safety of hybrid processes

Cuijpers, P. J. L. & Reniers, M. A., 2004, Eindhoven: Technische Universiteit Eindhoven. 32 p. (Computer science reports; vol. 0410)

Research output: Book/ReportReportAcademic

Open Access
File
30 Downloads (Pure)

A taxonomy of maximally elastic buffers

Mak, R. H., 2004, Eindhoven: Technische Universiteit Eindhoven. 37 p. (Computer science reports; vol. 0426)

Research output: Book/ReportReportAcademic

Open Access
File
26 Downloads (Pure)

Constitutive hybrid processes

Cuijpers, P. J. L., Broenink, J. F. & Mosterman, P. J., 2004, Eindhoven: Technische Universiteit Eindhoven. 32 p. (Computer science reports; vol. 0412)

Research output: Book/ReportReportAcademic

Open Access
File
36 Downloads (Pure)

Linearization of hybrid processes

Brand, van den, P. C. W., Reniers, M. A. & Cuijpers, P. J. L., 2004, Eindhoven: Technische Universiteit Eindhoven. 79 p. (Computer science reports; vol. 0429)

Research output: Book/ReportReportAcademic

Open Access
File
66 Downloads (Pure)
2003

Hybrid process algebra

Cuijpers, P. J. L. & Reniers, M. A., 2003, Eindhoven: Technische Universiteit Eindhoven. 120 p. (Computer science reports; vol. 0307)

Research output: Book/ReportReportAcademic

Open Access
File
76 Downloads (Pure)
2002

Hybrid transition systems

Cuijpers, P. J. L., Reniers, M. A. & Heemels, W. P. M. H., 2002, Eindhoven: Technische Universiteit Eindhoven. 35 p. (Computer science reports; vol. 0212)

Research output: Book/ReportReportAcademic

Open Access
File
283 Downloads (Pure)

Topological (Bi-)Simulation

Cuijpers, P. J. L. & Reniers, M. A., 2002, Eindhoven: Technische Universiteit Eindhoven. 20 p. (Computer science reports; vol. 0204)

Research output: Book/ReportReportAcademic

Open Access
File
163 Downloads (Pure)
2001

Beyond Zeno-behaviour

Cuijpers, P. J. L., Reniers, M. A. & Engels, A. G., 2001, Eindhoven: Technische Universiteit Eindhoven. 15 p. (Computer science reports; vol. 0104)

Research output: Book/ReportReportAcademic

Open Access
File
57 Downloads (Pure)