1581 search results - page 287 / 317 » Mechanizing Inductive Reasoning |
119
click to vote
MOBIHOC
2008
ACM
16 years 2 months ago
2008
ACM
It was shown recently [7?9], under quite general conditions, that retransmission-based protocols may result in power-law delays and possibly zero throughput even if the distributi...
126
click to vote
MOBIHOC
2002
ACM
16 years 2 months ago
2002
ACM
While several approaches have been proposed in literature for improving the performance of wireless packet data networks, a recent class of approaches has focused on improving the...
116
Voted
POPL
2010
ACM
15 years 12 months ago
2010
ACM
d by recent research in abstract model checking, we present a new approach to inferring dependent types. Unlike many of the existing approaches, our approach does not rely on prog...
147
Voted
POPL
2010
ACM
15 years 12 months ago
2010
ACM
We present Low-Level Liquid Types, a refinement type system for C based on Liquid Types. Low-Level Liquid Types combine refinement types with three key elements to automate verifi...
113
click to vote
POPL
2010
ACM
15 years 12 months ago
2010
ACM
Building semantic models that account for various kinds of indirect reference has traditionally been a difficult problem. Indirect reference can appear in many guises, such as hea...