Search CORE

5 research outputs found

Modelling and Verifying a Priority Scheduler for an SCJ Runtime Environment

Author: A Armbruster
A Gotsman
A Wellings
ALC Cavalcanti
ALC Cavalcanti
AW Roscoe
C Marriott
CAR Hoare
D Locke
G Klein
J Ferreira
L Freitas
L Freitas
L Freitas
L Gesellensetter
M Tofte
MVM Oliveira
N Audsley
P Malik
T Gibson-Robinson
Publication venue: 'Springer Science and Business Media LLC'
Publication date: 01/01/2016
Field of study

Springer - Publisher Connector

White Rose Research Online

A Hybrid Evolutionary Multiobjective Approach for the Component Selection Problem

Author: A. Abraham
E. Mancebo
L. Gesellensetter
M.R. Fox
N. Haghpanah
P. Baker
Publication venue: 'Springer Science and Business Media LLC'
Publication date: 01/01/2008
Field of study

Formal verification of code motion techniques using data-flow-driven equivalence checking

Author: Chandan Karfa
Chittaranjan Mandal
Dipankar Sarkar
Emerson E. A.
Gesellensetter L.
Gupta S.
Gupta S.
Kim Y.
Landwehr B.
Lee J.-H.
Mansouri N.
Parker A. C.
Potkonjak M.
Radhakrishnan R.
Radhakrishnan R.
Wakabayashi K.
Zory J.
Publication venue: 'Association for Computing Machinery (ACM)'
Publication date
Field of study

Zwischen den Welten

Author: A. Deppermann
A. Krummheuer
A. Schütz
A. Schütz
B. Latour
E. A. Schegloff
E. A. Schegloff
E. Goffman
E. Goffman
G. Button
G. Button
G. Lindemann
H. Abels
H. Braun-Thürmann
H. Garfinkel
H. Geser
H. Knoblauch
H. Sacks
I. Arminen
I. Hutchby
I. Hutchby
J. Bergmann
J. Haase
J. Heritage
J. Lester
L. Gesellensetter
L. Suchman
L. Suchman
L. Suchman
M. Rost
P. Dourish
P. J. Thomas
P. Raudaskoski
P. Schönhagen
R. Ayaß
R. Werle
R. Wooffitt
S. Fohler
S. Günthner
S. Kopp
T. P. Wilson
W. L. Schneider
W. Rammert
Publication venue: 'Springer Science and Business Media LLC'
Publication date: 01/01/2008
Field of study

Chatbots and New Audience Opportunities for Museums and Heritage Organisations

core

core