Skip header Section
Skip Bibliometrics Section
Network calculus: a theory of deterministic queuing systems for the internetJanuary 2001
- Authors:
- Jean-Yves Le Boudec,
- Patrick Thiran
Abstract
No abstract available.
- R. Agrawal, R. L. Cruz, C. Okino, and R. Rajan. A framework for adapative service guarantees. In Proc. Allerton Conf on Comm, Control and Comp, Monticello, IL, Sept 1998.Google Scholar
- R. Agrawal, R. L. Cruz, C. Okino, and R. Rajan. Performance bounds for flow control protocols. IEEE/ACM Transactions on Networking (7) 3, pages 310-323, June 1999. Google ScholarDigital Library
- M. Andrews. Instability of fifo in session-oriented networks. In Eleventh Annual ACM-SIAM Symposium on Discrete Algorithms (SODA 2000), January 2000. Google ScholarDigital Library
- J. C. R. Bennett, Benson K., Charny A., CourtneyW. F., and J.-Y. Le Boudec. Delay jitter bounds and packet scale rate guarantee for expedited forwarding. In Proceedings of Infocom, April 2001.Google ScholarCross Ref
- J. C. R. Bennett and H. Zhang. Wf2q: Worst-case fair weighted fair queuing. In Proceedings of Infocom, Mar 1996.Google Scholar
- S. Blake, D. Black, M. Carlson, E. Davies, Z. Wang, and W. Weiss. An architecture for differentiated services, December 1998. RFC 2475, IETF. Google ScholarDigital Library
- C. S. Chang. Stability, queue length and delay, part i: Deterministic queuing networks. Technical Report Technical Report RC 17708, IBM, 1992.Google Scholar
- C.-S. Chang, W.-J. Chen, and H.-Y. Hunag. On service guarantees for input buffered crossbar switches: A capacity decomposition approach by birkhoff and von neumann. In Proc of IWQOS 99, March 1999.Google ScholarCross Ref
- C. S. Chang. On deterministic traffic regulation and service guarantee: A systematic approach by filtering. IEEE Transactions on Information Theory, 44:1096-1107, August 1998.Google Scholar
- C. S. Chang. Performance Guarantees in Communication Networks. Springer-Verlag, New York, 2000. Google ScholarDigital Library
- C. S. Chang and R. L. Cruz. A time varying filtering theory for constrained traffic regulation and dynamic service guarantees. In Preprint, July 1998.Google Scholar
- A. Charny and J.-Y. Le Boudec. Delay bounds in a network with aggregate scheduling. In First International Workshop on Quality of future Internet Services , Berlin, Germany, September 2000.Google ScholarDigital Library
- I. Chlamtac, A. Faragó, H. Zhang, and A. Fumagalli. A deterministic approach to the end-to-end analysis of packet flows in connection oriented networks. IEEE/ACM transactions on networking, (6)4:422-431, 08 1998. Google ScholarDigital Library
- J.-F. Chuang, C.-M. and Chang. Deterministic loss ratio quality of service guarantees for high speed networks. IEEE Communications Letters, 4:236-238, July 2000.Google ScholarCross Ref
- R. Cruz, C.-S. Chang, J.-Y. Le Boudec, and P. Thiran. A min-plus system theory for constrained traffic regulation and dynamic service guarantees. Technical Report SSC/1999/024, EPFL, July 1999.Google Scholar
- R. Cruz and M. Taneja. An analysis of traffic clipping. In Proc 1998 Conf on Information Science & Systems, Princeton University, 1998.Google Scholar
- R. L. Cruz. Sced+ : Efficient management of quality of service guarantees. In IEEE Infocom'98, San Francisco, March 1998.Google ScholarCross Ref
- R. L. Cruz. A calculus for network delay, part i: Network elements in isolation. IEEE Trans. Inform. Theory, vol 37-1, pages 114-131, January 1991.Google ScholarDigital Library
- R. L. Cruz. A calculus for network delay, part ii: Network analysis. IEEE Trans. Inform. Theory, vol 37-1, pages 132-141, January 1991.Google ScholarDigital Library
- G. De Veciana, July 1996. Private Communication.Google Scholar
- A. Demers, S. Keshav, and S. Shenker. Analysis and simulation of a fair queuing algorithm. Journal of Internetworking Research and Experience, pages 3-26, Oct 1990.Google Scholar
- N. G. Duffield, K. K. Ramakrishan, and A. R. Reibman. Save: An algorithm for smoothed adaptative video over explicit rate networks. IEEE/ACM Transactions on Networking, 6:717-728, Dec 1998. Google ScholarDigital Library
- A. Elwalid, Mitra D., and R. Wenworth. A new approach for allocating buffers and bandwidth to heterogeneous, regulated traffic in ATM node. IEEE Journal of Selected Areas in Communications, 13:1048-1056, August 1995.Google ScholarDigital Library
- Baccelli F., Cohen G., Olsder G. J., and Quadrat J.-P. Synchronization and Linearity, An Algebra for Discrete Event Systems. John Wiley and Sons, 1992.Google Scholar
- W.-C. Feng and J. Rexford. Performance evaluation of smoothing algorithms for transmitting variable-bit-rate video. IEEE Transactions on Multimedia, 1:302-312, Sept 1999.Google ScholarDigital Library
- L. Georgiadis, R. Guérin, V. Peris, and R. Rajan. Efficient support of delay and rate guarantees in an internet. In Proceedings of Sigcomm'96, pages 106-116, August 1996. Google ScholarDigital Library
- P. Goyal, S. S. Lam, and H. Vin. Determining end-to-end delay bounds in heterogeneous networks. In 5th Int Workshop on Network and Op. Sys support for Digital Audio and Video, Durham NH, April 1995. Google Scholar
- R. Guérin and V. Peris. Quality-of-service in packet networks - basic mechanisms and directions. Computer Networks and ISDN, Special issue on multi-media communications over packet-based networks, 1998.Google Scholar
- R. Guérin and V. Pla. Aggregation and conformance in differentiated service networks - a case study. Technical Report Research Report, U Penn, http://www.seas.upenn.edu:8080/guerin/publications/aggreg.pdf, August 2000.Google Scholar
- Jeremy Gunawardena. From max-plus algebra to nonexpansive mappings: a nonlinear theory for discrete event systems. pre-print, 1999.Google Scholar
- Sariowan H., Cruz R. L., and Polyzos G. C. Scheduling for quality of service guarantees via service curves. In Proceedings ICCCN'95, pages 512-520, Sept 1995. Google Scholar
- B. Hajek. Large bursts do not cause instability. IEEE Trans on Aut Control, 45:116-118, Jan 2000.Google ScholarCross Ref
- J. M. Harrison. Brownian Motion and Stochastic Flow Systems. Wiley, New-York, 1985.Google Scholar
- J. Heinanen, F. Baker, W. Weiss, and J. Wroclawski. Assured forwarding phb group, June 1999. RFC 2597, IETF. Google ScholarDigital Library
- Golestani S. J. A self clocked fair queuing scheme for high speed applications. In Proceedings of Infocom '94, 1994.Google Scholar
- F. Farkas J. Y. Le Boudec. A delay bound for a network with aggregate scheduling. In Proceedings of the Sixteenth UK Teletraffic Symposium on Management of Quality of Service, page 5, Harlow, UK, May 2000.Google Scholar
- V. Jacobson, K. Nichols, and K. Poduri. An expedited forwarding phb, June 1999. RFC 2598, IETF. Google ScholarDigital Library
- C. Kalmanek, H. Kanakia, and R. Restrick. Rate controlled servers for very high speed networks. In IEEE Globecom'90, vol 1, pages 12-20, 1990.Google Scholar
- Keshav. Computer Networking: An Engineering Approach. Prentice Hall, Englewood Cliffs, New Jersey 07632, 1996.Google Scholar
- T. Konstantopoulos and V. Anantharam. Optimal flow control schemes that regulate the burstiness of traffic. IEEE/ACM Transactions on Networking, 3:423-432, August 1995. Google ScholarDigital Library
- Cruz R. L. and Okino C. M. Service guarantees for window flow control. In 34th Allerton Conf of Comm., Cont., and Comp. Monticello, IL, Oct 1996.Google Scholar
- Gun L. and R. Guérin. Bandwidth management and congestion control framework of the broadband network architecture. Bandwidth management and congestion control framework of the broadband network architecture, vol 26, pages 61-78, 1993. Google ScholarDigital Library
- Zhang L. A new traffic control algorithm for packet switching networks. In Proceedings of ACM Sigcomm '90, 1990. Google ScholarDigital Library
- J.-Y. Le Boudec. Application of network calculus to guaranteed service networks. IEEE Transactions on Information Theory, 44:1087-1096, May 1998.Google ScholarDigital Library
- J.-Y. Le Boudec. Some properties of variable length packet shapers. In Proc ACM Sigmetrics/Performance '01, 2001. Google ScholarDigital Library
- J.-Y. Le Boudec and G. Hebuterne. Comment on a deterministic approach to the end-to-end analysis of packet flows in connection oriented network. IEEE/ACM Transactions on Networking, February 2000. Google ScholarDigital Library
- J.-Y. Le Boudec and P. Thiran. Network calculus viewed as a min-plus system theory applied to communication networks. Technical Report SSC/1998/016, EPFL, April 1998.Google Scholar
- J.-Y. Le Boudec and O. Verscheure. Optimal smoothing for guaranteed service. Technical Report DSC2000/014, EPFL, March 2000.Google ScholarDigital Library
- J. Liebeherr, D. E. Wrege, and Ferrari D. Exact admission control for networks with bounded delay services. ACM/IEEE transactions on networking, 4:885- 901, 1996. Google ScholarDigital Library
- F. Lo Presti, Z.-L. Zhang, D. Towsley, and J. Kurose. Source time scale and optimal buffer/bandwidth trade-off for regulated traffic in a traffic node. IEEE/ACM Transactions on Networking, 7:490-501, August 1999. Google ScholarDigital Library
- S. H. Low and P. P. Varaiya. A simple theory of traffic and resource allocation in atm. In Globecom'91, pages 1633-1637, December 1991.Google ScholarCross Ref
- J. M. McManus and K. W. Ross. Video-on-demand over ATM: Constant-rate transmission and transport. IEEE Journal on Selected Areas in Communications , 7:1087-1098, Aug 1996.Google ScholarDigital Library
- J. Naudts. A Scheme for Multiplexing ATM Sources. Chapman Hill, 1996.Google ScholarCross Ref
- J. Naudts. Towards real-time measurement of traffic control parameters. Computer networks, 34:157-167, 2000. Google ScholarDigital Library
- Clayton M. Okino. A framework for performance guarantees in communication networks, 1998. Ph.D. Dissertation, UCSD.Google Scholar
- A. K. Parekh and R. G. Gallager. A generalized processor sharing approach to flow control in integrated services networks: The single node case. IEEE/ACM Trans. Networking, vol 1-3, pages 344-357, June 1993. Google ScholarDigital Library
- A. K. Parekh and R. G. Gallager. A generalized processor sharing approach to flow control in integrated services networks: The multiple node case. IEEE/ACM Trans. Networking, vol 2-2, pages 137-150, April 1994. Google ScholarDigital Library
- Vinod Peris. Architecture for guaranteed delay service in high speed networks, 1997. Ph.D. Dissertation, University of Maryland, http://www.isr.umd.edu. Google ScholarDigital Library
- Fabrice P. Guillemin Pierre E. Boyer, Michel J. Servel. The spacer-controller: an efficient upc/npc for atm networks. In ISS '92, Session A9.3, volume 2, October 1992.Google Scholar
- Agrawal R. and Rajan R. Performance bounds for guaranteed and adaptive services, December 1996. IBM Technical Report RC 20649.Google Scholar
- J. Rexford and D. Towsley. Smoothing variable-bit-rate video in an internetwork. IEEE/ACM Transactions on Networking, 7:202-215, April 1999. Google ScholarDigital Library
- H. L. Royden. Real Analysis. Mc-Millan, New-York, 2 edition, 1968.Google Scholar
- J. Y. Le Boudec S. Giordano. On a class of time varying shapers with application to the renegotiable variable bit rate service. Journal on High Speed Networks. Google ScholarDigital Library
- J. D. Salehi, Z.-L. Zhang, J. F. Kurose, and D. Towsley. Supporting stored video: Reducing rate variability and end-to-end resource requirements through optimal smoothing. IEEE/ACM Transactions on Networking, 6:397-410, Dec 1998. Google ScholarDigital Library
- H. Sariowan. A service curve approach to performance guarantees in integrated service networks, 1996. Ph.D. Dissertation, UCSD. Google ScholarDigital Library
- A. Skorokhod. Stochastic equations for diffusion processes in a bounded region. Theory of Probability and its Applications, 6:264-274, 1961.Google ScholarCross Ref
- D. Stiliadis and A. Varma. Rate latency servers: a general model for analysis of traffic scheduling algorithms. In IEEE Infocom '96, pages 647-654, 1991.Google Scholar
- Rockafellar R. T. Convex Analysis. Princeton University Press, Princeton, 1970.Google Scholar
- L. Tassiulas and L. Georgiadis. Any work conserving policy stabilizes the ring with spatial reuse. IEEE/ACM Transactions on Networking, pages 205-208, April 1996. Google ScholarDigital Library
- Lothar Thiele, Samarjit Chakraborty, and Martin Naedele. Real-time calculus for scheduling hard real-time systems. In ISCAS, Geneva, May 2000.Google ScholarCross Ref
- P. Thiran, J.-Y. Le Boudec, and F. Worm. Network calculus applied to optimal multimedia smoothing. In Proc of Infocom 2001, April 2001.Google ScholarCross Ref
- D. Verma, H. Zhang, and D. Ferrari. Guaranteeing delay jitter bounds in packet switching networks. In Proceedings of Tricomm '91, Chapel Hill, pages 35- 46, April 1991.Google Scholar
- H. Zhang. Service disciplines for guaranteed performance service in packet switching networks. Proceedings of the IEEE, 1996.Google Scholar
- H. Zhang and D. Ferrari. Rate controlled service disciplines. Journal of High Speed Networks, 3 No 4:389-412, August 1994.Google ScholarDigital Library
- Hongbiao Zhang. A note on deterministic end-to-end delay analysis in connection oriented networks. In Proc of IEEE ICC'99, Vancouver, pp 1223-1227, 1999.Google Scholar
Cited By
Peeck J and Ernst R (2023). Improving Worst-case TSN Communication Times of Large Sensor Data Samples by Exploiting Synchronization, ACM Transactions on Embedded Computing Systems, 22:5s, (1-25), Online publication date: 31-Oct-2023.- Barroso-Fernández C, Martín-Pérez J, Ayimba C and De La Oliva A Aligning rTWT with 802.1Qbv: a Network Calculus Approach Proceedings of the Twenty-fourth International Symposium on Theory, Algorithmic Foundations, and Protocol Design for Mobile Networks and Mobile Computing, (352-354)
- Ravi B, Kumar M, Hu Y, Hassan S and Kumar B (2023). Stochastic modeling and performance analysis in balancing load and traffic for vehicular ad hoc networks, International Journal of Network Management, 33:5, Online publication date: 11-Sep-2023.
- Zhang T, Sharma U and Kapritsos M (2023). Performal: Formal Verification of Latency Properties for Distributed Systems, Proceedings of the ACM on Programming Languages, 7:PLDI, (368-393), Online publication date: 6-Jun-2023.
- Cardona J, Hernández C, Abella J, Mezzetti E and Cazorla F (2023). Accurately Measuring Contention in Mesh NoCs in Time-Sensitive Embedded Systems, ACM Transactions on Design Automation of Electronic Systems, 28:3, (1-34), Online publication date: 31-May-2023.
- Köhler L, Hertha P, Beckert M, Bendrick A and Ernst R (2022). Robust Cause-Effect Chains with Bounded Execution Time and System-Level Logical Execution Time, ACM Transactions on Embedded Computing Systems, 22:3, (1-28), Online publication date: 31-May-2023.
- Mandal S, Narayana S, Ayoub R, Kishinevsky M, Abousamra A and Ogras U (2023). Fast Performance Analysis for NoCs With Weighted Round-Robin Arbitration and Finite Buffers, IEEE Transactions on Very Large Scale Integration (VLSI) Systems, 31:5, (670-683), Online publication date: 1-May-2023.
- Thomas L, Mifdaoui A and Le Boudec J (2022). Worst-Case Delay Bounds in Time-Sensitive Networks With Packet Replication and Elimination, IEEE/ACM Transactions on Networking, 30:6, (2701-2715), Online publication date: 1-Dec-2022.
- Tabatabaee S and Le Boudec J (2022). Deficit Round-Robin: A Second Network Calculus Analysis, IEEE/ACM Transactions on Networking, 30:5, (2216-2230), Online publication date: 1-Oct-2022.
- Charles S and Mishra P (2021). A Survey of Network-on-Chip Security Attacks and Countermeasures, ACM Computing Surveys, 54:5, (1-36), Online publication date: 30-Jun-2022.
- Mohammadpour E and Le Boudec J (2021). On Packet Reordering in Time-Sensitive Networks, IEEE/ACM Transactions on Networking, 30:3, (1045-1057), Online publication date: 1-Jun-2022.
- Feng C, An J, Wu K and Wang J (2021). Bound Inference and Reinforcement Learning-Based Path Construction in Bandwidth Tomography, IEEE/ACM Transactions on Networking, 30:2, (501-514), Online publication date: 1-Apr-2022.
- Cardoso Á, Ferreira M and Vieira F (2021). Delay bound estimation for multicarrier 5G systems considering lognormal beta traffic envelope and stochastic service curve, Transactions on Emerging Telecommunications Technologies, 32:10, Online publication date: 7-Oct-2021.
- Crankshaw D, Sela G, Mo X, Zumar C, Stoica I, Gonzalez J and Tumanov A InferLine Proceedings of the 11th ACM Symposium on Cloud Computing, (477-491)
- Thomas L and Le Boudec J (2020). On Time Synchronization Issues in Time-Sensitive Networks with Regulators and Nonideal Clocks, ACM SIGMETRICS Performance Evaluation Review, 48:1, (51-52), Online publication date: 8-Jul-2020.
- Garg T, Wasly S, Pellizzoni R and Kapre N (2020). HopliteBuf, ACM Transactions on Reconfigurable Technology and Systems, 13:2, (1-35), Online publication date: 30-Jun-2020.
- Thomas L and Le Boudec J On Time Synchronization Issues in Time-Sensitive Networks with Regulators and Nonideal Clocks Abstracts of the 2020 SIGMETRICS/Performance Joint International Conference on Measurement and Modeling of Computer Systems, (51-52)
- Wu D, Nie X, Asmare E, Arkhipov D, Qin Z, Li R, McCann J and Li K (2020). Towards Distributed SDN: Mobility Management and Flow Scheduling in Software Defined Urban IoT, IEEE Transactions on Parallel and Distributed Systems, 31:6, (1400-1418), Online publication date: 1-Jun-2020.
- Giroudot F and Mifdaoui A Tightness and computation assessment of worst-case delay bounds in wormhole networks-on-chip Proceedings of the 27th International Conference on Real-Time Networks and Systems, (19-29)
- Oehlert D, Saidi S and Falk H (2019). Code-Inherent Traffic Shaping for Hard Real-Time Systems, ACM Transactions on Embedded Computing Systems, 18:5s, (1-21), Online publication date: 31-Oct-2019.
- Hotescu O, Jaffrès-Runser K, Scharbarg J and Fraboul C Multiplexing Avionics and additional flows on a QoS-aware AFDX network 2019 24th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA), (282-289)
- Finzi A and Craciunas S Integration of SMT-based Scheduling with RC Network Calculus Analysis in TTEthernet Networks 2019 24th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA), (192-199)
- Li H, Ota K and Dong M (2019). LS-SDV: Virtual Network Management in Large-Scale Software-Defined IoT, IEEE Journal on Selected Areas in Communications, 37:8, (1783-1793), Online publication date: 1-Aug-2019.
- Hu B, Thiele L, Huang P, Huang K, Griesbeck C and Knoll A (2019). FFOB, Real-Time Systems, 55:3, (471-513), Online publication date: 1-Jul-2019.
- Ravi B, Thangaraj J and Petale S (2019). Data Traffic Forwarding for Inter-vehicular Communication in VANETs Using Stochastic Method, Wireless Personal Communications: An International Journal, 106:3, (1591-1607), Online publication date: 1-Jun-2019.
- Prottoy S, Saucez D and Dabbous W NUTS Proceedings of the 2019 ACM Symposium on SDN Research, (160-161)
- Wang H, Hu J and Niu W (2019). RC performance analysis based on model optimization with the aid of network calculus, Photonic Network Communications, 37:2, (253-260), Online publication date: 1-Apr-2019.
- Wu Y, Chen A and Phan L Zeno Proceedings of the 16th USENIX Conference on Networked Systems Design and Implementation, (395-420)
- Garg T, Wasly S, Pellizzoni R and Kapre N HopliteBuf Proceedings of the 2019 ACM/SIGDA International Symposium on Field-Programmable Gate Arrays, (222-231)
- Slijepcevic M, Hernandez C, Abella J and Cazorla F (2019). Time-Randomized Wormhole NoCs for Critical Applications, ACM Journal on Emerging Technologies in Computing Systems, 15:1, (1-23), Online publication date: 31-Jan-2019.
- Le Boudec J (2018). A Theory of Traffic Regulators for Deterministic Networks With Application to Interleaved Regulators, IEEE/ACM Transactions on Networking, 26:6, (2721-2733), Online publication date: 1-Dec-2018.
- Soni A, Li X, Scharbarg J and Fraboul C WCTT analysis of avionics Switched Ethernet Network with WRR Scheduling Proceedings of the 26th International Conference on Real-Time Networks and Systems, (213-222)
- Lee A, Wang P, Lin S, Akyildiz I and Luo M Dynamic bandwidth allocation in SDN based next generation virtual networks Proceedings of the 2018 Conference on Research in Adaptive and Convergent Systems, (80-87)
- Buchholz P and Vastag S (2018). Toward an analytical method for SLA validation, Software and Systems Modeling (SoSyM), 17:2, (527-545), Online publication date: 1-May-2018.
- Hu B and Huang K Scheduling and shaping of complex task activations for mixed-criticality systems Proceedings of the 23rd Asia and South Pacific Design Automation Conference, (58-63)
- Grigoriu L and Tardif P (2018). Availability of a Hybrid FSO/RF Link While Using the Link’s Diversity for Packet Scheduling, Wireless Communications & Mobile Computing, 2018, Online publication date: 1-Jan-2018.
- Du G, Zhang Y, Li Z, Liu G, Zhang D and Ouyang Y On the Accuracy of Stochastic Delay Bound for Network on Chip Proceedings of the Eleventh IEEE/ACM International Symposium on Networks-on-Chip, (1-8)
- (2017). An analytical model for delay bound of OpenFlow based SDN using network calculus, Journal of Network and Computer Applications, 96:C, (31-38), Online publication date: 15-Oct-2017.
- Daigmorte H and Boyer M Evaluation of admissible CAN bus load with weak synchronization mechanism Proceedings of the 25th International Conference on Real-Time Networks and Systems, (277-286)
- Verbeek F and van Vugt N Estimating worst-case latency of on-chip interconnects with formal simulation Proceedings of the 17th Conference on Formal Methods in Computer-Aided Design, (204-211)
- Hu Y, Li H, Chang Z and Han Z (2017). End-to-End Backlog and Delay Bound Analysis for Multi-Hop Vehicular Ad Hoc Networks, IEEE Transactions on Wireless Communications, 16:10, (6808-6821), Online publication date: 1-Oct-2017.
- Badawi M, Lu Z and Hemani A (2017). Quality-of-service-aware adaptation scheme for multi-core protocol processing architecture, Microprocessors & Microsystems, 54:C, (47-59), Online publication date: 1-Oct-2017.
- Zhu T, Kozuch M and Harchol-Balter M WorkloadCompactor Proceedings of the 2017 Symposium on Cloud Computing, (598-610)
- Benammar N, Ridouard F, Bauer H and Richard P Forward end-to-end delay analysis extension for FP/FIFO policy in AFDX networks 2017 22nd IEEE International Conference on Emerging Technologies and Factory Automation (ETFA), (1-8)
- Beck M and Schmitt J (2017). Generalizing window flow control in bivariate network calculus to enable leftover service in the loop, Performance Evaluation, 114:C, (45-55), Online publication date: 1-Sep-2017.
- Bondorf S, Nikolaus P and Schmitt J (2017). Quality and Cost of Deterministic Network Calculus, Proceedings of the ACM on Measurement and Analysis of Computing Systems, 1:1, (1-34), Online publication date: 13-Jun-2017.
- Yang H, Cheng L and Ma X Analyzing Worst-Case Delay Performance of IEC 61850-9-2 Process Bus Networks Using Measurements and Network Calculus Proceedings of the Eighth International Conference on Future Energy Systems, (12-22)
- Qi Q, Wang W, Gong X and Que X An analytical model for combined SDN Forwarding Element 2017 IFIP/IEEE Symposium on Integrated Network and Service Management (IM), (572-575)
- Frangioni A, Galli L and Stea G (2017). Delay-constrained routing problems, Computers and Operations Research, 81:C, (67-77), Online publication date: 1-May-2017.
- (2017). Modeling and performance analysis for multimedia data flows scheduling in software defined networks, Journal of Network and Computer Applications, 83:C, (89-100), Online publication date: 1-Apr-2017.
- Hu B, Huang K, Chen G, Cheng L and Knoll A Online workload monitoring with the feedback of actual execution time for real-time systems Proceedings of the Conference on Design, Automation & Test in Europe, (764-769)
- Tobuschat S and Ernst R Real-time communication analysis for networks-on-chip with backpressure Proceedings of the Conference on Design, Automation & Test in Europe, (590-595)
- Ar-reyouchi E, Hammouti M, Maslouhi I and Ghoumid K The internet of things Proceedings of the Second International Conference on Internet of things, Data and Cloud Computing, (1-7)
- Lubben R and Fidler M (2017). Service Curve Estimation-Based Characterization and Evaluation of Closed-Loop Flow Control, IEEE Transactions on Network and Service Management, 14:1, (161-175), Online publication date: 1-Mar-2017.
- Hu B, Huang K, Chen G, Cheng L and Knoll A (2016). Adaptive Workload Management in Mixed-Criticality Systems, ACM Transactions on Embedded Computing Systems, 16:1, (1-27), Online publication date: 28-Feb-2017.
- Nguyen K, Ishizu K and Kojima F (2017). An evolvable, scalable, and resilient control channel for software defined wireless access networks, Computers and Electrical Engineering, 57:C, (104-117), Online publication date: 1-Jan-2017.
- Pradhan S, Dubey A, Levendovszky T, Kumar P, Emfinger W, Balasubramanian D, Otte W and Karsai G (2016). Achieving resilience in distributed software systems via self-reconfiguration, Journal of Systems and Software, 122:C, (344-363), Online publication date: 1-Dec-2016.
- Benammar N, Bauer H, Ridouard F and Richard P (2016). Tighter buffer dimensioning in AFDX networks, ACM SIGBED Review, 13:4, (37-42), Online publication date: 3-Nov-2016.
- Daigmorte H and Boyer M Traversal time for weakly synchronized CAN bus Proceedings of the 24th International Conference on Real-Time Networks and Systems, (35-44)
- Tomanek O, Mulinka P and Kencl L (2016). Multidimensional cloud latency monitoring and evaluation, Computer Networks: The International Journal of Computer and Telecommunications Networking, 107:P1, (104-120), Online publication date: 9-Oct-2016.
- Zhu T, Berger D and Harchol-Balter M SNC-Meister Proceedings of the Seventh ACM Symposium on Cloud Computing, (374-387)
- Hu B, Huang K, Huang P, Thiele L and Knoll A On-the-fly fast overrun budgeting for mixed-criticality systems Proceedings of the 13th International Conference on Embedded Software, (1-10)
- Choi H, King A and Lee I Making DDS really real-time with openflow Proceedings of the 13th International Conference on Embedded Software, (1-10)
- (2016). Extreme value theory for the study of probabilistic worst case delays in wireless networks, Ad Hoc Networks, 48:C, (1-15), Online publication date: 15-Sep-2016.
- Santinelli L (2016). Probabilistic component-based analysis for networks, ACM SIGBED Review, 13:3, (65-72), Online publication date: 2-Aug-2016.
- Duan Q and Vasilakos A (2016). Federated selection of network and cloud services for high-performance software-defined cloud computing, International Journal of High Performance Computing and Networking, 9:4, (316-327), Online publication date: 1-Aug-2016.
- Qian Z, Bogdan P, Tsui C and Marculescu R (2016). Performance Evaluation of NoC-Based Multicore Systems, ACM Transactions on Design Automation of Electronic Systems, 21:3, (1-38), Online publication date: 26-Jul-2016.
- Kashif H, Patel H and Fischmeister S (2016). Path Selection for Real-Time Communication on Priority-Aware NoCs, ACM Transactions on Design Automation of Electronic Systems, 21:3, (1-25), Online publication date: 26-Jul-2016.
- Hu B, Huang K, Chen G, Cheng L and Knoll A (2016). Evaluation and Improvements of Runtime Monitoring Methods for Real-Time Event Streams, ACM Transactions on Embedded Computing Systems, 15:3, (1-26), Online publication date: 21-Jul-2016.
- Kumar P A network calculus foundation for smart-grids where demand and supply vary in space and time Proceedings of the Seventh International Conference on Future Energy Systems, (1-11)
- Xiong Q, Lu Z, Wu F and Xie C Real-Time Analysis for Wormhole NoC Proceedings of the 26th edition on Great Lakes Symposium on VLSI, (75-80)
- Foster N, Kozen D, Mamouras K, Reitblatt M and Silva A Probabilistic NetKAT Proceedings of the 25th European Symposium on Programming Languages and Systems - Volume 9632, (282-309)
- Cheng L, Huang K, Chen G, Hu B and Knoll A Minimizing peak temperature for pipelined hard real-time systems Proceedings of the 2016 Conference on Design, Automation & Test in Europe, (1090-1095)
- Du G, Ou Y, Li X, Song P, Lu Z and Gao M OLITS Proceedings of the 2016 Conference on Design, Automation & Test in Europe, (1000-1005)
- Al-Zubaidy H, Liebeherr J and Burchard A (2016). Network-layer performance analysis of multihop fading channels, IEEE/ACM Transactions on Networking, 24:1, (204-217), Online publication date: 1-Feb-2016.
- Duan Q and Vasilakos A (2016). Federated selection of network and cloud services for high-performance software-defined cloud computing, International Journal of High Performance Computing and Networking, 9:4, (316-327), Online publication date: 1-Jan-2016.
- Bund T and Slomka F Worst-case performance validation of safety-critical control systems with dropped samples Proceedings of the 23rd International Conference on Real Time and Networks Systems, (319-326)
- Mancuso R, Louis A and Caccamo M Using traffic phase shifting to improve AFDX link utilization Proceedings of the 12th International Conference on Embedded Software, (256-265)
- Manderscheid M, Weiss G and Knorr R Verifying network performance of cyber-physical systems with multiple runtime configurations Proceedings of the 12th International Conference on Embedded Software, (247-255)
- Hu B, Huang K, Chen G, Cheng L and Knoll A Adaptive runtime shaping for mixed-criticality systems Proceedings of the 12th International Conference on Embedded Software, (11-20)
- Jang K, Sherry J, Ballani H and Moncaster T (2015). Silo, ACM SIGCOMM Computer Communication Review, 45:4, (435-448), Online publication date: 22-Sep-2015.
- Bouillard A and Nowak T (2015). Fast symbolic computation of the worst-case delay in tandem networks and applications, Performance Evaluation, 91:C, (270-285), Online publication date: 1-Sep-2015.
- Jang K, Sherry J, Ballani H and Moncaster T Silo Proceedings of the 2015 ACM Conference on Special Interest Group on Data Communication, (435-448)
- Jafari F, Lu Z and Jantsch A (2015). Least Upper Delay Bound for VBR Flows in Networks-on-Chip with Virtual Channels, ACM Transactions on Design Automation of Electronic Systems, 20:3, (1-33), Online publication date: 24-Jun-2015.
- Xueqian Zhao and Zhonghai Lu (2015). Heuristics-Aided Tightness Evaluation of Analytical Bounds in Networks-on-Chip, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 34:6, (986-999), Online publication date: 1-Jun-2015.
- Huang J, Xu L, Zeng M, Yan H, Duan Q and Xing C Hybrid scheduling for quality of service guarantee of multimedia data flows in software defined networks Proceedings of the 8th International Conference on Mobile Multimedia Communications, (110-116)
- Santinelli L and Cucu-Grosjean L (2015). A Probabilistic Calculus for Probabilistic Real-Time Systems, ACM Transactions on Embedded Computing Systems, 14:3, (1-30), Online publication date: 21-May-2015.
- Tuohy S, Glavin M, Hughes C, Jones E, Trivedi M and Kilmartin L (2015). Intra-Vehicle Networks: A Review, IEEE Transactions on Intelligent Transportation Systems, 16:2, (534-545), Online publication date: 1-Apr-2015.
- Kashif H, Gholamian S and Patel H (2015). SLA: A Stage-Level Latency Analysisfor Real-Time Communicationin a Pipelined Resource Model, IEEE Transactions on Computers, 64:4, (1177-1190), Online publication date: 1-Apr-2015.
- Guan N, Tang Y, Wang Y and Yi W Delay analysis of structural real-time workload Proceedings of the 2015 Design, Automation & Test in Europe Conference & Exhibition, (223-228)
- Herber C, Richter A, Wild T and Herkersdorf A Real-time capable CAN to AVB ethernet gateway using frame aggregation and scheduling Proceedings of the 2015 Design, Automation & Test in Europe Conference & Exhibition, (61-66)
- Chen G, Huang K, Buckl C and Knoll A (2015). Applying Pay-Burst-Only-Once Principle for Periodic Power Management in Hard Real-Time Pipelined Multiprocessor Systems, ACM Transactions on Design Automation of Electronic Systems, 20:2, (1-27), Online publication date: 2-Mar-2015.
- de Dinechin B, Durand Y, van Amstel D and Ghiti A Guaranteed Services of the NoC of a Manycore Processor Proceedings of the 2014 International Workshop on Network on Chip Architectures, (11-16)
- Wang H and Schmitt J End-to-end delay bounds for variable length packet transmissions under flow transformations Proceedings of the 8th International Conference on Performance Evaluation Methodologies and Tools, (31-38)
- Bondorf S and Schmitt J The DiscoDNC v2 Proceedings of the 8th International Conference on Performance Evaluation Methodologies and Tools, (44-49)
- Zhu T, Tumanov A, Kozuch M, Harchol-Balter M and Ganger G PriorityMeister Proceedings of the ACM Symposium on Cloud Computing, (1-14)
- Mundhenk P, Sagstetter F, Steinhorst S, Lukasiewycz M and Chakraborty S Policy-based message scheduling using FlexRay Proceedings of the 2014 International Conference on Hardware/Software Codesign and System Synthesis, (1-10)
- De Azua J and Boyer M Complete modelling of AVB in Network Calculus Framework Proceedings of the 22nd International Conference on Real-Time Networks and Systems, (55-64)
- Kumar P and Thiele L (2014). Worst-case guarantees on a processor with temperature-based feedback control of speed, ACM Transactions on Embedded Computing Systems, 13:4s, (1-26), Online publication date: 1-Jul-2014.
- Martins L, Nobre R, Delbem A, Marques E and Cardoso J Exploration of compiler optimization sequences using clustering-based selection Proceedings of the 2014 SIGPLAN/SIGBED conference on Languages, compilers and tools for embedded systems, (63-72)
- Beckert M, Neukirchner M, Ernst R and Petters S Sufficient Temporal Independence and Improved Interrupt Latencies in a Real-Time Hypervisor Proceedings of the 51st Annual Design Automation Conference, (1-6)
- Axer P, Thiele D, Ernst R and Diemer J Exploiting Shaper Context to Improve Performance Bounds of Ethernet AVB Networks Proceedings of the 51st Annual Design Automation Conference, (1-6)
- Martins L, Nobre R, Delbem A, Marques E and Cardoso J (2014). Exploration of compiler optimization sequences using clustering-based selection, ACM SIGPLAN Notices, 49:5, (63-72), Online publication date: 5-May-2014.
- Bund T and Slomka F Controller/platform co-design of networked control systems based on density functions Proceedings of the 4th ACM SIGBED International Workshop on Design, Modeling, and Evaluation of Cyber-Physical Systems, (11-14)
- Emfinger W, Karsai G, Dubey A and Gokhale A Analysis, verification, and management toolsuite for cyber-physical applications on time-varying networks Proceedings of the 4th ACM SIGBED International Workshop on Design, Modeling, and Evaluation of Cyber-Physical Systems, (44-47)
- Long Y, Lu Z and Yan X Analysis and evaluation of per-flow delay bound for multiplexing models Proceedings of the conference on Design, Automation & Test in Europe, (1-4)
- Zhao X and Lu Z Empowering study of delay bound tightness with simulated annealing Proceedings of the conference on Design, Automation & Test in Europe, (1-6)
- Huang J, Lv J and Duan Q Modeling and analysis on network performance for cloud service delivery with multiple paths Proceedings of the 29th Annual ACM Symposium on Applied Computing, (667-673)
- Safa H, El-Hajj W and Zoubian H (2014). A robust topology control solution for the sink placement problem in WSNs, Journal of Network and Computer Applications, 39:C, (70-82), Online publication date: 1-Mar-2014.
- Corronc E, Cottenceau B and Hardouin L (2014). Container of (min, +)-linear systems, Discrete Event Dynamic Systems, 24:1, (15-52), Online publication date: 1-Mar-2014.
- Kobayashi K and Takahashi Y Tractable effective bandwidths for end-to-end evaluation and fractional Brownian motion traffic Proceedings of the 7th International Conference on Performance Evaluation Methodologies and Tools, (108-117)
- Beck M and Schmitt J The DISCO stochastic network calculator version 1.0 Proceedings of the 7th International Conference on Performance Evaluation Methodologies and Tools, (282-285)
- Geyer F, Schneele S and Carle G Practical performance evaluation of ethernet networks with flow-level network modeling Proceedings of the 7th International Conference on Performance Evaluation Methodologies and Tools, (253-262)
- Kamga C (2013). CPU frequency emulation based on DVFS, ACM SIGOPS Operating Systems Review, 47:3, (34-41), Online publication date: 26-Nov-2013.
- Pollex V, Feld T, Slomka F, Margull U, Mader R and Wirrer G Sufficient real-time analysis for an engine control unit Proceedings of the 21st International conference on Real-Time Networks and Systems, (247-254)
- Bund T and Slomka F A delay density model for networked control systems Proceedings of the 21st International conference on Real-Time Networks and Systems, (205-212)
- Kumar P and Thiele L (2013). Behavioural composition constructively built server algorithms, ACM SIGBED Review, 10:3, (43-48), Online publication date: 1-Oct-2013.
- Giannopoulou G, Stoimenov N, Huang P and Thiele L Scheduling of mixed-criticality applications on resource-sharing multicore systems Proceedings of the Eleventh ACM International Conference on Embedded Software, (1-15)
- Neukirchner M, Lampka K, Quinton S and Ernst R Multi-mode monitoring for mixed-criticality real-time systems Proceedings of the Ninth IEEE/ACM/IFIP International Conference on Hardware/Software Codesign and System Synthesis, (1-10)
- Thiele D, Diemer J, Axer P, Ernst R and Seyler J Improved formal worst-case timing analysis of weighted round robin scheduling for ethernet Proceedings of the Ninth IEEE/ACM/IFIP International Conference on Hardware/Software Codesign and System Synthesis, (1-10)
- Hausmans J, Wiggers M, Geuns S and Bekooij M Dataflow analysis for multiprocessor systems with non-starvation-free schedulers Proceedings of the 16th International Workshop on Software and Compilers for Embedded Systems, (13-22)
- Kiasari A, Jantsch A and Lu Z (2013). Mathematical formalisms for performance evaluation of networks-on-chip, ACM Computing Surveys, 45:3, (1-41), Online publication date: 1-Jun-2013.
- Rox J and Ernst R (2013). Compositional performance analysis with improved analysis techniques for obtaining viable end-to-end latencies in distributed embedded systems, International Journal on Software Tools for Technology Transfer (STTT), 15:3, (171-187), Online publication date: 1-Jun-2013.
- Zhan J, Stoimenov N, Ouyang J, Thiele L, Narayanan V and Xie Y Designing energy-efficient NoC for real-time embedded systems through slack optimization Proceedings of the 50th Annual Design Automation Conference, (1-6)
- Xu Y, Ren F, He T, Lin C, Chen C and Das S (2013). Real-time routing in wireless sensor networks, ACM Transactions on Sensor Networks, 9:3, (1-24), Online publication date: 1-May-2013.
- Soudbakhsh D, Phan L, Sokolsky O, Lee I and Annaswamy A Co-design of control and platform with dropped signals Proceedings of the ACM/IEEE 4th International Conference on Cyber-Physical Systems, (129-140)
- Pollex V, Feld T, Slomka F, Margull U, Mader R and Wirrer G Sufficient real-time analysis for an engine control unit with constant angular velocities Proceedings of the Conference on Design, Automation and Test in Europe, (1335-1338)
- Bund T, Menhorn B and Slomka F Event density analysis for event triggered control systems Proceedings of the Conference on Design, Automation and Test in Europe, (1111-1116)
- Schneider R, Zhang L, Goswami D, Masrur A and Chakraborty S Compositional analysis of switched ethernet topologies Proceedings of the Conference on Design, Automation and Test in Europe, (1099-1104)
- Gangadharan D, Chakraborty S and Zimmermann R Quality-aware media scheduling on MPSoC platforms Proceedings of the Conference on Design, Automation and Test in Europe, (976-981)
- Kumar P, Chokshi D and Thiele L A satisfiability approach to speed assignment for distributed real-time systems Proceedings of the Conference on Design, Automation and Test in Europe, (749-754)
- Neukirchner M, Quinton S, Michaels T, Axer P and Ernst R Sensitivity analysis for arbitrary activation patterns in real-time systems Proceedings of the Conference on Design, Automation and Test in Europe, (135-140)
- Chen G, Huang K, Buckl C and Knoll A Energy optimization with worst-case deadline guarantee for pipelined multiprocessor systems Proceedings of the Conference on Design, Automation and Test in Europe, (45-50)
- Thiele L, Schor L, Bacivarov I and Yang H (2013). Predictability for timing and temperature in multiprocessor system-on-chip platforms, ACM Transactions on Embedded Computing Systems, 12:1s, (1-25), Online publication date: 1-Mar-2013.
- Angrishi K (2013). An end-to-end stochastic network calculus with effective bandwidth and effective capacity, Computer Networks: The International Journal of Computer and Telecommunications Networking, 57:1, (78-84), Online publication date: 1-Jan-2013.
- Vastag S Arrival and delay curve estimation for SLA calculus Proceedings of the Winter Simulation Conference, (1-12)
- Jameux D and Fraboul C Introduction to unmanned spacecraft on-board communications Proceeings of the 2nd International Workshop on Worst-Case Traversal Time, (1-6)
- Ardakanian O, Rosenberg C and Keshav S (2012). On the impact of storage in residential power distribution systems, ACM SIGMETRICS Performance Evaluation Review, 40:3, (43-47), Online publication date: 4-Dec-2012.
- Nam M, Kang K, Pellizzoni R, Park K, Kim J and Sha L (2013). Modeling towards incremental early analyzability of networked avionics systems using virtual integration, ACM Transactions on Embedded Computing Systems, 11:4, (1-23), Online publication date: 1-Dec-2012.
- Kamga C CPU Frequency Emulation Based on DVFS Proceedings of the 2012 IEEE/ACM Fifth International Conference on Utility and Cloud Computing, (367-374)
- Bouillard A, Junier A and Ronot B Hidden anomaly detection in telecommunication networks Proceedings of the 8th International Conference on Network and Service Management, (82-90)
- Du G, Zhang C, Lu Z, Saggio A and Gao M Worst-case performance analysis of 2-D mesh NoCs using multi-path minimal routing Proceedings of the eighth IEEE/ACM/IFIP international conference on Hardware/software codesign and system synthesis, (123-132)
- A correlation preserving performance analysis for stream processing systems Proceedings of the Tenth ACM/IEEE International Conference on Formal Methods and Models for Codesign, (11-20)
- Heidinger E, Kammenhuber N, Klein A and Carle G Network calculus and mixed-integer LP applied to a switched aircraft cabin network Proceedings of the 2012 IEEE 20th International Workshop on Quality of Service, (1-4)
- Kumar P, Goswami D, Chakraborty S, Annaswamy A, Lampka K and Thiele L A hybrid approach to cyber-physical systems verification Proceedings of the 49th Annual Design Automation Conference, (688-696)
- Huang K, Chen G, Buckl C and Knoll A Conforming the runtime inputs for hard real-time embedded systems Proceedings of the 49th Annual Design Automation Conference, (430-436)
- Zhu J, Sander I and Jantsch A (2012). Performance Analysis of Reconfigurations in Adaptive Real-Time Streaming Applications, ACM Transactions on Embedded Computing Systems, 11S:1, (1-20), Online publication date: 1-Jun-2012.
- Vastag S A calculus for SLA delay properties Proceedings of the 16th international GI/ITG conference on Measurement, Modelling, and Evaluation of Computing Systems and Dependability and Fault Tolerance, (76-90)
- Quinton S, Ernst R, Bertrand D and Yomsi P Challenges and new trends in probabilistic timing analysis Proceedings of the Conference on Design, Automation and Test in Europe, (810-815)
- Jafari F, Jantsch A and Lu Z Worst-case delay analysis of variable bit-rate flows in network-on-chip with aggregate scheduling Proceedings of the Conference on Design, Automation and Test in Europe, (538-541)
- Huang K, Haid W, Bacivarov I, Keller M and Thiele L (2012). Embedding formal performance analysis into the design cycle of MPSoCs for real-time streaming applications, ACM Transactions on Embedded Computing Systems, 11:1, (1-23), Online publication date: 1-Mar-2012.
- Wandeler E, Maxiaguine A and Thiele L (2012). On the use of greedy shapers in real-time embedded systems, ACM Transactions on Embedded Computing Systems, 11:1, (1-22), Online publication date: 1-Mar-2012.
- Li X, Scharbarg J, Ridouard F and Fraboul C (2011). Existing offset assignments are near optimal for an industrial AFDX network, ACM SIGBED Review, 8:4, (49-54), Online publication date: 1-Dec-2011.
- Pollex V, Lipskoch H, Slomka F and Kollmann S Runtime improved computation of path latencies with the real-time calculus Proceedings of the 1st International Workshop on Worst-Case Traversal Time, (58-65)
- Bouillard A Composition of service curves in network calculus Proceedings of the 1st International Workshop on Worst-Case Traversal Time, (35-42)
- Lampka K, Huang K and Chen J Dynamic counters and the efficient and effective online power management of embedded real-time systems Proceedings of the seventh IEEE/ACM/IFIP international conference on Hardware/software codesign and system synthesis, (267-276)
- Kumar P and Thiele L System-level power and timing variability characterization to compute thermal guarantees Proceedings of the seventh IEEE/ACM/IFIP international conference on Hardware/software codesign and system synthesis, (179-188)
- Raman B, Quintin G, Ooi W, Gangadharan D, Milan J and Chakraborty S On buffering with stochastic guarantees in resource-constrained media players Proceedings of the seventh IEEE/ACM/IFIP international conference on Hardware/software codesign and system synthesis, (169-178)
- Marwedel P, Teich J, Kouveli G, Bacivarov I, Thiele L, Ha S, Lee C, Xu Q and Huang L Mapping of applications to MPSoCs Proceedings of the seventh IEEE/ACM/IFIP international conference on Hardware/software codesign and system synthesis, (109-118)
- Diemer J, Rox J, Negrean M, Stein S and Ernst R Real-time communication analysis for networks with two-stage arbitration Proceedings of the ninth ACM international conference on Embedded software, (243-252)
- Kumar P, Chen J and Thiele L Demand bound server Proceedings of the ninth ACM international conference on Embedded software, (233-242)
- Heidinger E Rare events in network simulation using MIP Proceedings of the 23rd International Teletraffic Congress, (314-315)
- Kishinevsky M, Gotmanov A and Viktorov Y Challenges in verifying communication fabrics Proceedings of the Second international conference on Interactive theorem proving, (18-21)
- Revsbech K, Schiøler H, Madsen T and Nielsen J Worst-case traversal time modelling of Ethernet based in-car networks using real time calculus Proceedings of the 11th international conference and 4th international conference on Smart spaces and next generation wired/wireless networking, (219-230)
- Brandenburg B, Leontyev H and Anderson J (2011). An overview of interrupt accounting techniques for multiprocessor real-time systems, Journal of Systems Architecture: the EUROMICRO Journal, 57:6, (638-654), Online publication date: 1-Jun-2011.
- Xie J and Jiang Y A temporal network calculus approach to service guarantee analysis of stochastic networks Proceedings of the 5th International ICST Conference on Performance Evaluation Methodologies and Tools, (408-417)
- Georges J, Divoux T and Rondeau É Network calculus Proceedings of the 5th International ICST Conference on Performance Evaluation Methodologies and Tools, (399-407)
- Bouillard A and Junier A Worst-case delay bounds with fixed priorities using network calculus Proceedings of the 5th International ICST Conference on Performance Evaluation Methodologies and Tools, (381-390)
- Lemmon M and Hu X Almost sure stability of networked control systems under exponentially bounded bursts of dropouts Proceedings of the 14th international conference on Hybrid systems: computation and control, (301-310)
- Geilen M, Tripakis S and Wiggers M The earlier the better Proceedings of the 14th international conference on Hybrid systems: computation and control, (23-32)
- Santinelli L and Cucu-Grosjean L (2011). Toward probabilistic real-time calculus, ACM SIGBED Review, 8:1, (54-61), Online publication date: 1-Mar-2011.
- Duan Q (2011). Network Service Description and Discovery for High-Performance Ubiquitous and Pervasive Grids, ACM Transactions on Autonomous and Adaptive Systems, 6:1, (1-17), Online publication date: 1-Feb-2011.
- Geilen M (2011). Synchronous dataflow scenarios, ACM Transactions on Embedded Computing Systems, 10:2, (1-31), Online publication date: 1-Dec-2010.
- Perathoner S, Lampka K, Stoimenov N, Thiele L and Chen J Combining optimistic and pessimistic DVS scheduling Proceedings of the International Conference on Computer-Aided Design, (131-138)
- Stoimenov N, Thiele L, Santinelli L and Buttazzo G Resource adaptations with servers for hard real-time systems Proceedings of the tenth ACM international conference on Embedded software, (269-278)
- Phan L, Schneider R, Chakraborty S and Lee I Modeling buffers with data refresh semantics in automotive architectures Proceedings of the tenth ACM international conference on Embedded software, (119-128)
- Li X, Scharbarg J and Fraboul C Partially synchronizing periodic flows with offsets improves worst-case end-to-end delay analysis of switched ethernet Proceedings of the 4th international conference on Leveraging applications of formal methods, verification, and validation - Volume Part I, (228-242)
- Stoimenov N, Chakraborty S and Thiele L An interface algebra for estimating worst-case traversal times in component networks Proceedings of the 4th international conference on Leveraging applications of formal methods, verification, and validation - Volume Part I, (198-213)
- Le Corronc E, Cottenceau B and Hardouin L Flow control with (min,+) algebra Proceedings of the 4th international conference on Leveraging applications of formal methods, verification, and validation - Volume Part I, (184-197)
- Tang A, Andrew L, Jacobsson K, Johansson K, Hjalmarsson H and Low S (2010). Queue dynamics with window flow control, IEEE/ACM Transactions on Networking, 18:5, (1422-1435), Online publication date: 1-Oct-2010.
- Yang H, Patek S and Yan Z (2010). Strategies for adaptive smoothing and rebuffering via dynamic network calculus, Computer Networks: The International Journal of Computer and Telecommunications Networking, 54:15, (2613-2625), Online publication date: 1-Oct-2010.
- Jurcik P, Koubâa A, Severino R, Alves M and Tovar E (2010). Dimensioning and worst-case analysis of cluster-tree sensor networks, ACM Transactions on Sensor Networks, 7:2, (1-47), Online publication date: 1-Aug-2010.
- Liebeherr J, Fidler M and Valaee S (2010). A system-theoretic approach to bandwidth estimation, IEEE/ACM Transactions on Networking, 18:4, (1040-1053), Online publication date: 1-Aug-2010.
- Liu J, Jiang X and Horiguchi S (2010). Opportunistic link overbooking for resource efficiency under per-flow service guarantee, IEEE Transactions on Communications, 58:6, (1769-1781), Online publication date: 1-Jun-2010.
- Diemer J and Ernst R Back Suction Proceedings of the 2010 Fourth ACM/IEEE International Symposium on Networks-on-Chip, (155-162)
- Perathoner S, Rein T, Thiele L, Lampka K and Rox J (2010). Modeling structured event streams in system level performance analysis, ACM SIGPLAN Notices, 45:4, (37-46), Online publication date: 13-Apr-2010.
- Perathoner S, Rein T, Thiele L, Lampka K and Rox J Modeling structured event streams in system level performance analysis Proceedings of the ACM SIGPLAN/SIGBED 2010 conference on Languages, compilers, and tools for embedded systems, (37-46)
- Chokshi D and Bhaduri P Performance analysis of FlexRay-based systems using real-time calculus, revisited Proceedings of the 2010 ACM Symposium on Applied Computing, (351-356)
- Bouillard A, Jouhet L and Thierry É Tight performance bounds in the worst-case analysis of feed-forward networks Proceedings of the 29th conference on Information communications, (1316-1324)
- Bauer H, Scharbarg J and Fraboul C Worst-case end-to-end delay analysis of an avionics AFDX network Proceedings of the Conference on Design, Automation and Test in Europe, (1220-1224)
- Pellizzoni R, Schranzhofer A, Chen J, Caccamo M and Thiele L Worst case delay analysis for memory interference in multicore systems Proceedings of the Conference on Design, Automation and Test in Europe, (741-746)
- Mahmood K and Jiang Y Achievable throughput for communication networks Proceedings of the 7th International Conference on Frontiers of Information Technology, (1-4)
- Mizanian K, Yousefi H and Jahangir A (2009). RETRACTED, Performance Evaluation, 66:12, (685-700), Online publication date: 1-Dec-2009.
- Poe W and Schmitt J Sink placement without location information in large-scale wireless sensor networks Proceedings of the 4th Asian Internet Engineering Conference, (69-76)
- Qian Y, Lu Z and Dou W From 2D to 3D NoCs Proceedings of the 2009 International Conference on Computer-Aided Design, (555-562)
- Pu W, Luo C, Wu F and Chen C (2009). QoS-driven network coded wireless multicast, IEEE Transactions on Wireless Communications, 8:11, (5662-5670), Online publication date: 1-Nov-2009.
- Jiang Y Network calculus and queueing theory Proceedings of the Fourth International ICST Conference on Performance Evaluation Methodologies and Tools, (1-12)
- Bouillard A, Cottenceau B, Gaujal B, Hardouin L, Lagrange S and Lhommeau M COINC library Proceedings of the Fourth International ICST Conference on Performance Evaluation Methodologies and Tools, (1-2)
- Gulyás A, Bíró J and Németh F New stochastic network calculus for loss analysis Proceedings of the Fourth International ICST Conference on Performance Evaluation Methodologies and Tools, (1-10)
- Kobayashi K, Takahashi Y and Takada H Asymptotic end-to-end stochastic evaluation for tandem networks with many flows Proceedings of the Fourth International ICST Conference on Performance Evaluation Methodologies and Tools, (1-9)
- Thiele L and Stoimenov N Modular performance analysis of cyclic dataflow graphs Proceedings of the seventh ACM international conference on Embedded software, (127-136)
- Qian Y, Lu Z and Dou W Applying network calculus for performance analysis of self-similar traffic in on-chip networks Proceedings of the 7th IEEE/ACM international conference on Hardware/software codesign and system synthesis, (453-460)
- Schliecker S and Ernst R A recursive approach to end-to-end path latency computation in heterogeneous multiprocessor systems Proceedings of the 7th IEEE/ACM international conference on Hardware/software codesign and system synthesis, (433-442)
- Jiang Y, Yin Q, Liu Y and Jiang S (2009). Fundamental calculus on generalized stochastically bounded bursty traffic for communication networks, Computer Networks: The International Journal of Computer and Telecommunications Networking, 53:12, (2011-2021), Online publication date: 1-Aug-2009.
- Andrews M (2009). Instability of FIFO in the permanent sessions model at arbitrarily small network loads, ACM Transactions on Algorithms, 5:3, (1-29), Online publication date: 1-Jul-2009.
- Xue D, Qin Y and Siew C Deterministic QoS provisioning with network calculus based admission control in WDM EPON networks Proceedings of the 2009 IEEE international conference on Communications, (2476-2581)
- Li J and Song Y (2009). DLB: a novel real-time QoS control mechanism for multimedia transmission, International Journal of High Performance Computing and Networking, 6:1, (4-14), Online publication date: 1-Jun-2009.
- Stoimenov N, Perathoner S and Thiele L Reliable mode changes in real-time systems with fixed priority or EDF scheduling Proceedings of the Conference on Design, Automation and Test in Europe, (99-104)
- Mendler M, von Hanxleden R and Traulsen C WCRT algebra and interfaces for Esterel-style synchronous processing Proceedings of the Conference on Design, Automation and Test in Europe, (93-98)
- Yang H and Patek S Path selection based on service curve measurement in MANETs Proceedings of the 2009 IEEE conference on Wireless Communications & Networking Conference, (2926-2931)
- Rizk A and Fidler M On the Identifiability of Link Service Curves from End-Host Measurements Network Control and Optimization, (53-61)
- Soviani C, Hadžic I and Edwards S (2009). Synthesis and optimization of pipelined packet processors, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 28:2, (231-244), Online publication date: 1-Feb-2009.
- Qian Y, Lu Z and Dou W Analysis of communication delay bounds for network on chips Proceedings of the 2009 Asia and South Pacific Design Automation Conference, (7-12)
- Bouillard A, Jouhet L and Thierry E Computation of a (min,+) multi-dimensional convolution for end-to-end performance analysis Proceedings of the 3rd International Conference on Performance Evaluation Methodologies and Tools, (1-7)
- Schliecker S, Rox J, Ivers M and Ernst R Providing accurate event models for the analysis of heterogeneous multiprocessor systems Proceedings of the 6th IEEE/ACM/IFIP international conference on Hardware/Software codesign and system synthesis, (185-190)
- Jonsson B, Perathoner S, Thiele L and Yi W Cyclic dependencies in modular performance analysis Proceedings of the 8th ACM international conference on Embedded software, (179-188)
- Sokolsky O and Chernoguzov A Performance analysis of AADL models using real-time calculus Proceedings of the 15th Monterey conference on Foundations of Computer Software: future Trends and Techniques for Development, (227-249)
- Jiang X (2008). New perspectives on network calculus, ACM SIGMETRICS Performance Evaluation Review, 36:2, (95-97), Online publication date: 31-Aug-2008.
- Rox J and Ernst R Modeling event stream hierarchies with hierarchical event models Proceedings of the conference on Design, automation and test in Europe, (492-497)
- Bouillard A and Thierry É (2008). An Algorithmic Toolbox for Network Calculus, Discrete Event Dynamic Systems, 18:1, (3-49), Online publication date: 1-Mar-2008.
- Raman B and Chakraborty S (2008). Application-specific workload shaping in multimedia-enabled personal mobile devices, ACM Transactions on Embedded Computing Systems, 7:2, (1-22), Online publication date: 1-Feb-2008.
- Duan Q and Lu E Network service description and discovery for the next generation internet Proceedings of the 19th IASTED International Conference on Parallel and Distributed Computing and Systems, (509-514)
- Roedig U, Gollan N and Schmitt J Validating the sensor network calculus by simulations Proceedings of the 3rd international conference on Wireless internet, (1-8)
- Bouillard A, Gaujal B, Lagrange S and Thierry E Optimal routing for end-to-end guarantees Proceedings of the 2nd international conference on Performance evaluation methodologies and tools, (1-10)
- Perathoner S, Wandeler E, Thiele L, Hamann A, Schliecker S, Henia R, Racu R, Ernst R and Harbour M Influence of different system abstractions on the performance analysis of distributed real-time systems Proceedings of the 7th ACM & IEEE international conference on Embedded software, (193-202)
- Haid W and Thiele L Complex task activation schemes in system level performance analysis Proceedings of the 5th IEEE/ACM international conference on Hardware/software codesign and system synthesis, (173-178)
- Ramanathan R, Basu P and Krishnan R Towards a formalism for routing in challenged networks Proceedings of the second ACM workshop on Challenged networks, (3-10)
- Camarda P, Striccoli D and Ragno M A bandwidth dependent smoothing algorithm for interactive video streaming in UMTS systems Proceedings of the 3rd international conference on Mobile multimedia communications, (1-6)
- Lei Shi , Yue Zhang , Jianming Yu , Bo Xu , Bin Liu and Jun Li On the Extreme Parallelism Inside Next-Generation Network Processors Proceedings of the IEEE INFOCOM 2007 - 26th IEEE International Conference on Computer Communications, (1379-1387)
- Liebeherr J, Fidler M and Valaee S A Min-Plus System Interpretation of Bandwidth Estimation Proceedings of the IEEE INFOCOM 2007 - 26th IEEE International Conference on Computer Communications, (1127-1135)
- Huang K and Thiele L Performance analysis of multimedia applications using correlated streams Proceedings of the conference on Design, automation and test in Europe, (912-917)
- Zheng W, Di Natale M, Pinello C, Giusto P and Vincentelli A Synthesis of task and message activation models in real-time distributed automotive systems Proceedings of the conference on Design, automation and test in Europe, (93-98)
- Duan Q (2007). Quality of service provision in combined input and crosspoint queued switches without output queueing match, Computer Communications, 30:4, (830-840), Online publication date: 15-Feb-2007.
- Pyun K, Song J and Lee H (2006). The service curve service discipline for the rate-controlled EDF service discipline in variable-sized packet networks, Computer Communications, 29:18, (3886-3899), Online publication date: 1-Nov-2006.
- Thiele L, Wandeler E and Stoimenov N Real-time interfaces for composing real-time systems Proceedings of the 6th ACM & IEEE International conference on Embedded software, (34-43)
- Camarda P, Carone G and Striccoli D A smoothing algorithm for time slicing DVB-H video transmission with bandwidth constraints Proceedings of the 2nd international conference on Mobile multimedia communications, (1-5)
- Jiang Y A basic stochastic network calculus Proceedings of the 2006 conference on Applications, technologies, architectures, and protocols for computer communications, (123-134)
- Jiang Y (2006). A basic stochastic network calculus, ACM SIGCOMM Computer Communication Review, 36:4, (123-134), Online publication date: 11-Aug-2006.
- Fidler M and Schmitt J On the way to a distributed systems calculus Proceedings of the joint international conference on Measurement and modeling of computer systems, (287-298)
- Fidler M and Schmitt J (2006). On the way to a distributed systems calculus, ACM SIGMETRICS Performance Evaluation Review, 34:1, (287-298), Online publication date: 26-Jun-2006.
- Gulyás A and Bíró J Workload loss examinations with a novel probabilistic extension of network calculus Proceedings of the 5th international IFIP-TC6 conference on Networking Technologies, Services, and Protocols; Performance of Computer and Communication Networks; Mobile and Wireless Communications Systems, (533-544)
- Martin S and Minet P Schedulability analysis of flows scheduled with FIFO Proceedings of the 20th international conference on Parallel and distributed processing, (180-180)
- Wandeler E, Maxiaguine A and Thiele L Performance analysis of greedy shapers in real-time systems Proceedings of the conference on Design, automation and test in Europe: Proceedings, (444-449)
- Wandeler E and Thiele L Optimal TDMA time slot and cycle length allocation for hard real-time systems Proceedings of the 2006 Asia and South Pacific Design Automation Conference, (479-484)
- Jiang Y (2006). Delay bound and packet scale rate guarantee for some expedited forwarding networks, Computer Networks: The International Journal of Computer and Telecommunications Networking, 50:1, (15-28), Online publication date: 16-Jan-2006.
- Li M and Zhao W A statistical model for detecting abnormality in static-priority scheduling networks with differentiated services Proceedings of the 2005 international conference on Computational Intelligence and Security - Volume Part II, (267-272)
- Maxiaguine A, Chakraborty S and Thiele L DVS for buffer-constrained architectures with predictable QoS-energy tradeoffs Proceedings of the 3rd IEEE/ACM/IFIP international conference on Hardware/software codesign and system synthesis, (111-116)
- Wandeler E and Thiele L Real-time interfaces for interface-based design of real-time systems with fixed priority scheduling Proceedings of the 5th ACM international conference on Embedded software, (80-89)
- Németh F, Barta P, Szabó R and Bíró J (2005). Network internal traffic characterization and end-to-end delay bound calculus for generalized processor sharing scheduling discipline, Computer Networks: The International Journal of Computer and Telecommunications Networking, 48:6, (910-940), Online publication date: 19-Aug-2005.
- Koubía A and Song Y (2005). Graceful degradation of loss-tolerant QoS using (m,k)-firm constraints in guaranteed rate networks, Computer Communications, 28:12, (1393-1409), Online publication date: 1-Jul-2005.
- Schmitt J and Roedig U Sensor network calculus – a framework for worst case analysis Proceedings of the First IEEE international conference on Distributed Computing in Sensor Systems, (141-154)
- Jiang Y and Emstad P Analysis of stochastic service guarantees in communication networks Proceedings of the 13th international conference on Quality of Service, (233-245)
- Fidler M, Heckmann O and Steinmetz R Preserving the independence of flows in general topologies using turn-prohibition Proceedings of the 13th international conference on Quality of Service, (193-205)
- Raman B, Chakraborty S and Ooi W Meeting CPU constraints by delaying playout of multimedia tasks Proceedings of the international workshop on Network and operating systems support for digital audio and video, (165-170)
- Liu Y, Chakraborty S and Ooi W Approximate VCCs Proceedings of the 42nd annual Design Automation Conference, (248-253)
- Georges J, Divoux T and Rondeau E Strict Priority versus Weighted Fair Queueing in Switched Ethernet Networks for Time Critical Applications Proceedings of the 19th IEEE International Parallel and Distributed Processing Symposium (IPDPS'05) - Workshop 2 - Volume 03
- Liu Y, Tham C and Jiang Y (2005). Conformance analysis in networks with service level agreements, Computer Networks: The International Journal of Computer and Telecommunications Networking, 47:6, (885-906), Online publication date: 1-Apr-2005.
- Chakraborty S and Thiele L A New Task Model for Streaming Applications and Its Schedulability Analysis Proceedings of the conference on Design, Automation and Test in Europe - Volume 1, (486-491)
- Albers K and Slomka F Efficient Feasibility Analysis for Real-Time Systems with EDF Scheduling Proceedings of the conference on Design, Automation and Test in Europe - Volume 1, (492-497)
- Wandeler E, Maxiaguine A and Thiele L (2005). Quantitative Characterization of Event Streams in Analysis of Hard Real-Time Applications, Real-Time Systems, 29:2-3, (205-225), Online publication date: 1-Mar-2005.
- Fidler M and Recker S A dual approach to network calculus applying the legendre transform Proceedings of the Third international conference on Quality of Service in Multiservice IP Networks, (33-48)
- Fidler M, Sander V and Klimala W (2005). Traffic shaping in aggregate-based networks, Computer Communications, 28:3, (274-286), Online publication date: 1-Feb-2005.
- Wandele E and Thiele L Abstracting functionality for modular performance analysis of hard real-time systems Proceedings of the 2005 Asia and South Pacific Design Automation Conference, (697-702)
- Bouras C and Sevasti A (2004). SLA-based QoS pricing in DiffServ networks, Computer Communications, 27:18, (1868-1880), Online publication date: 1-Dec-2004.
- Wu D and Negi R Effective Capacity-Based Quality of Service Measures for Wireless Networks Proceedings of the First International Conference on Broadband Networks, (527-536)
- Maxiaguine A, Zhu Y, Chakraborty S and Wong W Tuning SoC platforms for multimedia processing Proceedings of the 2nd IEEE/ACM/IFIP international conference on Hardware/software codesign and system synthesis, (128-133)
- Maxiaguine A, Chakraborty S, Kunzli S and Thiele L (2004). Evaluating Schedulers for Multimedia Processing on Buffer-Constrained SoC Platforms, IEEE Design & Test, 21:5, (368-377), Online publication date: 1-Sep-2004.
- Martin S, Minet P and George L The trajectory approach for the end-to-end response times with non-preemptive FP/EDF* Proceedings of the Second international conference on Software Engineering Research, Management and Applications, (229-247)
- Maxiaguine A, Künzli S and Thiele L Workload Characterization Model for Tasks with Variable Execution Demand Proceedings of the conference on Design, automation and test in Europe - Volume 2
- Siebenborn A, Bringmann O and Rosenstiel W Communication Analysis for System-On-Chip Design Proceedings of the conference on Design, automation and test in Europe - Volume 1
- Maxiaguine A, Künzli S, Chakraborty S and Thiele L Rate analysis for streaming applications with on-chip buffer constraints Proceedings of the 2004 Asia and South Pacific Design Automation Conference, (131-136)
- Giaccone P, Leonardi E, Prabhakar B and Shah D (2004). Delay bounds for combined input-output switches with low speedup, Performance Evaluation, 55:1-2, (113-128), Online publication date: 1-Jan-2004.
- Jiang Y (2003). Relationship between guaranteed rate server and latency rate server, Computer Networks: The International Journal of Computer and Telecommunications Networking, 43:3, (307-315), Online publication date: 22-Oct-2003.
- Chakraborty S, Kunzli S and Thiele L A General Framework for Analysing System Properties in Platform-Based Embedded System Designs Proceedings of the conference on Design, Automation and Test in Europe - Volume 1
- Gries M, Kulkarni C, Sauer C and Keutzer K Comparing Analytical Modeling with Simulation for Network Processors Proceedings of the conference on Design, Automation and Test in Europe: Designers' Forum - Volume 2
- Jiang Y (2002). Delay bounds for a network of guaranteed rate servers with FIFO aggregation, Computer Networks: The International Journal of Computer and Telecommunications Networking, 40:6, (683-694), Online publication date: 20-Dec-2002.
- Chang C, Cruz R, Le Boudec J and Thiran P (2002). A min, + system theory for constrained traffic regulation and dynamic service guarantees, IEEE/ACM Transactions on Networking, 10:6, (805-817), Online publication date: 1-Dec-2002.
- Thiele L, Chakraborty S, Gries M and Künzli S A framework for evaluating design tradeoffs in packet processing architectures Proceedings of the 39th annual Design Automation Conference, (880-885)
- El Marai O, Prados-Garzon J, Bagaa M and Taleb T Ensuring High QoE for DASH-Based Clients Using Deterministic Network Calculus in SDN Networks 2019 IEEE Global Communications Conference (GLOBECOM), (1-6)
Recommendations
Network calculus and queueing theory: two sides of one coin: invited paper
VALUETOOLS '09: Proceedings of the Fourth International ICST Conference on Performance Evaluation Methodologies and ToolsNetwork calculus is a theory dealing with queueing type problems encountered in computer networks, with particular focus on quality of service guarantee analysis. Queueing theory is the mathematical study of queues, proven to be applicable to a wide ...
The Bang Calculus: an untyped lambda-calculus generalizing call-by-name and call-by-value
PPDP '16: Proceedings of the 18th International Symposium on Principles and Practice of Declarative ProgrammingWe introduce and study the Bang Calculus, an untyped functional calculus in which the promotion operation of Linear Logic is made explicit and where application is a bilinear operation. This calculus, which can be understood as an untyped version of ...