1458 search results - page 10 / 292 » The sequentially realizable functionals |
72
Voted
LICS
2000
IEEE
15 years 6 months ago
2000
IEEE
VLSID
1995
IEEE
15 years 6 months ago
1995
IEEE
106
click to vote
EUROPAR
2004
Springer
15 years 7 months ago
2004
Springer
The parallel realization of adaptive finite element methods (FEM) has to deal with several irregular and dynamic algorithmic properties caused by adaptive mesh refinement (AMR). ...
125
click to vote
USS
2010
15 years 9 days ago
2010
One of the main obstacles for the wider deployment of radio (RF) distance bounding is the lack of platforms that implement these protocols. We address this problem and we build a ...
MST
2008
15 years 2 months ago
2008
We prove constructively (in the style of Bishop) that every monotone continuous function with a uniform modulus of increase has a continuous inverse. The proof is formalized, and a...