13734 search results - page 129 / 2747 » Abstractions of data types |
118
click to vote
JSYML
2008
15 years 3 months ago
2008
Abstract. In this paper we study the metric spaces that are definable in a polynomially bounded ominimal structure. We prove that the family of metric spaces definable in a given p...
137
click to vote
TR
2008
15 years 3 months ago
2008
Abstract--This paper gives a reliability sampling plan for progressively type I interval censored life tests when the lifetime follows the exponential distribution. We use the maxi...
110
click to vote
DT
2006
15 years 3 months ago
2006
at their abstractions are similar to data types and operations supplied by conventional processors. A core principle of BCPL is its memory model: an The Challenges of Synthesizing ...
231
click to vote
POPL
2007
ACM
16 years 4 months ago
2007
ACM
We present a formal model of memory that both captures the lowlevel features of C's pointers and memory, and that forms the basis for an expressive implementation of separati...
140
click to vote
CEFP
2005
Springer
15 years 9 months ago
2005
Springer
In these lecture notes we present a novel toolkit to program web applications with that have dynamic, complex behavior based on interconnect forms. This toolkit is the iData Toolki...