14078 search results - page 258 / 2816 » Design and Analysis of Computer Algorithms |
172
click to vote
TOMS
2010
15 years 5 months ago
2010
s the mathematical abstractions and methods used in the design of the library and its implementation. A number of examples are presented to demonstrate the use of the library in ap...
201
click to vote
ICSM
2007
IEEE
16 years 28 days ago
2007
IEEE
In this paper, we introduce Static Execute After (SEA) relationship among program components and present an efficient analysis algorithm. Our case studies show that SEA may appro...
169
click to vote
ADG
2006
Springer
16 years 18 days ago
2006
Springer
Abstract. We propose an algorithm for automated recognition of computationally constructed curves and discuss several aspects of the recognition problem. Recognizing loci means det...
195
click to vote
FORTE
2010
15 years 8 months ago
2010
Abstract. The complexity of distributed algorithms, such as state machine replication, motivates the use of formal methods to assist correctness verification. The design of the for...
179
click to vote
NORDICHI
2006
ACM
16 years 17 days ago
2006
ACM
In this paper, the results of a front-page genre analysis of 290 Swedish municipality Web sites are presented, and the appropriateness of the identified design solutions are discu...