Convergence analysis of a colocated finite volume scheme for the incompressible Navier–Stokes equations on general 2D or 3D meshes

R Eymard, R Herbin, JC Latché - SIAM Journal on Numerical Analysis, 2007 - SIAM
We study a colocated cell-centered finite volume method for the approximation of the
incompressible Navier–Stokes equations posed on a 2D or 3D finite domain. The discrete …

Performance evaluation at the software architecture level

S Balsamo, M Bernardo, M Simeoni - … School on Formal Methods for the …, 2003 - Springer
When tackling the construction of a software system, at the software architecture design level
there are two main issues related to the system performance. First, the designer may need to …

Component-based programming of distributed applications

V Issarny, L Bellissard, M Riveill, A Zarras - Advances in Distributed …, 2002 - Springer
The software architecture research domain arose in the early 90s and seeks solutions for
easing the development of large, complex, software systems based on the abstract …

Software architecture and dependability

V Issarny, A Zarras - International School on Formal Methods for the …, 2003 - Springer
Dependable systems are characterized by a number of attributes including: reliability,
availability, safety and security. For some attributes (namely for reliability, availability, safety) …

Résolution de l'hétérogénéité des intergiciels d'un environnement ubiquitaire

YD Bromberg - 2006 - theses.hal.science
nombre croissant de dispositifs informatiques par le biais de technologies réseaux sans fil
basées ou non sur des infrastructures (WLAN, Bluetooth, GSM, GPRS, UMTS). Une des …

Mode-oriented hybrid programming of sensor network nodes for supporting rapid and flexible utility assembly

M Xia, K Chi, X Wang, Z Cheng - Computer Networks, 2019 - Elsevier
A number of utility programs (utilities for short) have been developed to fulfill application
requirements and to assist user operations such as deployment validation and fault …

Un modèle de contrôle d'accès générique et sa réalisation dans la mémoire virtuelle répartie unique Arias

CD Jensen - 1999 - theses.hal.science
Un système à mémoire virtuelle répartie unique permet l'utilisation des adresses virtuelles
comme identificateurs globaux uniques. Il faut donc séparer la résolution des adresses et le …

[PDF][PDF] Principy programovacích jazyků a objektově orientovaného programování IPP–I

D Kolář - Vysoké Učení Technické v Brně, Fakulta Informačních …, 2006 - pub.eyim.net
Programovací jazyky stojí mezi programátorem a počítačem, tedy mezi člověkem a strojem.
Tak, jako lidé mezi sebou komunikují prostřednictvím jazyků, které mají svá pravidla, taje i …

Defining open software architectures for customized remote execution of web agents

V Issarny, T Saridakis - Autonomous Agents and Multi-Agent Systems, 1999 - Springer
Agent-based solutions promise to ameliorate Web services, by promoting the modular
construction of Web servers, relieving the network from transferring useless data, supporting …

[PDF][PDF] Principy programovacích jazyků a objektově orientovaného programování Studijní opora IPP–III

D Kolář - pub.eyim.net
Programovací jazyky vnímáme často jako text, který slouží k popisu algoritmu, který se má
vykonat s tím, že přesně specifikujeme co a jak se má provádět, abychom dosáhli kýženého …