2468 search results - page 399 / 494 » On Model Checking Techniques for Randomized Distributed Syst... |
113
Voted
BIRTHDAY
2003
Springer
15 years 8 months ago
2003
Springer
In this paper it is explained what Knowledge Management (KM) is and why it will play an important role in the future. This implies that KM is indeed more than just the sophisticate...
129
Voted
HOTOS
2009
IEEE
15 years 7 months ago
2009
IEEE
In this paper, we propose FLUXO, a system that separates an Internet service's logical functionality from the architectural decisions made to support performance, scalability...
239
click to vote
POPL
2009
ACM
16 years 4 months ago
2009
ACM
We study modular, automatic code generation from hierarchical block diagrams with synchronous semantics. Such diagrams are the fundamental model behind widespread tools in the emb...
137
Voted
SOSP
2005
ACM
16 years 12 days ago
2005
ACM
We present a method for automatically extracting from a running system an indexable signature that distills the essential characteristic from a system state and that can be subjec...
155
Voted
CODES
2010
IEEE
15 years 1 months ago
2010
IEEE
The impact of process variation in state of the art technology makes traditional (worst case) designs unnecessarily pessimistic, which translates to suboptimal designs in terms of...