1936 search results - page 367 / 388 » Unbundling Active Functionality |
SAFECOMP
1998
Springer
14 years 19 days ago
1998
Springer
Abstract. We present a method to specify software for a special kind of safetycritical embedded systems, where sensors deliver low-level values that must be abstracted and pre-proc...
TIC
1998
Springer
14 years 19 days ago
1998
Springer
In previous work, we presented a Typed Assembly Language (TAL). TAL is sufficiently expressive to serve as a target language for compilers of high-level languages such as ML. More...
AIME
1997
Springer
14 years 18 days ago
1997
Springer
We used Machine Learning (ML) methods to learn the best decision rules to distinguish normal brain aging from the earliest stages of dementia using subsamples of 198 normal and 244...
SPAA
1993
ACM
14 years 15 days ago
1993
ACM
In this paper we introduce the ConSet communication model for distributed memory parallel computers. The communication needs of an application program can be satisfied by some ar...
TACS
1994
Springer
14 years 15 days ago
1994
Springer
In this paper we present a semantic theory for Concurrent ML. It consists of a new effect-based type system and a denotational model. The new type system is based on an extension o...