2797 search results - page 397 / 560 » Control Structures |
127
click to vote
ENTCS
2008
15 years 4 months ago
2008
Progress, Extended Abstract) Philippe Jorrand1 Simon Perdrix2 Leibniz Laboratory IMAG-INPG Grenoble, France The aim of this paper is to introduce a general model of quantum comput...
148
click to vote
CAGD
2005
15 years 4 months ago
2005
In this paper, we propose a new quadrilateral remeshing method for manifolds of arbitrary genus that is at once general, flexible, and efficient. Our technique is based on the use...
121
click to vote
TODAES
1998
15 years 4 months ago
1998
Abstract State Machines (ASMs) provide a sound mathematical basis for the specification and verification of systems. An application of the ASM methodology to the verification of a ...
146
click to vote
SC
2009
ACM
15 years 11 months ago
2009
ACM
We present a scalable temporal order analysis technique that supports debugging of large scale applications by classifying MPI tasks based on their logical program execution order...
124
click to vote
CSFW
2009
IEEE
15 years 11 months ago
2009
IEEE
—As networked systems grow in complexity, they are increasingly vulnerable to denial-of-service (DoS) attacks involving resource exhaustion. A single malicious input of coma can ...