Search results for "tasking"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
104	Sol M. Shatz, Khanh Mai, Christopher Black, Shengru Tu	Design and Implementation of a Petri Net Based Toolkit for Ada Tasking Analysis.	IEEE Trans. Parallel Distributed Syst.	1990	DBLP DOI BibTeX RDF	Ada tasking analysis, analysis framework, tasking-oriented toolkit for the Ada language, TOTAL, front-end translator subsystem, FETS, back-end information display subsystem, Ada-net reachability graphs, Petri net, Petri nets, Ada, software tools, query, toolkit, utility, BIDS, Ada tasking
104	David S. Rosenblum, David C. Luckham	Testing the Correctness of Tasking Supervisors with TSL Specifications.	Symposium on Testing, Analysis, and Verification	1989	DBLP DOI BibTeX RDF	Ada
93	Sunil Soman, Chandra Krintz, Laurent Daynès	MTM2: Scalable Memory Management for Multi-tasking Managed Runtime Environments.	ECOOP	2008	DBLP DOI BibTeX RDF
71	Kelly I. Morrison	GRASP: an executable specification language for Ada tasking.	ACM Conference on Computer Science	1988	DBLP DOI BibTeX RDF	Ada, GRASP
68	Kristina Lundqvist, Lars Asplund, Stephen Mitchell	A Formal Model of the Ada Ravenscar Tasking Profile; Protected Objects.	Ada-Europe	1999	DBLP DOI BibTeX RDF	Ravenscar, Formal Methods, Run-Time System, UPPAAL, Ada Tasking, Protected Objects
66	Eduard Ayguadé, Nawal Copty, Alejandro Duran, Jay P. Hoeflinger, Yuan Lin, Federico Massaioli, Xavier Teruel, Priya Unnikrishnan, Guansong Zhang	The Design of OpenMP Tasks.	IEEE Trans. Parallel Distributed Syst.	2009	DBLP DOI BibTeX RDF
64	Anne F. Brindle, Richard N. Taylor, David F. Martin	A Debugger for Ada Tasking.	IEEE Trans. Software Eng.	1989	DBLP DOI BibTeX RDF	Ada debugger, tasking constructs, single-processor Ada interpreter, sequential debugging, dynamic execution status, parallel programming, parallel programming, Ada, concurrency, program debugging, program interpreters, Ada tasking
60	Hongfeng Shen, Arnaud Charlet, Theodore P. Baker	A "Bare-Machine" Implementation of Ada Multi-tasking Beneath the Linux Kernel.	Ada-Europe	1999	DBLP DOI BibTeX RDF
60	Dejan S. Milojicic, Alan Langerman, David L. Black 0001, Steven J. Sears, Michelle Dominijanni, Randall W. Dean	Concurrency: A Case Study in Remote Tasking and Distributed IPC.	HICSS (1)	1996	DBLP DOI BibTeX RDF
60	Laura K. Dillon	A Visual Model for Ada Tasking.	ACM Trans. Softw. Eng. Methodol.	1993	DBLP DOI BibTeX RDF	contour model, visual execution model, Ada
58	Laura K. Dillon	Task Dependence and Termination in Ada.	ACM Trans. Softw. Eng. Methodol.	1997	DBLP DOI BibTeX RDF	distributed termination, master/dependent relation, task termination, tasking execution model, Ada, Ada tasking
57	Kyle Rupnow, Jacob Adriaens, Wenyin Fu, Katherine Compton	Accurately evaluating application performance in simulated hybrid multi-tasking systems.	FPGA	2010	DBLP DOI BibTeX RDF	performance evaluation, hybrid systems, heterogeneous systems, full system simulation, multi-tasking systems
57	Fan Yang 0022, Peter A. Heeman	Context restoration in multi-tasking dialogue.	IUI	2009	DBLP DOI BibTeX RDF	context restoration, multi-tasking dialogue
57	Sol M. Shatz, Shengru Tu, Tadao Murata, Sastry Duri	An Application of Petri Net Reduction for Ada Tasking Deadlock Analysis.	IEEE Trans. Parallel Distributed Syst.	1996	DBLP DOI BibTeX RDF	deadlock analysis, net reduction, concurrent software, Petri nets, reachability analysis, Ada tasking
57	Laura K. Dillon	Verifying General Safety Properties of Ada Tasking Programs.	IEEE Trans. Software Eng.	1990	DBLP DOI BibTeX RDF	safety properties verification, Ada tasking programs, isolation approach, automating partial correctness proofs, Ada, program verification, concurrent programs, deadlock, mutual exclusion, symbolic execution, multiprocessing programs
51	Víctor M. González 0001, Leonardo Galicia, Jesús Favela	Understanding and supporting personal activity management by IT service workers.	CHIMIT	2008	DBLP DOI BibTeX RDF	information technology workers, personal activity management, planning, productivity, time management, multi-tasking
50	Nicholas Moretti, Mark Rutten, Travis Bessell	Space Situational Awareness Sensor Tasking: A Comparison Between Step-Scan Tasking and Dynamic, Real-Time Tasking.	FUSION	2018	DBLP DOI BibTeX RDF
49	Jingde Cheng	Run-Time Detection of Tasking Deadlocks in Real-Time Systems with the Ada 95 Annex of Real-Time Systems.	Ada-Europe	2006	DBLP DOI BibTeX RDF
49	Jan vom Brocke, Maik A. Lindner	Service portfolio measurement: a framework for evaluating the financial consequences of out-tasking decisions.	ICSOC	2004	DBLP DOI BibTeX RDF	IT-controlling, portfolio measurement, service-oriented business applications, service-oriented architectures, return on investment, portfolio management, total cost of ownership
49	Jingde Cheng, Kazuo Ushijima	Tasking Deadlocks in Ada 95 Programs and Their Detection.	Ada-Europe	1996	DBLP DOI BibTeX RDF
49	John Thornley	Integrating Parallel Dataflow Programming with the Ada Tasking Model.	TRI-Ada	1994	DBLP DOI BibTeX RDF	Ada
49	Jingde Cheng, Kazuo Ushijima	Analyzing Ada Tasking Deadlocks and Livelocks Using Extended Petri Nets.	Ada-Europe	1991	DBLP DOI BibTeX RDF
49	Lars Lundberg	A Coprocessor for High Performance Multiprocessor Ada Tasking.	Ada-Europe	1991	DBLP DOI BibTeX RDF
46	Russell Beale, William H. Edmondson	Multiple carets, multiple screens and multi-tasking: new behaviours with multiple computers.	BCS HCI (1)	2007	DBLP DOI BibTeX RDF	caret, multiple computers, design, cognition, multi-tasking, task switching, multiple displays
46	Karl A. Nyberg	Multi-core + multi-tasking = multi-opportunity?	SIGAda	2007	DBLP DOI BibTeX RDF	multi-core, tasking, parallel execution
46	Sunil Soman, Laurent Daynès, Chandra Krintz	Task-aware garbage collection in a multi-tasking virtual machine.	ISMM	2006	DBLP DOI BibTeX RDF	resource reclamation, task-aware garbage collection, java, virtual machine, multi-tasking
46	James C. Corbett	Timing Analysis of Ada Tasking Programs.	IEEE Trans. Software Eng.	1996	DBLP DOI BibTeX RDF	real-time systems, program verification, hybrid systems, Timing analysis, Ada tasking
46	Philippe Waroquiers	Ada Tasking and Dynamic Memory: To Use or Not To Use, That's a Question!	Ada-Europe	1996	DBLP DOI BibTeX RDF	Ada 83 Experience, Design, Tasking, Air Traffic Control, Dynamic Memory
46	Filip Thoen, Marco Cornero, Gert Goossens, Hugo De Man	Real-time multi-tasking in software synthesis for information processing systems.	ISSS	1995	DBLP DOI BibTeX RDF	automatic processor mapping, automatically generated application-specific solution, concurrent process system specification, flexible execution models, hardware resource utilization, information processing systems, internal representation model, mobile satellite communication, personal terminal receiver demodulator, real-time multi-tasking, static information, time utilization, real-time systems, embedded systems, concurrency control, processor scheduling, timing constraints, computer aided software engineering, software synthesis, multiprocessing programs
46	Sol M. Shatz	Towards Complexity Metrics for Ada Tasking.	IEEE Trans. Software Eng.	1988	DBLP DOI BibTeX RDF	concurrently active rendezvous, representative distributed programming language, Petri net graph model, Ada rendezvous, rendezvous graph, software engineering, software engineering, computational complexity, Ada, distributed processing, directed graphs, communication complexity, software complexity, complexity metrics, Ada tasking
44	Misako Ishiguro, Mitsuhiro Makino, Naohisa Shinozawa	Vector and parallel processing of the nuclear reactor transient analysis code RELAPS.	SC	1988	DBLP DOI BibTeX RDF
40	William Currie Colket	Code analysis of saftey-critical and real-time software using ASIS.	SIGAda	1999	DBLP DOI BibTeX RDF	real-time, tasking, safety-critical, code analysis, ASIS, high integrity, Ada language, Ravenscar profile
38	Alejandro Duran, Josep M. Pérez, Eduard Ayguadé, Rosa M. Badia, Jesús Labarta	Extending the OpenMP Tasking Model to Allow Dependent Tasks.	IWOMP	2008	DBLP DOI BibTeX RDF
38	Takahiro Tanaka, Kyouhei Matsumura, Kinya Fujita	Acceptable Dialogue Start Supporting Agent for Avatar-Mediated Multi-tasking Online Communication.	IVA	2008	DBLP DOI BibTeX RDF
38	Anders Pettersson, Daniel Sundmark, Henrik Thane, Dag Nyström	Shared Data Analysis for Multi-Tasking Real-Time System Testing.	SIES	2007	DBLP DOI BibTeX RDF
38	Adam J. Hassell, Philip Smith, David Stratton	An evaluation framework for videogame based tasking of remote vehicles.	IE	2007	DBLP BibTeX RDF	videogame interfaces, metrics, human robot interaction, situation awareness
38	Eduard Ayguadé, Alejandro Duran, Jay P. Hoeflinger, Federico Massaioli, Xavier Teruel	An Experimental Evaluation of the New OpenMP Tasking Model.	LCPC	2007	DBLP DOI BibTeX RDF
38	Niklas Holsti, Thomas Långbacka	Impact of a Restricted Tasking Profile: The Case of the GOCE Platform Application Software.	Ada-Europe	2003	DBLP DOI BibTeX RDF
38	Théodore Marescaux, T. Andrei Bartic, Diederik Verkest, Serge Vernalde, Rudy Lauwereins	Interconnection Networks Enable Fine-Grain Dynamic Multi-tasking on FPGAs.	FPL	2002	DBLP DOI BibTeX RDF
38	Kristina Lundqvist, Lars Asplund	A formal model of the Ada Ravenscar tasking profile; delay until.	SIGAda	1999	DBLP DOI BibTeX RDF
38	Laurent Millet, Ted Baker	Porting the GNAT Tasking Runtime System to the Java Virtual Machine.	Ada-Europe	1998	DBLP DOI BibTeX RDF
38	F. Battini, P. L. Mantovani, Marco Mattavelli	Evaluation of a SPARC Board Equipped with the Ada Tasking Coprocessor (ATAC).	Ada-Europe	1995	DBLP DOI BibTeX RDF
38	James C. Corbett	An Empirical Evaluation of Three Methods for Deadlock Analysis of Ada Tasking Programs.	ISSTA	1994	DBLP DOI BibTeX RDF	Ada
38	Shengru Tu, Wei Sun 0002	Linear Programming Supporting Ada-Tasking Static Analysis: A Petri Net Approach.	SEKE	1992	DBLP DOI BibTeX RDF
38	R. F. Kamel, Neil D. Gammage	Experience with Rendezvous [tasking and communication model].	ICCL	1988	DBLP DOI BibTeX RDF
35	Takahiro Tanaka, Kyouhei Matsumura, Kinya Fujita	Supporting Acceptable Dialogue Start Based on User Uninterruptibility Estimation for Avatar-Mediated Multi-tasking Online Communication.	HCI (12)	2009	DBLP DOI BibTeX RDF	online communication, interruptibility, Multi-tasking
35	Brian Dobbing, Alan Burns 0001	The Ravenscar Tasking Profile for High Integrity Real-Time Programs.	SIGAda	1998	DBLP DOI BibTeX RDF	Ravenscar, Ada, Ada, tasking, safety-critical, high-integrity
33	Eduard Ayguadé, James Beyer, Alejandro Duran, Roger Ferrer, Grant Haab, Kelvin Li, Federico Massaioli	An Extension to Improve OpenMP Tasking Control.	IWOMP	2010	DBLP DOI BibTeX RDF
33	Daniel Lorenz 0001, Bernd Mohr, Christian Rössel, Dirk Schmidl, Felix Wolf 0001	How to Reconcile Event-Based Performance Analysis with Tasking in OpenMP.	IWOMP	2010	DBLP DOI BibTeX RDF
33	Tyler B. Hallmark, Eugene K. Ressler	Parallel evolution of game evaluation functions in ada.	SIGAda	2007	DBLP DOI BibTeX RDF
33	Sungmin Choi, Hoon Oh	Design of Real-Time Embedded Music System.	SERA	2007	DBLP DOI BibTeX RDF
33	Izzet Safer, Gail C. Murphy	Comparing episodic and semantic interfaces for task boundary identification.	CASCON	2007	DBLP DOI BibTeX RDF
33	José F. Ruiz	GNAT Pro for On-board Mission-Critical Space Applications.	Ada-Europe	2005	DBLP DOI BibTeX RDF
33	Sungjoo Yoo, Iuliana Bacivarov, Aimen Bouchhima, Yanick Paviot, Ahmed Amine Jerraya	Building Fast and Accurate SW Simulation Models Based on Hardware Abstraction Layer and Simulation Environment Abstraction Layer.	DATE	2003	DBLP DOI BibTeX RDF
33	Juan Antonio de la Puente, Juan Zamorano, Alejandro Alonso 0001, José L. Fernández	Reusable Executives for Hard Real-Time Systems in Ada.	Ada-Europe	1992	DBLP DOI BibTeX RDF
33	David C. Luckham, David P. Helmbold, D. L. Bryan, M. A. Haberler	Task Sequencing Language for Specifying Distributed Ada Systems.	PARLE (2)	1987	DBLP DOI BibTeX RDF
29	Yu You, Panu M. Åkerman, Suresh Chande	ActivePlace, a Unified Collaboration Environment.	CDVE	2008	DBLP DOI BibTeX RDF	unified collaborative environment, computer supported collaborative work, Collaboration applications, multi-tasking
29	Rahul Balani, Chih-Chieh Han, Ram Kumar Rengaswamy, Ilias Tsigkogiannis, Mani B. Srivastava	Multi-level software reconfiguration for sensor networks.	EMSOFT	2006	DBLP DOI BibTeX RDF	sensor networks, virtual machine, reconfiguration, multi-tasking, reprogramming
29	Tullio Vardanega, Juan Zamorano, Juan Antonio de la Puente	On the Dynamic Semantics and the Timing Behavior of Ravenscar Kernels.	Real Time Syst.	2005	DBLP DOI BibTeX RDF	tasking restrictions, Real-time systems, concurrent programming, static timing analysis, response time analysis, Ravenscar Profile
29	Olivier Beaumont, Arnaud Legrand, Yves Robert	The Master-Slave Paradigm with Heterogeneous Processors.	IEEE Trans. Parallel Distributed Syst.	2003	DBLP DOI BibTeX RDF	master-slave tasking, communication, complexity, matching, Heterogeneous processors
29	Olivier Beaumont, Arnaud Legrand, Yves Robert	The Master-Slave Paradigm with Heterogeneous Processors.	CLUSTER	2001	DBLP DOI BibTeX RDF	master-slave tasking, communication, complexity, matching, heterogeneous processors
29	Simon Fowler 0002, Andy J. Wellings	Formal development of a real-time kernel.	RTSS	1997	DBLP DOI BibTeX RDF	formal development, simple real time operating system kernel, restricted Ada 95 tasking model, fixed priority real time systems, abstract specification, PVS proof system, computational model, RTL, operating system kernels
29	E. M. Osman, Grace Baratta-Perez, Thomas J. Walsh 0002, Kenneth J. Fowler	A unique tool set for engineering complex systems.	ICECCS	1995	DBLP DOI BibTeX RDF	tool set, life-cycle management, large-system features, Ada 83, C System Dependency Analyzers, Ada 83 Common Code Recognizer, Ada 83 Tasking Identifier, Rate Monotonic Analysis Scheduler, source code analysis tools, software engineering, reliability, software architecture, Ada, Ada, software maintenance, software tools, complex systems, portability, maintainability, software portability, software systems, porting
29	Sastry Duri, Ugo A. Buy, R. Devarapalli, Sol M. Shatz	Application and Experimental Evaluation of State Space Reduction Methods for Deadlock Analysis in Ada.	ACM Trans. Softw. Eng. Methodol.	1994	DBLP DOI BibTeX RDF	concurrency analysis, experimental evaluation, deadlock detection, automatic analysis, Ada tasking, state space explosion
29	Richard N. Taylor, David L. Levine, Cheryl D. Kelly	Structural Testing of Concurrent Programs.	IEEE Trans. Software Eng.	1992	DBLP DOI BibTeX RDF	structural testing techniques, structural testing criteria, concurrency state coverage, state transition coverage, synchronization coverage, static concurrency analyzer, program transformation system, powerful run-time monitor, controllable run-time scheduler, CSP-like languages, static naming, tasking objects, scheduling, parallel programming, Ada, concurrency control, software metrics, program testing, concurrent programs, support tools, sequential programs
29	Louise E. Moser	Data Dependency Graphs for Ada Programs.	IEEE Trans. Software Eng.	1990	DBLP DOI BibTeX RDF	composition rules, primitive program statements, data structures, Ada, tracking, programming, information flow, exception handling, correctness, recursion, tasking, iteration, data dependency graphs, Ada programs, program development environment
29	Tadao Murata, Boris Shenker, Sol M. Shatz	Detection of Ada Static Deadlocks Using Petri Net Invariants.	IEEE Trans. Software Eng.	1989	DBLP DOI BibTeX RDF	Ada static deadlocks, Petri net invariants, Ada tasking programs, message-flow, computational complexity, complexities, Petri nets, Ada, concurrency control, program testing, system recovery, control-flow
29	Michael B. Feldman, Melinda L. Moran	Validating a Demonstration Tool for Graphics-Assisted Debugging of Ada Concurrent Programs.	IEEE Trans. Software Eng.	1989	DBLP DOI BibTeX RDF	demonstration tool, graphics-assisted debugging, Ada concurrent programs, static task-specification diagrams, communicating tasks, DEC GIGI terminal, VAX 11-780, partial Ada compiler, tasking programs, graphical debugger, parallel programming, Ada, computer graphics, software tools, program verification, program debugging, intertask communication
28	Eduard Ayguadé, Rosa M. Badia, Daniel Cabrera, Alejandro Duran, Marc González 0001, Francisco D. Igual, Daniel Jiménez-González, Jesús Labarta, Xavier Martorell, Rafael Mayo 0002, Josep M. Pérez, Enrique S. Quintana-Ortí	A Proposal to Extend the OpenMP Tasking Model for Heterogeneous Architectures.	IWOMP	2009	DBLP DOI BibTeX RDF
28	Antonios K. Bouloubasis, Gerard T. McKee	The Mobility System of the Multi-Tasking Rover (MTR).	ICRA	2007	DBLP DOI BibTeX RDF
28	Rakesh Reddy, Peter Petrov	Eliminating inter-process cache interference through cache reconfigurability for real-time and low-power embedded multi-tasking systems.	CASES	2007	DBLP DOI BibTeX RDF	real-time embedded systems, cache interference
28	Gaurav Dhiman, Tajana Simunic Rosing	Dynamic voltage frequency scaling for multi-tasking systems using online learning.	ISLPED	2007	DBLP DOI BibTeX RDF	dynamic voltage frequency scaling, online learning
28	Cyril Banino-Rokkones, Olivier Beaumont, Lasse Natvig	Master-Slave Tasking on Asymmetric Networks.	Euro-Par	2006	DBLP DOI BibTeX RDF
28	KiSeun Kwon, Youngmin Yi, Dohyung Kim 0007, Soonhoi Ha	Embedded software generation from system level specification for multi-tasking embedded systems.	ASP-DAC	2005	DBLP DOI BibTeX RDF
28	Yudong Tan, Vincent John Mooney III	Timing Analysis for Preemptive Multi-Tasking Real-Time Systems with Caches.	DATE	2004	DBLP DOI BibTeX RDF
28	Yudong Tan, Vincent John Mooney	Integrated Intra- and Inter-task Cache Analysis for Preemptive Multi-tasking Real-Time Systems.	SCOPES	2004	DBLP DOI BibTeX RDF
28	Sung I. Park, Vijay Raghunathan, Mani B. Srivastava	Energy efficiency and fairness tradeoffs in multi-resource, multi-tasking embedded systems.	ISLPED	2003	DBLP DOI BibTeX RDF	low power design, dynamic power management, embedded system design, energy efficient design
28	Martijn J. Rutten, Jos T. J. van Eijndhoven, Evert-Jan D. Pol	Robust Media Processing in a Flexible and Cost-Effective Network of Multi-Tasking Coprocessors.	ECRTS	2002	DBLP DOI BibTeX RDF
28	Martijn J. Rutten, Jos T. J. van Eijndhoven, Evert-Jan D. Pol	Design of multi-tasking coprocessor control for Eclipse.	CODES	2002	DBLP DOI BibTeX RDF
28	Colin J. Fidge	The Algebra of Multi-tasking.	AMAST	2000	DBLP DOI BibTeX RDF
28	Alan Burns 0001, Brian Dobbing, George Romanski	The Ravenscar Tasking Profile for High Integrity Real-Time Programs.	Ada-Europe	1998	DBLP DOI BibTeX RDF
28	Joachim Roos	Designing a Real-Time Coprocessor for Ada Tasking.	IEEE Des. Test Comput.	1991	DBLP DOI BibTeX RDF
28	Laura K. Dillon	Using Symbolic Execution for Verification of Ada Tasking Programs.	ACM Trans. Program. Lang. Syst.	1990	DBLP DOI BibTeX RDF	Ada
28	Linda Rising	Tasking troubles and tips.	ACM SIGPLAN Notices	1988	DBLP DOI BibTeX RDF	Ada
28	Linda Rising	Tasking troubles and tips (abstract).	ACM Conference on Computer Science	1988	DBLP DOI BibTeX RDF	Ada
22	Karl Fürlinger, David Skinner	Performance Profiling for OpenMP Tasks.	IWOMP	2009	DBLP DOI BibTeX RDF
22	Maria Karam, Jason Chong Lee, R. Travis Rose, Francis K. H. Quek, D. Scott McCrickard	Comparing Gesture and Touch for Notification System Interactions.	ACHI	2009	DBLP DOI BibTeX RDF
22	Irfan Hamid, Bechir Zalila, Elie Najm, Jérôme Hugues	Automatic framework generation for hard real-time applications.	Innov. Syst. Softw. Eng.	2008	DBLP DOI BibTeX RDF	Ravenscar, Real-time, Ada, Code generation, Model transformation, AADL
22	Frank Singhoff	MP1: real time scheduling theory and its use with ada.	SIGAda	2007	DBLP DOI BibTeX RDF
22	Primoz Skraba, Leonidas J. Guibas	Energy Efficient Intrusion Detection in Camera Sensor Networks.	DCOSS	2007	DBLP DOI BibTeX RDF
22	Irfan Hamid, Elie Najm, Jérôme Hugues	A Generative Approach to Building a Framework for Hard Real-Time Applications.	SEW	2007	DBLP DOI BibTeX RDF
22	Shafiq U. Hashmi, Hussein T. Mouftah, Nicolas D. Georganas	A New Transport Layer Sensor Network Protocol.	CCECE	2006	DBLP DOI BibTeX RDF
22	Douglas A. Few, David J. Bruemmer, Miles C. Walton	Dynamic leadership for human-robot teams.	HRI	2006	DBLP DOI BibTeX RDF
22	Xiaocong Fan, Bingjun Sun, Shuang Sun, Michael D. McNeese, John Yen	RPD-enabled agents teaming with humans for multi-context decision making.	AAMAS	2006	DBLP DOI BibTeX RDF	attention switching, human-centered teamwork, multiple contexts, cognitive agent, naturalistic decision making
22	Laurent Daynès, Grzegorz Czajkowski	Sharing the Runtime Representation of Classes Across Class Loaders.	ECOOP	2005	DBLP DOI BibTeX RDF
22	Bhuvan Middha, Matthew S. Simpson, Rajeev Barua	MTSS: multi task stack sharing for embedded systems.	CASES	2005	DBLP DOI BibTeX RDF	cactus stack, meshed stack, out-of-memory, reliability, reuse, runtime checks, heap overflow, stack overflow
22	Diyaa-Addein Atiya, Steve King 0001	Extending Ravenscar with CSP Channels.	Ada-Europe	2005	DBLP DOI BibTeX RDF
22	Jian Song, Dong-Zhi He, Wei Li	A new kind of real-time control scheduling algorithm.	ICARCV	2004	DBLP DOI BibTeX RDF
22	Marcello Lajolo, Luciano Lavagno, Alberto L. Sangiovanni-Vincentelli	Fast Instruction Cache Simulation Strategies in a Hardware/Software Co-Design Environment.	ASP-DAC	1999	DBLP DOI BibTeX RDF
22	Kristina Lundqvist, Lars Asplund	A Formal Model of a Run-Time Kernel for Ravenscar.	RTCSA	1999	DBLP DOI BibTeX RDF