MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for authors named "Nicolas Halbwachs" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 24 documents found, showing 1 through 10. Next 10 →
ATOM RSS
  • Synchronous Programming of Reactive Systems - A Tutorial and Commented Bibliography  
  • by Nicolas Halbwachs — 1998 — In Tenth International Conference on Computer-Aided Verification, CAV’98, Vancouver (B.C.), LNCS 1427
  • … to describe them as sets of concurrent processes. Cases (2) and (3) must be distinguished. In the later case, concurrency is nothing but a description facility; we call it logical concurrency. Generally, it has nothing to do with physical concurrency involved in case (2), and is not submitted to th…
  • Cited by 13 (0 self) – Add To MetaCart
  • A Tutorial Of Lustre  
  • by Nicolas Halbwachs, Pascal RAYMOND — 2001
  • …This document is an introduction to the language Lustre V4 and its associated tools. We will not give a systematic presentation of the language, but a complete bibliography is added. The basic references are [8, 12]. The most recent features (arrays, recursive nodes) are described in [32]…
  • Cited by 5 (0 self) – Add To MetaCart
  • Automatic Discovery of Linear Restraints Among Variables of a Program  
  • by Patrick Cousot, Nicolas Halbwachs — 1978
  • …The model of abstract interpretation of programs developed by Cousot and Cousot [2nd ISOP, 1976], Cousot and Cousot [POPL 1977] and Cousot [PhD thesis 1978] is applied to the static determination of linear equality or inequality invariant relations among numerical variables of programs.…
  • Cited by 371 (30 self) – Add To MetaCart
  • POLLUX: A LUSTRE based hardware design environment  
  • by Frédéric Rocheteau, Imag-lgi Grenoble, Nicolas Halbwachs — 1994
  • …This paper presents a high-level hardware design environment called Pollux. A design description is written with the Lustre data-flow language, and used by the different Pollux tools to produce the corresponding synchronous circuit or, for example, a simulation program, that can be compiled and e…
  • Add To MetaCart
  • Combining widening and acceleration in linear relation analysis  
  • by Laure Gonnord, Nicolas Halbwachs, Grenoble France — 2006 — In SAS
  • …Abstract. Linear Relation Analysis [CH78,Hal79] is one of the first, but still one of the most powerful, abstract interpretations working in an infinite lattice. As such, it makes use of a widening operator to enforce the convergence of fixpoint computations. While the approximation due to widening …
  • Cited by 2 (0 self) – Add To MetaCart
  • Dynamic Partitioning in Analyses of Numerical Properties  
  • by Bertrand Jeannet, Nicolas Halbwachs, Pascal Raymond — 1999 — In SAS
  • …. We apply linear relation analysis [CH78,HPR97] to the verification of declarative synchronous programs [Hal98]. In this approach, state partitioning plays an important role: on one hand the precision of the results highly depends on the fineness of the partitioning; on the other hand, a too mu…
  • Cited by 18 (4 self) – Add To MetaCart
  • From Discrete Duration Calculus to Symbolic Automata  
  • by Laure Gonnord, Nicolas Halbwachs, Pascal Raymond — 2004
  • …The goal of this paper is to translate (fragments of) the quantified discrete duration calculus QDDC, proposed by P. Pandya, into symbolic acceptors with counters. Acceptors are written in the synchronous programming language Lustre, in order to allow available symbolic verification tools (model-che…
  • Cited by 2 (0 self) – Add To MetaCart
Help! Showing 1 through 10. Next 10 →
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB