Search results for "real-time distributed systems"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
3	Tamir Hegazy, Binoy Ravindran	Using Application Benefit for Proactive Resource Allocation in Asynchronous Real-Time Distributed Systems.	IEEE Trans. Computers	2002	DBLP DOI BibTeX RDF	Asynchronous real-time distributed systems, proactive resource allocation, best-effort resource allocation, best-effort real-time scheduling, benefit functions, switched real-time Ethernet, distributed real-time systems, adaptive resource allocation
2	Wei Luo, Fumin Yang, Gang Tu, Liping Pang, Xiao Qin	TERCOS: A Novel Technique for Exploiting Redundancies in Fault-Tolerant and Real-Time Distributed Systems.	RTCSA	2007	DBLP DOI BibTeX RDF
2	Craig Eichelkraut, Letha H. Etzkorn	An approach for developing real-time distributed systems using an agent architecture description language.	ACM Southeast Regional Conference	2006	DBLP DOI BibTeX RDF
2	Christo Angelov, Jesper Berthing	Distributed Timed Multitasking - A Model of Computation for Hard Real-Time Distributed Systems.	DIPES	2006	DBLP DOI BibTeX RDF	hard real-time distributed systems, actor-based architecture, signal-based communication, timed multitasking
2	Lei Wang 0023, Mingde Zhao, Zengwei Zheng, Zhaohui Wu	End-To-End Worst-Case Response Time Analysis for Hard Real-Time Distributed Systems.	SAFECOMP	2005	DBLP DOI BibTeX RDF
2	Lei Wang 0023, Mingde Zhao, Zengwei Zheng, Zhaohui Wu	Exact Best-Case End-to-End Response Time Analysis for Hard Real-Time Distributed Systems.	ISCIS	2005	DBLP DOI BibTeX RDF
2	Binoy Ravindran, Peng Li	DPR, LPR: Proactive Resource Allocation Algorithms for Asynchronous Real-Time Distributed Systems.	IEEE Trans. Computers	2004	DBLP DOI BibTeX RDF	Asynchronous real-time systems, proactive resource allocation, switched real-time Ethernet, MLLF, EDF, distributed real-time systems, aperiodic tasks
2	Danièle Beauquier, Tristan Crolard, Evguenia Prokofieva	Automatic Parametric Verification of a Root Contention Protocol Based on Abstract State Machines and First Order Timed Logic.	TACAS	2004	DBLP DOI BibTeX RDF	IEEE 1394a standard, root contention protocol, Gurevich abstract state machines, predicate logic, real-time distributed systems, Parametric verification
2	Binoy Ravindran, Gérard Le Lann, Jinggang Wang, Peng Li	A Systems Engineering Approach for Constructing Certifiable Real-Time Distributed Systems. (PDF / PS)	ISORC	2003	DBLP DOI BibTeX RDF
2	Binoy Ravindran	Engineering Dynamic Real-Time Distributed Systems: Architecture, System Description Language, and Middleware.	IEEE Trans. Software Eng.	2002	DBLP DOI BibTeX RDF	real-time resource management, quality of service, real-time systems, scalability, middleware, survivability, command and control, timeliness, system software, process control systems
2	Peng Li, Binoy Ravindran	Efficiently Tolerating Failures in Asynchronous Real-Time Distributed Systems.	HASE	2002	DBLP DOI BibTeX RDF
2	Binoy Ravindran, Gérard Le Lann, Peng Li	Constructing High Assurance Asynchronous Real-Time Distributed Systems: A Proof-Based System Engineering Approach.	HASE	2002	DBLP DOI BibTeX RDF
2	Tamir Hegazy, Binoy Ravindran	On Decentralized Proactive Resource Allocation in Asynchronous Real-Time Distributed Systems.	HASE	2002	DBLP DOI BibTeX RDF
2	Werner Damm, Bengt Jonsson	Eliminating Queues from RT UML Model Representations.	FTRTFT	2002	DBLP DOI BibTeX RDF	RT UML, verification of infinite state systems, protocol verification, Real-time distributed systems
2	Binoy Ravindran, Baoping Zhang	On Adaptive Communication in Asynchronous Real-Time Distributed Systems.	ECBS	2001	DBLP DOI BibTeX RDF
2	Binoy Ravindran, Pushkin Kachroo, Tamir Hegazy	Adaptive Resource Management in Asynchronous Real-Time Distributed Systems Using Feedback Control Functions. (PDF / PS)	ISADS	2001	DBLP DOI BibTeX RDF
2	Laurent Pautet, Samuel Tardieu	GLADE: A Framework for Building Large Object-Oriented Real-Time Distributed Systems.	ISORC	2000	DBLP DOI BibTeX RDF	fault tolerance, distributed systems, Ada
2	Patrice Carrére, Jean-François Hermant, Gérard Le Lann	In Pursuit of Correct Paradigms for Object-Oriented Real-Time Distributed Systems.	ISORC	1999	DBLP DOI BibTeX RDF
2	Javier Orozco, Ricardo Cayssials, Jorge Santos, Edgardo Ferro	Precedence constraints in hard real-time distributed systems.	ICECCS	1997	DBLP DOI BibTeX RDF	hard real-time distributed systems, multitask-multiprocessor systems, taxonomic genus, tentative assignment, formally proved method, tentative assignments, real-time systems, NP-complete problem, precedence constraints
2	Jean-Francois Guillaud, Max Roger Pokam, Gérard Michel	An ATM-Based Multimedia Integrated Manufacturing System . (PDF / PS)	HPDC	1995	DBLP DOI BibTeX RDF	ATM-based multimedia integrated manufacturing system, high-speed communication technologies, intelligent network interface board, field programmable gate array component, high speed communication links, field programmable gate arrays, protocols, protocols, asynchronous transfer mode, multimedia systems, multimedia applications, computer integrated manufacturing, real time distributed systems
2	Max Roger Pokam, Jean-Francois Guillaud, Gérard Michel	Integrated multimedia in manufacturing networks using ATM. (PDF / PS)	LCN	1995	DBLP DOI BibTeX RDF	manufacturing networks, continuous media data flows, process control plants, multimedia application service element, intelligent communication board, high level communication functions, multimedia load, field programmable gate array, multimedia, asynchronous transfer mode, ATM, local area networks, multimedia computing, manufacturing processes, real-time distributed systems, factory automation, TCP/IP protocol
2	Roland Mandler	A configurable adjunct for real time systems (CARTS). (PDF / PS)	IEEE Real Time Technology and Applications Symposium	1995	DBLP DOI BibTeX RDF	utility programs, configurable adjunct for real time systems, rapid application code generation, generic user interfaces, processor restarts, incremental system integration, incremental system reconfiguration, file-based data, tailored functionality, CARTS postal system, optimal transfer methods, backplane I/O, network I/O, CARTS clock services, high resolution time of day clocks, high resolution mission clock, system wide clock synchronisation, real-time systems, user interfaces, architectures, shared memory, shared memory systems, application program interfaces, clocks, network operating systems, operating system kernels, CARTS, real time distributed systems, input-output programs, system services, intertask communication
2	Wesley W. Chu, Chi-Man Sit, Kin K. Leung	Task Response Time For Real-Time Distributed Systems With Resource Contentions.	IEEE Trans. Software Eng.	1991	DBLP DOI BibTeX RDF	task response times, extended queuing network model, module response times, weighted control-flow graph model, task response time, invocation rates, module assignments, real-time systems, computational complexity, computational complexity, graph theory, resource allocation, distributed processing, queueing theory, analytic model, simulation results, interprocessor communications, scheduling policies, resource contentions, decomposition technique, real-time distributed systems, submodels, distributed processing systems
2	Leo Yuhsiang Liu, R. K. Shyamasundar	Static Analysis of Real-Time Distributed Systems.	IEEE Trans. Software Eng.	1990	DBLP DOI BibTeX RDF	maximal parallelism model, parallel actions, temporal errors, CSP programs, software engineering, real-time systems, parallel programming, static analysis, distributed processing, programs, programming languages, reasoning, deadlocks, terminations, failures, livelocks, timing properties, real-time distributed systems, temporal behaviors
2	Carl K. Chang, Tsang Ming Jiang, Mikio Aoyama	A specification language for real-time distributed systems.	ICCL	1988	DBLP DOI BibTeX RDF
2	Frederick C. Furtek	Specification and Verification of Real-Time, Distributed Systems Using the Theory of Constraints.	CADE	1980	DBLP DOI BibTeX RDF
1	Takeshi Nagaoka, Akihiko Ito, Kozo Okano, Shinji Kusumoto	QoS Analysis of Real-Time Distributed Systems Based on Hybrid Analysis of Probabilistic Model Checking Technique and Simulation.	IEICE Transactions	2011	DBLP BibTeX RDF
1	Mong Leng Sin, Mélanie Bouroche, Vinny Cahill	Scheduling of Dynamic Participants in Real-Time Distributed Systems.	SRDS	2011	DBLP DOI BibTeX RDF
1	Julio L. Medina, Alvaro Garcia Cuesta	Model-Based Analysis and Design of Real-Time Distributed Systems with Ada and the UML Profile for MARTE.	Ada-Europe	2011	DBLP DOI BibTeX RDF
1	Ludovic Apvrille, Ahlem Mifdaoui, Pierre de Saqui-Sannes	Real-Time Distributed Systems Dimensioning and Validation: The TURTLE Method.	Stud. Inform. Univ.	2010	DBLP BibTeX RDF
1	Qi Zhu, Yang Yang, Marco Di Natale, Eelco Scholte, Alberto L. Sangiovanni-Vincentelli	Optimizing the Software Architecture for Extensibility in Hard Real-time Distributed Systems.	IEEE Trans. Industrial Informatics	2010	DBLP DOI BibTeX RDF
1	Juan Zamorano, Juan Antonio de la Puente	Design and implementation of real-time distributed systems with the ASSERT Virtual Machine.	ETFA	2010	DBLP DOI BibTeX RDF
1	Janusz Zalewski	Real-Time Distributed Systems and Networks.	Scalable Computing: Practice and Experience	2009	DBLP BibTeX RDF
1	Danny Bickson, Gidon Gershinsky, Ezra N. Hoch, Konstantin Shagin	A Statistical Approach to Performance Monitoring in Soft Real-Time Distributed Systems	CoRR	2009	DBLP BibTeX RDF
1	Wei Luo, Xiao Qin, Xian-Chun Tan, Ke Qin, Adam Manzanares	Exploiting Redundancies to Enhance Schedulability in Fault-Tolerant and Real-Time Distributed Systems.	IEEE Transactions on Systems, Man, and Cybernetics, Part A	2009	DBLP DOI BibTeX RDF
1	Hoda Maalouf	Managing trade-offs between information loss and latency in real-time distributed systems.	ICITST	2009	DBLP BibTeX RDF
1	Abdullah Al-Nayeem, Mu Sun, Xiaokang Qiu, Lui Sha, Steven P. Miller, Darren D. Cofer	A Formal Architecture Pattern for Real-Time Distributed Systems.	IEEE Real-Time Systems Symposium	2009	DBLP DOI BibTeX RDF
1	Qi Zhu, Yang Yang, Eelco Scholte, Marco Di Natale, Alberto L. Sangiovanni-Vincentelli	Optimizing Extensibility in Hard Real-Time Distributed Systems.	IEEE Real-Time and Embedded Technology and Applications Symposium	2009	DBLP DOI BibTeX RDF
1	Manuel Barranco, Julian Proenza, Luís Almeida	Boosting the Robustness of Controller Area Networks: CANcentrate and ReCANcentrate.	IEEE Computer	2009	DBLP DOI BibTeX RDF	CAN protocol, Embedded systems, Network topology, Systems engineering, Controller area networks, Error checking, Real-time distributed systems, Buses
1	Arnab Ray, Rance Cleaveland	Executable Specifications for Real-Time Distributed Systems.	Electr. Notes Theor. Comput. Sci.	2008	DBLP DOI BibTeX RDF
1	Manuel Díaz, Daniel Garrido, Luis Llopis, Francisco Rus, José M. Troya	UM-RTCOM: An analyzable component model for real-time distributed systems.	Journal of Systems and Software	2008	DBLP DOI BibTeX RDF
1	Minyoung Kim, Mark-Oliver Stehr, Carolyn L. Talcott, Nikil Dutt, Nalini Venkatasubramanian	Constraint Refinement for Online Verifiable Cross-Layer System Adaptation.	DATE	2008	DBLP DOI BibTeX RDF
1	Bengi Karacali, Mark Karot, P. Krishnan, Beilei Zhan	Efficient Search Algorithms in the Presence of Measurement Uncertainty.	ICC	2008	DBLP DOI BibTeX RDF
1	Marco Roccetti, Stefano Ferretti, Claudio E. Palazzi	The Brave New World of Multiplayer Online Games: Synchronization Issues with Smart Solutions.	ISORC	2008	DBLP DOI BibTeX RDF	Mulltiplayer Online Games, Distributed Architectures, Synchronization Algorithms
1	Maria Sorea, Bruno Dutertre, Wilfried Steiner	Modeling and Verification of Time-Triggered Communication Protocols.	ISORC	2008	DBLP DOI BibTeX RDF
1	Bechir Zalila, Laurent Pautet, Jérôme Hugues	Towards Automatic Middleware Generation.	ISORC	2008	DBLP DOI BibTeX RDF	Automatic Middleware Generation, Ocarina, PolyORB-HI, AADL, Distributed Real-Time Embedded Systems
1	Hugo Daniel Macedo, Peter Gorm Larsen, John S. Fitzgerald	Incremental Development of a Distributed Real-Time Model of a Cardiac Pacing System Using VDM.	FM	2008	DBLP DOI BibTeX RDF
1	Mohammed Eltayeb, Füsun Özgüner	A queueing model for data scheduling in real-time distributed systems.	ISCA PDCS	2007	DBLP BibTeX RDF
1	Paolo Pagano, Prashant Batra, Giuseppe Lipari	A Framework for Modeling Operating System Mechanisms in the Simulation of Network Protocols for Real-Time Distributed Systems.	IPDPS	2007	DBLP DOI BibTeX RDF
1	Craig Eichelkraut, Letha H. Etzkorn	Describing agent based real-time distributed systems using design patterns.	ACM Southeast Regional Conference	2007	DBLP DOI BibTeX RDF
1	Ayman M. Wahba, Islam A. M. El-Maddah	Verification of the Properties of Asynchronous Real-Time Distributed Systems using the B-Formalism.	FDL	2007	DBLP BibTeX RDF
1	Wei Zheng, Qi Zhu, Marco Di Natale, Alberto L. Sangiovanni-Vincentelli	Definition of Task Allocation and Priority Assignment in Hard Real-Time Distributed Systems.	RTSS	2007	DBLP DOI BibTeX RDF
1	Mohammed AlRahmawy, Andy J. Wellings	A model for real time mobility based on the RTSJ.	JTRES	2007	DBLP DOI BibTeX RDF	Java, distributed systems, mobility, real time, RTSJ
1	Edward Curley, Jonathan Stephen Anderson, Binoy Ravindran, E. Douglas Jensen	Recovering from Distributable Thread Failures with Assured Timeliness in Real-Time Distributed Systems.	SRDS	2006	DBLP DOI BibTeX RDF
1	Pabitra Mohan Khilar, S. Mahapatra	Design and Evaluation of a Distributed Diagnosis Algorithm in Dynamic Fault Environments For Not-Completely Connected Network.	ICIT	2006	DBLP DOI BibTeX RDF	fault tolerance, diagnosis, synchronous systems, dynamic failures
1	John S. Fitzgerald, Peter Gorm Larsen	Triumphs and Challenges for Model-Oriented Formal Methods: The VDM++ Experience (Abstract).	ISoLA	2006	DBLP DOI BibTeX RDF
1	Haisang Wu, Binoy Ravindran, E. Douglas Jensen, Peng Li	Time/Utility Function Decomposition Techniques for Utility Accrual Scheduling Algorithms in Real-Time Distributed Systems.	IEEE Trans. Computers	2005	DBLP DOI BibTeX RDF	Distributable thread, time constraint decomposition, Real-Time CORBA 1.2, time/utility function, value function
1	Kevin Bryan, Tiegeng Ren, Jiangyin Zhang, Lisa Cingiser DiPippo, Victor Fay Wolfe	The Design of the OpenSTARS Adaptive Analyzer for Real-Time Distributed Systems.	IPDPS	2005	DBLP DOI BibTeX RDF
1	John W. McCormick, Leemon C. Baird III (eds.)	Proceedings of the 2005 Annual ACM SIGAda International Conference on Ada: The Engineering of Correct and Reliable Software for Real-Time & Distributed Systems using Ada and Related Technologies 2005, Atlanta, GA, USA, November 13-17, 2005	SIGAda	2005	DBLP BibTeX RDF
1	Razvan Racu, Marek Jersak, Rolf Ernst	Applying Sensitivity Analysis in Real-Time Distributed Systems.	IEEE Real-Time and Embedded Technology and Applications Symposium	2005	DBLP DOI BibTeX RDF
1	Knut H. Pedersen, Constantinos Constantinides	AspectAda: aspect oriented programming for ada95.	SIGAda	2005	DBLP DOI BibTeX RDF	ada semantic interface specification (ASIS), aspect-oriented programming (AOP), concurrent programming, inheritance anomaly, ada95
1	Andrew Berns	A comparison of CORBA and ada's distributed systems annex.	SIGAda	2005	DBLP DOI BibTeX RDF	distributed computing, CORBA, distributed systems annex
1	Gustaf Naeser, Lars Asplund, Johan Furunäs	SafetyChip: a time monitoring and policing device.	SIGAda	2005	DBLP DOI BibTeX RDF	FPGA, kernel, hardware monitoring
1	Xavier Sautejeau	Modeling SPARK systems with UML.	SIGAda	2005	DBLP DOI BibTeX RDF	UML, ada, profile, metamodel, informed, SPARK
1	George Romanski	Ada in the avionics industry.	SIGAda	2005	DBLP DOI BibTeX RDF	Ada
1	Anthony S. Ruocco	Experiences using SPARK in an undergraduate CS course.	SIGAda	2005	DBLP DOI BibTeX RDF	computer science education, computer science curriculum, SPARK
1	Howard Ausden, Karl A. Nyberg	Using ASIS to generate C++ bindings.	SIGAda	2005	DBLP DOI BibTeX RDF	cross-language libraries, multiple language interfaces, program transformation
1	Matt Mark	Data sharing between ada and C/C++.	SIGAda	2005	DBLP DOI BibTeX RDF	cross-language interface
1	David G. Mathisen, Robert W. Carey	Orchestrating shots for the national ignition racility.	SIGAda	2005	DBLP DOI BibTeX RDF	java, XML, architecture, concurrency, workflow, framework, CORBA, multi-threaded, state machine, model-based, data driven, Ada95
1	Gustaf Naeser, Kristina Lundqvist, Lars Asplund	Temporal skeletons for verifying time.	SIGAda	2005	DBLP DOI BibTeX RDF	verification, ada, formal notation
1	James F. Davis	The affordable application of formal methods to software engineering.	SIGAda	2005	DBLP DOI BibTeX RDF	trust, correctness, proven, engineering, formal
1	Korochkin Alexandr, Salah Imad, Korochkin Dmitry	Experimental performance analysis of ada programs in cluster system.	SIGAda	2005	DBLP DOI BibTeX RDF	distributed (cluster) systems, java, ada, monitor, process, mutual exclusion, SMP, remote procedure call, process synchronization, client-server model
1	Frank Singhoff, Jérôme Legrand, Laurent Nana, Lionel Marcé	Scheduling and memory requirements analysis with AADL.	SIGAda	2005	DBLP DOI BibTeX RDF	ada framework, memory requirements and real time scheduling analysis, AADL
1	Ricky E. Sward, Leemon C. Baird III	Optimizing the SPARK program slicer.	SIGAda	2005	DBLP DOI BibTeX RDF	formal methods, program slicing, ASIS
1	Javier Miranda, Edmond Schonberg, Hristian Kirtchev	The implementation of ada 2005 synchronized interfaces in the GNAT compiler.	SIGAda	2005	DBLP DOI BibTeX RDF	compiler, synchronization, interfaces, Ada 2005, GNAT
1	Sung-Jin Kim, Falko Kuester, K. H. Kim	A global timestamp-based approach to enhanced data consistency and fairness in collaborative virtual environments.	Multimedia Syst.	2005	DBLP DOI BibTeX RDF	Global timestamp, Fairness, Online game, TMO, Real-time distributed systems
1	Derek Messie, Jae C. Oh	Polymorphic self-* agents for stigmergic fault mitigation in large-scale real-time embedded systems.	AAMAS	2005	DBLP DOI BibTeX RDF	self-* agents, multi-agent systems, game theory, polymorphism, SWARM, stigmergy
1	M. J. B. Calha, J. A. G. Fonseca	Data streams - an analysis of the interactions between real-time tasks.	ETFA	2005	DBLP DOI BibTeX RDF
1	Daniel Tejera, Ruth Tolosa, Miguel A. de Miguel, Alejandro Alonso	Two Alternative RMI Models for Real-Time Distributed Applications.	ISORC	2005	DBLP DOI BibTeX RDF
1	Jiangyin Zhang, Lisa Cingiser DiPippo, Victor Fay Wolfe, Kevin Bryan, Matthew Murphy	A Real-Time Distributed Scheduling Service For Middleware Systems.	WORDS	2005	DBLP DOI BibTeX RDF
1	Derek Messie, Jae C. Oh	Environment Organization of Roles Using Polymorphism.	E4MAS	2005	DBLP DOI BibTeX RDF
1	Manuel Díaz, Daniel Garrido, Luis Llopis, José M. Troya	Integrating RT-CORBA in SDL.	SDL Forum	2005	DBLP DOI BibTeX RDF
1	Peng Li, Binoy Ravindran	Efficiently tolerating failures in asynchronous real-time distributed systems.	Journal of Systems Architecture	2004	DBLP DOI BibTeX RDF
1	Peng Li, Binoy Ravindran	Proactive QoS negotiation in asynchronous real-time distributed systems.	Journal of Systems and Software	2004	DBLP DOI BibTeX RDF
1	E. Douglas Jensen	Timeliness in Mesosynchronous Real-Time Distributed Systems. (PDF / PS)	ISORC	2004	DBLP DOI BibTeX RDF
1	John W. McCormick, Ricky E. Sward (eds.)	Proceedings of the 2004 Annual ACM SIGAda International Conference on Ada: The Engineering of Correct and Reliable Software for Real-Time & Distributed Systems using Ada and Related Technologies 2004, Atlanta, GA, USA, November 14-14, 2004	SIGAda	2004	DBLP BibTeX RDF
1	Polly M. S. Poon, Tharam S. Dillon, Elizabeth Chang	XML as a basis for interoperability in Real Time Distributed Systems.	WSTFEUS	2004	DBLP DOI BibTeX RDF
1	C. Wayne Brown	Teaching graphics using Ada.	SIGAda	2004	DBLP DOI BibTeX RDF	Ada, computer graphics, C, VRML, cross compiling, code conversion
1	Geoff T. Smith	Measuring the effectiveness of ACATS.	SIGAda	2004	DBLP DOI BibTeX RDF	ACATS, conformity assessment, validation, conformance, runtime
1	James F. Davis	Information systems security engineering: a critical component of the systems engineering lifecycle.	SIGAda	2004	DBLP DOI BibTeX RDF	ISSE, security, engineering, assurance, IA
1	Ricky E. Sward, A. T. Chamillard	Re-engineering global variables in Ada.	SIGAda	2004	DBLP DOI BibTeX RDF	ASIS, SPARK, global variables
1	Paul Anderson	A refactoring tool for Ada 95.	SIGAda	2004	DBLP DOI BibTeX RDF	static analysis, refactoring, Ada 95, ASIS, software engineering tools
1	Frank Singhoff, Jérôme Legrand, Laurent Nana, Lionel Marcé	Cheddar: a flexible real time scheduling framework.	SIGAda	2004	DBLP DOI BibTeX RDF	real time scheduling, simulation tool
1	Javier Miranda, Edmond Schonberg	GNAT: on the road to Ada 2005.	SIGAda	2004	DBLP DOI BibTeX RDF	compiler, Ada 2005, front-end, GNAT
1	Andy Lapping	Model driven development with Ada.	SIGAda	2004	DBLP DOI BibTeX RDF	UML, unified modeling language, Ada, process, model driven development
1	Robert Soricone, Melvin Neville	Comparative analysis of genetic algorithm implementations.	SIGAda	2004	DBLP DOI BibTeX RDF	genetic algorithms, parameterized types
1	Roderick Chapman, Adrian Hilton	Enforcing security and safety models with an information flow analysis tool.	SIGAda	2004	DBLP DOI BibTeX RDF	Bell-LaPadula, Dolev-Yao, SPARK Ada, security, Ada, safety, information flow
1	Xianfeng Li, Abhik Roychoudhury, Tulika Mitra	Modeling Out-of-Order Processors for Software Timing Analysis.	RTSS	2004	DBLP DOI BibTeX RDF
1	Peng Li, Binoy Ravindran	Fast, Best-Effort Real-Time Scheduling Algorithms.	IEEE Trans. Computers	2004	DBLP DOI BibTeX RDF
1	Binoy Ravindran	LMR, DTA: adaptive communication algorithms for asynchronous real-time distributed systems using token-ring networks.	Journal of Systems and Software	2003	DBLP DOI BibTeX RDF