DE eng

Search in the Catalogues and Directories

Hits 1 – 13 of 13

1
Language-based Lifting of Analyses to Software Product Lines
Shahin, Ramy. - : University of Toronto, 2021
BASE
Show details
2
Hearing aid use in the elderly as measured by datalogging and self-report
Solheim, Jorunn; Hickson, Louise. - : Taylor & Francis, 2017
BASE
Show details
3
An Introduction to Ontology-Based Query Answering with Existential Rules
In: 10th Reasoning Web Summer School ; RW: Reasoning Web ; https://hal-lirmm.ccsd.cnrs.fr/lirmm-01089990 ; RW: Reasoning Web, Sep 2014, Athens, Greece. pp.245-278, ⟨10.1007/978-3-319-10587-1_6⟩ ; http://rw2014.di.uoa.gr/ (2014)
BASE
Show details
4
The JStar language philosophy
Utting, Mark; Weng, Min-Hsien; Cleary, John G. - : Elsevier BV, North-Holland, 2014
BASE
Show details
5
The JStar language philosophy
BASE
Show details
6
The JStar language philosophy
Utting, Mark; Weng, Min-Hsien; Cleary, John G.. - : Association for Computing Machinery (ACM), 2013
BASE
Show details
7
The JStar language philosophy
Utting, Mark; Weng, Min-Hsien; Cleary, John G.. - : University of Waikato, Department of Computer Science, 2013
BASE
Show details
8
The JStar language philosophy
Utting, Mark; Weng, Min-Hsien; Cleary, John G.. - : The Association for Computing Machinery, 2013
Abstract: This paper introduces the JStar parallel programming language, which is a Java-based declarative language aimed at discouraging sequential programming, encouraging massively parallel programming, and giving the compiler and runtime maximum freedom to try alternative parallelisation strategies. We describe the execution semantics and runtime support of the language, several optimisations and parallelism strategies, with some initial benchmark results.
Keyword: 1706 Computer Science Applications; 1712 Software; architecture independence; datalog; Java; JStar; Linda-like languages; parallel programming models; parallel-programming language; performance optimisation
URL: https://espace.library.uq.edu.au/view/UQ:b53a5ad
BASE
Hide details
9
Existential Rules: A Graph-Based View
In: Datalog 2.0 ; https://hal-lirmm.ccsd.cnrs.fr/lirmm-00763474 ; Pablo Barceló; Reinhard Pichler. Datalog 2.0, Sep 2012, Vienne, Austria. Springer, 2nd International Workshop on Datalog 2.0, LNCS (7494), pp.21-26, 2012, ⟨10.1007/978-3-642-32925-8_3⟩ ; http://www.dbai.tuwien.ac.at/datalog2.0/ (2012)
BASE
Show details
10
DOI:10.1007/978-3-642-23211-4 A Datalog recognizer for almost-affine λ-CFGs
In: http://hal.inria.fr/docs/00/74/07/01/PDF/parseAffine.pdf (2012)
BASE
Show details
11
Game semantics and parsing context-free lambda-grammars ; Jeux de typage et analyse de lambda-grammaires non-contextuelles
Bourreau, Pierre. - : HAL CCSD, 2012
In: https://tel.archives-ouvertes.fr/tel-00733964 ; Informatique et langage [cs.CL]. Université Sciences et Technologies - Bordeaux I, 2012. Français (2012)
BASE
Show details
12
A Datalog recognizer for almost affine lambda-CFGs
In: Mathematics of Language ; https://hal.archives-ouvertes.fr/hal-00740701 ; Mathematics of Language, Sep 2011, Nara, Japan. pp.21-38, ⟨10.1007/978-3-642-23211-4⟩ (2011)
BASE
Show details
13
Soutei, a Logic-Based Trust-Management System System Description
In: http://okmij.org/ftp/papers/Soutei.pdf
BASE
Show details

Catalogues
0
0
0
0
0
0
0
Bibliographies
0
0
0
0
0
0
0
0
0
Linked Open Data catalogues
0
Online resources
0
0
0
0
Open access documents
13
0
0
0
0
© 2013 - 2024 Lin|gu|is|tik | Imprint | Privacy Policy | Datenschutzeinstellungen ändern