6939 search results - page 1336 / 1388 » Algorithm Engineering for Parallel Computation |
140
click to vote
EUROGRAPHICS
2010
Eurographics
15 years 9 months ago
2010
Eurographics
Higher-order finite element methods have emerged as an important discretization scheme for simulation. They are increasingly used in contemporary numerical solvers, generating a ...
147
Voted
CCS
2005
ACM
15 years 8 months ago
2005
ACM
The NRL Protocol Analyzer (NPA) is a tool for the formal specification and analysis of cryptographic protocols that has been used with great effect on a number of complex real-l...
114
Voted
ICESS
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. We consider broadcast protocols in wireless networks that have limited energy and computation resources. The well-known algorithm, DBIP (Directional Broadcast Incremental...
129
click to vote
DAC
1997
ACM
15 years 6 months ago
1997
ACM
This paper examines the problem of statically analyzing the performance of embedded software. This problem is motivated by the increasing growth of embedded systems and a lack of ...
142
Voted
SIGGRAPH
1996
ACM
15 years 6 months ago
1996
ACM
We present a new approach for modeling and rendering existing architectural scenes from a sparse set of still photographs. Our modeling approach, which combines both geometry-base...