1894 search results - page 126 / 379 » A TLA Proof System |
120
Voted
ICRA
2002
IEEE
15 years 8 months ago
2002
IEEE
This paper presents a computationally efficient method for deriving coordinate representations for the equations of motion and the affine connection describing a class of Lagrangi...
118
Voted
APLAS
2009
ACM
15 years 8 months ago
2009
ACM
In this paper we present polynomial time algorithms deciding branching bisimilarity between finite-state systems and several classes of infinite-state systems: BPA and normed BPP...
132
Voted
FC
2008
Springer
15 years 5 months ago
2008
Springer
Governments and commercial companies connect more and more computer systems to the Internet, giving people easier access to services. Many of these online services handle personal ...
167
Voted
ISCAPDCS
2008
15 years 5 months ago
2008
This paper introduces a combination of models and proofs for optimal power management via Dynamic Frequency Scaling and Dynamic Voltage Scaling. The approach is suitable for syste...
120
Voted
ENTCS
2008
15 years 3 months ago
2008
We present a system of refinement types for LF in the style of recent formulations where only canonical forms are well-typed. Both the usual LF rules and the rules for type refine...