Results
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISORC ![In: 4th International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2001), 2-4 May 2001, Magdeburg, Germany, pp. 366-, 2001, IEEE Computer Society, 0-7695-1089-2. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
23 | K. H. Kim |
Lifting the Level of Abstraction Dealt with in Programming of Networked Embedded Computing Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEUS ![In: Software Technologies for Embedded and Ubiquitous Systems, 7th IFIP WG 10.2 International Workshop, SEUS 2009, Newport Beach, CA, USA, November 16-18, 2009, Proceedings, pp. 365-376, 2009, Springer, 978-3-642-10264-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTAI ![In: 14th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2002), 4-6 November 2002, Washington, DC, USA, pp. 165-172, 2002, IEEE Computer Society, 0-7695-1849-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TASE ![In: International Symposium on Theoretical Aspects of Software Engineering, TASE 2020, Hangzhou, China, December 11-13, 2020, pp. 57-64, 2020, IEEE, 978-1-7281-4086-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TASE ![In: 2019 International Symposium on Theoretical Aspects of Software Engineering, TASE 2019, Guilin, China, July 29-31, 2019, pp. 1-8, 2019, IEEE, 978-1-7281-3342-3. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
16 | Ziran Shen, Si Chen, Yi Li |
Study on Improved GMP Fault-tolerant Strategy Based on Time Trigger. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSAE ![In: The 2nd International Conference on Computer Science and Application Engineering, CSAE 2018, Hohhot, China, October 22-24, 2018, pp. 156:1-156:5, 2018, ACM, 978-1-4503-6512-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TASE ![In: 2018 International Symposium on Theoretical Aspects of Software Engineering, TASE 2018, Guangzhou, China, August 29-31, 2018, pp. 150-155, 2018, IEEE Computer Society, 978-1-5386-7305-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1311.4007, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
12 | Ho-Joon Park, Chang-Hoon Lee |
An Efficient Real-Time Middleware Scheduling Algorithm for Periodic Real-Time Tasks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AIS ![In: Artificial Intelligence and Simulation, 13th International Conference on AI, Simulation, and Planning in High Autonomy Systems, AIS 2004, Jeju Island, Korea, October 4-6, 2004, Revised Selected Papers, pp. 304-312, 2004, Springer, 3-540-24476-X. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #9 of 9 (100 per page; Change: )
|