3273 search results - page 409 / 655 » types 2007 |
156
click to vote
JANCL
2007
15 years 6 months ago
2007
Logic of proofs LP introduced by S. Artemov in 1995 describes properties of proof predicate “t is a proof of F” in the propositional language extended by atoms of the form [[t...
190
click to vote
RTSS
2007
IEEE
16 years 27 days ago
2007
IEEE
Schedulability analysis is a cornerstone of modern real-time scheduling theory development. Utilizationbound based schedulability test is considered one of most efficient and effe...
112
click to vote
AIMS
2007
Springer
16 years 25 days ago
2007
Springer
Optical or lambda exchanges have emerged to interconnect networks, providing dynamic switching capabilities on OSI layer 1 and layer 2. So far, the only inter-domain dynamics have ...
176
click to vote
ICDIM
2007
IEEE
15 years 8 months ago
2007
IEEE
We consider the problem of data durability in lowbandwidth large-scale distributed storage systems. Given the limited bandwidth between replicas, these systems suffer from long re...
161
click to vote
WCE
2007
15 years 7 months ago
2007
— Renewed interest in reducing interior noise in transportation vehicles has motivated research in low frequency, structural-acoustic analysis. The internal sound field in the en...