Sciweavers

4690 search results - page 641 / 938
» An operational semantics for Scheme
Sort
View
EDCC
1999
Springer
15 years 11 months ago
Achieving Fault-Tolerant Ordered Broadcasts in CAN
The paper focuses on the problem to guarantee reliable and ordered message delivery to the operational sites of a CAN-Bus network. The contributions of the paper are firstly a hard...
Jörg Kaiser, Mohammad Ali Livani
IFL
1998
Springer
113views Formal Methods» more  IFL 1998»
15 years 11 months ago
Shared Memory Multiprocessor Support for SAC
Abstract. Sac (Single Assignment C) is a strict, purely functional programming language primarily designed with numerical applications in mind. Particular emphasis is on efficient ...
Clemens Grelck
INFOCOM
1997
IEEE
15 years 11 months ago
Performance of Multicasting Closed Interconnection Networks
This paper examines the application of a simple yet general packet replication scheme to achieve multicasting in closed interconnection networks. The performance of these networks...
Cathy W. Chan, Soung C. Liew
KDD
1997
ACM
122views Data Mining» more  KDD 1997»
15 years 11 months ago
KDD Process Planning
KDD (Knowledge Discovery in Databases) processhas become a new and important research area. Within the framework of KDD process and the GLS (Global Learning Scheme) system recentl...
Ning Zhong, Chunnian Liu, Yoshitsugu Kakemoto, Set...
159
Voted
CHI
1994
ACM
15 years 11 months ago
Repeat and predict: two keys to efficient text editing
We propose a simple and powerful predictive interface technique for text editing tasks. With our technique called the dynamic macro creation, when a user types a special "rep...
Toshiyuki Masui, Ken Nakayama