Sciweavers

2477 search results - page 350 / 496
» Approximate extended formulations
Sort
View
JLP
2007
95views more  JLP 2007»
15 years 4 months ago
Model checking a cache coherence protocol of a Java DSM implementation
Jackal is a fine-grained distributed shared memory implementation of the Java programming language. It aims to implement Java’s memory model and allows multithreaded Java progr...
Jun Pang, Wan Fokkink, Rutger F. H. Hofman, Ronald...
TSE
2008
92views more  TSE 2008»
15 years 4 months ago
Metrics for Measuring the Quality of Modularization of Large-Scale Object-Oriented Software
The metrics formulated to date for characterizing the modularization quality of object-oriented software have considered module and class to be synonymous concepts. But, a typical ...
Santonu Sarkar, Avinash C. Kak, Girish Maskeri Ram...
AI
2004
Springer
15 years 4 months ago
Hierarchical model-based diagnosis based on structural abstraction
al Abstraction Luca Chittaro and Roberto Ranon Department of Mathematics and Computer Science, University of Udine, via delle Scienze 206, 33100 Udine, Italy ion has been advocat...
Luca Chittaro, Roberto Ranon
JSAC
2007
121views more  JSAC 2007»
15 years 4 months ago
Spare Capacity Allocation in Two-Layer Networks
Abstract— In this paper we consider the problem of provisioning spare capacity in two-layer backbone networks using shared backup path protection. First, two spare capacity alloc...
Yu Liu, David Tipper, K. Vajanapoom
JSCIC
2007
85views more  JSCIC 2007»
15 years 4 months ago
On Boundary Condition Capturing for Multiphase Interfaces
This paper begins with an overview of the boundary condition capturing approach to solving problems with interfaces. Although, the authors’ original motivation was to extend the...
Jeong-Mo Hong, Tamar Shinar, Myungjoo Kang, Ronald...