Filters








3,708 Hits in 5.9 sec

Object-based semantic real-time concurrency control with bounded imprecision

L.C. DiPippo, V.F. Wolfe
1997 IEEE Transactions on Knowledge and Data Engineering  
Index terms: bounded imprecision real-time object-oriented databases, semantic concurrency control  ...  This paper describes a concurrency control technique for real-time object-oriented databases that supports logical consistency and temporal consistency, a s w ell as bounded imprecision that results from  ...  Our technique di ers from most previous real-time concurrency control work 9 and the semantic concurrency control work in 2, 5 , 6 because it is based on an object-oriented data model.  ... 
doi:10.1109/69.567056 fatcat:lg3fdw7rgzeq7aotrxkhvjjgqq

The RTSORAC Real-Time Object-Oriented Database Prototype [chapter]

V. Wolfe, J. Prichard, L. DiPippo, J. Black
1997 Real-Time Database Systems  
This chapter presents a real-time object-oriented data model called RTSORAC Real-Time Semantic Objects Relationships And Constraints that incorporates time-constrained data and time-constrained transactions  ...  of real-time databases with the support for complex data provided by the object-oriented model.  ...  We believe that real-time object-oriented database systems can be e ective for many applications that involve management of complex, real-time data.  ... 
doi:10.1007/978-1-4615-6161-3_16 fatcat:mou45gdbmvglro6dpiaqau7ebm

A UML package for specifying real-time objects

Lisa Cingiser DiPippo, Lynn Ma
2000 Computer Standards & Interfaces  
The constructs in the package are based on the objects of the RTSORAC (Real-Time Semantic Objects Relationships And Constraints) model.  ...  This paper presents a UML package for specifying real-time objects called RT-Object.  ...  This could introduce imprecision into the attributes, and the concurrency control should provide a mechanism for bounding it. A UML Package for Real-Time Objects.  ... 
doi:10.1016/s0920-5489(00)00059-3 fatcat:5eawmy4xevaczoioq5xhnd7o64

Page 668 of IEEE Transactions on Computers Vol. 52, Issue 5 [page]

2003 IEEE Transactions on Computers  
Mok, “Real-Time Data Semantics and Similarity-Based Concurrency Control,” IEEE Trans. Computers vol. 49, no. 11, pp 1241-1254, Nov. 2000 [16] T.-W. Kuo and A.K.  ...  Son, “Concurrency Control in Real-Time Databases by Dynamic Adjustment of Serialization Order,” Proc IEEE 11th Real-Time Systems Symp., Dec. 1990 KU +>  ... 

A Soft Real-Time Concurrent Graphics Platform

André Ferreira Bem Silva, Felipe Borges Alves, Olinto José Varela Furtado
2010 2010 Brazilian Symposium on Games and Digital Entertainment  
It also provides basic concurrent programming structures and real-time support by some functions which changes real-time exception handling.  ...  This article describes a language and framework that aims to ease soft real-time and concurrent programming for games.  ...  The Ronin engine uses an octree based clipping and culling algorithm with a BSP collision detection, promoting real-time complex structures support and optimized rendering for real-time graphics [Akenine-Möller  ... 
doi:10.1109/sbgames.2010.12 dblp:conf/sbgames/SilvaAF10 fatcat:wv5267xha5efpo52jsvhbdhhpi

Temporal and real-time databases: a survey

G. Ozsoyoglu, R.T. Snodgrass
1995 IEEE Transactions on Knowledge and Data Engineering  
First we characterize the time domain; then we investigate temporal and real-time data models. We evaluate temporal and real-time query languages along several dimensions.  ...  A temporal database contains time-varying data. In a real-time database transactions have deadlines or timing constraints.  ...  Concurrency Control Techniques with Serializability.  ... 
doi:10.1109/69.404027 fatcat:5ao5knajt5g6pbwv7s3wvm65sm

A similarity-based protocol for concurrency control in mobile distributed real-time database systems [chapter]

Kam-yiu Lam, Tei-Wei Kuo, Gary C. K. Law, Wai-Hung Tsang
1999 Lecture Notes in Computer Science  
With possibly lengthy transmission delay and frequent disconnection, traditional concurrency control mechanisms may become very costly and time-consuming in mobile distributed real-time database systems  ...  Research in the concurrency control of real-time data access over mobile networks is receiving growing attention.  ...  The priority inheritance mechanism is mixed with semantics-based concurrency control mechanisms to boost the performance of the proposed locking protocol for data access over a mobile network.  ... 
doi:10.1007/bfb0097915 fatcat:frf6lqpkpjawhkcv4zhhvgmh5a

Towards an industrial use of sound static analysis for the verification of concurrent embedded avionics software

Antoine Miné, David Delmas
2015 2015 International Conference on Embedded Software (EMSOFT)  
: it is scalable and reports soundly all run-time errors with few false positives.  ...  This article discusses the requirements for sound static analysis of concurrent embedded software at Airbus and presents AstréeA, an extension of Astrée with the potential to address these requirements  ...  Such applications run on a single mono-core processor, on top of commodity real-time operating systems, implementing a preemptive, priority-based, real-time scheduling policy, e.g. the ARINC 653 [2]  ... 
doi:10.1109/emsoft.2015.7318261 dblp:conf/emsoft/MineD15 fatcat:gduz3ancrjadlhlfxyepmxdypu

Schedulability and performance analysis of the similarity stack protocol

Tei-Wei Kuo, A.K. Mok
2003 IEEE transactions on computers  
Mok, “Real-Time Data Semantics and Similarity-Based Concurrency Control,” IEEE Trans. Computers vol. 49, no. 11, pp 1241-1254, Nov. 2000 [16] T.-W. Kuo and A.K.  ...  Mok, “SSP: A Semantics-Based Protocol for Real-Time Data Access,” Proc. IEEE 14th Real-Time Systems Symp Dec. 1993 [17] H.F. Korth, N. Soparkar, and A.  ... 
doi:10.1109/tc.2003.1197131 fatcat:spf5j6vqijfyzhsx2t7jdkxmai

Quasi-consistency and Caching with Broadcast Disks [chapter]

Rashmi Srinivasa, Sang H. Son
2001 Lecture Notes in Computer Science  
Broadcast methods for queries in [3, 17] do not consider real-time constraints.  ...  . 3. delay: based on time by which cache copy lags behind central copy.  ...  At time 20 when Q 1 reads Y, the lower bound becomes 16 (last update time of Y), as Q 1 must be ordered after U 4 . Since the lower bound > the upper bound, Q 1 is aborted.  ... 
doi:10.1007/3-540-44498-x_11 fatcat:npjr4nad2bacpi6zl7wk7eyq4i

Real-MFG: A Petri Net based model focusing on the integration of schedulability and fault tolerance [chapter]

Vasilis C. Gerogiannis, Achilles D. Kameas, Panayotis E. Pintelas
1997 Reliability, Quality and Safety of Software-Intensive Systems  
Developing real-time software controlled systems for safety critical applications and verifying that they meet functional, fault tolerance and timing requirements are inherently complex processes.  ...  The model addresses fault tolerance requirements by including the promising imprecise computation paradigm in its semantics.  ...  REAL-TIME MULTI FLOW GRAPH Real-MFG is a process-based synchronisation model defined as a high-level Timed PN.  ... 
doi:10.1007/978-0-387-35097-4_21 fatcat:pcv5ydbh5vc3pevdfpcieb5enu

A framework to model real-time databases [article]

Nizar Idoudi , Bruno Sadeg
2010 arXiv   pre-print
Real-time databases deal with time-constrained data and time-constrained transactions.  ...  Then, we present a framework for real-time database design and describe its fundamental operations.  ...  To handle this essential property of realtime database systems, we associate to each real-time object a local concurrency control mechanism, named local controller, which manages the concurrent execution  ... 
arXiv:1001.1276v1 fatcat:pgyhkalpwbbjppf2z2sprip2cy

Distributed, object-oriented, active, real-time DBMSS: we want it all - do we need them (at) all?

Alejandro P. Buchmann, Christoph Liebig
2001 Annual Reviews in Control  
In this paper real-time databases, active databases, and distributed object systems are analyzed together with some of the basic assumptions underlying previous work in these core technologies.  ...  and distributed object systems.  ...  In addition to the predictability and concurrency control issues addressed above, real-time applications have special recovery needs.  ... 
doi:10.1016/s1367-5788(01)00014-1 fatcat:cba6qyiy55cr5by342mci7jux4

The Semantic Layers of Timber [chapter]

Magnus Carlsson, Johan Nordlander, Dick Kieburtz
2003 Lecture Notes in Computer Science  
direct and succinct semantics of a complex, real-world programming language with well-defined real-time behavior.  ...  We present a three-layered semantics of Timber, a language designed for programming real-time systems in a reactive, object-oriented style.  ...  The combination of object-based concurrency, asynchronous reactivity, and purely functional declarativeness is challenging in itself, but we believe it is the existence of a real-time dimension that makes  ... 
doi:10.1007/978-3-540-40018-9_22 fatcat:wjtiptfdjjeplpmzmlc5j3u6tu

Distributed, Object-Oriented, Active, Real-Time DBMSS: We Want It All - Do We Need Them (At) All?

Alejandro P. Buchmann, Christoph Liebig
1999 IFAC Proceedings Volumes  
In this paper real-time databases, active databases, and distributed object systems are analyzed together with some of the basic assumptions underlying previous work in these core technologies.  ...  and distributed object systems.  ...  In addition to the predictability and concurrency control issues addressed above, real-time applications have special recovery needs.  ... 
doi:10.1016/s1474-6670(17)39959-7 fatcat:vwvjrpajsravtpqbiyio33hdfe
« Previous Showing results 1 — 15 out of 3,708 results