3604 search results - page 203 / 721 » All Common Subsequences |
146
click to vote
TPHOL
2007
IEEE
15 years 11 months ago
2007
IEEE
Techniques based on sums of squares appear promising as a general approach to the universal theory of reals with addition and multiplication, i.e. verifying Boolean combinations of...
150
click to vote
SOFSEM
2007
Springer
15 years 11 months ago
2007
Springer
We investigate deterministically simulating (i.e., solving the membership problem for) nondeterministic finite automata (NFA), relying solely on the NFA’s resources (states and ...
153
click to vote
RTSS
2006
IEEE
15 years 11 months ago
2006
IEEE
Caches have become invaluable for higher-end architectures to hide, in part, the increasing gap between processor speed and memory access times. While the effect of caches on timi...
145
Voted
ECBS
2003
IEEE
15 years 10 months ago
2003
IEEE
- In concert with customer and marketing staffs, systems engineers often formulate and codify an initial overall software system solution to fulfill customer needs. Without a focus...
152
click to vote
FOCS
2002
IEEE
15 years 10 months ago
2002
IEEE
Two decades ago, Megiddo and Dyer showed that linear programming in two and three dimensions (and subsequently any constant number of dimensions) can be solved in linear time. In ...