SPRINT

swMATH1362MaRDI QIDQ14102FDOQ14102

Author name not available (Why is that?)

Described by source

• SPRINT: a tool to generate concurrent transaction-level models from sequential code

Cited In (8)

• Mechanistic mathematical model of kinesin under time and space fluctuating loads
• Modeling generation of the router-level topology of an ISP network
• Impact of slip cycles on the operation modes and efficiency of molecular motors
• Chemomechanical coupling of molecular motors: thermodynamics, network representations, and balance conditions
• Quantile sampling for practical delay monitoring in internet backbone networks
• Polarization fields and phase space densities in storage rings: stroboscopic averaging and the ergodic theorem
• End-to-end availability-dependent pricing of network services
• Title not available (Why is that?)

This page was built for software: SPRINT