10674 search results - page 2093 / 2135 » The Virtual Environment - Another Approach |
216
click to vote
WOSP
1998
ACM
15 years 10 months ago
1998
ACM
The POEMS project is creating an environment for end-to-end performance modeling of complex parallel and distributed systems, spanning the domains of application software, runti...
195
click to vote
HASE
1997
IEEE
15 years 10 months ago
1997
IEEE
: The most important aspect of concurrent and distributed computation is the interaction between system components. Integration of components into a system requires some synchroniz...
177
click to vote
TACAS
1998
Springer
15 years 10 months ago
1998
Springer
In this paper, we report on an application of the validation and veri cation tool kit Uppaal in the design and analysis of a prototype gear controller, carried out in a joint proje...
160
click to vote
DAC
1997
ACM
15 years 10 months ago
1997
ACM
: Academic clock routing research results has often had limited impact on industry practice, since such practical considerations as hierarchical buffering, rise-time and overshoot ...
143
click to vote
HICSS
1996
IEEE
15 years 10 months ago
1996
IEEE
Electronic Data Interchange (EDI), an example of an Inter-Organisational System (IOS), has the potential to provide companies with tangible benefits, such as improvements to overa...