Sciweavers

18155 search results - page 368 / 3631
» Point
Sort
View
PPL
2007
150views more  PPL 2007»
15 years 6 months ago
Open MPI: a High Performance, Flexible Implementation of MPI Point-to-Point Communications
’s point-to-point communications abstractions, described in this paper, handle several different communications scenarios, with a portable, high-performance design and tation. ...
Richard L. Graham, Brian Barrett, Galen M. Shipman...
SAC
2008
ACM
15 years 6 months ago
Symbiosis in logic-based pointcuts over a history of join points
Within aspect-oriented programming, the quality of aspect code depends on the readability and expressiveness of pointcut languages. Readability is increased by using specialized, ...
Kris Gybels, Charlotte Herzeel, Theo D'Hondt
FUIN
2010
97views more  FUIN 2010»
15 years 5 months ago
Game Solution, Epistemic Dynamics and Fixed-Point Logics
Abstract. Current methods for solving games embody a form of “procedural rationality” that invites logical analysis in its own right. This paper is a brief case study of Backwa...
Johan van Benthem, Amélie Gheerbrant