Secure distributed programming with value-dependent types

Proceeding of the 16th ACM SIGPLAN international conference on Functional programming - ICFP '11 ◽

10.1145/2034773.2034811 ◽

2011 ◽

Cited By ~ 90

Author(s):

Nikhil Swamy ◽

Juan Chen ◽

Cédric Fournet ◽

Pierre-Yves Strub ◽

Karthikeyan Bhargavan ◽

...

Keyword(s):

Distributed Programming ◽

Dependent Types

Download Full-text

Secure distributed programming with value-dependent types

ACM SIGPLAN Notices ◽

10.1145/2034574.2034811 ◽

2011 ◽

Vol 46 (9) ◽

pp. 266-278 ◽

Cited By ~ 17

Author(s):

Nikhil Swamy ◽

Juan Chen ◽

Cédric Fournet ◽

Pierre-Yves Strub ◽

Karthikeyan Bhargavan ◽

...

Keyword(s):

Distributed Programming ◽

Dependent Types

Download Full-text

Distributed programming of a hyperspectral image registration algorithm for heterogeneous GPU clusters

Journal of Parallel and Distributed Computing ◽

10.1016/j.jpdc.2021.02.014 ◽

2021 ◽

Author(s):

Jorge Fernández-Fabeiro ◽

Arturo Gonzalez-Escribano ◽

Diego R. Llanos

Keyword(s):

Image Registration ◽

Hyperspectral Image ◽

Distributed Programming ◽

Registration Algorithm ◽

Image Registration Algorithm ◽

Gpu Clusters

Download Full-text

Positively dependent types

Proceedings of the 3rd workshop on Programming languages meets program verification - PLPV '09 ◽

10.1145/1481848.1481851 ◽

2008 ◽

Cited By ~ 4

Author(s):

Daniel R. Licata ◽

Robert Harper

Keyword(s):

Dependent Types

Download Full-text

Skil: an imperative language with algorithmic skeletons for efficient distributed programming

Proceedings of 5th IEEE International Symposium on High Performance Distributed Computing HPDC-96 ◽

10.1109/hpdc.1996.546194 ◽

1996 ◽

Cited By ~ 20

Author(s):

G.H. Botorog ◽

H. Kuchen

Keyword(s):

Distributed Programming ◽

Algorithmic Skeletons ◽

Imperative Language

Download Full-text

Messages versus messengers in distributed programming

Proceedings of 17th International Conference on Distributed Computing Systems ◽

10.1109/icdcs.1997.598068 ◽

2002 ◽

Cited By ~ 4

Author(s):

M. Fukuda ◽

L.F. Bic ◽

M.B. Dillencourt ◽

F. Merchant

Keyword(s):

Distributed Programming

Download Full-text

An overview of the Arjuna distributed programming system

IEEE Software ◽

10.1109/52.62934 ◽

1991 ◽

Vol 8 (1) ◽

pp. 66-73 ◽

Cited By ~ 110

Author(s):

S.K. Shrivastava ◽

G.N. Dixon ◽

G.D. Parrington

Keyword(s):

Distributed Programming ◽

Programming System

Download Full-text

Middleware infrastructure for parallel and distributed programming models in heterogeneous systems

IEEE Transactions on Parallel and Distributed Systems ◽

10.1109/tpds.2003.1247671 ◽

2003 ◽

Vol 14 (11) ◽

pp. 1100-1111 ◽

Cited By ~ 36

Author(s):

J. Al-Jaroodi ◽

N. Mohamed ◽

Hong Jiang ◽

D. Swanson

Keyword(s):

Heterogeneous Systems ◽

Programming Models ◽

Distributed Programming

Download Full-text

Interacting processes: a language for coordinated distributed programming

Proceedings of the 5th Jerusalem Conference on Information Technology, 1990. 'Next Decade in Information Technology' ◽

10.1109/jcit.1990.128281 ◽

2002 ◽

Cited By ~ 4

Author(s):

N. Francez ◽

I.R. Forman

Keyword(s):

Distributed Programming

Download Full-text

A distributed programming model for real-time industrial control

Control Engineering Practice ◽

10.1016/0967-0661(95)00108-7 ◽

1995 ◽

Vol 3 (8) ◽

pp. 1133-1138 ◽

Cited By ~ 2

Author(s):

J.S. Bayne

Keyword(s):

Real Time ◽

Programming Model ◽

Distributed Programming ◽

Industrial Control

Download Full-text

Foundations of path-dependent types

ACM SIGPLAN Notices ◽

10.1145/2714064.2660216 ◽

2014 ◽

Vol 49 (10) ◽

pp. 233-249 ◽

Cited By ~ 8

Author(s):

Nada Amin ◽

Tiark Rompf ◽

Martin Odersky

Keyword(s):

Dependent Types ◽

Path Dependent

Download Full-text