Gil Utard
According to our database1,
Gil Utard
authored at least 30 papers
between 1994 and 2023.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2023
2017
Proceedings of the Eighth International Symposium on Information and Communication Technology, 2017
2011
Proceedings of the 2011 International Conference on High Performance Computing & Simulation, 2011
2008
Proceedings of the Data Management in Grid and Peer-to-Peer Systems, 2008
2007
Proceedings of the Advances in Grid and Pervasive Computing, 2007
2006
2005
J. Autom. Reason., 2005
Int. J. High Perform. Comput. Netw., 2005
Data distribution for failure correlation management in a Peer to Peer storage system.
Proceedings of the 4th International Symposium on Parallel and Distributed Computing (ISPDC 2005), 2005
2004
Parallel Comput., 2004
Proceedings of the 18th Annual International Conference on Supercomputing, 2004
2003
Proceedings of the 17th International Parallel and Distributed Processing Symposium (IPDPS 2003), 2003
Proceedings of the 3rd IEEE International Symposium on Cluster Computing and the Grid (CCGrid 2003), 2003
2002
Proceedings of the 27th Annual IEEE Conference on Local Computer Networks (LCN 2002), 2002
Proceedings of the 16th International Parallel and Distributed Processing Symposium (IPDPS 2002), 2002
2001
Electron. Notes Discret. Math., 2001
Proceedings of the Euro-Par 2001: Parallel Processing, 2001
2000
Proceedings of the High Performance Computing, 2000
Proceedings of the 2000 IEEE International Conference on Cluster Computing (CLUSTER 2000), November 28th, 2000
1999
Proceedings of the International Workshop on Cluster Computing (IWCC '99), 1999
Proceedings of the High-Performance Computing and Networking, 7th International Conference, 1999
1998
Proceedings of the High-Performance Computing and Networking, 1998
1997
Formal Validation of Data-Parallel Programs: A Two-Component Assertional Proof System for a Simple Language.
Theor. Comput. Sci., 1997
1996
Proceedings of the Data Parallel Programming Model: Foundations, 1996
1995
1994
On the Expressivity of a Weakest Precondition Calculus for a Simple Data-Parallel Programming Language.
Proceedings of the Parallel Processing: CONPAR 94, 1994
A Proofe System for a Simple Data-Parallel Programming Language.
Proceedings of the Applications in Parallel and Distributed Computing, 1994