Sciweavers

87 search results - page 15 / 18
» Code Stabilization
Sort
View
HPCS
2007
IEEE
14 years 1 months ago
Nonlinear Simulation of Thermo-viscous Fingering in Miscible Displacements in Porous Media
The nonlinear simulation of interfacial instabilities in miscible displacements in porous media often requires sophisticated numerical algorithms as well as very fine spatial and ...
M. N. Islam, B. B. Maini, J. Azaiez
EUROMICRO
2000
IEEE
13 years 11 months ago
Concurrent Control Systems: From Grafcet to VHDL
The Automated Production Systems (APS) are composed of concurrent interacting entities. Then any model should exhibit parallel and sequential behaviours. The Grafcet is now well e...
Frédéric Mallet, Daniel Gaffé...
POS
1998
Springer
13 years 11 months ago
Optimizing the Read and Write Barriers for Orthogonal Persistence
Persistent programming languages manage volatile memory as a cache for stable storage, imposing a read barrier on operations that access the cache, and a write barrier on updates ...
Antony L. Hosking, Nathaniel Nystrom, Quintin I. C...
CSCLP
2008
Springer
13 years 9 months ago
From Rules to Constraint Programs with the Rules2CP Modelling Language
In this paper, we present a rule-based modelling language for constraint programming, called Rules2CP. Unlike other modelling languages, Rules2CP adopts a single knowledge represen...
François Fages, Julien Martin
COMGEO
2007
ACM
13 years 7 months ago
A package for exact kinetic data structures and sweepline algorithms
In this paper we present a package for implementing exact kinetic data structures built on objects which move along polynomial trajectories. We discuss how the package design was ...
Daniel Russel, Menelaos I. Karavelas, Leonidas J. ...