13041 search results - page 60 / 2609 » Simulating space and time |
134
click to vote
INFOCOM
2011
IEEE
14 years 5 months ago
2011
IEEE
—An approximate distance query data structure is a compact representation of a graph, and can be queried to approximate shortest paths between any pair of vertices. Any such data...
PDC
2004
ACM
15 years 7 months ago
2004
ACM
When arriving to Hong Kong from China, the first difficulty of the new arrival women of the grassroots class is usually environmental stress. Their socio-economic situations often...
EURODAC
1994
IEEE
15 years 5 months ago
1994
IEEE
Due to the complexity of today's systems, prototyping by simulation must be based on simulation-engine-like performance. It is proved by implementations that compiler-driven ...
100
click to vote
CONCUR
1998
Springer
15 years 5 months ago
1998
Springer
Abstract. We summarize and reorganize some of the last decade's research on real-time extensions of temporal logic. Our main focus is on tableau constructions for model checki...
109
click to vote
EWSN
2010
Springer
15 years 10 months ago
2010
Springer
Abstract. Harsh deployment environments and uncertain run-time conditions create numerous challenges for postmortem time reconstruction methods. For example, motes often reboot and...