sign in · help · news · about ·

BibSonomy :: author :: Masson ::

tag user group author concept BibTeX key search:all

The blue social bookmark and publication sharing system.

>
|
<

bookmarks

bookmarks per page: 5 10 20 50 100

RSS BibTeX RDF more

publications

(273)

<< < 1 | 2 | 3 > >>

Certification Trails and Software Design for Testability.
Gregory F. Sullivan, Dwight S. Wilson, and Gerald M. Masson ITC, page 200-209. IEEE Computer Society, (1993)
to dblp by dblp on Feb 8, 2012, 12:00 AM
URL | BibTeX
CECM: Constrained evidential C-means algorithm.
V. Antoine, Benjamin Quost, Marie-Hélène Masson, and Thierry Denoeux Computational Statistics & Data Analysis 56(4):894-914 (2012)
to dblp by dblp on Feb 6, 2012, 12:00 AM
URL | BibTeX
Redundant core testing on the cell BE microprocessor.
David Iverson, Dan Dickinson, John Masson, Christina Newman-LaBounty, Daniel Simmons, and William Tanona ITC, page 68-73. IEEE, (2010)
to dblp by dblp on Feb 6, 2012, 12:00 AM
URL | BibTeX
Almost certain diagnosis for intermittently faulty systems.
Douglas M. Blough, Gregory F. Sullivan, and Gerald M. Masson FTCS, page 260-265. IEEE Computer Society, (1988)
to dblp by dblp on Feb 4, 2012, 12:00 AM
URL | BibTeX
Editorial.
Arnaud Martin, and Marie-Hélène Masson Int. J. Approx. Reasoning 53(2):117 (2012)
to dblp by dblp on Feb 2, 2012, 12:00 AM
URL | BibTeX
Using certification trails to achieve software fault tolerance.
Gregory F. Sullivan, and Gerald M. Masson FTCS, page 423-431. IEEE Computer Society, (1990)
to dblp by dblp on Jan 31, 2012, 12:00 AM
URL | BibTeX
A Library of Analog Operators Based on the Hodgkin-Huxley Formalism for the Design of Tunable, Real-Time, Silicon Neurons.
Sylvain Saïghi, Yannick Bornat, Jean Tomas, Gwendal Le Masson, and Sylvie Renaud IEEE Trans. Biomed. Circuits and Systems 5(1):3-19 (2011)
to dblp by dblp on Jan 24, 2012, 12:00 AM
URL | BibTeX
Fault diagnosis for sparsely interconnected multiprocessor systems.
Douglas M. Blough, Gregory F. Sullivan, and Gerald M. Masson FTCS, page 62-69. IEEE Computer Society, (1989)
to dblp by dblp on Jan 23, 2012, 12:00 AM
URL | BibTeX
A processing work-flow for measuring erythrocytes velocity in extended vascular networks from wide field high-resolution optical imaging data.
Thomas Deneux, Sylvain Takerkart, Amiram Grinvald, Guillaume S. Masson, and Ivo Vanzetta NeuroImage 59(3):2569-2588 (2012)
to dblp by dblp on Jan 13, 2012, 12:00 AM
URL | BibTeX
Checking the Integrity of Trees.
Jonathan D. Bright, Gregory F. Sullivan, and Gerald M. Masson FTCS, page 402-411. IEEE Computer Society, (1995)
to dblp by dblp on Dec 23, 2011, 12:00 AM
URL | BibTeX
Certitication Trails for Data Structures.
Gregory F. Sullivan, and Gerald M. Masson FTCS, page 240-247. IEEE Computer Society, (1991)
to dblp by dblp on Dec 23, 2011, 12:00 AM
URL | BibTeX
Slack-Time Computation for Temporal Robustness in Embedded Systems.
Serge Midonnet, Damien Masson, and R. Lassalle Embedded Systems Letters 2(4):119-122 (2010)
to dblp by dblp on Dec 5, 2011, 12:00 AM
URL | BibTeX
Properties of Pseudo-Primitive Words and their Applications
Lila Kari, Benoît Masson, and Shinnosuke Seki CoRR (2010)
to dblp by dblp on Dec 5, 2011, 12:00 AM
URL | BibTeX
Polynomial cases of the Discretizable Molecular Distance Geometry Problem
Leo Liberti, Carlile Lavor, Benoît Masson, and Antonio Mucherino CoRR (2011)
to dblp by dblp on Dec 5, 2011, 12:00 AM
URL | BibTeX
Polyominoes Simulating Arbitrary-Neighborhood Zippers and Tilings
Lila Kari, and Benoît Masson CoRR (2010)
to dblp by dblp on Dec 5, 2011, 12:00 AM
URL | BibTeX
On the number of solutions of the discretizable molecular distance geometry problem
Leo Liberti, Benoît Masson, Jon Lee, Carlile Lavor, and Antonio Mucherino CoRR (2010)
to dblp by dblp on Dec 5, 2011, 12:00 AM
URL | BibTeX
A compact topology for sand automata
Alberto Dennunzio, Pierre Guillon, and Benoît Masson CoRR (2008)
to dblp by dblp on Dec 5, 2011, 12:00 AM
URL | BibTeX
PLTL Partitioned Model Checking for Reactive Systems under Fairness Assumptions
Samir Chouali, Jacques Julliand, Pierre-Alain Masson, and Françoise Bellegarde CoRR (2006)
to dblp by dblp on Dec 5, 2011, 12:00 AM
URL | BibTeX
Syntactic Abstraction of B Models to Generate Tests
Jacques Julliand, Nicolas Stouls, Pierre-Christophe Bué, and Pierre-Alain Masson CoRR (2010)
to dblp by dblp and 1 other user on Dec 5, 2011, 12:00 AM
URL | BibTeX
On computing fixed points for generalized sandpiles
Enrico Formenti, and Benoît Masson CoRR (2004)
to dblp by dblp on Dec 5, 2011, 12:00 AM
URL | BibTeX

<< < 1 | 2 | 3 > >>publications per page: 5 10 20 50 100