Zobrazeno 1 - 10
of 178
pro vyhledávání: '"Abstraction inversion"'
Autor:
Ji Haibo, Yang Kaihong
Publikováno v:
Asian Journal of Control. 18:2172-2179
In this paper, the problem of hierarchical control for a class of linear systems is addressed. Given a large-scale linear system, we obtain a stabilizing feedback gain for it from that of an abstract system. And then, we employ this feedback gain to
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::3121021a31858026dd7ef8da9005ae74
https://doi.org/10.1002/asjc.1309
https://doi.org/10.1002/asjc.1309
Predicate abstraction is a powerful technique to reduce the state space of a program to a finite and affordable number of states. It produces a conservative over-approximation where concrete states are grouped together according to a given set of pre
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::378916182fe8b62580debe23e1272c57
http://doc.rero.ch/record/312185/files/10009_2011_Article_185.pdf
http://doc.rero.ch/record/312185/files/10009_2011_Article_185.pdf
Publikováno v:
International Journal of Computer Integrated Manufacturing. 29:821-838
Mid-surface abstraction is an effective simplification method for thin-wall models. A mid-surface model after abstraction can reduce the complexity of finite element analysis greatly. There are some methods for mid-surface abstraction. However, they
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::346bd195c3b7b481e37d3f422162031a
https://doi.org/10.1080/0951192x.2015.1068455
https://doi.org/10.1080/0951192x.2015.1068455
Publikováno v:
International Journal on Software Tools for Technology Transfer. 18:109-120
We propose a novel approach for generating test cases of software that includes mathematical functions, such as trigonometric functions, logarithmic functions, functions implemented as look-up tables with non-linear interpolation, and so on. A satisf
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::fda6209c81fb57df3bf9c0266b9d25df
https://doi.org/10.1007/s10009-015-0389-7
https://doi.org/10.1007/s10009-015-0389-7
Publikováno v:
SEM4HPC@HPDC
High performance computing applications are far more difficult to write, therefore, practitioners expect a well-tuned software to last long and provide optimized performance even when the hardware is upgraded. It may also be necessary to write softwa
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::d67d7aeb842db40a097f393b69cee1ed
https://doi.org/10.1145/3085158.3086159
https://doi.org/10.1145/3085158.3086159
Publikováno v:
SOAP 2017-International Workshop on the State Of the Art in Java Program Analysis
SOAP 2017-International Workshop on the State Of the Art in Java Program Analysis, Jun 2017, Barcelona, Spain. pp.1-6, ⟨10.1145/3088515.3088516⟩
SOAP@PLDI
SOAP 2017-International Workshop on the State Of the Art in Java Program Analysis, Jun 2017, Barcelona, Spain. pp.1-6, ⟨10.1145/3088515.3088516⟩
SOAP@PLDI
International audience; JavaScript is one of the most widely used programming languages. To understand the behaviors of JavaScript programs and to detect possible errors in them, researchers have developed several static analyzers based on the abstra
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::ab560a20b9581b60aa645704c565fa75
https://inria.hal.science/hal-01648682
https://inria.hal.science/hal-01648682
Autor:
Yoav Blau, David Ginat
Publikováno v:
SIGCSE
The notion of abstraction repeatedly appears, in various ways, at all levels of computer science. It involves the aspects of leaving out details and comprehending concepts and mechanisms. It also involves the aspect of recognizing relationships betwe
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::a6f38f070a848b8b9ce5ca8c34b57015
https://doi.org/10.1145/3017680.3017801
https://doi.org/10.1145/3017680.3017801
We provide a multi-level process execution trace abstraction mechanism.Multi-level abstraction manages delays and interleaving actions.We extend a similarity metric to compare abstracted traces.We provide abstracted traces as an input to process disc
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::f671eb41cfadcd4d2be53587d71a8424
http://hdl.handle.net/2318/1632014
http://hdl.handle.net/2318/1632014
Autor:
Yoonhwan Woo
Publikováno v:
Computer-Aided Design. 47:1-11
ion of mid-surfaces from solid models of thin-walled parts is becoming a useful function for idealizing the solid models for engineering analysis. Various abstraction techniques have been developed and adapted to commercial CAD systems. However, they
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::a0c87f46577b64098258d920b19be2f0
https://doi.org/10.1016/j.cad.2013.08.010
https://doi.org/10.1016/j.cad.2013.08.010
Autor:
Orna Kupferman, Guy Avni
Publikováno v:
Information Processing Letters
ion is a leading technique for coping with large state spaces. Abstraction over-approximates the transitions of the original system or the automaton that models it and may introduce nondeterminism. In applications where determinism is essential, we s
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::2600bc91df4c3168221fc7a3dfade631
https://doi.org/10.1016/j.ipl.2013.09.007
https://doi.org/10.1016/j.ipl.2013.09.007