4075 search results - page 418 / 815 » Modeling Distributed Algorithm Using B |
238
Voted
ISORC
2002
IEEE
16 years 13 days ago
2002
IEEE
Object-oriented, concurrent, and event-based programming models provide a natural framework in which to express the behavior of distributed and embedded software systems. However,...
192
click to vote
GPCE
2009
Springer
16 years 4 days ago
2009
Springer
The indirection of object accesses is a common theme for target domains as diverse as transparent distribution, persistence, and program instrumentation. Virtualizing accesses to ...
192
Voted
ICML
2008
IEEE
16 years 8 months ago
2008
IEEE
We present a principled Bayesian framework for modeling partial memberships of data points to clusters. Unlike a standard mixture model which assumes that each data point belongs ...
201
Voted
ICCD
2001
IEEE
16 years 4 months ago
2001
IEEE
We present a simulation-based semi-formal verification method for sequential circuits described at the registertransfer level. The method consists of an iterative loop where cove...
207
click to vote
ICPR
2004
IEEE
16 years 8 months ago
2004
IEEE
lass Recognition using Images of Abstract Regions Yi Li, Jeff A. Bilmes, and Linda G. Shapiro Department of Computer Science and Engineering Department of Electrical Engineering Un...