14331 search results - page 2562 / 2867 » On the modeling and analysis of obligations |
185
click to vote
DATE
2010
IEEE
16 years 21 days ago
2010
IEEE
Abstract—Negative bias temperature instability (NBTI) significantly affects nanoscale integrated circuit performance and reliability. The degradation in threshold voltage (Vth) d...
184
click to vote
SSDBM
2010
IEEE
16 years 21 days ago
2010
IEEE
We present a technique for organizing data in spatial databases with non-convex domains based on an automatic characterization using the medial-axis transform (MAT). We define a t...
185
click to vote
COMPGEOM
2010
ACM
16 years 20 days ago
2010
ACM
Let G be an unweighted graph of complexity n cellularly embedded in a surface (orientable or not) of genus g. We describe improved algorithms to compute (the length of) a shortest...
217
click to vote
PODS
2010
ACM
16 years 20 days ago
2010
ACM
We investigate a higher-order query language that embeds operators of the positive relational algebra within the simply-typed λ-calculus. Our language allows one to succinctly de...
188
click to vote
COMPSAC
2002
IEEE
16 years 17 days ago
2002
IEEE
Achievement of quality in software design, while never easy, is made more difficult by the inherent complexity of hard real-time (HRT) design. Furthermore, timing requirements in...