BIRTHDAY
2009
Springer
13 years 8 months ago
2009
Springer
BIRTHDAY
2009
Springer
13 years 8 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
13 years 8 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
13 years 8 months ago
2009
Springer
BIRTHDAY
2009
Springer
13 years 8 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
13 years 9 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
13 years 9 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
13 years 11 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
13 years 11 months ago
2009
Springer
BIRTHDAY
2009
Springer
13 years 11 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 ...