• No results found

real-time complex systems

Verification of Complex Real-time Systems using Rewriting Logic

Verification of Complex Real-time Systems using Rewriting Logic

... transition, time ) upto the location of the ...analyze real- time ...the real-time properties to be verified are ex- pressed as timed automata to be composed with the system timed ...

20

Real-Time Embedded Systems [2015].pdf

Real-Time Embedded Systems [2015].pdf

... The lowest abstraction level is the object level, where each component is composed of many role parts to be played by objects. A component can be passive in the sense that the contained objects execute only in response ...

654

Real Time Understanding of Complex Discriminative Scene Descriptions

Real Time Understanding of Complex Discriminative Scene Descriptions

... eventual real-time operation using incre- mental ASR results, so that in the future it can be incorporated into a real-time interactive dialogue ...interactive systems (Skantze and ...

10

AN ANALYSIS OF DISTRIBUTED REAL TIME SYSTEMS: AN OVERVIEW

AN ANALYSIS OF DISTRIBUTED REAL TIME SYSTEMS: AN OVERVIEW

... distributed real-time systems (DRS) must handle aperiodic and periodic events under diverse sets of ...A real time distributed computing has heterogeneously networked computers to solve ...

9

Integrated Real-time Systems

Integrated Real-time Systems

... and systems, temporal constraint consideration for CPU is ...integrated real-time systems, strict temporal isolation and temporal containment for all the resources should be ...integrated ...

38

A Configurable Hardware Scheduler for Real-Time Systems

A Configurable Hardware Scheduler for Real-Time Systems

... processor time wasted by the scheduler and by interrupt ...and time-tick processing by thousands of assembly instructions (execut- ing in tens of thousands of clock cycles if there are cache misses) for a ...

7

Real-time Linux in Control Applications Area

Real-time Linux in Control Applications Area

... of real-time systems, with implementation choices such as hardware interfaces, control algorithms and control software, could become a rather complex ...embedded real-time ...

58

Testing real time requirements for integrated systems

Testing real time requirements for integrated systems

... The top node is called DSL and is the root. The root node has left and right children. The children on the left represent one or more devices. The devices have one or more APIs which are written in a certain programming ...

106

LivePhantom: retrieving virtual world light data to real environments

LivePhantom: retrieving virtual world light data to real environments

... on real and virtual objects is one of the topics of research being conducted in this ...creating complex AR indoor scenes using real time depth detection to exert virtual shadows on virtual ...

19

SSD Weather Channel Oct. S/W Development Team Memory Division SAMSUNG ELECTRONICS Co., LTD

SSD Weather Channel Oct. S/W Development Team Memory Division SAMSUNG ELECTRONICS Co., LTD

... Huge & complex data sets, impossible to process on traditional DBMS Big data analytics will need real-time distributed storage systems.. Bottlenecks in Big Data Processing[r] ...

18

Java Based Real Time Programming - Free Computer, Programming, Mathematics, Technical Books, Lecture Notes and Tutorials

Java Based Real Time Programming - Free Computer, Programming, Mathematics, Technical Books, Lecture Notes and Tutorials

... In this chapter we have reviewed the properties of software execution, as ex- pressed in the source code. The issues we are about to study are about software development, assuming that the underlying (virtual) machine ...

128

A Review of Priority Assignment in Real-Time Systems

A Review of Priority Assignment in Real-Time Systems

... for real-time systems using fixed priority ...of real-time scheduling with more complex models and schedulability analysis techniques developed to better represent and analyse ...

24

A Survey of Contemporary Real-time Operating Systems

A Survey of Contemporary Real-time Operating Systems

... waiting time on a semaphore based on the number of requesters, time spent in the critical region, and the execution times of requesting and releasing a ...the time each task may hold a lock, which ...

8

Compositional Model Checking of Real Time Systems

Compositional Model Checking of Real Time Systems

... extended state h s, u i , where s is a state of S and u is a time assignment for K . Informally, ∃∃ ϕ holds in an extended state if there is a delay transition leading to an extended state satisfying ϕ. Thus ∃∃ ...

23

Adaptive Real Time Intrusion Detection Systems

Adaptive Real Time Intrusion Detection Systems

... Providing performance guarantee (assurance) should be the key requirement of IDSs, and security products in general. Critical attacks should be given more priority when the IDS cannot keep up with the traffic. In this ...

69

Real Time Scheduling in Cyber Physical Systems

Real Time Scheduling in Cyber Physical Systems

... for real-time ...physical systems are tightly coupled, we need to consider physical space (location, movement, ...storage systems, ...for real-time ...Slack Time First for ...

10

Data logging and monitoring for real time systems

Data logging and monitoring for real time systems

... There has been chosen not to use OPC. If OPC is used, a feasibility study must be performed first. A feasibility study for using OPC with real-time devices is an assignment by itself. To use and test OPC an ...

56

A Framework for Real-time Analysis in OLAP Systems

A Framework for Real-time Analysis in OLAP Systems

... New data from the OLTP system is merged periodically with the DW. As the fact table becomes larger over time, merging new tuples and rebuilding indexes become increasingly expensive. For this reason, new data from ...

107

INTERNET-BASED COLLABORATIVE PROGRAMMING TECHNIQUES AND ENVIRONMENTS

INTERNET-BASED COLLABORATIVE PROGRAMMING TECHNIQUES AND ENVIRONMENTS

... all totally preceding operations have been executed [78], or optimistically execut- ing operations upon their arrival or generation without regard to their ordering, but using a repairing technique such as undo/redo to ...

275

Real-time systems for moving objects detection and tracking using pixel difference method.

Real-time systems for moving objects detection and tracking using pixel difference method.

... For several decades, animals in motion have long been the subject o f study for zoologists and have drawn much attention to computer vision researchers for automatic tracking and animations. Recently, automatic marker ...

81

Show all 10000 documents...

Related subjects