174 search results - page 2 / 35 » Exceptionally Safe Futures |
APLAS
2006
ACM
13 years 8 months ago
2006
ACM
Abstract. We present a type and effect system for a multi-staged language with exceptions. The proposed type and effect system checks if we safely synthesize complex controls with ...
ARITH
1993
IEEE
13 years 9 months ago
1993
IEEE
An attractive paradigm for building fast numerical algorithms is the following: 1 try a fast but occasionally unstable algorithm, 2 test the accuracy of the computed answer, a...
FGCS
2010
13 years 3 months ago
2010
Bulk Synchronous Parallel ML is a high-level language for programming parallel algorithms. Built upon OCaml and using the BSP model, it provides a safe setting for their implementa...
ICDCS
2009
IEEE
14 years 2 months ago
2009
IEEE
Spatial alarms are considered as one of the basic capabilities in future mobile computing systems for enabling personalization of location-based services. In this paper, we propos...
HPN
1998
13 years 6 months ago
1998
The concept of Intelligent Networks (IN) provides a convenient and future safe