1626 search results - page 108 / 326 » Subtyping with Power Types |
133
click to vote
FSTTCS
2000
Springer
15 years 7 months ago
2000
Springer
This document proposes an algebra for XML Query. The algebra has been submitted to the W3C XML Query Working Group. A novel feature of the algebra is the use of regular-expression ...
140
click to vote
ICALP
2000
Springer
15 years 7 months ago
2000
Springer
Lax logical relations are a categorical generalisation of logical relations; though they preserve product types, they need not preserve exponential types. But, like logical relatio...
173
click to vote
MMB
2010
Springer
15 years 6 months ago
2010
Springer
Phase-type (PH) distributions are proven to be very powerful tools in modelling and analysis of a wide range of phenomena in computer systems. The use of these distributions in sim...
110
click to vote
ISTA
2004
15 years 5 months ago
2004
: The paper concerns the problem of building an object-relational mapping framework based on the Microsoft .Net platform. The work uses design patterns methodology and proposes to ...
119
click to vote
DAC
2003
ACM
16 years 5 months ago
2003
ACM
The impact of technology scaling on three run-time leakage reduction techniques (Input Vector Control, Body Bias Control and Power Supply Gating) is evaluated by determining limit...