8431 search results - page 1236 / 1687 » Algorithmically Independent Sequences |
164
click to vote
ICS
2003
Tsinghua U.
16 years 1 days ago
2003
Tsinghua U.
Cache behavior modeling is an important part of modern optimizing compilers. In this paper we present a method to estimate the number of cache misses, at compile time, using a mac...
198
click to vote
INFOCOM
1999
IEEE
15 years 11 months ago
1999
IEEE
-- The Internet is facing two problems simultaneously: there is a need for a faster switching/routing infrastructure, and a need to introduce guaranteed qualities of service (QoS)....
183
click to vote
CAV
2010
Springer
15 years 10 months ago
2010
Springer
ions of ODE models (MAPLE, GNA). On the algorithmic side (Sec. 3.2), it supports two main streams in high-performance model checking: reachability analysis based on BDDs (symbolic)...
197
click to vote
DSN
2004
IEEE
15 years 10 months ago
2004
IEEE
Firewalls are the mainstay of enterprise security and the most widely adopted technology for protecting private networks. An error in a firewall policy either creates security hole...
212
click to vote
ECAL
1995
Springer
15 years 10 months ago
1995
Springer
After an outline of the history of evolutionary algorithms, a new ( ) variant of the evolution strategies is introduced formally. Though not comprising all degrees of freedom, it i...