13603 search results - page 291 / 2721 » On the Computational Complexity of Cut-Reduction |
210
click to vote
HASE
1997
IEEE
15 years 11 months ago
1997
IEEE
: The most important aspect of concurrent and distributed computation is the interaction between system components. Integration of components into a system requires some synchroniz...
179
click to vote
ISSTA
2010
ACM
15 years 10 months ago
2010
ACM
Whitebox fuzzing is a novel form of security testing based on dynamic symbolic execution and constraint solving. Over the last couple of years, whitebox fuzzers have found many ne...
179
click to vote
LISA
1994
15 years 8 months ago
1994
Managing large scale UNIX networks so that users can use resources on multiple systems is traditionally performed using NIS, NFS, and DNS. Proper use of these tools requires exact...
193
click to vote
CGF
2008
15 years 7 months ago
2008
We present a new algorithm for the efficient and reliable generation of offset surfaces for polygonal meshes. The algorithm is robust with respect to degenerate configurations and...
184
click to vote
COGSCI
2008
15 years 7 months ago
2008
How children go about learning the general regularities that govern language, as well as keeping track of the exceptions to them, remains one of the challenging open questions in ...