2509 search results - page 116 / 502 » Abstract Geometrical Computation and Computable Analysis |
97
Voted
CCA
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. We prove the correctness of a formalised realisability interpretation of extensions of first-order theories by inductive and coinductive definitions in an untyped λ-ca...
105
Voted
SCAM
2005
IEEE
15 years 6 months ago
2005
IEEE
We present a pointer analysis algorithm designed for source-to-source transformations. Existing techniques for pointer analysis apply a collection of inference rules to a dismantl...
112
click to vote
ICNSC
2007
IEEE
15 years 7 months ago
2007
IEEE
Abstract— In time varying packet-switched networks, delivering data with high reliability using a limited amount of network resources is highly desirable. To capture the trade-of...
116
click to vote
JUCS
2002
15 years 14 days ago
2002
: The research belonging to the Abstract State Machines approach to system design and analysis is surveyed and documented in an annotated ASM bibliography. The survey covers the pe...
125
click to vote
DAC
2010
ACM
15 years 1 months ago
2010
ACM
Leveraging the power of nowadays graphics processing units for robust power grid simulation remains a challenging task. Existing preconditioned iterative methods that require inco...