2656 search results - page 64 / 532 » Design and analysis of algorithms reconsidered |
167
click to vote
TACAS
1998
Springer
15 years 8 months ago
1998
Springer
The latest ITU-T standard syntax of Message Sequence Charts (MSCs) 16] o ers several operators to compose MSCs in a hierarchical, iterating, and nondeterministic way. However, curr...
139
Voted
SIAMSC
2010
15 years 3 months ago
2010
In this paper, we describe block matrix algorithms for the iterative solution of large scale linear-quadratic optimal control problems arising from the optimal control of parabolic...
131
click to vote
BMCBI
2008
15 years 4 months ago
2008
Background: Ultraconserved elements are nucleotide or protein sequences with 100% identity (no mismatches, insertions, or deletions) in the same organism or between two or more or...
121
click to vote
SAS
2001
Springer
15 years 9 months ago
2001
Springer
This paper describes the precise speci cation, design, analysis, implementation, and measurements of an e cient algorithm for solving regular tree grammar based constraints. The p...
150
click to vote
ISLPED
2003
ACM
15 years 9 months ago
2003
ACM
Enabled by the continuous advancement in fabrication technology, present day synchronous microprocessors include more than 100 million transistors and have clock speeds well in ex...