Search Sciweavers | Sciweavers

1040 search results - page 15 / 208

» Resource Usage Verification

click to vote

JCM
2007

105views more JCM 2007»

A Flexible Wavelength Converter Placement Scheme for Guaranteed Wavelength Usage

13 years 9 months ago

Download www.academypublisher.com

Abstract— Wavelength is one of the most important resources in Wavelength Division Multiplexing(WDM) networks. In optical routing, we are given a set of communication paths (or l...

Can Fang, Chor Ping Low

claim paper

Read More »

click to vote

CORR
2010
Springer

103views Education» more CORR 2010»

Efficient Resource Matching in Heterogeneous Grid Using Resource Vector

13 years 9 months ago

Download airccse.org

In this paper, a method for efficient scheduling to obtain optimum job throughput in a distributed campus grid environment is presented; Traditional job schedulers determine job s...

Srirangam V. Addepallil, Per Andersen, George L. B...

claim paper

Read More »

click to vote

APLAS
2008
ACM

137views Programming Languages» more APLAS 2008»

Reasoning about Java's Reentrant Locks

13 years 11 months ago

Download www-sop.inria.fr

This paper presents a verification technique for a concurrent Java-like language with reentrant locks. The verification technique is based on permissionaccounting separation logic....

Christian Haack, Marieke Huisman, Clément H...

claim paper

Read More »

click to vote

FMSD
2008

49views more FMSD 2008»

Verification of parametric concurrent systems with prioritised FIFO resource management

13 years 9 months ago