854 search results - page 125 / 171 » Addressing Dynamic Issues of Program Model Checking |
103
Voted
INFOCOM
2007
IEEE
15 years 8 months ago
2007
IEEE
—This paper addresses the dynamics of broadcast flooding in random wireless ad hoc networks. In particular, we study the subset of nodes covered by a flood as well as timing is...
114
click to vote
JNCA
2007
15 years 2 months ago
2007
Developing applications and deploying services for mobile users raises a number of issues and challenges that must be successfully addressed before the era of truly ubiquitous com...
131
click to vote
PPPJ
2003
ACM
15 years 7 months ago
2003
ACM
The Java system supports the transmission of code via dynamic class loading, and the transmission or storage of data via object serialization. However, Java does not provide any m...
138
Voted
INFOCOM
2002
IEEE
15 years 7 months ago
2002
IEEE
—Open Shortest Path First (OSPF) is a popular protocol for routing within an autonomous system (AS) domain. In order to scale for large networks containing hundreds and thousands...
143
click to vote
MICRO
2010
IEEE
15 years 23 days ago
2010
IEEE
SARC merges cache controller and network interface functions by relying on a single hardware primitive: each access checks the tag and the state of the addressed line for possible...