( en | de | ru )

 

Disambiguation of "Roux, Pierre"

Author of the publication

copydeleteadd this publication to your clipboard
A Residual Service Curve of Rate-Latency Server Used by Sporadic Flows Computable in Quadratic Time for Network Calculus.

, , , and . ECRTS, volume 196 of LIPIcs, page 14:1-14:21. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2021)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Pascale Roux

Vergleich psychologischer Usability-Evaluationsmethoden am Beispiel einer Bibliothekswebsite. Uni Duisburg-Essen, (2008)

Gundela Roux-Spangenberg

Roland Rouxel

Alfred Roux

Herbert Roux

 

Other publications of authors with the same name

Active Objects on Parallel Machines: a Case Study., , , and . TOOLS (7), page 207-216. Prentice Hall, (1992)A Residual Service Curve of Rate-Latency Server Used by Sporadic Flows Computable in Quadratic Time for Network Calculus (Artifact)., , , and . Dagstuhl Artifacts Ser., 7 (1): 02:1-02:3 (2021)A review of IoT network management: Current status and perspectives., , and . J. King Saud Univ. Comput. Inf. Sci., 34 (7): 4163-4176 (2022)Magnetic concentric tube robots: Introduction and analysis., , , , , , , and . Int. J. Robotics Res., 41 (4): 418-440 (2022)Validating numerical semidefinite programming solvers for polynomial invariants., , and . Formal Methods Syst. Des., 53 (2): 286-312 (2018)Embedding network calculus and event stream theory in a common model., and . ETFA, page 1-8. IEEE, (2016)Using Machine Learning to Estimate the Optimal Transmission Range for RPL Networks., , , and . NOMS, page 1-5. IEEE, (2020)A Non-linear Arithmetic Procedure for Control-Command Software Verification., , and . TACAS (2), volume 10806 of Lecture Notes in Computer Science, page 132-151. Springer, (2018)Model Checking with Edge-valued Decision Diagrams., and . NASA Formal Methods, volume NASA/CP-2010-216215 of NASA Conference Proceedings, page 222-226. (2010)Reliability for Emergency Applications in Internet of Things., , , , and . DCOSS, page 361-366. IEEE Computer Society, (2013)