Research Output

2009

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
67 Downloads (Pure)

System and method for synchronising a data processing network

Hekstra-Nowacka, E., Hamer, van den, P. & Berkel, van, C. H., 2 Jul 2009, Patent No. US2009172198

Research output: PatentPatent publication

Virtual timers in hierarchical real-time systems

Heuvel, van den, M. M. H. P., Holenderski, M. J., Cools, W. A., Bril, R. J. & Lukkien, J. J., 2009, Work-in-Progress (WiP) session of the 30th IEEE Real-Time Systems Symposium (RTSS 2009, Washington DC, USA, December 1-4, 2009). Zhu, D. (ed.). p. 37-40

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademic

Open Access
File
33 Downloads (Pure)
2008

Access to a wide memory

Berkel, van, C. H. & Meuwissen, P. P. E., 30 Sep 2008, Patent No. US7430631

Research output: PatentPatent publication

A context-free process as a pushdown automaton

Baeten, J. C. M., Cuijpers, P. J. L. & Tilburg, van, P. J. A., 2008, CONCUR 2008 - Concurrency Theory (19th International Conference, Toronto, Canada, August 19-22, 2008, Proceedings). Breugel, van, F. & Chechik, M. (eds.). Berlin: Springer, p. 98-113 (Lecture Notes in Computer Science; vol. 5201).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

7 Citations (Scopus)

Address generation unit for a processor

Berkel, van, C. H. & Meuwissen, P. P. E., 3 Jun 2008, Patent No. US7383419

Research output: PatentPatent publication

Open Access
File
31 Downloads (Pure)

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
42 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
27 Downloads (Pure)

Behavioral analysis of real-time systems with interdependent tasks

Albu, M. A., 2008, Eindhoven: Technische Universiteit Eindhoven. 215 p.

Research output: ThesisPhd Thesis 2 (Research NOT TU/e / Graduation TU/e)

Open Access
File
145 Downloads (Pure)

Constitutive hybrid processes: A process-algebraic semantics for hybrid bond graphs

Cuijpers, P. J. L., Broenink, J. F. & Mosterman, P. J., 2008, In : Simulation. 84, 7, p. 339-358

Research output: Contribution to journalArticleAcademicpeer-review

7 Citations (Scopus)

Context-aware resource management for end-to-end QoS provision in service oriented applications

Chen, S., Lukkien, J. J., Verhoeven, R., Vullers, P. & Petrovic, G., 2008, Proceedings of the Workshop on Service Discovery and Composition in Ubiquitous and Pervasive Environments (SUPE'08, co-located with IEEE Globecom'08, New Orleans LA, USA, November 30-December 4, 2008). Institute of Electrical and Electronics Engineers, p. 1-6

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

1 Citation (Scopus)

Data handling system comprising memory banks and data rearrangement

Rijshouwer, E. J. C. & Berkel, van, C. H., 21 May 2008, Patent No. US2011078360

Research output: PatentPatent publication

Open Access
File
26 Downloads (Pure)

Design and performance analysis of data-independent stream processing systems

Mak, R. H., 2008, Eindhoven: Technische Universiteit Eindhoven. 269 p.

Research output: ThesisPhd Thesis 1 (Research TU/e / Graduation TU/e)

Open Access
File
94 Downloads (Pure)

Electronic device and method for synchronizing a communication

Timmermans, D., Berkel, van, C. H. & Bink, A. J., 14 Feb 2008, Patent No. WO2008018004

Research output: PatentPatent publication

Improving TCP performance over last-hop wireless networks for live video delivery

Radovanovic, I., Verhoeven, R. & Lukkien, J. J., 2008, In : IEEE Transactions on Consumer Electronics. 54, 3, p. 1139-1147

Research output: Contribution to journalArticleAcademicpeer-review

2 Citations (Scopus)

Invariants for non-hierarchical object structures

Middelkoop, R., Huizing, C., Kuiper, R. & Luit, E. J., 2008, Proceedings of the Brazilian Symposium on Formal Methods (SBMF 2006, Natal, Rio Grande de Norte, Brazil, September 17-23, 2006). Moreira, A. M. & Ribeiro, L. (eds.). p. 211-229 (Electronic Notes in Theoretical Computer Science; vol. 195).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

6 Citations (Scopus)
1 Downloads (Pure)

Lost in translation: Hybrid-time flows vs. real-time transitions

Cuijpers, P. J. L. & Reniers, M. A., 2008, Hybrid Systems: Computation and Control (11th International Workshop, HSCC'08, St. Louis MO, USA, April 22-24, 2008, Proceedings). Egerstedt, M. & Mishra, B. (eds.). Berlin: Springer, p. 116-129 (Lecture Notes in Computer Science; vol. 4981).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

13 Citations (Scopus)

Low cost acoustic responder location system

Dijk, E. O. & Berkel, van, C. H., 26 Jun 2008, Patent No. US2008151692

Research output: PatentPatent publication

Open Access
File
34 Downloads (Pure)

Model-based engineering of embedded systems using the hybrid process algebra Chi

Baeten, J. C. M., Beek, van, D. A., Cuijpers, P. J. L., Reniers, M. A., Rooda, J. E., Schiffelers, R. R. H. & Theunissen, R. J. M., 2008, Proceedings LIX Colloquium on Emerging Trends in Concurrency Theory (Paris, France, November 13-15, 2006). Palamidessi, C. & Valencia, F. D. (eds.). p. 21-53 (Electronic Notes in Theoretical Computer Science; vol. 209).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

8 Citations (Scopus)
1 Downloads (Pure)

Multistandard FEC decoders for wireless devices

Dielissen, J. T. M. H., Engin, N., Sawitzki, S. & Berkel, van, C. H., 2008, In : IEEE Transactions on Circuits and Systems II: Express Briefs. 55, 3, p. 284-288

Research output: Contribution to journalArticleAcademicpeer-review

16 Citations (Scopus)

Performance analysis of SoC architectures based on latency-rate servers

Vink, J. P., Berkel, van, C. H. & Wolf, van der, P., 2008, Proceedings 11th Design, Automation and Test in Europe - Conference and Exhibition (DATE'08, Munich, Germany, March 10-14, 2008). Leuven: EDAA, p. 200-205

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

10 Citations (Scopus)

Real-time resource availability signaling in IP multimedia subsystem networks

Ozcelebi, T., Radovanovic, I. & Sengupta, D., 2008, In : Journal of Service Science and Management. 1, 2, p. 128-134

Research output: Contribution to journalArticleAcademicpeer-review

Open Access
File
72 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
33 Downloads (Pure)

Scalable block processing algorithms

Horst, van der, M. G., 2008, Eindhoven: Technische Universiteit Eindhoven. 274 p.

Research output: ThesisPhd Thesis 1 (Research TU/e / Graduation TU/e)

Open Access
File
147 Downloads (Pure)

Specification and verification of invariants by exploiting layers in OO designs

Middelkoop, R., Huizing, C., Kuiper, R. & Luit, E. J., 2008, In : Fundamenta Informaticae. 85, 1-4, p. 377-398

Research output: Contribution to journalArticleAcademicpeer-review

3 Citations (Scopus)
2 Downloads (Pure)

The WASP architecture for wireless sensor networks

Lukkien, J., Siegemund, F., Verhoeven, R., Bosman, R., Gomez, L. & Hellenschmidt, M., 1 Jan 2008, Constructing Ambient Intelligence - AmI 2007 Workshops, Revised Papers. Muhlhauser, M., Aitenbichler, E. & Ferscha, A. (eds.). Berlin: Springer, p. 430-447 18 p. (Communications in Computer and Information Science; vol. 11).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

5 Citations (Scopus)

Towards a converged messaging service

Radovanovic, I., Wedershoven, W., Ala-Ruona, J., Ozcelebi, T. & Vuori, J., 2008, Proceedings ICT-MobileSummit (Stockholm, Sweden, June 10-12, 2008). Cunningham, P. & Cunningham, M. (eds.). Dublin: IIMC International Information Management Corporation, p. 1-8

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

1 Downloads (Pure)

Towards exploiting the preservation strategy of deferrable servers

Bril, R. J. & Cuijpers, P. J. L., 2008, Proceedings of the Work in Progress (WiP) Session of the 14th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS'08, St. Louis MO, USA, April 22-24, 2008). p. 13-16

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademic

Towards exploiting the preservation strategy of sporadic servers

Bril, R. J. & Cuijpers, P. J. L., 2008, Proceedings Work in Progress (WiP) Session of the 20th Euromicro Conference on Real-Time Sustems (ECRTS'08, Prague, Czech Republic, July 2-4, 2008). p. 1-4

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademic

TV-PC Architecture

Haan, de, G. & Berkel, van, C. H., 23 Oct 2008, Patent No. US20080263184

Research output: PatentPatent publication

Open Access
File
28 Downloads (Pure)

TV-PC Architecture

Haan, de, G. & Berkel, van, C. H., 20 Aug 2008, Patent No. EP1958082

Research output: PatentPatent publication

Open Access
File
30 Downloads (Pure)

Understanding the implications of social translucence for systems supporting communication at work

Matysiak, A. J., Karapanos, E., Eggen, J. H. & Holenderski, M. J., 2008, CSCW'08 : conference proceedings of the ACM 2008 conference on computer supported cooperative work, November 8-12 2008, San Diego, USA. New York: Association for Computing Machinery, Inc, p. 649-658

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

9 Citations (Scopus)

Using fixed-priority scheduling with deferred preemption to exploit fluctuating network bandwidth

Holenderski, M. J., Bril, R. J. & Lukkien, J. J., 2008, Proceedings Work in Progress (WiP) Session of the 20th Euromicro Conference on Real-Time Sustems (ECRTS'08, Prague, Czech Republic, July 2-4, 2008). p. 40-43

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademic

Using TCP-feedback to optimize transcoding performance

Verhoeven, R., Jarnikov, D. & Lukkien, J. J., 2008, Digest of Technical Papers 2008 International Conference on Consumer Electronics (ICCE 2008, Las Vegas NV, USA, January 9-13, 2008). Piscataway NJ: Institute of Electrical and Electronics Engineers, p. 468-469

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

1 Citation (Scopus)

Vectorization of Reed Solomon decoding and mapping on the EVP

Kumar, A. & Berkel, van, C. H., 2008, Proceedings 11th Design, Automation and Test in Europe - Conference and Exhibition (DATE'08, Munich, Germany, March 10-14, 2008). Leuven: EDAA, p. 450-455

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

10 Citations (Scopus)
2 Downloads (Pure)

Virtual community management for enabling P2P services in the IMS network

Radovanovic, I., Lukkien, J. J., Chen, S., Molanus, C. A. & Ozcelebi, T., 2008, Proceedings 2nd International Conference on Internet Multimedia Services Architecture and Applications (IMSAA'08, Bangalore, India, December 10-12, 2008). Institute of Electrical and Electronics Engineers, p. 1-6

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

5 Citations (Scopus)
1 Downloads (Pure)
2007

Algebraic software analysis and embedded simulation of a driving robot

Merkx, L. L. F., Duringhof, H. M. & Cuijpers, P. J. L., 2007, Proceedings of the 2007 Summer Computer Simulation Conference (SCSC'07), July 15-18, 2007, San Diego CA, USA. Association for Computing Machinery, Inc

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

10 Downloads (Pure)

An advanced ECG signal processing for ubiquitous healthcare system

Bhardwaj, S., Lee, D. S. & Chung, W. Y., 2007, Proceedings of the 2007 International Conference on Control, Automation and Systems (ICCAS 2007) 17-20 October 2007, Seoul, South Korea. Piscataway, New Jersey: Institute of Electrical and Electronics Engineers, p. 2433-2436

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Open Access
File
1 Citation (Scopus)
92 Downloads (Pure)

A new interpretation of invariants exploiting layers in OO designs

Middelkoop, R., Huizing, C., Kuiper, R. & Luit, E. J., 2007, Proceedings of Concurrency, Specification and Programming (CS&P 2007, Łagów, Poland, September 27-29, 2007). Czaja, L. (ed.). Warsaw: Warsaw University, Vol. 2. p. 413-424

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

1 Downloads (Pure)

Assessing and improving the quality of modeling : a series of empirical studies about the UML

Lange, C. F. J., 2007, Eindhoven: Technische Universiteit Eindhoven. 181 p.

Research output: ThesisPhd Thesis 1 (Research TU/e / Graduation TU/e)

Open Access
File
753 Downloads (Pure)

Cross-layer optimized rate adaptation and scheduling for multiple-user wireless video streaming

Ozcelebi, T., Sunay, M. O., Tekalp, A. M. & Civanlar, M. R., 2007, In : IEEE Journal on Selected Areas in Communications. 25, 4, p. 760-769

Research output: Contribution to journalArticleAcademicpeer-review

24 Citations (Scopus)
1 Downloads (Pure)

Delay-distortion optimization for content-adaptive video streaming

Ozcelebi, T., Tekalp, A. M. & Civanlar, M. R., 2007, In : IEEE Transactions on Multimedia. 9, 4, p. 826-836

Research output: Contribution to journalArticleAcademicpeer-review

17 Citations (Scopus)
2 Downloads (Pure)

Electronic circuit with a chain of processing elements

Peeters, A. M. G., Berkel, van, C. H. & De Clerq, M. N. O., 21 Aug 2007, Patent No. US Patent #7,259,594

Research output: PatentPatent publication

End-to-end stereoscopic video streaming with content-adaptive rate and format control

Aksay, A., Pehlivan, S., Kurutepe, E., Bilen, C., Ozcelebi, T., Akar, G. B., Civanlar, M. R. & Tekalp, A. M., 2007, In : Signal Processing : Image Communication. 22, 2, p. 157-168

Research output: Contribution to journalArticleAcademicpeer-review

27 Citations (Scopus)
2 Downloads (Pure)

Enhancing end-to-end QoS for multimedia streaming in IMS-based networks

Ozcelebi, T., Radovanovic, I. & Chaudron, M. R. V., 2007, Proceedings 2nd International Conference on Systems and Networks Communications (ICSNC 2007) 25-31 August 2007, Cap Esterel, France. Los Alamitos, California, USA: IEEE Computer Society, p. 48-48

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Open Access
File
7 Citations (Scopus)
86 Downloads (Pure)

Hierarchical resource allocation for robust in-home video streaming

Stok, van der, P. D. V., Jarnikov, D., Kozlov, S., Hartskamp, van, M. A. & Lukkien, J. J., 2007, In : Journal of Systems and Software. 80, 7, p. 951-961

Research output: Contribution to journalArticleAcademicpeer-review

1 Citation (Scopus)
1 Downloads (Pure)

Improving TCP/IP performance over last-hop wireless networks for streaming video delivery

Radovanovic, I., Verhoeven, R. & Lukkien, J. J., 2007, Proceedings of the IEEE International Conference on Consumer Electronics (ICCE 2007) 12-14 January 2007, Las Vegas ,Nevada, USA. New York, USA: Institute of Electrical and Electronics Engineers, p. 1-2

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

1 Citation (Scopus)

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
29 Downloads (Pure)

Mapping a VLIW x SIMD processor on an FGA : scalability and performance

Nelissen, M., Berkel, van, C. H. & Sawitzki, S., 2007, Proceedings of the 17th International Conference on Field Programmable Logic and Applications 2007 (FPL 2007) 27-29 August 2007, Amsterdam, The Netherlands. Piscataway, New Jersey, USA: Institute of Electrical and Electronics Engineers, p. 521-524

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review