14379 search results - page 2760 / 2876 » is 2000 |
125
click to vote
HYBRID
2000
Springer
15 years 8 months ago
2000
Springer
Abstract. Sincehybridembeddedsystemsarepervasiveandoftensafetycritical, guarantees about their correct performance are desirable. The hybrid systemsmodelcheckerHyTech providessuch ...
140
click to vote
ICALP
2000
Springer
15 years 8 months ago
2000
Springer
In this paper, we provide a method to safely store a document in perhaps the most challenging settings, a highly decentralized replicated storage system where up to half of the st...
153
click to vote
ICCAD
2000
IEEE
15 years 8 months ago
2000
IEEE
ct Static timing analysis has traditionally used the PERT method for identifying the critical path of a digital circuit. Due to the influence of the slope of a signal at a particul...
158
click to vote
ICDCS
2000
IEEE
15 years 8 months ago
2000
IEEE
Providing shared-memory abstraction in messagepassing systems often simplifies the development of distributed algorithms and allows for the reuse of sharedmemory algorithms in the...
154
click to vote
ICDE
2000
IEEE
15 years 8 months ago
2000
IEEE
Increasing application demands are pushing database management systems (DBMSs) towards providing adequate and efficient support for content-based retrieval over multimedia objects...