Treffer 41 - 60 von 1.167

41

Ambient Abstract State Machines with applications
Börger, Egon ; Cisternino, Antonio ; Gervasi, Vincenzo
In Journal of Computer and System Sciences May 2012 78(3):939-959

Fachzeitschrift
42

Dieses Ergebnis kann Gästen nicht angezeigt werden.

43

DISTEA: Efficient Dynamic Impact Analysis for Distributed Systems
Cai, Haipeng ; Thain, Douglas
IEEE/ACM Automated Software Engineering (ASE), 2016

Computer Science - Softw... Computer Science - Distr...
Report
44

An Adaptive Distributed Simulator for Cloud and MapReduce Algorithms and Architectures
Kathiravelu, Pradeeban ; Veiga, Luis
Proceedings of the 2014 IEEE/ACM 7th International Conference on Utility and Cloud Computing. :79-88

Konferenz
45

Chapter 3 - Concurrency in the Cloud
In Cloud Computing Edition: Second Edition. 2018:53-111

Buch
46

CloudSNAP: A transparent infrastructure for decentralized web deployment using distributed interception
Mondéjar, Rubén ; García-López, Pedro ; Pairot, Carles ; et al.
In Future Generation Computer Systems January 2013 29(1):370-380

Fachzeitschrift
47

Chapter 10 - Concurrency and cloud computing
In Cloud Computing Edition: Third Edition. 2023:349-409

Buch
48

Programming and parallelising applications for distributed infrastructures
Universitat Politècnica de Catalunya. Departament d'Arquitectura de Computadors ; Badia Sala, Rosa Maria ; Tejedor Saavedra, Enric ; et al.
TDX (Tesis Doctorals en Xarxa)

E-Ressource
49

Migration of active objects in proactive
Xu, Baomin ; Lian, Weimin ; Gao, Qiang
In Information and Software Technology 2003 45(9):611-618

Fachzeitschrift
50

Using Nesting to Push the Limits of Transactional Data Structure Libraries
Assa, Gal ; Meir, Hagar ; Golan-Gueta, Guy ; et al.

Computer Science - Distr...
Report
51

Parallel Processing Strategies for Large SAR Image Data Sets in a Distributed Environment.
Goller, A.
Computing. 1999, Vol. 62 Issue 4, p277. 15p.

Distributed computing Synthetic aperture radar Image processing
Fachzeitschrift
52

Brief Announcement : constraint-based synchronization and verification of concurrent programs
Ramirez, Rafael ; Martinez, Juanjo
Proceedings of the twenty-third annual ACM symposium on Principles of distributed computing. :371-371

Konferenz
53

Modular Software Model Checking for Distributed Systems.
Leungwattanakit, Watcharin ; Artho, Cyrille ; Hagiya, Masami ; et al.
IEEE Transactions on Software Engineering. May2014, Vol. 40 Issue 5, p483-501. 19p.

Distributed computing Programming languages Modular programming Software verification Java programming languag...
Fachzeitschrift
54

An embedded domain specific language for distributed memory transactions in Java
Ramos, Jerônimo da Cunha ; Du Bois, André Rauber ; Pilla, Mauricio Lima
Proceedings of the 31st Annual ACM Symposium on Applied Computing. :1980-1985

Konferenz
55

Design and Implementation of a Distributed Evolutionary Computing Software.
Tan, K. C. ; Tay, Arthur ; Cai, J.
IEEE Transactions on Systems, Man & Cybernetics: Part C - Applications & Reviews. Aug2003, Vol. 33 Issue 3, p325-338. 14p.

Computer software Distributed computing Algorithms Java programming languag... JavaSpaces technology
Fachzeitschrift
56

Dieses Ergebnis kann Gästen nicht angezeigt werden.

57

Fault Tolerant Distributed Computing Using Asynchronous Local Checkpointing
Kuang, Phillip ; Field, John ; Varela, Carlos A.
Proceedings of the 4th International Workshop on Programming based on Actors Agents & Decentralized Control. :81-93

Konferenz
58

A practical MHP information analysis for concurrent java programs
LIN LI ; VERBRUGGE, Clark
LCPC 2004 : languages and compilers for high performance computing (West Lafayette IN, 22-24 September 2004, revised selected papers)Lecture notes in computer science. :194-208

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences appliquees Applied sciences
Konferenz
59

Efficient logic variables for distributed computing
Haridi, Seif ; Van Roy, Peter ; Brand, Per ; et al.
ACM Transactions on Programming Languages and Systems (TOPLAS). 21(3):569-626

Fachzeitschrift
60

Efficient computation of may-happen-in-parallel information for concurrent java programs
BARIK, Rajkishore
Languages and compilers for parallel computing (18th international workshop, LCPC 2005, Hawthorne, NY, USA, October 20-22, 2005)0LCPC 2005. :152-169

Computer science Informatique Sciences exactes et tech... Exact sciences and techn... Sciences appliquees Applied sciences
Konferenz

Filter