15792 search results - page 282 / 3159 » Computational Abstraction Steps |
186
click to vote
ASPLOS
2009
ACM
16 years 2 months ago
2009
ACM
This paper explores the architectural implications of integrating computation and molecular probes to form nanoscale sensor processors (nSP). We show how nSPs may enable new compu...
205
click to vote
APPT
2009
Springer
16 years 1 months ago
2009
Springer
In this paper, a comprehensive performance review of an MPI-based high-order three-dimensional spectral element method C++ toolbox is presented. The focus is put on the performance...
212
click to vote
RTA
2009
Springer
16 years 1 months ago
2009
Springer
Reasoning about the knowledge of an attacker is a necessary step in many formal analyses of security protocols. In the framework of the applied pi calculus, as in similar languages...
195
click to vote
SAC
2006
ACM
16 years 1 months ago
2006
ACM
Complex environmental modeling often involves a large number of unknown physical and ecological parameters. Parameter estimation is one of the most difficult steps in many modelin...
168
click to vote
COLCOM
2005
IEEE
16 years 27 days ago
2005
IEEE
— Computer supported collaborative applications on overlay networks are gaining popularity among users who are geographically dispersed. Examples of these kinds of applications i...