2646 search results - page 214 / 530 » Local Type Inference |
194
click to vote
JCP
2007
15 years 6 months ago
2007
— Distributed simulators are increasingly being used for their intrinsic advantages in terms of reusability, fault tolerance, performance, and geographic distribution. The develo...
204
click to vote
INFOCOM
2012
IEEE
13 years 9 months ago
2012
IEEE
—Localization techniques that allow inferring the location of wireless devices directly from received signals have exposed mobile users to new threats. Adversaries can easily col...
159
click to vote
PPOPP
2010
ACM
16 years 3 months ago
2010
ACM
We present a core calculus with two of X10's key constructs for parallelism, namely async and finish. Our calculus forms a convenient basis for type systems and static analys...
181
click to vote
FSEN
2007
Springer
16 years 23 days ago
2007
Springer
We define a type system for COWS, a formalism for specifying and combining services, while modelling their dynamic behaviour. Our types permit to express policies constraining dat...
178
click to vote
ICLP
2005
Springer
16 years 3 days ago
2005
Springer
Abstract. Information about the nondeterminism behavior of a functional logic program is important for various reasons. For instance, a nondeterministic choice in I/O operations re...