7557 search results - page 1307 / 1512 » Modeling Timed Concurrent Systems |
186
click to vote
IPPS
2003
IEEE
16 years 8 days ago
2003
IEEE
We try to close the gap between theoretical investigations of wireless network topologies and realistic wireless environments. For point-to-point communication, we examine theoret...
158
click to vote
FOSSACS
2003
Springer
16 years 6 days ago
2003
Springer
rized Verification by Probabilistic Abstraction . . . . . . . . . . . . . . . . 87 Tamarah Arons, Amir Pnueli, Lenore Zuck Genericity and the π-Calculus . . . . . . . . . . . . ....
212
click to vote
FPL
2003
Springer
16 years 6 days ago
2003
Springer
Abstract. This paper explores using information about program branch probabilities to optimise reconfigurable designs. The basic premise is to promote utilization by dedicating mo...
265
click to vote
ICAPR
2001
Springer
15 years 11 months ago
2001
Springer
The sipping of ink through the pages of certain double-sided handwritten documents after long periods of storage poses a serious problem to human readers or OCR systems. This pape...
165
click to vote
VLDB
2001
ACM
15 years 11 months ago
2001
ACM
Relational database systems have traditionally optimzed for I/O performance and organized records sequentially on disk pages using the N-ary Storage Model (NSM) (a.k.a., slotted p...