35419 search results - page 6847 / 7084 » How are we doing |
165
click to vote
FM
2009
Springer
15 years 2 months ago
2009
Springer
Abstract. Explicit state methods have proven useful in verifying safetycritical systems containing concurrent processes that run asynchronously and communicate. Such methods consis...
156
click to vote
ICCAD
2009
IEEE
15 years 2 months ago
2009
IEEE
In a behavioral synthesis system, a typical approach used to guide the scheduler is to impose hard constraints on the relative timing between operations considering performance, a...
167
click to vote
ICDCS
2009
IEEE
15 years 2 months ago
2009
IEEE
The email volume per mailbox has largely remained low and unchanged in the past several decades, and hence mail server performance has largely remained a secondary issue. The stee...
176
Voted
ICRA
2009
IEEE
15 years 2 months ago
2009
IEEE
In Simultaneous Localisation and Mapping (SLAM), it is well known that probabilistic filtering approaches which aim to estimate the robot and map state sequentially suffer from poo...
176
click to vote
ICWSM
2009
15 years 2 months ago
2009
This paper presents a stochastic graph based method for recommending or selecting a small subset of blogs that best represents a much larger set. within a certain topic. Each blog...