1418 search results - page 174 / 284 » The Dynamic Complexity of Formal Languages |
161
Voted
ATVA
2007
Springer
15 years 11 months ago
2007
Springer
Fault tree analysis is a traditional and well-established technique for analyzing system design and robustness. Its purpose is to identify sets of basic events, called cut sets, wh...
136
click to vote
PPSN
1992
Springer
15 years 8 months ago
1992
Springer
This paper introduces a new optimization technique called hyperplane annealing. It is similar to the mean field annealing approach to combinatorial optimization. Both annealing te...
149
click to vote
ENC
2004
IEEE
15 years 8 months ago
2004
IEEE
This article deals with the problem of data cache for dynamic web servers. A set of requests (which number could be large) is submitted to a server for computing. Every request is...
161
click to vote
ICFP
2002
ACM
16 years 4 months ago
2002
ACM
Compilers for dynamically and statically typed languages ensure safe execution by verifying that all operations are performed on appropriate values. An operation as simple as car ...
120
click to vote
WSDM
2009
ACM
15 years 11 months ago
2009
ACM
The rapid globalization of Wikipedia is generating a parallel, multi-lingual corpus of unprecedented scale. Pages for the same topic in many different languages emerge both as a r...