10707 search results - page 1820 / 2142 » Designing executable abstractions |
170
click to vote
NOMS
2006
IEEE
16 years 1 months ago
2006
IEEE
Abstract— Network monitoring and measurement is commonly regarded as an essential function for understanding, managing and improving the performance and security of network infra...
188
click to vote
SEFM
2006
IEEE
16 years 1 months ago
2006
IEEE
The key to many approaches to reason about pointerbased data structures is the availability of a decision procedure to automatically discharge proof obligations in a theory encomp...
183
click to vote
ADHOCNOW
2006
Springer
16 years 1 months ago
2006
Springer
Abstract. The RTS/CTS access scheme, designed to reduce the number of collisions in a IEEE 802.11 network, is known to exhibit problems due to masked nodes, the imbalance between t...
207
click to vote
ASPDAC
2006
ACM
16 years 1 months ago
2006
ACM
Abstract— Routing tree construction is a fundamental problem in modern VLSI design. In this paper we propose CDCTree, an Obstacle-Avoiding Rectilinear Steiner Minimum Tree (OARSM...
191
click to vote
ML
2006
ACM
16 years 1 months ago
2006
ACM
We present a new way to generate type-error messages in a polymorphic, implicitly, and strongly typed language (specifically Caml). Our method separates error-message generation ...