Modeling the Global Critical Path in Concurrent Systems

Keywords

Computer science, Critical path method, Path (computing), Distributed computing, Theoretical computer science

References

• On Reachability Analysis of Communicating Finite State Machines.Wuxu Peng, Kia Makki — 1995
• A pipelined code mapping scheme for static data flow computersGuang R. Gao — 1986
• Synthesis of self-timed VLSI circuits from graph-theoretic specificationsT.-A. Chu — 1987
• Pegasus: An Efficient Intermediate RepresentationMihai Budiu, Seth Copen Goldstein — 2002
• The essence of logic circuitsStephen H. Unger — 1989
• Performance Analysis and Optimization of Asynchronous CircuitsSteven M. Burns, Alain J. Martin — 1991
• Bounding average time separations of events in stochastic timed Petri nets with choiceAiguo Xie, SangYun Kim, Peter A. Beerel — 1999
• Critical path analysis using a dynamically bounded delay modelSoha Hassoun — 2000
• A new approach for integration of min-area retiming and min-delay padding for simultaneously addressing short-path and long-path constraintsVijay Sundararajan, Sachin S. Sapatnekar, Keshab K. Parhi — 2004
• Leveraging Protocol Knowledge in Slack MatchingGirish Venkataramani, Seth Copen Goldstein — 2006
• Critical Path Minimization Using Retiming and Algebraic Speed-UpZia Iqbal, Miodrag Potkonjak, Sujit Dey — 1993
• Approximate algorithms for time separation of eventsSupratik Chakraborty, David L. Dill — 1997
• Critical Path Tracing - An Alternative to Fault SimulationM. Abramovici, P.R. Menon, David T. Miller — 1983
• Efficient performance analysis of asynchronous systems based on periodicityPeggy B. McGee, Steven M. Nowick, E. G. Coffman — 2005
• Performance Analysis Based on Timing SimulationChristian D. Nielsen, Michael Kishinevsky — 1994
• Slack: maximizing performance under technological constraintsBrian A. Fields, Rastislav Bodík, Mark D. Hill — 2002
• Practical applications of an efficient time separation of events algorithmHenrik Hulgaard, Steven M. Burns, Tod Tracy Amon — 1993
• Critical path selection for performance optimizationH.-C. Chen, David H. C. Du, L.-R. Liu — 1993
• Slack matching asynchronous designsPeter A. Beerel, Nam‐Hoon Kim, Andrew Lines — 2006
• Dataflow: A Complement to SuperscalarMihai Budiu, Pedro V. Artigas, Seth Copen Goldstein — 2005

Cited by

• System-level timing analysis and optimizations for hardware compilationSeth Copen Goldstein, Girish Venkataramani — 2007
• Leveraging Protocol Knowledge in Slack MatchingGirish Venkataramani, Seth Copen Goldstein — 2006
• Heterogeneous Latch-Based Asynchronous PipelinesGirish Venkataramani, Tiberiu Chelcea, Seth Copen Goldstein — 2008
• Leveraging Protocol Knowledge in Slack MatchingGirish Venkataramani, Seth Copen Goldstein — 2006
• Global critical pathGirish Venkataramani, Mihai Budiu, Tiberiu Chelcea — 2007
• Formal Transformation of Requirements in Software Development Life CycleKaram Ignaim, S. Bani-Ahmad — 2010
• A System-Level Timing Analysis and Optimization Methodology for Hardware CompilationGirish Venkataramani, S. Goldstein — 2007

Related papers

• Performance Analysis and Optimization of Asynchronous CircuitsSteven M. Burns, Alain J. Martin — 1991
• Horizon: A System-of-Systems Simulation FrameworkCory O'Connor, Eric Mehiel — 2007
• FIDRS: A Novel Framework for Integrated Distributed Reliable SystemsMehdi Zekriyapanah Gashti — 2025
• An Integration Flow for Mixed-Critical Embedded Systems on a Flexible Time-Triggered PlatformPhilipp Ittershagen, Kim Grüttner, Wolfgang Nebel — 2018
• A two-phase design space exploration strategy for system-level real-time application mapping onto MPSoCZhongjie Jia, Antonio Núñez, Tomás Bautista — 2014
• A Control Architecture for Provably-Correct Autonomous DrivingErfan Aasi, Cristian-Ioan Vasile, Călin Belta — 2021
• Automated Model-Based Optimization of Data-Adaptable Embedded SystemsAdrian Lizarraga, Jonathan Sprinkle, Roman Lysecky — 2020
• Optimum Selection of DNN Model and Framework for Edge InferenceDelia Velasco-Montero, Jorge Fernández‐Berni, Ricardo Carmona‐Galán — 2018