Zobrazeno 1 - 10
of 27
pro vyhledávání: '"Titolo, Laura"'
Structured natural languages provide a trade space between ambiguous natural languages that make up most written requirements and mathematical formal specifications such as Linear Temporal Logic. FRETish is a structured natural language for the elici
Externí odkaz:
http://arxiv.org/abs/2201.03641
Autor:
Dutle, Aaron, Muñoz, César, Conrad, Esther, Goodloe, Alwyn, Titolo, Laura, Perez, Ivan, Balachandran, Swee, Giannakopoulou, Dimitra, Mavridou, Anastasia, Pressburger, Thomas
Publikováno v:
EPTCS 329, 2020, pp. 23-30
The Independent Configurable Architecture for Reliable Operations of Unmanned Systems (ICAROUS) is a software architecture incorporating a set of algorithms to enable autonomous operations of unmanned aircraft applications. This paper provides an ove
Externí odkaz:
http://arxiv.org/abs/2012.03745
Test instability in a floating-point program occurs when the control flow of the program diverges from its ideal execution assuming real arithmetic. This phenomenon is caused by the presence of round-off errors that affect the evaluation of arithmeti
Externí odkaz:
http://arxiv.org/abs/2001.02981
Round-off errors arising from the difference between real numbers and their floating-point representation cause the control flow of conditional floating-point statements to deviate from the ideal flow of the real-number computation. This problem, whi
Externí odkaz:
http://arxiv.org/abs/1808.04289
Publikováno v:
EPTCS 173, 2015, pp. 1-15
Hybrid systems, which combine discrete and continuous dynamics, require quality modeling languages to be either described or analyzed. The Concurrent Constraint paradigm (ccp) is an expressive declarative paradigm, characterized by the use of a commo
Externí odkaz:
http://arxiv.org/abs/1501.02030
Concurrent,reactive and hybrid systems require quality modeling languages to be described and analyzed. The Timed Concurrent Constraint Language (tccp) was introduced as a simple but powerful model for reactive systems. In this paper, we present hybr
Externí odkaz:
http://arxiv.org/abs/1412.4550
Publikováno v:
Theory and Practice of Logic Programming 14 (2014) 787-801
Automatic techniques for program verification usually suffer the well-known state explosion problem. Most of the classical approaches are based on browsing the structure of some form of model (which represents the behavior of the program) to check if
Externí odkaz:
http://arxiv.org/abs/1405.3675
This paper presents an ongoing work that is part of a more wide-ranging project whose final scope is to define a method to validate LTL formulas w.r.t. a program written in the timed concurrent constraint language tccp, which is a logic concurrent co
Externí odkaz:
http://arxiv.org/abs/1308.4171
Publikováno v:
Theory and Practice of Logic Programming 2011, 11(4-5): 487-502 (2011)
The Timed Concurrent Constraint Language (tccp in short) is a concurrent logic language based on the simple but powerful concurrent constraint paradigm of Saraswat. In this paradigm, the notion of store-as-value is replaced by the notion of store-as-
Externí odkaz:
http://arxiv.org/abs/1109.1587
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.