Showing 41 - 60 of 206

41

Optimally Gathering Two Robots
Heriban, Adam ; Défago, Xavier ; Tixeuil, Sébastien ; et al.
[Research Report] UPMC Sorbonne Universités. 2017

Mobile robots gathering robots with lights optimal ACM: C.: Computer System... C.2: COMPUTER-COMMUNICAT...
Report
Save to List
42

Recent advances in interactive and automated analysis
Mateescu, Radu ; Construction of verified concurrent systems (CONVECS) ; Centre Inria de l'Université Grenoble Alpes ; et al.
France. International Journal on Software Tools for Technology Transfer. 20(2):119-123

ACM: D.: Software D.2: SOFTWARE ENGINEERIN... D.2.4: Software Program Verification D.2.4.2: Correctness pro... D.2.4.3: Formal methods
Save to List
43

A GALS Language for Dynamic Distributed and Reactive Programs
Malik, Avinash ; Girault, Alain ; Salcic, Zoran ; et al.
ACSD, Jun 2011, Newcastle, United Kingdom

Newcastle, United Kingdo... GALS; dynamic reconfigur... ACM: D.: Software D.3: PROGRAMMING LANGUAG... D.3.2: Language Classifi... D.3.2.1: Concurrent, dis...
Conference
Save to List
44

Poster: Damaris - Using Dedicated I/O Cores for Scalable Post-petascale HPC Simulations
Dorier, Matthieu ; École normale supérieure - Cachan, antenne de Bretagne (ENS Cachan Bretagne) ; École normale supérieure - Cachan (ENS Cachan) ; et al.
International Conference on Supercomputing (ICS), ACM, May 2011, Tucson, United States. ⟨10.1145/1995896.1995953⟩

Tucson, United States ACM: D.: Software D.1: PROGRAMMING TECHNIQ... D.1.3: Concurrent Progra... ACM: E.: Data E.5: FILES
Conference
Save to List
45

DSMW: Distributed Semantic MediaWiki
Skaf-Molli, Hala ; Canals, Gérôme ; Molli, Pascal ; et al.
7th Extended Semantic Web Conference (ESCW 2010), May 2010, Heraklion, Greece

Heraklion, Greece ACM: H.: Information Sys... H.4: INFORMATION SYSTEMS... H.4.1: Office Automation H.4.1.2: Groupware ACM: D.: Software
Conference
Save to List
46

BlobSeer: Bringing High Throughput under Heavy Concurrency to Hadoop Map-Reduce Applications
Nicolae, Bogdan ; Moise, Diana ; Antoniu, Gabriel ; et al.

Atlanta, United States Large-scale distributed... Data-intensive Map-Reduce-based applica... Distributed file systems High Throughput
Conference
Save to List
47

Isosurface extraction and interpretation on very large datasets in geophysics
Dupuy, Guilhem ; Jobard, Bruno ; Guillon, Sébastien ; et al.
ACM Solid and Physical Modeling Symposium, Jun 2008, New York, United States

New York, United States Geo-scientific applicati... Collaborative and distri... Geometric computation an... ACM: I.: Computing Metho... I.3: COMPUTER GRAPHICS
Conference
Save to List
48

A Component Platform for Experimenting with Autonomic Composition
Baude, Françoise ; Henrio, Ludovic ; Naoumenko, Paul ; et al.
First International Conference on Autonomic Computing and Communication Systems (Autonomics 2007), Oct 2007, Rome, Italy

Rome, Italy ACM: D.: Software D.1: PROGRAMMING TECHNIQ... D.1.3: Concurrent Progra... D.2: SOFTWARE ENGINEERIN... D.2.2: Design Tools and...
Conference
Save to List
49

Automaton-based Confidentiality Monitoring of Concurrent Programs
Le Guernic, Gurvan ; Logiciel : ANalyse et DEveloppement (Lande) ; Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA) ; et al.
Computer Security Foundations Symposium, Jul 2007, S. Servolo island, Venice, Italy

ACM: D.: Software D.4: OPERATING SYSTEMS D.4.6: Security and Prot... D.4.6.3: Information flo... D.2: SOFTWARE ENGINEERIN... D.2.5: Testing and Debug...
Conference
Save to List
50

Consistency in 3D
Shapiro, Marc ; Saeida Ardekani, Masoud ; Petri, Gustavo ; et al.
[Research Report] RR-8932, Institut National de la Recherche en Informatique et Automatique (Inria). 2016

C.2.4 Distributed databa... D.1.3 Concurrent program... D.2.4 Software Program Verification E.1 Distributed data str... Consistency models
Report
Save to List
51

Tailoring Models of Concurrency to eXecutable Domain-Specific Modeling Languages
Latombe, Florent ; Crégut, Xavier ; Pantel, Marc ; et al.

executable metamodeling operational semantics domain-specific modeling... Models of concurrency ACM: D.: Software D.2: SOFTWARE ENGINEERIN...
Electronic Resource
Save to List
52

Concurrency in Transactional Memory
Gramoli, Vincent ; The University of Sydney ; Data61 [Canberra] (CSIRO) ; et al.
Distributed, Parallel, and Cluster Computing [cs.DC]. UPMC - Sorbonne University, 2015

Software transactional m... multicore manycore transaction polymorphism elastic transactions Mémoire transactionnelle...
Report
Save to List
53

Reactive Programming of Simulations in Physics
Boussinot, Frédéric ; Monasse, Bernard ; Susini, Jean-Ferdy ; et al.

Concurrency parallelism reactive programming physics molecular dynamics 07.05.Tp Computer modeli...
Electronic Resource
Save to List
54

Certified Universal Gathering in $R^2$ for Oblivious Mobile Robots
Courtieu, Pierre ; Rieg, Lionel ; Tixeuil, Sébastien ; et al.
Distributed Computing (DISC). :187-200

Paris, France ACM: C.: Computer System... C.2: COMPUTER-COMMUNICAT... C.2.4: Distributed Syste... ACM: D.: Software D.1: PROGRAMMING TECHNIQ...
Conference
Save to List
55

Universal Constructions that Ensure Disjoint-Access Parallelism and Wait-Freedom
Ellen, Faith ; Fatourou, Panagiota ; Kosmas, Eleftherios ; et al.
[Research Report] 2012

ACM: E.: Data E.1: DATA STRUCTURES ACM: D.: Software D.1: PROGRAMMING TECHNIQ... D.1.3: Concurrent Progra... [INFO.INFO-DC]Computer S...
Report
Save to List
56

ParaFlow: Fine-grained parallel SDN controller for large-scale networks
Song, Ping ; Liu, Yi ; Liu, Chi ; et al.
In Journal of Network and Computer Applications 1 June 2017 87:46-59

Academic journal
Save to List
57

Automaton-based Non-interference Monitoring of Concurrent Programs
Le Guernic, Gurvan ; Logiciel : ANalyse et DEveloppement (Lande) ; Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA) ; et al.
[Research Report] 2007

ACM: D.: Software D.2: SOFTWARE ENGINEERIN... D.2.5: Testing and Debug... D.2.5.6: Monitors ACM: F.: Theory of Compu... F.3: LOGICS AND MEANINGS...
Report
Save to List
58

Lucid Synchrone, version 3
Lucid Synchrone, version 3: Tutorial and Reference Manual

Pouzet, Marc ; Université Paris Sciences et Lettres (PSL) ; Département d'informatique - ENS-PSL (DI-ENS) ; et al.
[Research Report] Université Paris Sud Orsay; Laboratoire de Recherche en Informatique [LRI], UMR 8623, Bâtiments 650-660, Université Paris-Sud, 91405 Orsay Cedex. 2006

ACM: D.: Software D.3: PROGRAMMING LANGUAG... D.1: PROGRAMMING TECHNIQ... D.1.3: Concurrent Progra... D.1.3.1: Parallel progra... D.3.2: Language Classifi...
Report
Save to List
59

Automated Analysis of Impact of Scheduling on Performance of Self-Stabilizing Protocols
Aflaki, Saba ; Bonakdarpour, Borzoo ; Tixeuil, Sébastien ; et al.
The International Conference on Stabilization. :156-170

Edmonton, Canada ACM: D.: Software D.1: PROGRAMMING TECHNIQ... D.1.3: Concurrent Progra... D.2: SOFTWARE ENGINEERIN... D.2.2: Design Tools and...
Conference
Save to List
60

Manipulating Visualization, Not Codes
Zinenko, Oleksandr ; Bastoul, Cédric ; Huot, Stéphane ; et al.
International Workshop on Polyhedral Compilation Techniques (IMPACT). :8-8

Amsterdam, Netherlands ACM: H.: Information Sys... H.5: INFORMATION INTERFA... H.5.2: User Interfaces H.5.2.4: Graphical user... H.5.2.7: Interaction sty...
Conference
Save to List

Filter