2153 search results - page 388 / 431 » From Requirements Models to Formal Specifications in B |
TPDS
1998
13 years 9 months ago
1998
—Array redistribution is usually required to enhance algorithm performance in many parallel programs on distributed memory multicomputers. Since it is performed at run-time, ther...
IEEECIT
2010
IEEE
13 years 8 months ago
2010
IEEE
—Peer-to-peer computing, involving the participation of thousands of general purpose, public computers, has established itself as a viable paradigm for executing looselycoupled, ...
TMM
2010
13 years 4 months ago
2010
We develop an analytical framework to investigate the impacts of network dynamics on the user perceived video quality. Our investigation stands from the end user's perspective...
SIGDOC
2005
ACM
14 years 3 months ago
2005
ACM
The creation process of technical documentation is an expensive and time-consuming task especially for complex products. To make this process more cost-efficient computerized supp...
ASPLOS
1991
ACM
14 years 1 months ago
1991
ACM
Access/execute architectures have several advantages over more traditional architectures. Because address generation and memory access are decoupled from operand use, memory laten...