Sciweavers

2585 search results - page 318 / 517
» computing 1999
Sort
View
POPL
1999
ACM
15 years 8 months ago
Constraint Systems for Useless Variable Elimination
Superfluous variables are often produced as the byproducts of program transformations, compilation, and poorly written code. These variables are irrelevant to the computational o...
Mitchell Wand, Igor Siveroni
SIGCOMM
1999
ACM
15 years 8 months ago
A Readable TCP in the Prolac Protocol Language
Prolac is a new statically-typed, object-oriented language for network protocol implementation. It is designed for readability, extensibility, and real-world implementation; most ...
Eddie Kohler, M. Frans Kaashoek, David R. Montgome...
SIGCSE
1999
ACM
119views Education» more  SIGCSE 1999»
15 years 8 months ago
Granularity in the design of interactive illustrations
We describe some issues in designing and building educational Java applets for an introductory computer graphics course. The design problem involves balancing educational goals of...
Daniel L. Gould, Rosemary Michelle Simpson, Andrie...
SIGCSE
1999
ACM
145views Education» more  SIGCSE 1999»
15 years 8 months ago
Using JFLAP to interact with theorems in automata theory
An automata theory course can be taught in an interactive, hands-on manner using a computer. At Duke we have been using the software tool JFLAP to provide interaction and feedback...
Eric Gramond, Susan H. Rodger
HICSS
1999
IEEE
96views Biometrics» more  HICSS 1999»
15 years 8 months ago
Distributed Research Teams: Meeting Asynchronously in Virtual Space
As computer networks improve, more social and work interactions are carried out "virtually" by geographically separated group members. In this paper we discuss the desig...
Lia Adams, Lori Toomey, Elizabeth F. Churchill