1357 search results - page 149 / 272 » Compositional analysis for linear systems |
ICDCS
1995
IEEE
15 years 1 months ago
1995
IEEE
Protocols that provide reliable communicationon top of a network that can lose packets rely on periodically retransmitting packets. The choice of retransmission timeout critically...
CMSB
2008
Springer
14 years 12 months ago
2008
Springer
We present the Piecewise Linear Approximation Model of Ion Channel contribution (PLAMIC) to cardiac excitation. We use the PLAMIC model to conduct formal analysis of cardiac arrhyt...
DATE
2003
IEEE
15 years 3 months ago
2003
IEEE
On-chip communication design includes designing software (SW) parts (operating system, device drivers, interrupt service routines, etc.) as well as hardware (HW) parts (on-chip co...
ICCAD
2000
IEEE
15 years 2 months ago
2000
IEEE
In this paper, we propose an approach for the analysis of power supply noise in the frequency domain for power/ground (P/G) networks of tree topologies. We model the P/G network a...
97
Voted
ISSTA
2000
ACM
15 years 2 months ago
2000
ACM
—Network protocols are often analyzed using simulations. We demonstrate how to extend such simulations to check propositions expressing safety properties of network event traces ...