16616 search results - page 244 / 3324 » Extending Extended Vacuity |
104
Voted
ECEASST
2008
15 years 6 months ago
2008
218
click to vote
ALGORITHMICA
2006
15 years 6 months ago
2006
We use large deviations to prove a general theorem on the asymptotic edge-weighted height Hn of a large class of random trees for which Hn c log n for some positive constant c. A...
163
click to vote
ENTCS
2008
15 years 6 months ago
2008
This paper describes an extension to Lustre to support the analysis of globally asynchronous, locally synchronous (GALS) architectures. This extension consists of constructs for d...
166
click to vote
ENTCS
2008
15 years 6 months ago
2008
d abstract) Peter Selinger1 Department of Mathematics and Statistics Dalhousie University, Halifax, Nova Scotia, Canada Dagger compact closed categories were studied by Abramsky a...
