Sciweavers

5588 search results - page 835 / 1118
» Parallel Implementation of Bags
Sort
View
JALC
2006
95views more  JALC 2006»
15 years 6 months ago
On the Decidability of Model-Checking for P Systems
Membrane computing is a branch of molecular computing that aims to develop models and paradigms that are biologically motivated. It identifies an unconventional computing model, n...
Zhe Dang, Oscar H. Ibarra, Cheng Li, Gaoyan Xie
JOT
2008
92views more  JOT 2008»
15 years 6 months ago
A Matching Approach for Object-Oriented Formal Specifications
Software merging is needed at different stages of software development to combine the artifacts created or modified by the parallel work of the different developers involved in th...
Fathi Taibi, Fouad Mohammed Abbou, Md. Jahangir Al...
NA
2006
75views more  NA 2006»
15 years 6 months ago
Least-squares spectral collocation with the overlapping Schwarz method for the incompressible Navier-Stokes equations
A least-squares spectral collocation scheme is combined with the overlapping Schwarz method. The methods are succesfully applied to the incompressible Navier-Stokes equations. The...
Wilhelm Heinrichs
IAJIT
2007
89views more  IAJIT 2007»
15 years 6 months ago
SD-SQL Server: Scalable Distributed Database System
We present a scalable distributed database system called SD-SQL Server. Its original feature is the dynamic and transparent repartitioning of growing tables, avoiding the cumbersom...
Soror Sahri
IJAIT
2007
69views more  IJAIT 2007»
15 years 6 months ago
A Psychogenetic Algorithm for Behavioral Sequence Learning
: This work presents an original algorithmic model of some essential features of psychogenetic theory, as was proposed by J.Piaget. Specifically, we modeled some elements of cognit...
Vittorio Maniezzo, Matteo Roffilli