1541 search results - page 233 / 309 » Tools and Techniques for Model Checking Networked Programs |
102
click to vote
SLIP
2009
ACM
15 years 7 months ago
2009
ACM
This paper proposes an efficient method to predict the worst case of voltage violation by multi-domain clock gating in a three-dimensional (3D) on-chip power network considering l...
139
click to vote
NDSS
2003
IEEE
15 years 5 months ago
2003
IEEE
Security is a major, frequent concern in extensible software systems such as Java Virtual Machines and the Common Language Runtime. These systems aim to enable simple, classic app...
98
Voted
DSN
2002
IEEE
15 years 5 months ago
2002
IEEE
A virtual duplex system (VDS) can be used to increase safety without the use of structural redundancy on a single machine. If a deterministic program P is calculating a given func...
137
click to vote
JMLR
2012
13 years 3 months ago
2012
The expectation maximization (EM) algorithm is a popular algorithm for parameter estimation in models with hidden variables. However, the algorithm has several non-trivial limitat...
145
Voted
COOPIS
2002
IEEE
15 years 5 months ago
2002
IEEE
Rapid advances in networking, hardware, and middleware technologies are facilitating the development and deployment of complex grid applications, such as large-scale distributed co...