1676 search results - page 299 / 336 » Formal System Development with KIV |
112
click to vote
MOBIHOC
2008
ACM
16 years 3 months ago
2008
ACM
Recently, cooperative communications, in the form of keeping each node with a single antenna and having a node exploit a relay node's antenna, is shown to be a promising appr...
111
click to vote
EMSOFT
2009
Springer
15 years 10 months ago
2009
Springer
In this paper, we propose a formal analysis approach to estimate the expected (average) data cache access time of an application across all possible program inputs. Towards this g...
152
Voted
MKM
2009
Springer
15 years 10 months ago
2009
Springer
Methods for deciding quantifier-free non-linear arithmetical conjectures over R are crucial in the formal verification of many realworld systems and in formalised mathematics. Wh...
183
click to vote
ICTAI
2008
IEEE
15 years 10 months ago
2008
IEEE
Frequent patterns in program executions represent recurring sequences of events. These patterns can be used to reveal the hidden structures of a program, and ease the comprehensio...
124
click to vote
ESOP
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. Two of the most prominent features of ML are its expressive module system and its support for Damas-Milner type inference. However, while the foundations of both these fe...