2205 search results - page 344 / 441 » Mutation Operators for Specifications |
133
click to vote
SIGMETRICS
2008
ACM
15 years 2 months ago
2008
ACM
Abstract. When installing network intrusion detection systems (NIDSs), operators are faced with a large number of parameters and analysis options for tuning trade-offs between dete...
146
Voted
ALGORITHMICA
2005
15 years 2 months ago
2005
In an adversarial queueing network, the incoming traffic is decided by an adversary, who operates under a reasonable rate restriction. This model provides a valuable, complementar...
112
click to vote
SP
2008
IEEE
15 years 2 months ago
2008
IEEE
The grid vision of a single computing utility has yet to materialize: while many grids with thousands of processors each exist, most work in isolation. An important obstacle for t...
TCAD
2008
15 years 2 months ago
2008
BDDs have proven to be an efficient means to represent and manipulate Boolean formulae [1] and sets [2] due to their compactness and canonicality. In this work, we leverage the eff...
148
click to vote
TODAES
2008
15 years 2 months ago
2008
The extremely high cost of custom ASIC fabrication makes FPGAs an attractive alternative for deployment of custom hardware. Embedded systems based on reconfigurable hardware integ...