SIAMAM
2010
13 years 3 months ago
2010
We consider systems of hyperbolic balance laws governing flows of an arbitrary number of components equipped with general equations of state. The components are assumed to be immi...
DM
2010
13 years 5 months ago
2010
A general (rectangular) partition is a partition of a rectangle into an arbitrary number of non-overlapping subrectangles. This paper examines vertex colorings using four colors o...
SNPD
2003
13 years 6 months ago
2003
This paper deals with the problem of estimating multiple motions at points where these motions are overlaid. We present a new approach that is based on block matching and can deal...
MCU
2007
13 years 6 months ago
2007
We discuss the power of networks of evolutionary processors where only two types of nodes are allowed. We prove that (up to an intersection with a monoid) every recursively enumer...
FSTTCS
2000
Springer
13 years 8 months ago
2000
Springer
Abstract. This paper presents the first formal verification of the RicartAgrawala algorithm [RA81] for distributed mutual exclusion of an arbitrary number of nodes. It uses the Tem...
GECCO
1999
Springer
13 years 9 months ago
1999
Springer
This paper presents a study of parallel genetic algorithms (GAs) with multiple populations (also called demes or islands). The study makes explicit the relation between the probab...
IFM
2005
Springer
13 years 10 months ago
2005
Springer
We present an embedding of the stable failures model of CSP in the PVS theorem prover. Our work, extending a previous embedding of the traces model of CSP in [6], provides a platfo...
ISCAS
2007
IEEE
13 years 11 months ago
2007
IEEE
— A method is presented to synthesize wideband linear-phase FIR filters with a piecewise-polynomial-sinusoidal impulse response. The proposed method is based on merging the earl...
APSEC
2008
IEEE
13 years 11 months ago
2008
IEEE
Computer Aided Software Engineering tools represent one the main successes of software engineering in the past decades. They however need to be improved along several dimensions i...
IAT
2009
IEEE
13 years 11 months ago
2009
IEEE
—We present a security system consisting of an arbitrary number of entries, sensors and agents. The intelligent integrated system is based on user modeling, i.e. models of their ...