Sciweavers

1686 search results - page 156 / 338
» Programs as polygraphs: computability and complexity
Sort
View
113
Voted
IPPS
2008
IEEE
15 years 10 months ago
A transparent non-invasive file data model for algorithmic skeletons
A file data model for algorithmic skeletons is proposed, focusing on transparency and efficiency. Algorithmic skeletons correspond to a high-level programming model that takes a...
Denis Caromel, Mario Leyton
170
Voted
TGC
2005
Springer
15 years 9 months ago
A Distributed Object-Oriented Language with Session Types
Abstract. In the age of the world-wide web and mobile computing, programming communication-centric software is essential. Thus, programmers and program designers are exposed to new...
Mariangiola Dezani-Ciancaglini, Nobuko Yoshida, Al...
123
Voted
HPCN
1997
Springer
15 years 7 months ago
High Performance Simulation for Resonant-Mass Gravitational Radiation Antennas
Abstract. In this paper the design and validation of a high performance simulation is discussed that is of critical value to the feasibility study of the GRAIL project, the aim of ...
Jan F. de Ronde, G. Dick van Albada, Peter M. A. S...
133
Voted
EUROPAR
2010
Springer
15 years 4 months ago
Generators-of-Generators Library with Optimization Capabilities in Fortress
Abstract. To resolve difficulties in parallel programming, a large number of studies are conducted on parallel skeletons and optimization theorems over skeleton programs. However, ...
Kento Emoto, Zhenjiang Hu, Kazuhiko Kakehi, Kimino...
ACG
2009
Springer
15 years 10 months ago
Solving Kriegspiel Endings with Brute Force: The Case of KR vs. K
Retrograde analysis is a tool for reconstructing a game tree starting from its leaves; with these techniques one can solve specific subsets of a complex game, achieving optimal pl...
Paolo Ciancarini, Gian Piero Favini