4075 search results - page 30 / 815 » Modeling Distributed Algorithm Using B |
101
click to vote
ECLIPSE
2004
ACM
15 years 5 months ago
2004
ACM
This paper describes our effort on developing educational materials on model checking to help foster the adoption of software model checking. We describe the course materials tha...
94
Voted
DAC
2006
ACM
16 years 1 months ago
2006
ACM
In this paper, we propose an adaptive low-power bus encoding algorithm based on weighted code mapping (WCM) and the delayed bus technique. The WCM algorithm transforms an original...
94
Voted
EOR
2006
15 years 13 days ago
2006
This paper presents a new multi-depot combined vehicle and crew scheduling algorithm, and uses it, in conjunction with a heuristic vehicle routing algorithm, to solve the intra-ci...
LCPC
2004
Springer
15 years 5 months ago
2004
Springer
In this paper, we describe our experience in writing parallel numerical algorithms using Hierarchically Tiled Arrays (HTAs). HTAs are classes of objects that encapsulate parallelis...
78
Voted
ICPR
2008
IEEE
16 years 1 months ago
2008
IEEE
A new variational Maximum A Posteriori (MAP) contextual modeling approach is presented that minimizes the product of two ratios: (a) the ratio of the model distribution to the dis...