Search Results

181

An Effectful Way to Eliminate Addiction to Dependence

by Pédrot, Pierre-Marie, Tabareau, Nicolas
Published in 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) (2017)

Subjects: “...[INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL]...”
Get access
Get access
Get access
Get access

Conference Object

182

Unifying Theories of Programming 6th International Symposium, UTP 2016, Reykjavik, Iceland, June 4-5, 2016, Revised Selected Papers

by Zhu, Huibiao, Bowen, Jonathan P
Published 2017

Subjects: “...Programming languages (Electronic computers)...”
Get access
Get access

Other/Unknown Material

183

WAND User's Guide.

by Gerritsen,Rob, Cortes,Ricardo, Ribeiro,Jim, Zowader,Ruth
Published 1976

Subjects: “...PROGRAMMING LANGUAGES...”
Get access
Get access

Text

184

Računalna glazba

by Gugo, Duje
Published 2019

Subjects: “...programming languages...”
Get access
Get access
Get access
Get access

Bachelor Thesis

185

The Design and Analysis of a Network Interface for the Multi-Lingual Database System.

by Wortherly,Clemon R
Published 1985

Subjects: “...PROGRAMMING LANGUAGES...”
Get access
Get access

Text

186

The Implementation of a Network CODASYL-DML Interface for the Multi-Lingual Database System.

by Emdi,Bulent
Published 1985

Subjects: “...PROGRAMMING LANGUAGES...”
Get access
Get access

Text

187

Finite-Difference Modeling of Rayleigh Wave Scattering and P-SV(Lg) Coupling Problems

by Jih, Rong-Song, McLaughlin, Keith L.
Published 1988

Subjects: “...FORTRAN 77 PROGRAMMING LANGUAGE...”
Get access
Get access

Text

188

ATMOSPHERIC MODELS FOR USE IN HYDRODYNAMIC COMPUTER CODES

by Brackbill, Jeremiah U., Nawrocki, Edmund A., Whitaker, William A.
Published 1967

Subjects: “...*PROGRAMMING LANGUAGES...”
Get access
Get access

Text

189

The Design and Implementation of a Relational to Network Query Translator for a Distributed Database Management System.

by Mahoney,Kevin H
Published 1985

Subjects: “...PROGRAMMING LANGUAGES...”
Get access
Get access

Text

190

An Empirical Evaluation of a Programming Model for Context-Dependent Real-time Streaming Applications

by Do, Xuan Khanh, Louise, Stéphane, Cohen, Albert, Dubrulle, Paul, Goubier, Thierry, Cudennec, Loïc, Doré, Philippe
Published 2015

Subjects: “...[INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL]...”
Get access

Conference Object

191

Performance Evaluation of the Orca Shared Object System

by Henri E. Bal, Raoul Bhoedjang, Rutger Hofman, Ceriel Jacobs, Koen Langendoen, Tim Rühl, M. Frans Kaashoek
Published 1998

Subjects: “...D.3.4 [Programming Languages...”
Get access
Get access

Text

192

Performance Evaluation of the Orca Shared Object System

by Henri E. Bal, Raoul Bhoedjang, Rutger Hofman, Ceriel Jacobs, Koen Langendoen, Tim R Hl, M. Frans Kaashoek
Published 1998

Subjects: “...D.3.4 [Programming Languages...”
Get access
Get access

Text

193

Browser Randomisation against Fingerprinting: A Quantitative Information Flow Approach

by Besson, Frédéric, Bielova, Nataliia, Jensen, Thomas
Published 2014

Subjects: “...[INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL]...”
Get access
Get access
Get access
Get access

Conference Object

194

Browser Randomisation against Fingerprinting: A Quantitative Information Flow Approach

by Besson, Frédéric, Bielova, Nataliia, Jensen, Thomas
Published 2014

Subjects: “...[INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL]...”
Get access
Get access
Get access
Get access

Conference Object

195

Browser Randomisation against Fingerprinting: A Quantitative Information Flow Approach

by Besson, Frédéric, Bielova, Nataliia, Jensen, Thomas
Published 2014

Subjects: “...[INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL]...”
Get access
Get access
Get access
Get access

Conference Object

196

Browser Randomisation against Fingerprinting: A Quantitative Information Flow Approach

by Besson, Frédéric, Bielova, Nataliia, Jensen, Thomas
Published 2014

Subjects: “...[INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL]...”
Get access
Get access
Get access
Get access

Conference Object

197

Browser Randomisation against Fingerprinting: A Quantitative Information Flow Approach

by Besson, Frédéric, Bielova, Nataliia, Jensen, Thomas
Published 2014

Subjects: “...[INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL]...”
Get access
Get access
Get access
Get access

Conference Object

198

Dependently Typed Programming with Domain-Specific Logics

by Licata, Daniel R.
Published 2011

Subjects: “...PROGRAMMING LANGUAGES...”
Get access
Get access

Text

199

An Empirical Evaluation of a Programming Model for Context-Dependent Real-time Streaming Applications

by Do, Xuan Khanh, Louise, Stéphane, Cohen, Albert, Dubrulle, Paul, Goubier, Thierry, Cudennec, Loïc, Doré, Philippe
Published 2015

Subjects: “...[INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL]...”
Get access

Conference Object

200

An Empirical Evaluation of a Programming Model for Context-Dependent Real-time Streaming Applications

by Do, Xuan Khanh, Louise, Stéphane, Cohen, Albert, Dubrulle, Paul, Goubier, Thierry, Cudennec, Loïc, Doré, Philippe
Published 2015

Subjects: “...[INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL]...”
Get access

Conference Object

Narrow Search