Inicio  /  IEEE SOFTWARE  /  Vol: 20 Núm: 4 Par: 0 (2003)  /  Artículo
ARTÍCULO
TITULO

Making Software Timing Properties Easier to Inspect and Verify

Xu    
J.    

Resumen

No disponible

 Artículos similares

       
 
Cristina Torrecillas, Andres Payo, Manuel Cobos, Helen Burke, Dave Morgan, Helen Smith and Gareth Owen Jenkins    
This study represents the first attempt to map the sediment thickness spatial distribution along the Andalusian coastal zone by integrating various publicly available datasets. While prior studies have presented bedform- and sediment-type syntheses, none... ver más

 
Somayeh Emami and Hossein Dehghanisanij    
The recent problems of Lake Urmia (LU) are caused by extensive and complex socio-ecological factors that require a comprehensive approach to consider the relationships between users and identify failure factors at the basin level. For this purpose, an ag... ver más
Revista: Water

 
German Francisco Barreto-Parra, Brandon Cortés-Caicedo and Oscar Danilo Montoya    
This paper proposes an interconnection of the MATLAB and GAMS software interfaces, which were designed based on a master-slave methodology, to solve the mixed-integer nonlinear programming (MINLP) model problem associated with the problem regarding the o... ver más
Revista: Algorithms

 
Mohammad Alqadi, Ala Al Dwairi, Pablo Merchán-Rivera and Gabriele Chiogna    
This article aims to present the structure and the workflow of a new software DeMa (Decision Support Software and Database for Wellfield Management), to support wellfield managers in their decision-making processes. There is a recognized need to improve ... ver más
Revista: Water

 
Dmitry Lukyanenko    
The paper proposes a parallel algorithm for solving large overdetermined systems of linear algebraic equations with a dense matrix. This algorithm is based on the use of a modification of the conjugate gradient method, which is able to take into account ... ver más
Revista: Algorithms