1646 search results - page 123 / 330 » Automatic generation of two-party computations |
CHI
2010
ACM
14 years 2 months ago
2010
ACM
Testing a GUI’s visual behavior typically requires human testers to interact with the GUI and to observe whether the expected results of interaction are presented. This paper pr...
VLSID
2002
IEEE
14 years 8 months ago
2002
IEEE
One of the major roadblocks in reduction of library generation cycle time is the layout generation phase. The two methods of doing automatic layout generation are synthesis and mig...
ICCAD
2000
IEEE
14 years 10 days ago
2000
IEEE
computation and automatic abstraction. Second, Ketchum performs not only automatic test generation but also unreachability analysis, which enables the test generation effort to be ...
NIPS
2003
13 years 9 months ago
2003
We propose an approach to learning the semantics of images which allows us to automatically annotate an image with keywords and to retrieve images based on text queries. We do thi...
PLDI
1996
ACM
14 years 2 days ago
1996
ACM
This paper presents a new analysis technique, commutativity analysis, for automatically parallelizing computations that manipulate dynamic, pointer-based data structures. Commutat...