Search Sciweavers | Sciweavers

1040 search results - page 15 / 208

» Resource Usage Verification

102

click to vote

JCM
2007

105views more JCM 2007»

A Flexible Wavelength Converter Placement Scheme for Guaranteed Wavelength Usage

14 years 11 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

14 years 12 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

15 years 1 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

14 years 11 months ago