4075 search results - page 548 / 815 » Modeling Distributed Algorithm Using B |
204
click to vote
ICCAD
2006
IEEE
16 years 3 months ago
2006
IEEE
— This paper presents a robust quadratic placement approach, which offers both high-quality placements and excellent computational efficiency. The additional force which distrib...
183
click to vote
HT
2004
ACM
16 years 2 days ago
2004
ACM
In this paper, we describe Chrysant, a hypertext version control system for embedded link models. Chrysant provides generalpurpose versioning capability to hypertext systems with ...
177
click to vote
KBSE
2005
IEEE
16 years 7 days ago
2005
IEEE
The Nix software deployment system is based on the paradigm of transparent source/binary deployment: distributors deploy descriptors that build components from source, while clien...
185
click to vote
GCC
2007
Springer
16 years 25 days ago
2007
Springer
The Message Passing Interface (MPI) is a standard in parallel computing, and can also be used as a highperformance programming model for Grid application development. How to execu...
207
click to vote
SUTC
2006
IEEE
16 years 20 days ago
2006
IEEE
Design aspects and software modelling for ubiquitous real-time camera system are described in this paper. We propose system architecture using a network of inexpensive cameras and...