BIRTHDAY
2009
Springer
14 years 3 months ago
2009
Springer
BIRTHDAY
2009
Springer
14 years 3 months ago
2009
Springer
Machines Olivier Danvy BRICS Report Series RS-08-7 ISSN 0909-0878 July 2008 08-7O.Danvy:DenotationalSemantics,NaturalSemantics,andAbstractMachinesforScheme
BIRTHDAY
2009
Springer
14 years 3 months ago
2009
Springer
We consider the problem of minimizing average flow time on multiple machines when each job can be assigned only to a specified subset of the machines. This is a special case of sc...
BIRTHDAY
2009
Springer
14 years 3 months ago
2009
Springer
BIRTHDAY
2009
Springer
14 years 3 months ago
2009
Springer
An extended specification for aspects, and a new verification method based on model checking are used to establish the correctness of strongly-invasive aspects, independently of a...
BIRTHDAY
2009
Springer
14 years 4 months ago
2009
Springer
For many aspects of memory theoretical treatment already exists, in particular for: simple cache construction, store buers and store buer forwarding, cache coherence protocols, o...
BIRTHDAY
2009
Springer
14 years 4 months ago
2009
Springer
: Die Regionen sind im Gefolge der jüngsten nationalen und internationalen Herausforderungen in den Mittelpunkt der Governance-Diskussion gerückt. Die Europäische Metropolregion...
BIRTHDAY
2009
Springer
14 years 6 months ago
2009
Springer
Abstract. This paper surveys some recent works on the study of termination in a concurrent setting. Processes are π-calculus processes, on which type systems are imposed that ensu...
BIRTHDAY
2009
Springer
14 years 6 months ago
2009
Springer
BIRTHDAY
2009
Springer
14 years 6 months ago
2009
Springer
Research into embedded sensor networks has placed increased focus on the problem of developing reliable and flexible software for microcontroller-class devices. Languages such as ...