Sciweavers

4800 search results - page 568 / 960
» OO Distributed Programming is Not Distributed OO Programming
Sort
View
IJAR
2008
106views more  IJAR 2008»
15 years 6 months ago
Probabilistic logic with independence
This paper investigates probabilistic logics endowed with independence relations. We review propositional probabilistic languages without and with independence. We then consider g...
Fabio Gagliardi Cozman, Cassio Polpo de Campos, Jo...
BIOINFORMATICS
2005
89views more  BIOINFORMATICS 2005»
15 years 6 months ago
Doelan: a solution for quality control monitoring of microarray production
: Doelan is an automated tool to check the quality of produced DNA microarrays. This software is based on the execution of test suites on quality control data to validate batches o...
Laurent Jourdren, Stéphane Le Crom
143
Voted
TPDS
1998
95views more  TPDS 1998»
15 years 6 months ago
Bound Performance Models of Heterogeneous Parallel Processing Systems
- Systems of heterogeneous parallel processing are studied such as arising in parallel programs executed on distributed systems. A lower and an upper bound model are suggested to o...
Simonetta Balsamo, Lorenzo Donatiello, Nico M. van...
146
Voted
SAS
2010
Springer
139views Formal Methods» more  SAS 2010»
15 years 4 months ago
Interprocedural Analysis with Lazy Propagation
We propose lazy propagation as a technique for flow- and context-sensitive interprocedural analysis of programs with objects and first-class functions where transfer functions ma...
Simon Holm Jensen, Anders Møller, Peter Thi...
CAV
2009
Springer
133views Hardware» more  CAV 2009»
16 years 6 months ago
Cardinality Abstraction for Declarative Networking Applications
ity Abstraction for Declarative Networking Applications Juan A. Navarro P?erez, Andrey Rybalchenko, and Atul Singh Max Planck Institute for Software Systems (MPI-SWS) Declarative N...
Andrey Rybalchenko, Atul Singh, Juan Antonio Navar...