2042 search results - page 136 / 409 » Variable Number of |
135
click to vote
OSDI
2008
ACM
16 years 4 months ago
2008
ACM
Hard disk drives returned back to Seagate undergo the Field Return Incoming Test. During the test, the available logs in disk drives are collected, if possible. These logs contain...
136
click to vote
CONCUR
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. A prominent source of complexity in the veriļ¬cation of ad hoc network (AHN) protocols is the fact that the number of network topologies grows exponentially with the squ...
130
click to vote
PPDP
2009
Springer
15 years 11 months ago
2009
Springer
We give a denotational semantics to a type and effect system tracking reading and writing to global variables holding values that may include higher-order effectful functions. Reļ...
132
click to vote
MUE
2008
IEEE
15 years 11 months ago
2008
IEEE
The route guidance system, which provides driving advice based on traffic information about an origin and a destination, has become very popular along with the advancement of hand...
118
click to vote
CEC
2005
IEEE
15 years 10 months ago
2005
IEEE
AbstractEvolutionary Algorithms (EAs) have been used to achieve optimal feedforward control in a number of fedbatch fermentation processes. Typically, the optimization purpose is t...