2748 search results - page 351 / 550 » Generating Object-Z Specifications from Use Cases |
143
click to vote
PC
2007
15 years 3 months ago
2007
Abstract. In this paper, we focus on MPI collective algorithm selection process and explore the applicability of the quadtree encoding method to this problem. During the algorithm ...
129
click to vote
CASES
2003
ACM
15 years 9 months ago
2003
ACM
Software thread integration (STI) is a compilation technique which enables the efficient use of an application’s fine-grain idle time on generic processors without special hardw...
128
click to vote
WMI
2001
15 years 5 months ago
2001
Middleware layers placed between user clients and application servers have been used to perform a variety of functions to support the vision of nomadic computing across varying pla...
138
click to vote
PE
2008
Springer
15 years 4 months ago
2008
Springer
In this paper we consider the problem of sending data in real time from information sources to sets of receivers, using peer-to-peer communications. We consider several models of ...
136
click to vote
ACMDIS
2000
ACM
15 years 8 months ago
2000
ACM
In real world development environments where deadlines are fixed, a designer must craft a process that works with the team and within the constraints of a project. The traditional...