527 search results - page 97 / 106 » Towards a Hybrid Dynamic Logic for Hybrid Dynamic Systems |
IAJIT
2008
14 years 9 months ago
2008
: A Mobile Ad Hoc Network (MANET) represents a system of wireless mobile nodes that can freely and dynamically self-organize into arbitrary and temporary network topologies without...
DAGSTUHL
2011
13 years 9 months ago
2011
Scientists and engineers are making increasingly use of hp-adaptive discretization methods to compute simulations. While techniques for isocontouring the high-order data generated...
ISMB
1994
14 years 10 months ago
1994
A new version of the GRAIL system (Uberbacher and Mural, 1991; Mural et al., 1992; Uberbacher et al., 1993), called GRAILII, has recently been developed (Xu et al., 1994). GRAILII...
76
Voted
ASPLOS
2010
ACM
15 years 4 months ago
2010
ACM
The behavior of a multithreaded program does not depend only on its inputs. Scheduling, memory reordering, timing, and low-level hardware effects all introduce nondeterminism in t...
113
click to vote
SECPERU
2006
IEEE
15 years 3 months ago
2006
IEEE
Ad hoc routing protocols have been designed to efficiently reroute traffic when confronted with network congestion, faulty nodes, and dynamically changing topologies. The common d...