- case-insensitive prefix search: default
e.g., sig matches "SIGIR" as well as "signal"
- exact word search: append dollar sign ($) to word
e.g., graph$ matches "graph", but not "graphics"
- boolean and: separate words by space
e.g., codd model
- boolean or: connect words by pipe symbol (|)
Update May 7, 2017: Please note that we had to disable the phrase search operator (.) and the boolean not operator (-) due to technical problems. For the time being, phrase search queries will yield regular prefix search result, and search terms preceded by a minus will be interpreted as regular (positive) search terms.
found 9 matches
- Yue Ma, Jean-Pierre Talpin, Thierry Gautier:
Interpretation of AADL Behavior Annex into Synchronous Formalism Using SSA. CIT 2010: 2361-2366
- Jean-Pierre Talpin, Julien Ouy, Thierry Gautier, Loïc Besnard, Alexandre Cortier:
Modular Interpretation of Heterogeneous Modeling Diagrams into Synchronous Equations Using Static Single Assignment. ACSD 2010: 137-146
- Karine Altisen, Matthieu Moy:
ac2lus: Bringing SMT-Solving and Abstract Interpretation Techniques to Real-Time Calculus through the Synchronous Language Lustre. ECRTS 2010: 207-216
- HongZhe Jin, JangMyung Lee:
An RMRAC Current Regulator for Permanent-Magnet Synchronous Motor Based on Statistical Model Interpretation. IEEE Trans. Ind. Electron. 56(1): 169-177 (2009)
- Julien Bertrane:
Static Analysis by Abstract Interpretation of the Quasi-synchronous Composition of Synchronous Programs. VMCAI 2005: 97-112
- Nicolas Halbwachs:
About Synchronous Programming and Abstract Interpretation. Sci. Comput. Program. 31(1): 75-89 (1998)
- Manoranjan Satpathy, Dang Van Hung, Paritosh K. Pandya:
Some Decidability Results for Duration Calculus under Synchronous Interpretation. FTRTFT 1998: 186-197
- Nicolas Halbwachs:
About Synchronous Programming and Abstract Interpretation. SAS 1994: 179-192
- Miklós Bartha:
Interpretations of Synchronous Flowchart Schemes. FCT 1989: 25-34
loading more results
failed to load more results, please try again later
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.