Search results for "RTA*"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
165	David P. Anderson, Lawrence H. Landweber	A grammar-based methodology for protocol specification and implementation.	SIGCOMM	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.	IMSCCS (2)	2006	DBLP DOI BibTeX RDF
111	Mikael Sjödin, Hans Hansson	Analyzing Multimedia Traffic in Real-Time ATM Networks.	IEEE Real Time Technology and Applications Symposium	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.	DAC	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.	CHI	2006	DBLP DOI BibTeX RDF	retrospective think aloud, reliability, eye tracking, validity, usability research, verbalization
84	David P. Anderson	Automated Protocol Implementation with RTAG.	IEEE Trans. Software Eng.	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.	IPOM	2005	DBLP DOI BibTeX RDF
77	Ashish Tiwari 0001	RTA 2012 Proceedings Frontmatter.	RTA	2012	DBLP DOI BibTeX RDF
75	Jukka Mäki-Turja, Mikael Nolin	Efficient implementation of tight response-times for tasks with offsets.	Real Time Syst.	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.	IEEE Real-Time and Embedded Technology and Applications Symposium	2004	DBLP DOI BibTeX RDF
65	Jean-Pierre Jouannaud	Twenty Years Later.	RTA	2005	DBLP DOI BibTeX RDF
65	Takahito Aoto 0001, Toshiyuki Yamada	Dependency Pairs for Simply Typed Term Rewriting.	RTA	2005	DBLP DOI BibTeX RDF
64	Babak Hamidzadeh, Shashi Shekhar	Specification and Analysis of Real-time Problem Solvers.	IEEE Trans. Software Eng.	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.	IEEE Trans. Fuzzy Syst.	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.	International Conference on Computational Science	2004	DBLP DOI BibTeX RDF
60	Anindya Datta, Sang Hyuk Son	A Study of Concurrency Control in Real-Time, Active Database Systems.	IEEE Trans. Knowl. Data Eng.	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.	Middleware	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	RTA	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.	RTA	2012	DBLP DOI BibTeX RDF
56	Sebastian Maneth	Dictionary-Based Tree Compression (Invited Talk).	RTA	2012	DBLP DOI BibTeX RDF
56	Bertram Felgenhauer	Deciding Confluence of Ground Term Rewrite Systems in Cubic Time.	RTA	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.	RTA	2012	DBLP DOI BibTeX RDF
56	Claude Kirchner	Rho-Calculi for Computation and Logic (Invited Talk).	RTA	2012	DBLP DOI BibTeX RDF
56	Patrick Bahr	Infinitary Term Graph Rewriting is Simple, Sound and Complete.	RTA	2012	DBLP DOI BibTeX RDF
56	Jeroen Ketema	Reinterpreting Compression in Infinitary Rewriting.	RTA	2012	DBLP DOI BibTeX RDF
56	Kazushige Terui	Semantic Evaluation, Intersection Types and Complexity of Simply Typed Lambda Calculus.	RTA	2012	DBLP DOI BibTeX RDF
56	Soren Bjerg Andersen, Jakob Grue Simonsen	Term Rewriting Systems as Topological Dynamical Systems.	RTA	2012	DBLP DOI BibTeX RDF
56	Paula Severi, Fer-Jan de Vries	Meaningless Sets in Infinitary Combinatory Logic.	RTA	2012	DBLP DOI BibTeX RDF
56	Beniamino Accattoli, Ugo Dal Lago	On the Invariance of the Unitary Cost Model for Head Reduction.	RTA	2012	DBLP DOI BibTeX RDF
56	Manfred Schmidt-Schauß	Matching of Compressed Patterns with Character-Variables.	RTA	2012	DBLP DOI BibTeX RDF
56	Eduardo Bonelli, Delia Kesner, Carlos Lombardi, Alejandro Ríos 0001	Normalisation for Dynamic Pattern Calculi.	RTA	2012	DBLP DOI BibTeX RDF
56	Denis Cousineau 0002, Olivier Hermant	A Semantic Proof that Reducibility Candidates entail Cut Elimination.	RTA	2012	DBLP DOI BibTeX RDF
56	Alexei Lisitsa 0001	Finite Models vs Tree Automata in Safety Verification.	RTA	2012	DBLP DOI BibTeX RDF
56	Vincent van Oostrom, Hans Zantema	Triangulation in Rewriting.	RTA	2012	DBLP DOI BibTeX RDF
56	Karl Gmeiner, Bernhard Gramlich, Felix Schernhammer	On Soundness Conditions for Unraveling Deterministic Conditional Rewrite Systems.	RTA	2012	DBLP DOI BibTeX RDF
56	Hirokazu Anai	Computational Real Algebraic Geometry in Practice (Invited Talk).	RTA	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.	RTA	2012	DBLP DOI BibTeX RDF
56	Carsten Fuhs, Cynthia Kop	Polynomial Interpretations for Higher-Order Rewriting.	RTA	2012	DBLP DOI BibTeX RDF
56	Carles Creus, Adrià Gascón, Guillem Godoy	One-context Unification with STG-Compressed Terms is in NP.	RTA	2012	DBLP DOI BibTeX RDF
56	René Thiemann, Guillaume Allais, Julian Nagele	On the Formalization of Termination Techniques based on Multiset Orderings.	RTA	2012	DBLP DOI BibTeX RDF
56	Christian Sattler, Florent Balestrieri	Turing-Completeness of Polymorphic Stream Equation Systems.	RTA	2012	DBLP DOI BibTeX RDF
56	Beniamino Accattoli	An Abstract Factorization Theorem for Explicit Substitutions.	RTA	2012	DBLP DOI BibTeX RDF
56	Thibaut Balabonski	Axiomatic Sharing-via-Labelling.	RTA	2012	DBLP DOI BibTeX RDF
56	David A. McAllester	Joint RTA-TLCA Invited Talk: A Logical Algorithm for ML Type Inference.	RTA	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 .	ISORC	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.	J. Inf. Secur. Appl.	2020	DBLP DOI BibTeX RDF
50	Yoshihito Toyama	Termination Proof of S-Expression Rewriting Systems with Recursive Path Relations.	RTA	2008	DBLP DOI BibTeX RDF
50	Olivier Bournez, Florent Garnier	Proving Positive Almost Sure Termination Under Strategies.	RTA	2006	DBLP DOI BibTeX RDF
50	Nachum Dershowitz	Open. Closed. Open.	RTA	2005	DBLP DOI BibTeX RDF
50	Takahito Aoto 0001, Toshiyuki Yamada	Termination of Simply Typed Term Rewriting by Translation and Labelling.	RTA	2003	DBLP DOI BibTeX RDF
50	Frédéric Blanqui, Jean-Pierre Jouannaud, Mitsuhiro Okada	The Calculus of algebraic Constructions.	RTA	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.	IEEE Trans. Computers	2008	DBLP DOI BibTeX RDF
45	Jason Cong, Sung Kyu Lim	Retiming-based timing analysis with an application to mincut-based global placement.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2004	DBLP DOI BibTeX RDF
45	Pierre-Luc Brunelle, Ettore Merlo, Giuliano Antoniol	Investigating Java Type Analyses for the Receiver-Classes Testing Criterion.	ISSRE	2003	DBLP DOI BibTeX RDF
45	Frank Tip, Jens Palsberg	Scalable propagation-based call graph construction algorithms.	OOPSLA	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.	Behav. Inf. Technol.	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.	WISES	2005	DBLP DOI BibTeX RDF
36	Lorenzo Dozio, Paolo Mantegazza	Real Time Distributed Control Systems Using RTAI.	ISORC	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	RTAS	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.	RTAS	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.	RTAS	2023	DBLP DOI BibTeX RDF
35	Michael Garrett Bechtel, Heechul Yun	Cache Bank-Aware Denial-of-Service Attacks on Multicore ARM Processors.	RTAS	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.	RTAS	2023	DBLP DOI BibTeX RDF
35	Albert M. K. Cheng	Work in Progress: Response Time Analysis of Real-Time Quantum Computing Systems.	RTAS	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.	RTAS	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.	RTAS	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.	RTAS	2023	DBLP DOI BibTeX RDF
35	Joshua Bakita, James H. Anderson	Hardware Compute Partitioning on NVIDIA GPUs.	RTAS	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.	RTAS	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.	RTAS	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.	RTAS	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.	RTAS	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.	RTAS	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.	RTAS	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.	RTAS	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.	RTAS	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.	RTAS	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.	RTAS	2023	DBLP DOI BibTeX RDF
35	José Martins, Sandro Pinto 0001	Shedding Light on Static Partitioning Hypervisors for Arm-based Mixed-Criticality Systems.	RTAS	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.	RTAS	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.	RTAS	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.	RTAS	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.	RTAS	2023	DBLP DOI BibTeX RDF
35	Lin Zhang, Mengyu Liu, Fanxin Kong	Demo: Simulation and Security Toolbox for Cyber-Physical Systems.	RTAS	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.	RTAS	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.	RTAS	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.	RTAS	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.	RTAS	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.	RTAS	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.	RTAS	2023	DBLP DOI BibTeX RDF
35	Taeho Han, Kanghee Kim	Minimizing Probabilistic End-to-end Latencies of Autonomous Driving Systems.	RTAS	2023	DBLP DOI BibTeX RDF
35	Zhuanhao Wu, Anirudh M. Kaushik, Hiren D. Patel	ZeroCost-LLC: Shared LLCs at No Cost to WCL.	RTAS	2023	DBLP DOI BibTeX RDF
35		28th IEEE Real-Time and Embedded Technology and Applications Symposium, RTAS 2022, Milano, Italy, May 4-6, 2022	RTAS	2022	DBLP DOI BibTeX RDF
35	Iain Bate, Alan Burns 0001, Robert I. Davis 0001	Analysis-Runtime Co-design for Adaptive Mixed Criticality Scheduling.	RTAS	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.	RTAS	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.	RTAS	2022	DBLP DOI BibTeX RDF
35	Ahmad Golchin, Richard West	Jumpstart: Fast Critical Service Resumption for a Partitioning Hypervisor in Embedded Systems.	RTAS	2022	DBLP DOI BibTeX RDF
35	Florian Vanhems, Vlad Rusu, David Nowak, Gilles Grimaud	A Formal Correctness Proof for an EDF Scheduler Implementation.	RTAS	2022	DBLP DOI BibTeX RDF
35	Jongouk Choi, Larry Kittinger, Qingrui Liu, Changhee Jung	Compiler-Directed High-Performance Intermittent Computation with Power Failure Immunity.	RTAS	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.	RTAS	2022	DBLP DOI BibTeX RDF