2844 search results - page 172 / 569 » A Comparison of Partitioning Operating Systems for Integrate... |
148
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
In this paper we study planar polynomial differential systems of this form: dX dt = X = A(X, Y ), dY dt = Y = B(X, Y ), where A, B Z[X, Y ] and deg A d, deg B d, A H and B H. ...
146
click to vote
CASES
2006
ACM
16 years 4 hour ago
2006
ACM
With advances in process technology, soft errors (SE) are becoming an increasingly critical design concern. Due to their large area and high density, caches are worst hit by soft ...
178
click to vote
LCTRTS
2007
Springer
16 years 5 days ago
2007
Springer
Embedded systems serve an emerging and diverse set of applications. As a result, more computational and storage capabilities are added to accommodate ever more demanding applicati...
176
click to vote
ICALP
1992
Springer
15 years 10 months ago
1992
Springer
Real-time systems operate in \real," continuous time and state changes may occur at any real-numbered time point. Yet many veri cation methods are based on the assumption that...
157
click to vote
SIGMOD
2004
ACM
16 years 6 months ago
2004
ACM
Encryption is a well established technology for protecting sensitive data. However, once encrypted, data can no longer be easily queried aside from exact matches. We present an or...