BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Denmark
1 × France
1 × Spain
3 × USA
Collaborated with:
K.Lundqvist L.Björnfot G.Wall G.Naeser J.Stärner J.Furunäs S.Mitchell
Talks about:
time (4) ada (4) task (3) ravenscar (2) distribut (2) system (2) profil (2) formal (2) model (2) preemptiv (1)

Person: Lars Asplund

DBLP DBLP: Asplund:Lars

Facilitated 1 volumes:

Ada-Europe 1998Ed

Contributed to:

SIGAda 20052005
LCTES 20042004
Ada-Europe 19991999
SIGAda 19991999
Ada-Europe 19941994
Ada-Europe 19931993

Wrote 8 papers:

SIGAda-2005-NaeserAF #monitoring #named
SafetyChip: a time monitoring and policing device (GN, LA, JF), pp. 63–68.
SIGAda-2005-NaeserLA #verification
Temporal skeletons for verifying time (GN, KL, LA), pp. 49–56.
LCTES-2004-StarnerA #realtime
Measuring the cache interference cost in preemptive real-time systems (JS, LA), pp. 146–154.
AdaEurope-1999-LundqvistAM #ada #formal method
A Formal Model of the Ada Ravenscar Tasking Profile; Protected Objects (KL, LA, SM), pp. 12–25.
SIGAda-1999-LundqvistA #ada #formal method
A formal model of the Ada Ravenscar tasking profile; delay until (KL, LA), pp. 15–21.
AdaEurope-1994-BjornfotLWA #network
Distribution of Tasks within a Centrally Scheduled Local Area Network (LB, KL, GW, LA), pp. 421–432.
AdaEurope-1993-BjornfotALW #ada #distributed #protocol #runtime
Distributed Run-Time Systems, a Protocol for Ada (LB, LA, KL, GW), pp. 249–263.
AdaEurope-1993-WallABL #ada #performance #source code
Performance Expectations on Ada Programs (GW, LA, LB, KL), pp. 227–239.
Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.