Showing 1 - 20 of 468

1

Constructive characterisations of the must-preorder for asynchrony
Bernardi, Giovanni ; Castellani, Ilaria ; Laforgue, Paul ; et al.
ESOP. :88-116

Hamilton, Ontario, Canad... Concurrency theory Software Verification Observational refinement... Asynchrony ACM: D.: Software
Conference
Save to List
2

Processes, Systems & Tests: Defining Contextual Equivalences
Aubert, Clément ; Varacca, Daniele ; Augusta University ; et al.
Proceedings 14th Interaction and Concurrency Experience (ICE 2021). :1-21

Virtual Event, Malta Process Algebra Concurrency Testing Equivalences Process Semantics ACM: D.: Software
Conference
Save to List
3

Resilient Optimistic Termination Detection for the Async-Finish Model
Hamouda, Sara ; Milthorpe, Josh ; Australian National University (ANU) ; et al.
34th International Conference on High Performance Computing. :291-311

Frankfurt, Germany Async-finish Termination detection Resilience ACM: D.: Software D.3: PROGRAMMING LANGUAG...
Conference
Save to List
4

Supporting Runtime Reconfigurable VLIWs Cores Through Dynamic Binary Translation
Rokicki, Simon ; Rohou, Erven ; Derrien, Steven ; et al.
DATE 2018 - IEEE/ACM Design. :1009-1014

Dresden, Germany ACM: C.: Computer System... C.1: PROCESSOR ARCHITECT... C.1.3: Other Architectur... C.1.3.5: Heterogeneous (... C.1.3.0: Adaptable archi...
Conference
Save to List
5

Qubit Allocation
Siraichi, Marcos, Yukio ; Santos, Vinicius Fernandes Dos ; Collange, Caroline ; et al.
CGO 2018 - International Symposium on Code Generation and Optimization. :1-12

Vienna, Austria Algorithm design techniq... Quantum technologies Quantum computing ACM: D.: Software D.3: PROGRAMMING LANGUAG...
Conference
Save to List
6

DeLICM: Scalar Dependence Removal at Zero Memory Cost
Kruse, Michael ; Grosser, Tobias ; Parallélisme de Kahn Synchrone (Parkas) ; et al.
CGO'18 - International Symposium on Code Generation and Optimization. :241-253

Vienna, Austria Scalar Dependence Polyhedral Framework Compilers Polly LLVM
Conference
Save to List
7

GRASS GIS for topographic and geophysical mapping of the Peru-Chile Trench
Lemenkova, Polina ; Schmidt United Institute of Physics of the Earth [Moscow] (IPE) ; Russian Academy of Sciences [Moscow] (RAS)
10.5775/fg.2020.009.d

GRASS GIS cartography gravity geoid topography ACM: K.: Computing Milie...
Journal
Save to List
8

Complément Formation Xamarin
Journaux, Alexandre ; Génétique Physiologie et Systèmes d'Elevage (GenPhySE) ; Ecole Nationale Vétérinaire de Toulouse (ENVT) ; et al.
Licence. France. 2021

ACM: D.: Software D.3: PROGRAMMING LANGUAG... D.3.2: Language Classifi... D.3.2.11: Object-oriente... [INFO.INFO-CL]Computer S... Computation and Language...
Book
Save to List
9

Effectful Applicative Bisimilarity: Monads, Relators, and Howe's Method
Dal Lago, Ugo ; Gavazzo, Francesco ; Blain Levy, Paul ; et al.
LICS 2017 - ACM/IEEE Symposium on Logic in Computer Science. :1-12

Reykjavik, Iceland ACM: D.: Software D.3: PROGRAMMING LANGUAG... D.3.1: Formal Definition... D.3.1.0: Semantics [INFO.INFO-LO]Computer S...
Conference
Save to List
10

Simplification and Run-time Resolution of Data Dependence Constraints for Loop Transformations
Sampaio, Diogo ; Pouchet, Louis-Noël ; Rastello, Fabrice ; et al.
ICS 2017 - International Conference on Supercomputing. :1-11

Chicago, United States Polyhedral Transformatio... Polynomials Loop optimization May-alias Quantifier Elimination
Conference
Save to List
11

Optimizing the Four-Index Integral Transform Using Data Movement Lower Bounds Analysis
Rajbhandari, Samyam ; Rastello, Fabrice ; Kowalski, Karol ; et al.
PPoPP 2017 - 22nd ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming. :327-340

Austin, United States ACM: D.: Software D.3: PROGRAMMING LANGUAG... D.3.4: Processors D.3.4.1: Compilers D.3.4.6: Optimization
Conference
Save to List
12

Formal methods for software security (invited talk)
Jensen, Thomas ; Software certification with semantic analysis (CELTIQUE) ; Centre Inria de l'Université de Rennes ; et al.
FMF 2017 - Forum "Méthodes Formelles". :1-61

Toulouse, France ACM: D.: Software D.3: PROGRAMMING LANGUAG... [INFO.INFO-LO]Computer S... Logic in Computer Scienc... [INFO.INFO-PL]Computer S...
Conference
Save to List
13

Hypercollecting Semantics and its Application to Static Analysis of Information Flow
Assaf, Mounir ; Naumann, David, A ; Signoles, Julien ; et al.
POPL 2017 - ACM Symposium on Principles of Programming Languages. :874-887

Paris, France information flow abstract interpretation static analysis ACM: D.: Software D.2: SOFTWARE ENGINEERIN...
Conference
Save to List
14

Dynamic Round-Trip Engineering in the context of FOMDD
Cavarlé, Glenn ; Plantec, Alain ; Costiou, Steven ; et al.
11th International Workshop on Smalltalk Technologies. :1-7

Prague, Czech Republic smalltalk model driven engineering round-trip engi- neering feature-oriented develop... ACM: D.: Software
Conference
Save to List
15

Automatic Detection of GUI Design Smells: The Case of Blob Listener
Lelli, Valéria ; Blouin, Arnaud ; Baudry, Benoit ; et al.
Proceedings of the 8th ACM SIGCHI Symposium on Engineering Interactive Computing Systems (EICS'16). :263-274

Brussels, Belgium User interface design smell software validation code quality ACM: F.: Theory of Compu...
Conference
Save to List
16

Pipelines for interoperability of distributed resources in ecology: the AnaEE-France context
Pichot, Christian ; Clastre, Philippe ; Jaillet, Benjamin ; et al.
5ème édition des Journées Nationales du Développement Logiciel (JDEV2020).

Rennes, France ACM: D.: Software D.3: PROGRAMMING LANGUAG... D.3.1: Formal Definition... D.3.1.0: Semantics ACM: I.: Computing Metho...
Conference
Save to List
17

A Modern C++ Point of View of Programming in Image Processing
Roynard, Michaël ; Carlinet, Edwin ; Géraud, Thierry ; et al.

Image processing Generic Programming Modern C++ Software Performance ACM: I.: Computing Metho...
Electronic Resource
Save to List
18

Monoparametric Tiling of Polyhedral Programs
Tuilage monoparamétré de programmes polyédriques

Iooss, Guillaume ; Alias, Christophe ; Rajopadhye, Sanjay ; et al.
[Research Report] RR-9233. :1-28

Program Transformation Tiling Polyhedral Model ACM: D.: Software D.3: PROGRAMMING LANGUAG... D.3.4: Processors
Report
Save to List
19

Djnn/Smala: A Conceptual Framework and a Language for Interaction-Oriented Programming
Magnaudet, Mathieu ; Chatty, Stéphane ; Conversy, Stéphane ; et al.
Proceedings of the ACM on Human-Computer Interaction. :1-27

Reactive Programming Interactive Software Smala GUI Programming Djnn ACM: D.: Software
Journal
Save to List
20

Visual Program Manipulation in the Polyhedral Model
Zinenko, Oleksandr ; Huot, Stéphane ; Bastoul, Cédric ; et al.
ACM Transactions on Architecture and Code Optimization. 15(1):1-25

Polyhedral model Direct manipulation ACM: H.: Information Sys... H.5: INFORMATION INTERFA... ACM: D.: Software D.3: PROGRAMMING LANGUAG...
Journal
Save to List

Filter