6409 search results - page 90 / 1282 » A Computational Algorithm for Origami Design |
172
click to vote
CCGRID
2002
IEEE
15 years 11 months ago
2002
IEEE
Resource management is a central part of a Grid computing system. In a large-scale wide-area system such as the Grid, security is a prime concern. One approach is to be conservati...
160
click to vote
CSE
2009
IEEE
15 years 9 months ago
2009
IEEE
There are many applications for Secure Multi-Party Computation (SMC), but practical adoption is still an issue. One reason is that the business model of the application does not m...
158
click to vote
DAC
2000
ACM
16 years 7 months ago
2000
ACM
Image computation is the key step in fixpoint computations that are extensively used in model checking. Two techniques have been used for this step: one based on conjunction of the...
153
click to vote
DATE
2002
IEEE
15 years 11 months ago
2002
IEEE
The core computation in BDD-based symbolic synthesis and verification is forming the image and pre-image of sets of states under the transition relation characterizing the sequen...
173
click to vote
DAC
1998
ACM
15 years 10 months ago
1998
ACM
This paper presents a general method for computing transient sensitivities using the adjoint method in event driven simulation algorithms that employ piecewise linear device model...