1458 search results - page 10 / 292 » The sequentially realizable functionals |
LICS
2000
IEEE
15 years 4 months ago
2000
IEEE
VLSID
1995
IEEE
15 years 3 months ago
1995
IEEE
85
Voted
EUROPAR
2004
Springer
15 years 5 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). ...
102
click to vote
USS
2010
14 years 9 months 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 ...
76
Voted
MST
2008
14 years 11 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...