Zobrazeno 1 - 8
of 8
pro vyhledávání: '"Cuong K. Chau"'
Publikováno v:
Electronic Proceedings in Theoretical Computer Science, Vol 192, Iss Proc. ACL2 2015, Pp 35-51 (2015)
We formalize some basic properties of Fourier series in the logic of ACL2(r), which is a variant of ACL2 that supports reasoning about the real and complex numbers by way of non-standard analysis. More specifically, we extend a framework for formally
Externí odkaz:
https://doaj.org/article/6c3aa0fb812e4232ba2ff88a396d50c7
Publikováno v:
ASYNC
Self-timed circuits can be modeled in a link-joint style using a formally defined hardware description language. It has previously been shown how functional properties of these models can be formally verified with the ACL2 theorem prover using a scal
Publikováno v:
ASYNC
This paper presents a methodology for formally verifying the functional correctness of self-timed circuits whose data flows are free of feedback loops. In particular, we formalize the relationship between their input and output sequences. We use the
Autor:
Xiaoyu Song, Cuong K. Chau, Chris Chen, Swetha Mettala Gilla, Warren A. Hunt, Marly Roncken, Yong Hei, Anping He, Hoon Park, Hong Chen, Ivan E. Sutherland
Publikováno v:
ACSSC
Self-timed systems divide nicely into two kinds of components: communication links that transport and store data, and computation joints that apply logic to data. We treat these two types of self-timed components as equally important. Putting communi
Publikováno v:
Hardware and Software: Verification and Testing ISBN: 9783319703886
Haifa Verification Conference
Haifa Verification Conference
Formal verification of asynchronous circuits is known to be challenging due to highly non-deterministic behavior exhibited in these systems. One of the main challenges is that it is very difficult to come up with a systematic approach to establishing
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::b99d7a869c5d6ed67d5be3da88efbf53
https://doi.org/10.1007/978-3-319-70389-3_1
https://doi.org/10.1007/978-3-319-70389-3_1
Publikováno v:
Electronic Proceedings in Theoretical Computer Science. 192:1-2
Publikováno v:
Intelligent Systems Reference Library ISBN: 9783642231650
Named entities often occur in web pages, in particular news articles, and are important to what the web pages are about. They have ontological features, namely, their aliases, types, and identifiers, which are hidden from their textual appearance. In
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::508362e3529fcb1faf0a83f449b59152
https://doi.org/10.1007/978-3-642-23166-7_10
https://doi.org/10.1007/978-3-642-23166-7_10
Publikováno v:
RIVF
The content of a text is mainly defined by keywords and named entities occurring in it. In particular for news articles, named entities are usually important to define their semantics. However, named entities have ontological features, namely, their