Sciweavers

5898 search results - page 477 / 1180
» Parallel Computing Environments and Methods
Sort
View
139
Voted
CONCUR
1999
Springer
15 years 9 months ago
Robust Satisfaction
In order to check whether an open system satisfies a desired property, we need to check the behavior of the system with respect to an arbitrary environment. In the most general se...
Orna Kupferman, Moshe Y. Vardi
144
Voted
CCGRID
2004
IEEE
15 years 8 months ago
OGSI.NET: OGSI-compliance on the .NET framework
: The Open Grid Service Infrastructure (OGSI) has been designed to facilitate the creation of multiple, interoperable Grid Service hosting environments, but to date only one fully ...
Glenn S. Wasson, Norm Beekwilder, Mark M. Morgan, ...
CVPR
2004
IEEE
16 years 7 months ago
Atlanta World: An Expectation Maximization Framework for Simultaneous Low-Level Edge Grouping and Camera Calibration in Complex
Edges in man-made environments, grouped according to vanishing point directions, provide single-view constraints that have been exploited before as a precursor to both scene under...
Grant Schindler, Frank Dellaert
AINA
2008
IEEE
15 years 11 months ago
Dynamic Cache Invalidation Scheme in IR-Based Wireless Environments
Traditional cache invalidation schemes are not suitable to be employed in wireless environments due to the affections of mobility, energy consumption, and limited bandwidth. Cache ...
Yeim-Kuan Chang, Yi-Wei Ting, Tai-Hong Lin
WCNC
2008
IEEE
15 years 11 months ago
Proportional Fair Scheduling: Analytical Insight under Rayleigh Fading Environment
—This paper provides analytical expressions to evaluate the performance of a random access wireless network in terms of user throughput and network throughput, subject to the con...
Erwu Liu, Kin K. Leung