3965 search results - page 301 / 793 » Effectivity of Regular Spaces |
147
Voted
ECOOP
2010
Springer
15 years 11 months ago
2010
Springer
Abstract. Aspect-oriented programming (AOP) has produced interesting language designs, but also ad hoc semantics that needs clarification. We contribute to this clarification wit...
144
click to vote
ICS
2010
Tsinghua U.
15 years 11 months ago
2010
Tsinghua U.
We present a new cache oblivious scheme for iterative stencil computations that performs beyond system bandwidth limitations as though gigabytes of data could reside in an enormou...
146
click to vote
CSFW
2000
IEEE
15 years 11 months ago
2000
IEEE
One protocol (called the primary protocol) is independent of other protocols (jointly called the secondary protocol) if the question whether the primary protocol achieves a securi...
193
click to vote
COMPGEOM
2000
ACM
15 years 11 months ago
2000
ACM
: We present a new approach for computing generalized Voronoi diagrams in two and three dimensions using interpolation-based polygon rasterization hardware. The input primitives ma...
215
click to vote
LICS
1993
IEEE
15 years 10 months ago
1993
IEEE
We consider the veri cation of a particular class of in nite-state systems, namely systems consisting of nite-state processes that communicate via unbounded lossy FIFO channels. T...