|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 612 occurrences of 387 keywords
|
|
|
Results
Found 2064 publication records. Showing 2063 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
165 | David P. Anderson, Lawrence H. Landweber |
A grammar-based methodology for protocol specification and implementation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGCOMM ![In: Proceedings of the Ninth Symposium on Data Communications, SIGCOMM 1985, Whistler Moutain, British Columbia, Canada, September 10-12, 1985, pp. 63-70, 1985, ACM, 0-89791-164-4. The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP DOI BibTeX RDF |
|
111 | Guoyin Zhang, Luyuan Chen, Aihong Yao |
Study and Comparison of the RTHAL-Based and ADEOS-Based RTAI Real-time Solutions for Linux. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IMSCCS (2) ![In: Interdisciplinary and Multidisciplinary Research in Computer Science, IEEE CS Proceeding of the First International Multi-Symposium of Computer and Computational Sciences (IMSCCS|06), June 20-24, 2006, Zhejiang University, Hangzhou, China, Vol. 2, pp. 771-775, 2006, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
111 | Mikael Sjödin, Hans Hansson |
Analyzing Multimedia Traffic in Real-Time ATM Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Real Time Technology and Applications Symposium ![In: Proceedings of the Fifth IEEE Real-Time Technology and Applications Symposium, RTAS'99, Vancouver, British Columbia, Canada, June 2-4, 1999, pp. 203-212, 1999, IEEE Computer Society, 0-7695-0194-X. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
105 | Yun Ye, Frank Liu 0001, Min Chen 0024, Yu Cao 0001 |
Variability analysis under layout pattern-dependent rapid-thermal annealing process. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DAC ![In: Proceedings of the 46th Design Automation Conference, DAC 2009, San Francisco, CA, USA, July 26-31, 2009, pp. 551-556, 2009, ACM, 978-1-60558-497-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
dopant activation, layout pattern, rapid-thermal annealing, threshold voltage variation, physical design |
90 | Zhiwei Guan, Shirley Lee, Elisabeth Cuddihy, Judith Ramey |
The validity of the stimulated retrospective think-aloud method as measured by eye tracking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CHI ![In: Proceedings of the 2006 Conference on Human Factors in Computing Systems, CHI 2006, Montréal, Québec, Canada, April 22-27, 2006, pp. 1253-1262, 2006, ACM, 1-59593-372-7. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
retrospective think aloud, reliability, eye tracking, validity, usability research, verbalization |
84 | David P. Anderson |
Automated Protocol Implementation with RTAG. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 14(3), pp. 291-300, 1988. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
automated protocol implementation, RTAG, real-time asynchronous grammars, attribute grammar notation, portable software system, Unix-based automated implementation, protocols, programming language, grammars |
81 | Shu Zhang, Katsushi Kobayashi |
Rtanaly: A System to Detect and Measure IGP Routing Changes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPOM ![In: Operations and Management in IP-Based Networks, 5th IEEE International Workshop on IP Operations and Management, IPOM 2005, Barcelona, Spain, October 26-28, 2005, Proceedings, pp. 162-172, 2005, Springer, 3-540-29356-6. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
77 | Ashish Tiwari 0001 |
RTA 2012 Proceedings Frontmatter. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTA ![In: 23rd International Conference on Rewriting Techniques and Applications (RTA'12) , RTA 2012, May 28 - June 2, 2012, Nagoya, Japan, pp. i-xiii, 2012, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-38-5. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
75 | Jukka Mäki-Turja, Mikael Nolin |
Efficient implementation of tight response-times for tasks with offsets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Real Time Syst. ![In: Real Time Syst. 40(1), pp. 77-116, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Tasks with offsets, Fixed priority scheduling, Response-time analysis |
66 | Jukka Mäki-Turja, Mikael Nolin |
Efficient Response-Time Analysis for Tasks with Offsets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Real-Time and Embedded Technology and Applications Symposium ![In: 10th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS 2004), 25-28 May 2004, Toronto, Canada, pp. 462-471, 2004, IEEE Computer Society, 0-7695-2148-7. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
65 | Jean-Pierre Jouannaud |
Twenty Years Later. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTA ![In: Term Rewriting and Applications, 16th International Conference, RTA 2005, Nara, Japan, April 19-21, 2005, Proceedings, pp. 368-375, 2005, Springer, 3-540-25596-6. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
65 | Takahito Aoto 0001, Toshiyuki Yamada |
Dependency Pairs for Simply Typed Term Rewriting. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTA ![In: Term Rewriting and Applications, 16th International Conference, RTA 2005, Nara, Japan, April 19-21, 2005, Proceedings, pp. 120-134, 2005, Springer, 3-540-25596-6. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
64 | Babak Hamidzadeh, Shashi Shekhar |
Specification and Analysis of Real-time Problem Solvers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 19(8), pp. 788-803, 1993. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
real-time artificial intelligence, real-time problem, real-time AI problem solvers, DYNORAII, RTA*, real-time path planning problem, deadline compliance, response-time minimization, real-time systems, computational complexity, formal specification, formal specification, problem solving, path planning, average-case complexity |
60 | Michael Margaliot, Gideon Langholz |
Fuzzy control of a benchmark problem: a computing with words approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Fuzzy Syst. ![In: IEEE Trans. Fuzzy Syst. 12(2), pp. 230-235, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
60 | Chin-Shuang Liu, Nei-Chiung Perng, Tei-Wei Kuo |
An Implementation of Budget-Based Resource Reservation for Real-Time Linux. ![Search on Bibsonomy](Pics/bibsonomy.png) |
International Conference on Computational Science ![In: Computational Science - ICCS 2004, 4th International Conference, Kraków, Poland, June 6-9, 2004, Proceedings, Part III, pp. 226-233, 2004, Springer, 3-540-22116-6. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
60 | Anindya Datta, Sang Hyuk Son |
A Study of Concurrency Control in Real-Time, Active Database Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Knowl. Data Eng. ![In: IEEE Trans. Knowl. Data Eng. 14(3), pp. 465-484, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
performance evaluation, concurrency control, Real-time database systems, active database systems |
60 | Ionut Cardei, Rakesh Jha, Mihaela Cardei, Allalaghatta Pavan |
Hiararchical Architecture for Real-Time Adaptive Resource Management. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Middleware ![In: Middleware 2000, IFIP/ACM International Conference on Distributed Systems Platforms, New York, NY, USA, April 4-7, 2000, Proceedings, pp. 415-434, 2000, Springer, 3-540-67352-0. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
56 | Ashish Tiwari 0001 (eds.) |
23rd International Conference on Rewriting Techniques and Applications (RTA'12) , RTA 2012, May 28 - June 2, 2012, Nagoya, Japan ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTA ![Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-38-5 The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
56 | Osama Al-Hassani, Quratul-ain Mahesar, Claudio Sacerdoti Coen, Volker Sorge |
A Term Rewriting System for Kuratowski's Closure-Complement Problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTA ![In: 23rd International Conference on Rewriting Techniques and Applications (RTA'12) , RTA 2012, May 28 - June 2, 2012, Nagoya, Japan, pp. 38-52, 2012, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-38-5. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
56 | Sebastian Maneth |
Dictionary-Based Tree Compression (Invited Talk). ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTA ![In: 23rd International Conference on Rewriting Techniques and Applications (RTA'12) , RTA 2012, May 28 - June 2, 2012, Nagoya, Japan, pp. 5-5, 2012, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-38-5. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
56 | Bertram Felgenhauer |
Deciding Confluence of Ground Term Rewrite Systems in Cubic Time. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTA ![In: 23rd International Conference on Rewriting Techniques and Applications (RTA'12) , RTA 2012, May 28 - June 2, 2012, Nagoya, Japan, pp. 165-175, 2012, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-38-5. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
56 | Max I. Kanovich, Tajana Ban Kirigin, Vivek Nigam, Andre Scedrov, Carolyn L. Talcott, Ranko Perovic |
A Rewriting Framework for Activities Subject to Regulations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTA ![In: 23rd International Conference on Rewriting Techniques and Applications (RTA'12) , RTA 2012, May 28 - June 2, 2012, Nagoya, Japan, pp. 305-322, 2012, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-38-5. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
56 | Claude Kirchner |
Rho-Calculi for Computation and Logic (Invited Talk). ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTA ![In: 23rd International Conference on Rewriting Techniques and Applications (RTA'12) , RTA 2012, May 28 - June 2, 2012, Nagoya, Japan, pp. 2-4, 2012, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-38-5. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
56 | Patrick Bahr |
Infinitary Term Graph Rewriting is Simple, Sound and Complete. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTA ![In: 23rd International Conference on Rewriting Techniques and Applications (RTA'12) , RTA 2012, May 28 - June 2, 2012, Nagoya, Japan, pp. 69-84, 2012, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-38-5. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
56 | Jeroen Ketema |
Reinterpreting Compression in Infinitary Rewriting. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTA ![In: 23rd International Conference on Rewriting Techniques and Applications (RTA'12) , RTA 2012, May 28 - June 2, 2012, Nagoya, Japan, pp. 209-224, 2012, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-38-5. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
56 | Kazushige Terui |
Semantic Evaluation, Intersection Types and Complexity of Simply Typed Lambda Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTA ![In: 23rd International Conference on Rewriting Techniques and Applications (RTA'12) , RTA 2012, May 28 - June 2, 2012, Nagoya, Japan, pp. 323-338, 2012, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-38-5. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
56 | Soren Bjerg Andersen, Jakob Grue Simonsen |
Term Rewriting Systems as Topological Dynamical Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTA ![In: 23rd International Conference on Rewriting Techniques and Applications (RTA'12) , RTA 2012, May 28 - June 2, 2012, Nagoya, Japan, pp. 53-68, 2012, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-38-5. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
56 | Paula Severi, Fer-Jan de Vries |
Meaningless Sets in Infinitary Combinatory Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTA ![In: 23rd International Conference on Rewriting Techniques and Applications (RTA'12) , RTA 2012, May 28 - June 2, 2012, Nagoya, Japan, pp. 288-304, 2012, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-38-5. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
56 | Beniamino Accattoli, Ugo Dal Lago |
On the Invariance of the Unitary Cost Model for Head Reduction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTA ![In: 23rd International Conference on Rewriting Techniques and Applications (RTA'12) , RTA 2012, May 28 - June 2, 2012, Nagoya, Japan, pp. 22-37, 2012, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-38-5. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
56 | Manfred Schmidt-Schauß |
Matching of Compressed Patterns with Character-Variables. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTA ![In: 23rd International Conference on Rewriting Techniques and Applications (RTA'12) , RTA 2012, May 28 - June 2, 2012, Nagoya, Japan, pp. 272-287, 2012, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-38-5. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
56 | Eduardo Bonelli, Delia Kesner, Carlos Lombardi, Alejandro Ríos 0001 |
Normalisation for Dynamic Pattern Calculi. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTA ![In: 23rd International Conference on Rewriting Techniques and Applications (RTA'12) , RTA 2012, May 28 - June 2, 2012, Nagoya, Japan, pp. 117-132, 2012, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-38-5. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
56 | Denis Cousineau 0002, Olivier Hermant |
A Semantic Proof that Reducibility Candidates entail Cut Elimination. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTA ![In: 23rd International Conference on Rewriting Techniques and Applications (RTA'12) , RTA 2012, May 28 - June 2, 2012, Nagoya, Japan, pp. 133-148, 2012, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-38-5. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
56 | Alexei Lisitsa 0001 |
Finite Models vs Tree Automata in Safety Verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTA ![In: 23rd International Conference on Rewriting Techniques and Applications (RTA'12) , RTA 2012, May 28 - June 2, 2012, Nagoya, Japan, pp. 225-239, 2012, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-38-5. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
56 | Vincent van Oostrom, Hans Zantema |
Triangulation in Rewriting. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTA ![In: 23rd International Conference on Rewriting Techniques and Applications (RTA'12) , RTA 2012, May 28 - June 2, 2012, Nagoya, Japan, pp. 240-255, 2012, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-38-5. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
56 | Karl Gmeiner, Bernhard Gramlich, Felix Schernhammer |
On Soundness Conditions for Unraveling Deterministic Conditional Rewrite Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTA ![In: 23rd International Conference on Rewriting Techniques and Applications (RTA'12) , RTA 2012, May 28 - June 2, 2012, Nagoya, Japan, pp. 193-208, 2012, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-38-5. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
56 | Hirokazu Anai |
Computational Real Algebraic Geometry in Practice (Invited Talk). ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTA ![In: 23rd International Conference on Rewriting Techniques and Applications (RTA'12) , RTA 2012, May 28 - June 2, 2012, Nagoya, Japan, pp. 1, 2012, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-38-5. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
56 | Nathalie Bertrand 0001, Giorgio Delzanno, Barbara König 0001, Arnaud Sangnier, Jan Stückrath |
On the Decidability Status of Reachability and Coverability in Graph Transformation Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTA ![In: 23rd International Conference on Rewriting Techniques and Applications (RTA'12) , RTA 2012, May 28 - June 2, 2012, Nagoya, Japan, pp. 101-116, 2012, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-38-5. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
56 | Carsten Fuhs, Cynthia Kop |
Polynomial Interpretations for Higher-Order Rewriting. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTA ![In: 23rd International Conference on Rewriting Techniques and Applications (RTA'12) , RTA 2012, May 28 - June 2, 2012, Nagoya, Japan, pp. 176-192, 2012, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-38-5. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
56 | Carles Creus, Adrià Gascón, Guillem Godoy |
One-context Unification with STG-Compressed Terms is in NP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTA ![In: 23rd International Conference on Rewriting Techniques and Applications (RTA'12) , RTA 2012, May 28 - June 2, 2012, Nagoya, Japan, pp. 149-164, 2012, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-38-5. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
56 | René Thiemann, Guillaume Allais, Julian Nagele |
On the Formalization of Termination Techniques based on Multiset Orderings. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTA ![In: 23rd International Conference on Rewriting Techniques and Applications (RTA'12) , RTA 2012, May 28 - June 2, 2012, Nagoya, Japan, pp. 339-354, 2012, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-38-5. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
56 | Christian Sattler, Florent Balestrieri |
Turing-Completeness of Polymorphic Stream Equation Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTA ![In: 23rd International Conference on Rewriting Techniques and Applications (RTA'12) , RTA 2012, May 28 - June 2, 2012, Nagoya, Japan, pp. 256-271, 2012, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-38-5. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
56 | Beniamino Accattoli |
An Abstract Factorization Theorem for Explicit Substitutions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTA ![In: 23rd International Conference on Rewriting Techniques and Applications (RTA'12) , RTA 2012, May 28 - June 2, 2012, Nagoya, Japan, pp. 6-21, 2012, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-38-5. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
56 | Thibaut Balabonski |
Axiomatic Sharing-via-Labelling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTA ![In: 23rd International Conference on Rewriting Techniques and Applications (RTA'12) , RTA 2012, May 28 - June 2, 2012, Nagoya, Japan, pp. 85-100, 2012, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-38-5. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
56 | David A. McAllester |
Joint RTA-TLCA Invited Talk: A Logical Algorithm for ML Type Inference. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTA ![In: Rewriting Techniques and Applications, 14th International Conference, RTA 2003, Valencia, Spain, June 9-11, 2003, Proceedings, pp. 436-451, 2003, Springer, 3-540-40254-3. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
51 | Tales Heimfarth, Marcelo Götz, Franz J. Rammig, Flávio Rech Wagner |
RTC: A Real-Time Communication Middleware on Top of RTAI-Linux . ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISORC ![In: 6th IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2003), 14-16 May 2003, Hakodate, Hokkaido, Japan, pp. 19-25, 2003, IEEE Computer Society, 0-7695-1928-8. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
51 | Naoufal Rtayli, Nourddine Enneya |
Enhanced credit card fraud detection based on SVM-recursive feature elimination and hyper-parameters optimization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Inf. Secur. Appl. ![In: J. Inf. Secur. Appl. 55, pp. 102596, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
50 | Yoshihito Toyama |
Termination Proof of S-Expression Rewriting Systems with Recursive Path Relations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTA ![In: Rewriting Techniques and Applications, 19th International Conference, RTA 2008, Hagenberg, Austria, July 15-17, 2008, Proceedings, pp. 381-391, 2008, Springer, 978-3-540-70588-8. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
50 | Olivier Bournez, Florent Garnier |
Proving Positive Almost Sure Termination Under Strategies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTA ![In: Term Rewriting and Applications, 17th International Conference, RTA 2006, Seattle, WA, USA, August 12-14, 2006, Proceedings, pp. 357-371, 2006, Springer, 3-540-36834-5. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
50 | Nachum Dershowitz |
Open. Closed. Open. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTA ![In: Term Rewriting and Applications, 16th International Conference, RTA 2005, Nara, Japan, April 19-21, 2005, Proceedings, pp. 376-393, 2005, Springer, 3-540-25596-6. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
50 | Takahito Aoto 0001, Toshiyuki Yamada |
Termination of Simply Typed Term Rewriting by Translation and Labelling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTA ![In: Rewriting Techniques and Applications, 14th International Conference, RTA 2003, Valencia, Spain, June 9-11, 2003, Proceedings, pp. 380-394, 2003, Springer, 3-540-40254-3. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
50 | Frédéric Blanqui, Jean-Pierre Jouannaud, Mitsuhiro Okada |
The Calculus of algebraic Constructions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTA ![In: Rewriting Techniques and Applications, 10th International Conference, RTA-99, Trento, Italy, July 2-4, 1999, Proceedings, pp. 301-316, 1999, Springer, 3-540-66201-4. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
45 | Robert I. Davis 0001, A. Zabos, Alan Burns 0001 |
Efficient Exact Schedulability Tests for Fixed Priority Real-Time Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 57(9), pp. 1261-1276, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
45 | Jason Cong, Sung Kyu Lim |
Retiming-based timing analysis with an application to mincut-based global placement. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. ![In: IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 23(12), pp. 1684-1692, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
45 | Pierre-Luc Brunelle, Ettore Merlo, Giuliano Antoniol |
Investigating Java Type Analyses for the Receiver-Classes Testing Criterion. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSRE ![In: 14th International Symposium on Software Reliability Engineering (ISSRE 2003), 17-20 November 2003, Denver, CO, USA, pp. 419-429, 2003, IEEE Computer Society, 0-7695-2007-3. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
45 | Frank Tip, Jens Palsberg |
Scalable propagation-based call graph construction algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OOPSLA ![In: Proceedings of the 2000 ACM SIGPLAN Conference on Object-Oriented Programming Systems, Languages & Applications, OOPSLA 2000, Minneapolis, Minnesota, USA, October 15-19, 2000., pp. 281-293, 2000, ACM, 1-58113-200-X. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
42 | Leanne M. Willis, Sharon McDonald |
Retrospective protocols in usability testing: a comparison of Post-session RTA versus Post-task RTA reports. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Behav. Inf. Technol. ![In: Behav. Inf. Technol. 35(8), pp. 628-643, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
36 | Bernhard Huber, Philipp Peti, Roman Obermaisser, Christian El Salloum |
Using RTAI/LXRT for Partitioning in a Prototype Implementation of the DECOS Architecture. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WISES ![In: Proceedings of the Third Workshop on Intelligent Solutions in Embedded Systems (WISES'05), Hamburg University of Technology, Hamburg, Germany, May 20, 2005, pp. 3-16, 2005, Hamburg University of Technology, 3-902463-03-1. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
36 | Lorenzo Dozio, Paolo Mantegazza |
Real Time Distributed Control Systems Using RTAI. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISORC ![In: 6th IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2003), 14-16 May 2003, Hakodate, Hokkaido, Japan, pp. 11-18, 2003, IEEE Computer Society, 0-7695-1928-8. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
35 | |
29th IEEE Real-Time and Embedded Technology and Applications Symposium, RTAS 2023, San Antonio, TX, USA, May 9-12, 2023 ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTAS ![IEEE, 979-8-3503-2176-0 The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
35 | Brendan Reidy, Mohammadreza Mohammadi, Mohammed E. Elbtity, Heath Smith, Ramtin Zand |
Work in Progress: Real-time Transformer Inference on Edge AI Accelerators. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTAS ![In: 29th IEEE Real-Time and Embedded Technology and Applications Symposium, RTAS 2023, San Antonio, TX, USA, May 9-12, 2023, pp. 341-344, 2023, IEEE, 979-8-3503-2176-0. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
35 | Junjie Shi, Niklas Ueter, Jian-Jia Chen, Kuan-Hsun Chen |
Average Task Execution Time Minimization under (m, k) Soft Error Constraint. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTAS ![In: 29th IEEE Real-Time and Embedded Technology and Applications Symposium, RTAS 2023, San Antonio, TX, USA, May 9-12, 2023, pp. 1-13, 2023, IEEE, 979-8-3503-2176-0. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
35 | Michael Garrett Bechtel, Heechul Yun |
Cache Bank-Aware Denial-of-Service Attacks on Multicore ARM Processors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTAS ![In: 29th IEEE Real-Time and Embedded Technology and Applications Symposium, RTAS 2023, San Antonio, TX, USA, May 9-12, 2023, pp. 198-208, 2023, IEEE, 979-8-3503-2176-0. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
35 | Omolade Ikumapayi, Habeeb Olufowobi, Jeremy Daily, Tingting Hu, Ivan Cibrario Bertolotti, Gedare Bloom |
Work in Progress: Schedulability Analysis of CAN and CAN FD Authentication. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTAS ![In: 29th IEEE Real-Time and Embedded Technology and Applications Symposium, RTAS 2023, San Antonio, TX, USA, May 9-12, 2023, pp. 349-352, 2023, IEEE, 979-8-3503-2176-0. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
35 | Albert M. K. Cheng |
Work in Progress: Response Time Analysis of Real-Time Quantum Computing Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTAS ![In: 29th IEEE Real-Time and Embedded Technology and Applications Symposium, RTAS 2023, San Antonio, TX, USA, May 9-12, 2023, pp. 329-332, 2023, IEEE, 979-8-3503-2176-0. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
35 | Mohsen Ansari, Sepideh Safari, Amir Yeganeh-Khaksar, Roozbeh Siyadatzadeh, Pourya Gohari-Nazari, Heba Khdr, Muhammad Shafique 0001, Jörg Henkel, Alireza Ejlali |
ATLAS: Aging-Aware Task Replication for Multicore Safety-Critical Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTAS ![In: 29th IEEE Real-Time and Embedded Technology and Applications Symposium, RTAS 2023, San Antonio, TX, USA, May 9-12, 2023, pp. 223-234, 2023, IEEE, 979-8-3503-2176-0. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
35 | Hoora Sobhani, Hyunjong Choi, Hyoseung Kim 0001 |
Timing Analysis and Priority-driven Enhancements of ROS 2 Multi-threaded Executors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTAS ![In: 29th IEEE Real-Time and Embedded Technology and Applications Symposium, RTAS 2023, San Antonio, TX, USA, May 9-12, 2023, pp. 106-118, 2023, IEEE, 979-8-3503-2176-0. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
35 | Ching-Chi Lin, Mario Günzel, Junjie Shi, Tristan Taylan Seidl, Kuan-Hsun Chen, Jian-Jia Chen |
Scheduling Periodic Segmented Self-Suspending Tasks without Timing Anomalies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTAS ![In: 29th IEEE Real-Time and Embedded Technology and Applications Symposium, RTAS 2023, San Antonio, TX, USA, May 9-12, 2023, pp. 161-173, 2023, IEEE, 979-8-3503-2176-0. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
35 | Joshua Bakita, James H. Anderson |
Hardware Compute Partitioning on NVIDIA GPUs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTAS ![In: 29th IEEE Real-Time and Embedded Technology and Applications Symposium, RTAS 2023, San Antonio, TX, USA, May 9-12, 2023, pp. 54-66, 2023, IEEE, 979-8-3503-2176-0. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
35 | Nan Chen, Shuai Zhao 0004, Ian Gray, Alan Burns 0001, Siyuan Ji, Wanli Chang 0001 |
Precise Response Time Analysis for Multiple DAG Tasks with Intra-task Priority Assignment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTAS ![In: 29th IEEE Real-Time and Embedded Technology and Applications Symposium, RTAS 2023, San Antonio, TX, USA, May 9-12, 2023, pp. 174-184, 2023, IEEE, 979-8-3503-2176-0. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
35 | Afia Anjum, Sena Hounsinou, Habeeb Olufowobi |
Work-in-Progress: Deadline-Aware Named Data Networking for Time-Sensitive IoT Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTAS ![In: 29th IEEE Real-Time and Embedded Technology and Applications Symposium, RTAS 2023, San Antonio, TX, USA, May 9-12, 2023, pp. 353-356, 2023, IEEE, 979-8-3503-2176-0. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
35 | Binqi Sun, Tomasz Kloda, Jiyang Chen, Cen Lu, Marco Caccamo |
Schedulability Analysis of Non-preemptive Sporadic Gang Tasks on Hardware Accelerators. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTAS ![In: 29th IEEE Real-Time and Embedded Technology and Applications Symposium, RTAS 2023, San Antonio, TX, USA, May 9-12, 2023, pp. 147-160, 2023, IEEE, 979-8-3503-2176-0. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
35 | Cédric Courtaud, Björn B. Brandenburg |
G(IP)2 C: Temporally Isolated Multiprocessor Real-Time IPC with Server-to-Server Invocations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTAS ![In: 29th IEEE Real-Time and Embedded Technology and Applications Symposium, RTAS 2023, San Antonio, TX, USA, May 9-12, 2023, pp. 276-288, 2023, IEEE, 979-8-3503-2176-0. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
35 | Sen Wang, Ryan K. Williams, Haibo Zeng 0001 |
A General and Scalable Method for Optimizing Real-Time Systems with Continuous Variables. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTAS ![In: 29th IEEE Real-Time and Embedded Technology and Applications Symposium, RTAS 2023, San Antonio, TX, USA, May 9-12, 2023, pp. 119-132, 2023, IEEE, 979-8-3503-2176-0. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
35 | Mourad Dridi, Yasmina Abdeddaïm, Chiara Daini |
Work In Progress: A New Task Model for Real-Time DNNs over GPU. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTAS ![In: 29th IEEE Real-Time and Embedded Technology and Applications Symposium, RTAS 2023, San Antonio, TX, USA, May 9-12, 2023, pp. 337-340, 2023, IEEE, 979-8-3503-2176-0. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
35 | Ruoxiang Li, Tao Hu, Xu Jiang 0004, Laiwen Li, Wenxuan Xing, Qingxu Deng, Nan Guan |
ROSGM: A Real-Time GPU Management Framework with Plug-In Policies for ROS 2. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTAS ![In: 29th IEEE Real-Time and Embedded Technology and Applications Symposium, RTAS 2023, San Antonio, TX, USA, May 9-12, 2023, pp. 93-105, 2023, IEEE, 979-8-3503-2176-0. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
35 | Antonio Joia Neto, Ivan De Oliveira Nunes |
ISC-FLAT: On the Conflict Between Control Flow Attestation and Real-Time Operations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTAS ![In: 29th IEEE Real-Time and Embedded Technology and Applications Symposium, RTAS 2023, San Antonio, TX, USA, May 9-12, 2023, pp. 133-146, 2023, IEEE, 979-8-3503-2176-0. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
35 | Alexander Zuepke, Andrea Bastoni, Weifan Chen 0003, Marco Caccamo, Renato Mancuso 0001 |
MemPol: Policing Core Memory Bandwidth from Outside of the Cores. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTAS ![In: 29th IEEE Real-Time and Embedded Technology and Applications Symposium, RTAS 2023, San Antonio, TX, USA, May 9-12, 2023, pp. 235-248, 2023, IEEE, 979-8-3503-2176-0. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
35 | Marwan Wehaiba el Khazen, Slim Ben-Amor, Kossivi Kougblenou, Adriana Gogonel, Liliana Cucu-Grosjean |
Work in progress: Towards a statistical worst-case energy consumption model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTAS ![In: 29th IEEE Real-Time and Embedded Technology and Applications Symposium, RTAS 2023, San Antonio, TX, USA, May 9-12, 2023, pp. 333-336, 2023, IEEE, 979-8-3503-2176-0. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
35 | José Martins, Sandro Pinto 0001 |
Shedding Light on Static Partitioning Hypervisors for Arm-based Mixed-Criticality Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTAS ![In: 29th IEEE Real-Time and Embedded Technology and Applications Symposium, RTAS 2023, San Antonio, TX, USA, May 9-12, 2023, pp. 40-53, 2023, IEEE, 979-8-3503-2176-0. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
35 | Jinghao Sun, Kailu Duan, Xisheng Li, Nan Guan, Zhishan Guo, Qingxu Deng, Guozhen Tan |
Real-Time Scheduling of Autonomous Driving System with Guaranteed Timing Correctness. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTAS ![In: 29th IEEE Real-Time and Embedded Technology and Applications Symposium, RTAS 2023, San Antonio, TX, USA, May 9-12, 2023, pp. 185-197, 2023, IEEE, 979-8-3503-2176-0. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
35 | Lin Zhang, Kaustubh Sridhar, Mengyu Liu, Pengyuan Lu, Xin Chen 0002, Fanxin Kong, Oleg Sokolsky, Insup Lee 0001 |
Real-Time Data-Predictive Attack-Recovery for Complex Cyber-Physical Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTAS ![In: 29th IEEE Real-Time and Embedded Technology and Applications Symposium, RTAS 2023, San Antonio, TX, USA, May 9-12, 2023, pp. 209-222, 2023, IEEE, 979-8-3503-2176-0. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
35 | Arkaprava Sain, Suraj Singh, Sunandan Adhikary, Ipsita Koley, Soumyajit Dey |
Work-in-Progress: Securing Safety-Critical Control Tasks with Attack-aware Multi-Rate Scheduling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTAS ![In: 29th IEEE Real-Time and Embedded Technology and Applications Symposium, RTAS 2023, San Antonio, TX, USA, May 9-12, 2023, pp. 345-348, 2023, IEEE, 979-8-3503-2176-0. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
35 | Abdullah Al Arafat, Sudharsan Vaidhun, Liangkai Liu, Kecheng Yang 0001, Zhishan Guo |
Compositional Mixed-Criticality Systems with Multiple Executions and Resource-Budgets Model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTAS ![In: 29th IEEE Real-Time and Embedded Technology and Applications Symposium, RTAS 2023, San Antonio, TX, USA, May 9-12, 2023, pp. 67-79, 2023, IEEE, 979-8-3503-2176-0. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
35 | Lin Zhang, Mengyu Liu, Fanxin Kong |
Demo: Simulation and Security Toolbox for Cyber-Physical Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTAS ![In: 29th IEEE Real-Time and Embedded Technology and Applications Symposium, RTAS 2023, San Antonio, TX, USA, May 9-12, 2023, pp. 357-358, 2023, IEEE, 979-8-3503-2176-0. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
35 | Gerion Entrup, Björn Fiedler, Daniel Lohmann |
MultiSSE: Static Syscall Elision and Specialization for Event-Triggered Multi-Core RTOS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTAS ![In: 29th IEEE Real-Time and Embedded Technology and Applications Symposium, RTAS 2023, San Antonio, TX, USA, May 9-12, 2023, pp. 262-275, 2023, IEEE, 979-8-3503-2176-0. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
35 | Matthias Becker 0004, Dakshina Dasari, Daniel Casini |
On the QNX IPC: Assessing Predictability for Local and Distributed Real-Time Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTAS ![In: 29th IEEE Real-Time and Embedded Technology and Applications Symposium, RTAS 2023, San Antonio, TX, USA, May 9-12, 2023, pp. 289-302, 2023, IEEE, 979-8-3503-2176-0. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
35 | Yue Tang 0001, Nan Guan, Xu Jiang 0004, Xiantong Luo, Wang Yi 0001 |
Real-Time Performance Analysis of Processing Systems on ROS 2 Executors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTAS ![In: 29th IEEE Real-Time and Embedded Technology and Applications Symposium, RTAS 2023, San Antonio, TX, USA, May 9-12, 2023, pp. 80-92, 2023, IEEE, 979-8-3503-2176-0. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
35 | Seyed Mohammadhossein Tabatabaee, Marc Boyer, Jean-Yves Le Boudec, Jörn Migge |
Efficient and Accurate Handling of Periodic Flows in Time-Sensitive Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTAS ![In: 29th IEEE Real-Time and Embedded Technology and Applications Symposium, RTAS 2023, San Antonio, TX, USA, May 9-12, 2023, pp. 303-315, 2023, IEEE, 979-8-3503-2176-0. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
35 | Andrea Stevanato, Alessandro Biondi 0001, Alessandro Biasci, Bruno Morelli |
Virtualized DDS Communication for Multi-Domain Systems: Architecture and Performance Evaluation of Design Alternatives. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTAS ![In: 29th IEEE Real-Time and Embedded Technology and Applications Symposium, RTAS 2023, San Antonio, TX, USA, May 9-12, 2023, pp. 316-328, 2023, IEEE, 979-8-3503-2176-0. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
35 | Anna Friebe, Filip Markovic, Alessandro Vittorio Papadopoulos, Thomas Nolte |
Continuous-Emission Markov Models for Real-Time Applications: Bounding Deadline Miss Probabilities. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTAS ![In: 29th IEEE Real-Time and Embedded Technology and Applications Symposium, RTAS 2023, San Antonio, TX, USA, May 9-12, 2023, pp. 14-26, 2023, IEEE, 979-8-3503-2176-0. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
35 | Taeho Han, Kanghee Kim |
Minimizing Probabilistic End-to-end Latencies of Autonomous Driving Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTAS ![In: 29th IEEE Real-Time and Embedded Technology and Applications Symposium, RTAS 2023, San Antonio, TX, USA, May 9-12, 2023, pp. 27-39, 2023, IEEE, 979-8-3503-2176-0. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
35 | Zhuanhao Wu, Anirudh M. Kaushik, Hiren D. Patel |
ZeroCost-LLC: Shared LLCs at No Cost to WCL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTAS ![In: 29th IEEE Real-Time and Embedded Technology and Applications Symposium, RTAS 2023, San Antonio, TX, USA, May 9-12, 2023, pp. 249-261, 2023, IEEE, 979-8-3503-2176-0. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
35 | |
28th IEEE Real-Time and Embedded Technology and Applications Symposium, RTAS 2022, Milano, Italy, May 4-6, 2022 ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTAS ![IEEE, 978-1-6654-9998-9 The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
35 | Iain Bate, Alan Burns 0001, Robert I. Davis 0001 |
Analysis-Runtime Co-design for Adaptive Mixed Criticality Scheduling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTAS ![In: 28th IEEE Real-Time and Embedded Technology and Applications Symposium, RTAS 2022, Milano, Italy, May 4-6, 2022, pp. 187-200, 2022, IEEE, 978-1-6654-9998-9. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
35 | Kamran Razavi, Manisha Luthra, Boris Koldehofe, Max Mühlhäuser, Lin Wang 0015 |
FA2: Fast, Accurate Autoscaling for Serving Deep Learning Inference with SLA Guarantees. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTAS ![In: 28th IEEE Real-Time and Embedded Technology and Applications Symposium, RTAS 2022, Milano, Italy, May 4-6, 2022, pp. 146-159, 2022, IEEE, 978-1-6654-9998-9. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
35 | Shengzhong Liu, Xinzhe Fu, Maggie B. Wigness, Philip David, Shuochao Yao, Lui Sha, Tarek F. Abdelzaher |
Self-Cueing Real-Time Attention Scheduling in Criticality-Aware Visual Machine Perception. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTAS ![In: 28th IEEE Real-Time and Embedded Technology and Applications Symposium, RTAS 2022, Milano, Italy, May 4-6, 2022, pp. 173-186, 2022, IEEE, 978-1-6654-9998-9. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
35 | Ahmad Golchin, Richard West |
Jumpstart: Fast Critical Service Resumption for a Partitioning Hypervisor in Embedded Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTAS ![In: 28th IEEE Real-Time and Embedded Technology and Applications Symposium, RTAS 2022, Milano, Italy, May 4-6, 2022, pp. 55-67, 2022, IEEE, 978-1-6654-9998-9. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
35 | Florian Vanhems, Vlad Rusu, David Nowak, Gilles Grimaud |
A Formal Correctness Proof for an EDF Scheduler Implementation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTAS ![In: 28th IEEE Real-Time and Embedded Technology and Applications Symposium, RTAS 2022, Milano, Italy, May 4-6, 2022, pp. 281-292, 2022, IEEE, 978-1-6654-9998-9. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
35 | Jongouk Choi, Larry Kittinger, Qingrui Liu, Changhee Jung |
Compiler-Directed High-Performance Intermittent Computation with Power Failure Immunity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTAS ![In: 28th IEEE Real-Time and Embedded Technology and Applications Symposium, RTAS 2022, Milano, Italy, May 4-6, 2022, pp. 40-54, 2022, IEEE, 978-1-6654-9998-9. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
35 | Zelin Yun, Peng Wu 0009, Shengli Zhou, Aloysius K. Mok, Mark Nixon, Song Han 0002 |
Demo Abstract: Open RT-WiFi Platform on Software-Defined Radio. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTAS ![In: 28th IEEE Real-Time and Embedded Technology and Applications Symposium, RTAS 2022, Milano, Italy, May 4-6, 2022, pp. 321-322, 2022, IEEE, 978-1-6654-9998-9. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #100 of 2063 (100 per page; Change: ) Pages: [ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ >>] |
|