Sciweavers

9888 search results - page 341 / 1978
» compute 2009
Sort
View
BIRTHDAY
2009
Springer
15 years 11 months ago
Towards Compatible and Interderivable Semantic Specifications for the Scheme Programming Language, Part I: Denotational Semantic
Machines Olivier Danvy BRICS Report Series RS-08-7 ISSN 0909-0878 July 2008 08-7O.Danvy:DenotationalSemantics,NaturalSemantics,andAbstractMachinesforScheme
Olivier Danvy
ICTAC
2009
Springer
16 years 2 months ago
A Deadlock-Free Semantics for Shared Memory Concurrency
Abstract. We design a deadlock-free semantics for a concurrent, functional and imperative programming language where locks are implicitly and univocally associated with pointers. T...
Gérard Boudol
IDC
2009
Springer
16 years 2 months ago
Towards Reliable Trust Management in Insecure P2P Environments
: The rapid growth of communication technologies in the past years has  enabled development of collaborative peer­to­peer applications. The reliable col­ lab...
Miroslav Novotný, Filip Zavoral
CLOUDCOM
2009
Springer
15 years 11 months ago
SPECI, a Simulation Tool Exploring Cloud-Scale Data Centres
There is a rapid increase in the size of data centres (DCs) used to provide cloud computing services. It is commonly agreed that not all properties in the middleware that manages D...
Ilango Sriram
NAACL
2010
15 years 5 months ago
Some Empirical Evidence for Annotation Noise in a Benchmarked Dataset
A number of recent articles in computational linguistics venues called for a closer examination of the type of noise present in annotated datasets used for benchmarking (Reidsma a...
Beata Beigman Klebanov, Eyal Beigman