7890 search results - page 1449 / 1578 » The MathSAT 3 System |
128
click to vote
ICPPW
2008
IEEE
15 years 11 months ago
2008
IEEE
The access patterns performed by disk-intensive applications vary widely, from simple contiguous reads or writes through an entire file to completely unpredictable random access....
152
click to vote
IROS
2008
IEEE
15 years 11 months ago
2008
IEEE
— The standard control problem of the pendubot refers to the task of stabilizing its equilibrium configuration with the highest potential energy. Linearization of the dynamics o...
154
Voted
CODES
2007
IEEE
15 years 11 months ago
2007
IEEE
We present a co-synthesis approach that accelerates reactive software processing by moving the calculation of complex expressions into external combinational hardware. The startin...
141
click to vote
NDSS
2007
IEEE
15 years 10 months ago
2007
IEEE
With Hidden Credentials Alice can send policyencrypted data to Bob in such a way that he can decrypt the data only with the right combination of credentials. Alice gains no knowle...
147
click to vote
SMC
2007
IEEE
15 years 10 months ago
2007
IEEE
—This paper considers the problem of temporally fusing classifier outputs to improve the overall diagnostic classification accuracy in safety-critical systems. Here, we discuss d...