3001 search results - page 392 / 601 » Recursive type generativity |
147
click to vote
SIGSOFT
2010
ACM
15 years 4 months ago
2010
ACM
Reliance on skilled developers reduces the return on investment for important software engineering tasks such as establishing program correctness. This position paper introduces a...
249
click to vote
ECEASST
2010
15 years 3 months ago
2010
Abstract: Graphical user interfaces (GUIs) are critical components of todays software. Given their increased relevance, correctness and usability of GUIs are becoming essential. Th...
185
click to vote
ET
2010
15 years 3 months ago
2010
This work justifies several quantum gate level fault models and discusses the causal error mechanisms thwarting correct function. A quantum adaptation of the classical test set gen...
176
click to vote
CMA
2010
15 years 3 months ago
2010
Complex Multiplication (CM) method is a frequently used method for the generation of elliptic curves (ECs) over a prime field Fp. The most demanding and complex step of this metho...
155
click to vote
JCT
2011
15 years 1 months ago
2011
The descendant set desc(α) of a vertex α in a digraph D is the set of vertices which can be reached by a directed path from α. A subdigraph of D is finitely generated if it is...