Sciweavers

1744 search results - page 196 / 349
» A Similarity-Driven Transfer System
Sort
View
ISSAC
1997
Springer
105views Mathematics» more  ISSAC 1997»
15 years 10 months ago
Guarded Expressions in Practice
Computer algebra systems typically drop some degenerate cases when evaluating expressions, e.g., x=x becomes 1 dropping the case x = 0. We claim that it is feasible in practice to...
Andreas Dolzmann, Thomas Sturm
ICRA
1994
IEEE
80views Robotics» more  ICRA 1994»
15 years 10 months ago
Robot-Assisted Shape Deposition Manufacturing
Solid Freeform Fabrication and Shape Deposition are rapid manufacturing processes which build parts by incremental material deposition and fusion of cross-sectional layers. In thi...
K. Hartmann, R. Krishnan, R. Merz, G. Neplotnik, F...
CSCW
1992
ACM
15 years 10 months ago
Groupware Experiences in Three-Dimensional Computer-Aided Design
A system that allows people to simultaneously modify a common design in a graphically rich environment was developed to identify and examine groupware interface issues unique to t...
Li Shu, Woodie Flowers
OOPSLA
1992
Springer
15 years 10 months ago
CACL: Efficient Fine-Grained Protection for Objects
CACL is a protection scheme for objects that offers a simple and flexible model of protection and has an efficient, software-only implementation. The model, based on Access Contro...
Joel E. Richardson, Peter M. Schwarz, Luis-Felipe ...
CC
2006
Springer
125views System Software» more  CC 2006»
15 years 10 months ago
Converting Intermediate Code to Assembly Code Using Declarative Machine Descriptions
Abstract. Writing an optimizing back end is expensive, in part because it requires mastery of both a target machine and a compiler's internals. We separate these concerns by i...
João Dias, Norman Ramsey