Result 1 to 20 of 33 total
Guest editors note: high-level programming for heterogeneous and hierarchical parallel systems. (English)
Parallel Process. Lett. 22, No. 2, Paper No. 1202002, 3 p. (2012).
1
Path tree: document synopsis for xpath query selectivity estimation (English)
CISIS, 321-328 (2011).
2
Performance measurements towards the optimization of stream processing for XML data (English)
International Conference on Internet Computing, 227-233 (2009).
3
Recherches en sécurité informatique chez SAP labs France (English)
INFORSID (2008).
4
A bulk-synchronous parallel process algebra. (English)
Comput. Lang. Syst. Struct. 33, No. 3-4, 111-133 (2007).
5
A bulk-synchronous parallel process algebra (English)
Computer Languages, Systems & Structures 33, No. 3-4, 111-133 (2007).
6
Special issue: International workshop on security analysis of systems: Formalisms and tools, Oréans, France, June 21‒22, 2004. Selected papers. (English)
J. Autom. Lang. Comb. 11, No. 1, 142~p. (2006).
7
A generic cost model for concurrent and data-parallel meta-computing. (English)
Electron. Notes Theor. Comput. Sci. 128, No. 6, 3-19 (2005).
8
An efficient equi-semi-join algorithm for distributed architectures. (English)
Sunderam, Vaidy S. (ed.) et al., Computational science ‒ ICCS 2005. 5th international conference, Atlanta, GA, USA, May 22‒25, 2005. Proceedings, Part II. Berlin: Springer (ISBN 3-540-26043-9/pbk). Lecture Notes in Computer Science 3515, 755-763 (2005).
9
A synchronous process calculus for service costs (English)
SEFM, 435-444 (2005).
10
An efficient equi-semi-join algorithm for distributed architectures (English)
International Conference on Computational Science (2), 755-763 (2005).
11
Functional bulk synchronous parallel programming using the BSMLlib library. (English)
Gorlatch, Sergei (ed.) et al., Constructive methods for parallel programming. Papers presented at the second international workshop on constructive methods for parallel programming, CMPP, Ponte de Lima, Portugal, July 2, 2000. New York, NY: Nova Science Publishers (ISBN 1-59033-374-8/hbk). Adv. Comput., Theory Pract. 10, 165-178 (2002).
12
BSP constraint programming. (English)
Gorlatch, Sergei (ed.) et al., Constructive methods for parallel programming. Papers presented at the second international workshop on constructive methods for parallel programming, CMPP, Ponte de Lima, Portugal, July 2, 2000. New York, NY: Nova Science Publishers (ISBN 1-59033-374-8/hbk). Adv. Comput., Theory Pract. 10, 93-109 (2002).
13
The BNAI analyzer: A tool for verifying admissible information flow in protocols (English)
IASTED PDCS, 260-265 (2002).
14
Concrete data structures and functional parallel programming. (English)
Theor. Comput. Sci. 258, No.1-2, 233-267 (2001).
15
A calculus of functional BSP programs. (English)
Sci. Comput. Program. 37, No.1-3, 253-277 (2000).
16
A skew-insensitive algorithm for join and multi-join operations on shared nothing machines (English)
DEXA, 644-653 (2000).
17
Constraint parallel programming: The CLP($χ^\square$) approach. (Programmation par contraintes parallèle: L’approche CLP($χ^\square$).) (French)
Fages, François (ed.), JFPLC’99. 8ème journées francophones de programmation logique et programmation par contraintes, Lyon, France, Juin 2-4, 1999. Paris: Hermes Science Publications. 107-121 (1999).
18
Programmation par contraintes parallèle: l’approche $CLP(Chi)$ (English)
JFPLC, 107-122 (1999).
19
High level BSP programming: BSML and bslambda (English)
Scottish Functional Programming Workshop, 29-40 (1999).
20
Result 1 to 20 of 33 total
Start
Contact
Print
General Help
