278 search results - page 47 / 56 » Self-stabilizing Numerical Iterative Computation |
66
Voted
INFOCOM
2007
IEEE
15 years 3 months ago
2007
IEEE
— We consider a collocated wireless network where all links contend for a given channel and each link can hear others’ transmissions. Due to channel fading, the link condition ...
QSIC
2007
IEEE
15 years 3 months ago
2007
IEEE
Wireless sensor network (WSN) applications sense events in-situ and compute results in-network. Their software components should run on platforms with stringent constraints on nod...
SIGCSE
2006
ACM
15 years 3 months ago
2006
ACM
New accreditation requirements focus on education as a “continuous improvement process.” The most important part of such a process is that information gets fed back into the s...
APPROX
2006
Springer
15 years 1 months ago
2006
Springer
Abstract. The Kaczmarz method for solving linear systems of equations Ax = b is an iterative algorithm that has found many applications ranging from computer tomography to digital ...
CDC
2008
IEEE
14 years 11 months ago
2008
IEEE
In this paper, we develop an automated framework for formal verification of timed continuous Petri nets (contPN). Specifically, we consider two problems: (1) given an initial set o...