Sciweavers

PEPM
1998
ACM
14 years 5 days ago
Partial Evaluation for the Lambda Calculus
Neil D. Jones, Carsten K. Gomard, Peter Sestoft
EUROMICRO
1997
IEEE
14 years 6 days ago
An inter/intranet multimedia service for telemedicine
R. Della Bella, L. Iovieno, M. Marcocci, C. Mascio...
EUROMICRO
1997
IEEE
14 years 6 days ago
The Harpoon security system for helper programs on a Pocket Companion
In this paper we present a security framework for executing foreign programs, called helpers, on a Pocket Companion: a wireless hand-held computer. A helper program as proposed is...
Gerard J. M. Smit, Paul J. M. Havinga, Daniël...
EUROMICRO
1997
IEEE
14 years 6 days ago
What computer architecture can learn from computational intelligence-and vice versa
This paper considers whether the seemingly disparate fields of Computational Intelligence (CI) and computer architecture can profit from each others’ principles, results and e...
Ronald Moore, Bernd Klauer, Klaus Waldschmidt
EUROMICRO
1997
IEEE
14 years 6 days ago
Interaction paradigms with educational hypermedia
This paper discusses two projects aimed at utilising the educational potential of hypermedia whilst avoiding the danger of the user becoming “lost in hyperspace”. The first pr...
David J. Moore, Dave J. Hobbs, D. Mullier, C. Bell
EUROMICRO
1997
IEEE
14 years 6 days ago
Performability and Reliability Modeling of N Version Fault Tolerant Software in Real Time Systems
The paper presents a hierarchical modeling approach of the N version programming in a real – time environment. The model is constructed in three layers. At the first layer we d...
Katerina Goseva-Popstojanova, Aksenti Grnarov
EUROMICRO
1997
IEEE
14 years 6 days ago
What's ahead in computer design?
CMOS technology should, over the next few years, reach lithography of under 0.1¡ . This provides a die area improvement of a factor of 10 over today’s technology. What is the b...
Michael J. Flynn