Search results for "time-trigger"

Found 9 publication records. Showing 9 according to the selection in the facets

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
26	Hye-Sook Yoon, Hyuk Han, Young-Kuk Kim, Sung-Il Jin	Developing a Triggering System for Real-Time Databases in Distributed Environment.	ISORC	2001	DBLP DOI BibTeX RDF
23	K. H. Kim	Lifting the Level of Abstraction Dealt with in Programming of Networked Embedded Computing Systems.	SEUS	2009	DBLP DOI BibTeX RDF	networked embedded computing, real time, distributed computing, object, TMO, timeliness, time-trigger, message-trigger, guarantee
23	K. H. Kim	A TMO Based Approach to Structuring Real-Time Agents.	ICTAI	2002	DBLP DOI BibTeX RDF	software engineering, mobile, real-time, agent, object, structuring, protection, TMO, timeliness, time-trigger
16	Chenyang Zhu 0001, Michael J. Butler, Corina Cîrstea	Real-Time Trigger-Response Properties for Event-B Applied to the Pacemaker.	TASE	2020	DBLP DOI BibTeX RDF
16	Chenyang Zhu 0001, Michael J. Butler, Corina Cîrstea	Towards Refinement Semantics of Real-Time Trigger-Response Properties in Event-B.	TASE	2019	DBLP DOI BibTeX RDF
16	Ziran Shen, Si Chen, Yi Li	Study on Improved GMP Fault-tolerant Strategy Based on Time Trigger.	CSAE	2018	DBLP DOI BibTeX RDF
16	Chenyang Zhu 0001, Michael J. Butler, Corina Cîrstea	Semantics of Real-Time Trigger-Response Properties in Event-B.	TASE	2018	DBLP DOI BibTeX RDF
16	Roberto Ammendola, Andrea Biagioni, Ottorino Frezza, G. Lamanna, Alessandro Lonardo, Francesca Lo Cicero, Pier Stanislao Paolucci, F. Pantaleo, Davide Rossetti, Francesco Simula, M. Sozzi, Laura Tosoratto, Piero Vicini	NaNet: a flexible and configurable low-latency NIC for real-time trigger systems based on GPUs.	CoRR	2013	DBLP BibTeX RDF
12	Ho-Joon Park, Chang-Hoon Lee	An Efficient Real-Time Middleware Scheduling Algorithm for Periodic Real-Time Tasks.	AIS	2004	DBLP DOI BibTeX RDF

Displaying result #1 - #9 of 9 (100 per page; Change: )