Results 81 to 90 of about 133,374 (215)
On the Complexity of Nonrecursive XQuery and Functional Query Languages on Complex Values
, 2005 This paper studies the complexity of evaluating functional query languages for complex values such as monad algebra and the recursion-free fragment of XQuery.
Koch, Christoph
core +5 more sources
Constructing Test Suites for Real-Time Embedded Systems Under Input Timing Constraints
IEEE Access, 2019 Testing of real-time embedded systems (RTESs) under input timing constraints is a critical issue. Models which can specify timing constraints have respective merits and demerits and test suites which can cover more input possibilities and detect more ...
Yunlong Sheng, Shouda Jiang, Changan Wei
doaj +1 more source
Feedback computability on Cantor space
, 2019 We introduce the notion of feedback computable functions from $2^\omega$ to $2^\omega$, extending feedback Turing computation in analogy with the standard notion of computability for functions from $2^\omega$ to $2^\omega$. We then show that the feedback
Ackerman, Nathanael L. +2 more
core +1 more source
HIGH-SPEED MULTIPLIER DESIGN BASED ON AN OPTIMIZED PARALLEL PREFIX TREE ARCHITECTURE
International Journal of Advances in Signal and Image SciencesMultiplication is a fundamental arithmetic operation, central to the performance of arithmetic and logic units (ALUs) in nearly all electronic systems. As such, the design and optimization of multipliers play a crucial role in improving the efficiency of
D. V. N. Bharathi, Y Varthamanan
doaj +1 more source
Model Based Safety Analysis with smartIflow †
Information, 2017 Verification of safety requirements is one important task during the development of safety critical systems. The increasing complexity of systems makes manual analysis almost impossible.
Philipp Hönig +2 more
doaj +1 more source
Syntax-driven program verification of matching logic properties
, 2015 We describe a novel approach to program verification and its application to verification of C programs, where properties are expressed in matching logic.
Bianculli, D +4 more
core +1 more source
Pemodelan dan Verifikasi Formal Protokol EE-OLSR dengan UPPAAL CORA
IJCCS (Indonesian Journal of Computing and Cybernetics Systems), 2016 Information and Communication Technology systems is a most important part of society. These systems are becoming more and more complex and are massively encroaching on daily life via the Internet and all kinds of embedded systems.
Rachmat Wahid Saleh Insani +1 more
doaj +1 more source
Study on formal modeling and verification of safety computer platform
Advances in Mechanical Engineering, 2016 With the development of automatic control and communication technology, communication-based train control system is adopted by more and more urban mass transit system to automatically supervise the train speed to follow a desired trajectory.
Xi Wang, Lianchuan Ma, Tao Tang
doaj +1 more source
Using boolean circuits for the parallel computation of queries
Journal of Computer Science and Technology, 2001 We present partial results of a research project in which we use boolean circuits as a parallel computation model for the expression of queries to relational databases.
Edilma Olinda Gagliardi +3 more
doaj
A clausal resolution method for extended computation tree logic ECTL [PDF]
, 2004 A. Bolotov
openalex +1 more source