8838 search results - page 100 / 1768 » Generalizing Domain Theory |
128
Voted
LICS
2005
IEEE
15 years 9 months ago
2005
IEEE
A path-based domain theory for higher-order processes is extended to allow name generation. The original domain theory is built around the monoidal-closed category Lin consisting ...
193
click to vote
CP
2004
Springer
15 years 9 months ago
2004
Springer
The success of stochastic algorithms is often due to their ability to effectively amplify the performance of search heuristics. This is certainly the case with stochastic sampling ...
121
click to vote
DATE
2003
IEEE
15 years 9 months ago
2003
IEEE
We present a framework (Real-Time Calculus) for analysing various system properties pertaining to timing analysis, loads on various components and on-chip buffer memory requiremen...
AMC
2007
15 years 4 months ago
2007
This paper deals with an extension of one-dimensional Clenshaw–Curtis quadrature rule to Rd ; d P 2 on a convex domain. As one of its applications, we apply this quadrature rule...
132
click to vote
MOC
2002
15 years 3 months ago
2002
A new upper bound is provided for the L-norm of the difference between the viscosity solution of a model steady state Hamilton-Jacobi equation, u, and any given approximation, v. T...