Sciweavers

2268 search results - page 188 / 454
» The Essence of Form Abstraction
Sort
View
IFL
1999
Springer
117views Formal Methods» more  IFL 1999»
15 years 6 months ago
On Code Generation for Multi-generator WITH-Loops in SAC
Abstract. Most array operations in Sac are specified in terms of so-called withloops, a Sac-specific form of array comprehension. Due to the map-like semantics of with-loops its ...
Clemens Grelck, Dietmar Kreye, Sven-Bodo Scholz
IPPS
1998
IEEE
15 years 6 months ago
Optimal Communication Performance on Fast Ethernet with GAMMA
Abstract. The current prototype of the Genoa Active Message MAchine GAMMA is a low-overhead, Active Messages-based inter-process communication layer implemented mainly at kernel le...
Giuseppe Ciaccio
DSVIS
1998
Springer
15 years 6 months ago
Inference and Information Resources: A Design Case Study
Abstract. Much attention has been paid in HCI to techniques for designing systems that conform to the tasks users wish to carry out. It is often the case that such approaches rely ...
Robert E. Fields, Nicholas A. Merriam
EP
1998
Springer
15 years 6 months ago
Simplification of the Arabic Script: Three Different Approaches and their Implementations
Abstract. In 1945, the Cairo Academy for the Arabic Language opened a contest to find the best project for simplification of the Arabic writing system. They received about 200 repl...
Yannis Haralambous
SBIA
1998
Springer
15 years 6 months ago
Building Object-Agents from a Software Meta-Architecture
Multi-agent systems can be viewed as object-oriented systems in which their entities show an autonomous behavior. If objects could acquire such skill in a flexible way, agents coul...
Analía Amandi, Ana Price