real-time system verification
FACE COMPONENT BASED REAL-TIME PERSONAL VERIFICATION SYSTEM
... face verification, face identification, face classification and so ...facial verification system is a computer application for automatically verifying a person from a static digital image or video ...
9
Integration of multidisciplinary technologies for real time target visualization and verification for radiotherapy
... since the physical resolution in each slice (x–y plane in Figure 3A) of the CT images was different to the distance between each slice (z axis in Figure 3A), an interpolation algorithm was proposed to make sure the three ...
8
Verification of Complex Real-time Systems using Rewriting Logic
... In this paper we have defined an equivalence re- lation based on strong bi-simulation [ 24 ] , which is used by our algorithm to generate the quo- tient graph. Each edge in the timed automaton represents a discrete ...
20
Formal Specification and Verification of Real-Time Systems using Graph Grammars
... a system, they stress the rep- resentation of the control structure, lacking a comprehen- sive representation of data structure and its distribution within a ...a real-time ...for ...
18
Verification of Real Time Pricing Systems Based on Probabilistic Boolean Networks
... On the other hand, in order to deal with complex systems such as power systems and gene regulatory networks, it is one of the appropriate methods to approximate a com- plex system by a discrete abstract model ...
15
FORMAL VERIFICATION OF REAL TIME DISTRIBUTED SYSTEMS USING B METHOD
... distributed system and shows how to verify functional and real time ...the system was not an easy ...overall system was described and the overall behavior of the system was ...
10
A Survey of Timing Verification Techniques for Multi-Core Real-Time Systems
... release time at which tasks start executing must be known or at least approximated a ...operating system enforces the scenarios as analysed, or (ii) the analysis is repeated for all potential execution ...
47
Improving Compositional Verification of State based Models by Reducing Modular Unbalance
... complexity by careful selection of the way the system is partitioned. It should be noted that the method and con- clusions showed in this paper are not limited to any model in particular and can be applied to many ...
7
Real Time Face Recognition System for Time and Attendance Application
... Many biometric systems are available but the key authentications are same is all the technologies. Every biometric system consists of enrolment process in which unique features of a person is stored in the ...
9
Using Prior Knowledge for Verification and Elimination of Stationary and Variable Objects in Real-time Images
... 10 features for machine learning. Finally, SVM classifier has been trained and optimized using the HOG features from positive (i.e., oil palm trees) and negative samples (i.e., objects other than oil palm trees) [22]. An ...
97
Modular Design and Verification of Distributed Adaptive Real-Time Systems Based on Refinements and Abstractions
... a system level design language and a framework for HW/SW ...of system designs on various levels of ...valued time model with arbitrary time ...simulation time, the event notification, ...
12
Development and verification of a real time stochastic precipitation nowcasting system for urban hydrology in Belgium
... Figure 4 illustrates the multiplicative bias of the 0–30 min nowcast averaged over each of the four events. A detailed interpretation of such forecast biases using Australian radar data and their connection to orographic ...
23
Real Time Dynamic Signature Verification
... authorization system is developed. ‘Real Time Dynamic Signature Verification’ is the system discussed in this ...signature verification system as a means of identity ...
6
Safety Verification of Rate-Monotonic Least-Splitting Real-Time Scheduler on Multiprocessor System
... whole system as compared to either of partitioned and global scheduling, for both fixed-priority and dynamic ...a time-consuming task which is computationally equivalent to bin-packing problem that is known ...
10
REAL TIME INTRUDER SURVEILLANCE SYSTEM
... “An Economical GSM/GPRS based wireless home security system” [2] this paper uses Zigbee and Beagle board for monitoring in real time security which will alert when ablaze and trespassing. It uses ...
5
Compactly Hiding Linear Spans: Tightly Secure Constant-Size Simulation-Sound QA-NIZK Proofs and Applications
... the real prover computes a pseudo-signature σ (without knowing the signing key) on the verification key of a one-time sig- nature and uses the real witnesses to prove that F is a perfectly ...
47
Real Time Ambulatory Monitoring System
... The Internet of Things (IoT) is basically a cloud of interconnected devices where thing refers to the physical entity it could be a microcontroller or sensor or could be an actuator. Technology plays a major role in not ...
7
Real-time Snowboard Training System
... Due to spatial separation on the slope, a snowboarding instructor oftentimes cannot talk to students when they perform exercises incorrectly. Delayed feedback on how to correct and to improve incorrect movements might ...
6
Real-time Position Management System
... Once it is determined how the tumor moves in relation to the waveform, gating thresholds can be set along the waveform to mark when the tumor is in the desired portion of the respiratory cycle. These thresholds determine ...
8
A Real-Time Insulin Injection System
... the system for patients. In our system, the collected historical data is automatically transferred to an online server for processing without external intervention (beyond initial ...
8