9284 search results - page 469 / 1857 » Knowledge State Algorithms |
164
click to vote
VTC
2008
IEEE
16 years 1 months ago
2008
IEEE
—Many different types of modern wired and wireless communication links can be mathematically described as discretebert channels. In this extended abstract, we present an exact me...
182
click to vote
SPIN
2005
Springer
16 years 1 months ago
2005
Springer
Embedded software verification is an important verification problem that requires the ability to reason about the timed semantics of concurrent behaviors at a low level of atomic...
188
Voted
SCAM
2003
IEEE
16 years 25 days ago
2003
IEEE
Many static analyses aim at assigning to each control point of a program an invariant property that characterizes any state of a trace corresponding to this point. The choice of t...
209
click to vote
IJCAI
2007
15 years 9 months ago
2007
Testing embedded software systems on the control units of vehicles is a safety-relevant task, and developing the test suites for performing the tests on test benches is time-consu...
160
click to vote
CONEXT
2009
ACM
15 years 8 months ago
2009
ACM
This paper presents and experimentally evaluates a new algorithm for efficient one-hop link-state routing in full-mesh networks. Prior techniques for this setting scale poorly, as...