2635 search results - page 157 / 527 » Computing multihomogeneous resultants using straight-line pr... |
125
Voted
TCS
2008
15 years 3 months ago
2008
The longest common subsequence(LCS) problem is one of the classical and wellstudied problems in computer science. The computation of the LCS is a frequent task in DNA sequence ana...
123
Voted
SPAA
1997
ACM
15 years 7 months ago
1997
ACM
A parallel multithreaded program that is ostensibly deterministic may nevertheless behave nondeterministically due to bugs in the code. These bugs are called determinacy races, an...
158
Voted
SIGCSE
2002
ACM
15 years 3 months ago
2002
ACM
This paper describes a tutorial program that serves a double role as an educational tool and a research environment. First, it introduces students to fundamental concepts of propo...
148
Voted
DSN
2007
IEEE
15 years 7 months ago
2007
IEEE
Although there are various ways to exploit software vulnerabilities for malicious attacks, the attacks always result in unexpected behavior in program execution, deviating from wh...
133
Voted
PADL
2012
Springer
13 years 11 months ago
2012
Springer
In the past, the creators of numerical programs had to choose between simple expression of mathematical formulas and static type checking. While the Lisp family and its dynamically...