A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2003; you can also visit the original URL.
The file type is application/pdf.
Filters
Object-based semantic real-time concurrency control with bounded imprecision
1997
IEEE Transactions on Knowledge and Data Engineering
Preserved Fulltext
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]
1997
Real-Time Database Systems
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2003; you can also visit the original URL.
The file type is application/pdf.
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
2000
Computer Standards & Interfaces
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2005; you can also visit the original URL.
The file type is application/pdf.
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
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
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
2010
2010 Brazilian Symposium on Games and Digital Entertainment
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
1995
IEEE Transactions on Knowledge and Data Engineering
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2010; you can also visit the original URL.
The file type is application/pdf.
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]
1999
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2004; you can also visit the original URL.
The file type is application/pdf.
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
2015
2015 International Conference on Embedded Software (EMSOFT)
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
: 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
2003
IEEE transactions on computers
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
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]
2001
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2008; you can also visit the original URL.
The file type is application/pdf.
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]
1997
Reliability, Quality and Safety of Software-Intensive Systems
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
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]
2010
arXiv
pre-print
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
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?
2001
Annual Reviews in Control
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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]
2003
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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?
1999
IFAC Proceedings Volumes
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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