Sciweavers

4987 search results - page 947 / 998
» Support Ordered Resolution
Sort
View
ICDCS
2010
IEEE
15 years 7 months ago
Deployment of a Reinforcement Backbone Network with Constraints of Connection and Resources
In recent years, we have seen a surge of interest in enabling communications over meshed wireless networks. Particularly, supporting peer-to-peer communications over a multi-hop w...
Peng Wei, Shan Chu, Xin Wang, Yu Zhou
161
Voted
FMCAD
2000
Springer
15 years 7 months ago
SAT-Based Image Computation with Application in Reachability Analysis
Image computation nds wide application in VLSI CAD, such as state reachability analysis in formal veri cation and synthesis, combinational veri cation, combinational and sequential...
Aarti Gupta, Zijiang Yang, Pranav Ashar, Anubhav G...
LCR
2000
Springer
148views System Software» more  LCR 2000»
15 years 7 months ago
InterWeave: A Middleware System for Distributed Shared State
Abstract. As an alternative to message passing, Rochester's InterWeave system allows the programmer to map shared segments into programs spread across heterogeneous, distribut...
DeQing Chen, Sandhya Dwarkadas, Srinivasan Parthas...
117
Voted
DAI
1995
Springer
15 years 7 months ago
A Formal View of Social Dependence Networks
In response to the problems that have arisen regarding the terminology and concepts of agent-oriented systems, previous work has described a formal framework for understanding agen...
Mark d'Inverno, Michael Luck
HICSS
1995
IEEE
90views Biometrics» more  HICSS 1995»
15 years 7 months ago
Connection management without retaining information
Managing a connection between two hosts in a network is an important service to provide in order to make the network useful for many applications. The two main subproblems are the...
Hagit Attiya, Shlomi Dolev, Jennifer L. Welch