Search results for "Misra"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
88	Ronald C. de Vries	Reducing Null Messages in Misra's Distributed Discrete Event Simulation Method.	IEEE Trans. Software Eng.	1990	DBLP DOI BibTeX RDF	null messages reduction, distributed discrete event simulation method, Misra approach, feedback networks, distributed processing, program verification, feedforward
78	Yung-Chang Wong, Shu-Yuen Hwang, Yi-Bing Lin	A Parallelism Analyzer for Conservative Parallel Simulation.	IEEE Trans. Parallel Distributed Syst.	1995	DBLP DOI BibTeX RDF
62	Ruben A. Gamboa	A Formalization of Powerlist Algebra in ACL2.	J. Autom. Reason.	2009	DBLP DOI BibTeX RDF	Powerlists, Verification, ACL2
60	Ajith K. John, Babita Sharma, A. K. Bhattacharjee, S. D. Dhodapkar, S. Ramesh 0001	Detection of Runtime Errors in MISRA C Programs: A Deductive Approach.	SAFECOMP	2007	DBLP DOI BibTeX RDF
59	K. B. Lakshmanan, Krishnaiyan Thulasiraman, M. A. Comeau	An Efficient Distributed Protocol for Finding Shortest Paths in Networks with Negative Weights.	IEEE Trans. Software Eng.	1989	DBLP DOI BibTeX RDF	efficient distributed protocol, negative weights, single-source shortest-path problem, asynchronous directed network, unbounded message complexity, synchronous version, Chandy-Misra algorithm, efficient synchronizer, computational complexity, protocols, distributed algorithms, distributed processing, directed graphs, time complexities, edges, cycle, nodes, worst case, asynchronous protocol
58	Les Hatton	Language subsetting in an industrial context: A comparison of MISRA C 1998 and MISRA C 2004.	Inf. Softw. Technol.	2007	DBLP DOI BibTeX RDF
47	Larry Soulé, Anoop Gupta	Characterization of Parallelism and Deadlocks in Distributed Digital Logic Simulation.	DAC	1989	DBLP DOI BibTeX RDF
45	Larry Soulé, Anoop Gupta	An Evaluation of the Chandy-Misra-Bryant Algorithm for Digital Logic Simulation.	ACM Trans. Model. Comput. Simul.	1991	DBLP DOI BibTeX RDF	MIPS R6000
43	Asad Waqar Malik, Shoab Ahmed Khan	Distributed Autonomous System Based Design Technique to Enhance Synchronization Productivity in Simulations.	Asia International Conference on Modelling and Simulation	2008	DBLP DOI BibTeX RDF	chandy, Misra, Bryant, simulation, design, parallel, autonomous
43	Azzedine Boukerche, Sajal K. Das 0001	A Dynamic Load Balancing Algorithm for Conservative Parallel Simulations.	MASCOTS	1997	DBLP DOI BibTeX RDF	dynamic load balancing algorithm, conservative parallel simulation, distributed system efficiency, Chandy-Misra null-messages, workload parameters, process migration mechanism, CPU-queue length, first-come, first-served queueing network models, Intel Paragon A4, performance, resource allocation, multicomputer, synchronization protocol
43	Daniel A. Reed, Allen D. Malony, Bradley D. McCredie	Parallel Discrete Event Simulation Using Shared Memory.	IEEE Trans. Software Eng.	1988	DBLP DOI BibTeX RDF	Chandy-Misra algorithm, parallel processing, discrete event simulation, distributed simulation, deadlock recovery
31	Bevin Thomas, Syed Sajjad Rizvi, Khaled M. Elleithy	Reducing null messages using grouping and status retrieval for a conservative discrete-event simulation system.	SpringSim	2009	DBLP DOI BibTeX RDF	null message algorithm, discrete event simulation, parallel systems, conservative algorithms
31	Rosario Romera, José E. Valdés, Rómulo I. Zequeira	Active-redundancy allocation in systems.	IEEE Trans. Reliab.	2004	DBLP DOI BibTeX RDF
31	Richard Evans, Jonathan D. Moffett	Derivation of Safety Targets for the Random Failure of Programmable Vehicle Based Systems.	SAFECOMP	2000	DBLP DOI BibTeX RDF
31	Azzedine Boukerche, Sajal K. Das 0001	Dynamic Load Balancing Strategies for Conservative Parallel Simulations.	Workshop on Parallel and Distributed Simulation	1997	DBLP DOI BibTeX RDF
31	Shengzong Zhou, Rob Gerth, Ruurd Kuiper 0001	Transformations Preserving Properties and Properties Preserved by Transformations in Fair Transition Systems (Extended Abstract).	CONCUR	1993	DBLP DOI BibTeX RDF
31	Yi-Bing Lin, Bruno R. Preiss	Optimal Memory Management for Time Warp Parallel Simulation.	ACM Trans. Model. Comput. Simul.	1991	DBLP DOI BibTeX RDF	artificial rollback, discrete event simulation, parallel simulation, Time Warp
31	Moon-Jung Chung, Yunmo Chung	Efficient parallel logic simulation techniques for the connection machine.	SC	1990	DBLP DOI BibTeX RDF
29	Chih-Yuan Chen, Yung-An Fang, Guan-Ren Wang, Peng-Sheng Chen	A GCC-based checker for compliance with MISRA-C's single-translation-unit rules.	Connect. Sci.	2023	DBLP DOI BibTeX RDF
29	Christian Janos Lebeda, Jakub Tetek	Better Differentially Private Approximate Histograms and Heavy Hitters using the Misra-Gries Sketch.	CoRR	2023	DBLP DOI BibTeX RDF
29	Christian Janos Lebeda, Jakub Tetek	Better Differentially Private Approximate Histograms and Heavy Hitters using the Misra-Gries Sketch.	PODS	2023	DBLP DOI BibTeX RDF
29	Alexander Homann, Lisa Grabinger, Florian Hauser, Jürgen Mottok	An Eye Tracking Study on MISRA C Coding Guidelines.	ECSEE	2023	DBLP DOI BibTeX RDF
29	Roberto Bagnara, Abramo Bagnara, Patricia M. Hill	A Rationale-Based Classification of MISRA C Guidelines.	CoRR	2021	DBLP BibTeX RDF
29	Roberto Bagnara, Michael Barr, Patricia M. Hill	BARR-C: 2018 and MISRA C: 2012: Synergy Between the Two Most Widely Used C Coding Standards.	CoRR	2020	DBLP BibTeX RDF
29	Guan-Ren Wang, Peng-Sheng Chen	A GCC-based Compliance Checker for Single-translation-unit, Identifier-related MISRA-C Rules.	ICPP Workshops	2020	DBLP DOI BibTeX RDF
29	Roberto Bagnara, Abramo Bagnara, Patricia M. Hill	The MISRA C Coding Standard and its Role in the Development and Analysis of Safety- and Security-Critical Embedded Software.	CoRR	2018	DBLP BibTeX RDF
29	Roberto Bagnara, Abramo Bagnara, Patricia M. Hill	The MISRA C Coding Standard and its Role in the Development and Analysis of Safety- and Security-Critical Embedded Software.	SAS	2018	DBLP DOI BibTeX RDF
29	Roberto Bagnara	MISRA C, for Security's Sake!	CoRR	2017	DBLP BibTeX RDF
29	Graham Cormode	Misra-Gries Summaries.	Encyclopedia of Algorithms	2016	DBLP DOI BibTeX RDF
29	Gioacchino Mauro, Harold Thimbleby, Andrea Domenici, Cinzia Bernardeschi	Extending a User Interface Prototyping Tool with Automatic MISRA C Code Generation.	F-IDE@FM	2016	DBLP DOI BibTeX RDF
29	Zubair Shah, Abdun Naser Mahmood, Michael Barlow	Computing discounted multidimensional hierarchical aggregates using modified Misra Gries algorithm.	Perform. Evaluation	2015	DBLP DOI BibTeX RDF
29	Ashutosh Kabra, Gopinath Karmakar, R. K. Patil	A structured text to MISRA-C translator and issues with IEC 61131-3 standard.	ETFA	2012	DBLP DOI BibTeX RDF
29	Arun Ram, Peter Tingley	Universal Verma Modules and the Misra-Miwa Fock Space.	Int. J. Math. Math. Sci.	2010	DBLP DOI BibTeX RDF
29	Les Hatton	Safer language subsets: an overview and a case history, MISRA C.	Inf. Softw. Technol.	2004	DBLP DOI BibTeX RDF
29	Alexandre Nketsa, Nabil Ben Khalifa	Timed Petri nets and prediction to improve the Chandy-Misra conservative-distributed simulation.	Appl. Math. Comput.	2001	DBLP DOI BibTeX RDF
29	Jari Porras, Jouni Ikonen, Jarmo Harju	Applying a Modified Chandy-Misra Algorithm to the Distributed Simulation of a Cellular Network.	Workshop on Parallel and Distributed Simulation	1998	DBLP DOI BibTeX RDF
29	D. Ince	Beauty is our business - a birthday salute to Edsger Dijkstra (Springer-Verlag texts and monographs in Computer Science) : W H J Feijen, A J M van Gasteren, D Gries and J Misra (eds) Springer-Verlag (1990) 453 pp £35.00 ISBN 0 994 40520 2.	Inf. Softw. Technol.	1992	DBLP DOI BibTeX RDF
29	Chris R. Jesshope	Parallel program design: a foundation: Chandry, K M and Misra, J Addison-Wesley, Wokingham, UK (1988) £19.95 pp 516.	Microprocess. Microsystems	1989	DBLP DOI BibTeX RDF
29	Marc Abrams	A common programming structure for Bryant-Chandy-Misra, time-warp, and sequential simulators.	WSC	1989	DBLP DOI BibTeX RDF	C++
29	Van Nguyen	The Incompleteness of Misra and Chandy's Proof Systems.	Inf. Process. Lett.	1985	DBLP DOI BibTeX RDF
29	Quoc Trung Pham, Huynh Ngoc Diem Nguyen, Sanjay Misra, Abhavya Misra	Investigating factors for using insurance apps by customers: a study of a developing country.	J. Bank. Financial Technol.	2022	DBLP DOI BibTeX RDF
29	Ashwin Misra, Ankit Mittal, Vihaan Misra, Deepanshu Pandey	Improving non-deterministic uncertainty modelling in Industry 4.0 scheduling.	CoRR	2021	DBLP BibTeX RDF
29	Madhu Kumari, Ananya Misra, Sanjay Misra, Luis Fernández Sanz, Robertas Damasevicius, V. B. Singh	Quantitative Quality Evaluation of Software Products by Considering Summary and Comments Entropy of a Reported Bug.	Entropy	2019	DBLP DOI BibTeX RDF
29	Akash Kumar Gautam, Luv Misra, Ajit Kumar 0002, Kush Misra, Shashwat Aggarwal, Rajiv Ratn Shah	Multimodal Analysis of Disaster Tweets.	BigMM	2019	DBLP DOI BibTeX RDF
29	Tapan Misra, Prantik Chakraborty, Arundhati Misra 0001, Jogeswara Rao, Dilip B. Dave, Ch. V. Narasimha Rao, Nilesh M. Desai, Rajkumar Arora	Oceansat-II Scatterometer: Sensor Performance Evaluation, $\sigma^{0}$ Analyses, and Estimation of Biases.	IEEE Trans. Geosci. Remote. Sens.	2014	DBLP DOI BibTeX RDF
29	Arvind Kumar Misra, S. N. Mishra, A. L. Pathak, Peeyush Misra, Ram Naresh	Modeling the effect of time delay in controlling the carrier dependent infectious disease - Cholera.	Appl. Math. Comput.	2012	DBLP DOI BibTeX RDF
29	Prantik Chakraborty, Arundhati Misra 0001, Tapan Misra, S. S. Rana	A Selection of Channels for a Proposed Atmospheric Temperature Sounder of ISRO.	IEEE Trans. Geosci. Remote. Sens.	2009	DBLP DOI BibTeX RDF
29	Subhas Chandra Misra, Isaac Woungang, Sudip Misra (eds.)	Guide to Wireless Sensor Networks		2009	DBLP DOI BibTeX RDF
29	Sudip Misra, Subhas Chandra Misra, Isaac Woungang (eds.)	Guide to Wireless Mesh Networks		2009	DBLP DOI BibTeX RDF
29	Sudip Misra, Isaac Woungang, Subhas Chandra Misra (eds.)	Guide to Wireless Ad Hoc Networks		2009	DBLP DOI BibTeX RDF
29	Sudip Misra, Subhas C. Misra, Isaac Woungang	Algorithmic and theoretical aspects of wireless ad hoc and sensor networks.	Comput. Commun.	2008	DBLP DOI BibTeX RDF
29	Prantik Chakraborty, Arundhati Misra 0001, Tapan Misra, S. S. Rana	Brightness Temperature Reconstruction Using BGI.	IEEE Trans. Geosci. Remote. Sens.	2008	DBLP DOI BibTeX RDF
29	Sudip Misra, Subhas C. Misra, Isaac Woungang	A Paradigm for Object-Oriented Conceptual Modeling of Optical Networks.	J. Comput. Inf. Technol.	2007	DBLP DOI BibTeX RDF
29	Sanjay Misra, A. K. Misra	Evaluation and comparison of cognitive complexity measure.	ACM SIGSOFT Softw. Eng. Notes	2007	DBLP DOI BibTeX RDF	basic control structures, software functional size, software complexity
29	Sanjay Misra, A. K. Misra	A proposed additional property to the Weyuker's existing properties.	Int. J. Inf. Technol. Manag.	2006	DBLP DOI BibTeX RDF
29	Sanjay Misra, A. K. Misra	Evaluating Cognitive Complexity Measure with Weyuker Properties.	IEEE ICCI	2004	DBLP DOI BibTeX RDF	Cognitive weight, Basic control Structures, Software functional size, Software complexity
27	Xiao Zhonge, Brian W. Unger, Rob Simmonds, John G. Cleary	Scheduling Critical Channels in Conservative Parallel Discrete Event Simulation.	Workshop on Parallel and Distributed Simulation	1999	DBLP DOI BibTeX RDF	ATM network modeling, conservative PDES, optimistic PDES, Chandy-Misra-Bryant algorithm, time parallelism, Critical Channel Traversing algorithm, parallel simulation
16	Murtuza Jadliwala, Sheng Zhong 0002, Shambhu J. Upadhyaya, Chunming Qiao, Jean-Pierre Hubaux	Secure Distance-Based Localization in the Presence of Cheating Beacon Nodes.	IEEE Trans. Mob. Comput.	2010	DBLP DOI BibTeX RDF	distance-based localization, security, Wireless networks
16	Nassima Izerrouken, Olivier Ssi Yan Kai, Marc Pantel, Xavier Thirioux	Use of formal methods for building qualified code generator for safer automotive systems.	EDCC-CARS	2010	DBLP DOI BibTeX RDF	software engineering, formal verification, certification, automatic code generator, automotive systems
16	Nassima Izerrouken, Marc Pantel, Xavier Thirioux	Machine-Checked Sequencer for Critical Embedded Code Generator.	ICFEM	2009	DBLP DOI BibTeX RDF	block sequencing, software engineering, formal verification, automatic code generator, Coq proof assistant
16	Cathal Boogerd, Leon Moonen	Evaluating the relation between coding standard violations and faultswithin and across software versions.	MSR	2009	DBLP DOI BibTeX RDF
16	Shu Chen, Yingying Chen 0001, Wade Trappe	Exploiting environmental properties for wireless localization.	ACM SIGMOBILE Mob. Comput. Commun. Rev.	2008	DBLP DOI BibTeX RDF
16	Wenbo He, Ying Huang, Klara Nahrstedt, Whay Chiou Lee	Alert propagation in mobile ad hoc networks.	ACM SIGMOBILE Mob. Comput. Commun. Rev.	2008	DBLP DOI BibTeX RDF
16	Benjamin M. Brosgol	MP1: languages for safety-critical software: issues and assessment.	SIGAda	2008	DBLP DOI BibTeX RDF	do-178, security, software engineering, design, reliability, ada, object-oriented, software, safety, languages, systems, assurance, safety-critical, high integrity
16	Cathal Boogerd, Leon Moonen	Assessing the value of coding standards: An empirical study.	ICSM	2008	DBLP DOI BibTeX RDF
16	Egon Börger	Construction and analysis of ground models and their refinements as a foundation for validating computer-based systems.	Formal Aspects Comput.	2007	DBLP DOI BibTeX RDF	Validation and certification, ASM ground model (golden model), ASM refinement, Verified software challenge, System analysis, Abstract State Machine
16	Benjamin M. Brosgol	SA2: languages for safety-critical software: issues and assessment.	SIGAda	2007	DBLP DOI BibTeX RDF
16	Musab AlTurki, José Meseguer 0001	Real-time rewriting semantics of orc.	PPDP	2007	DBLP DOI BibTeX RDF	orc, orchestration theory, real-time, formal analysis, rewriting logic, structural operational semantics, maude
16	Benjamin M. Brosgol	Languages for Safety-Critical Software: Issues and Assessment.	ICSE Companion	2007	DBLP DOI BibTeX RDF
16	Célia L. O. Kawabata, Regina Helena Carlucci Santana, Marcos José Santana, Sarita Mazzini Bruschi, Kalinka Regina Lucas Jaquie Castelo Branco	Performance evaluation of a CMB protocol.	WSC	2006	DBLP DOI BibTeX RDF
16	I. S. W. B. Prasetya, Tanja E. J. Vos, S. Doaitse Swierstra	Web Cube.	FORTE	2006	DBLP DOI BibTeX RDF
16	Roberto Bruni, Hernán C. Melgratti, Emilio Tuosto	Translating Orc Features into Petri Nets and the Join Calculus.	WS-FM	2006	DBLP DOI BibTeX RDF
16	Praful V. Bhansali	Universal software safety standard.	ACM SIGSOFT Softw. Eng. Notes	2005	DBLP DOI BibTeX RDF	verification, validation, software safety, system safety
16	Dirk Leinenbach, Wolfgang J. Paul, Elena Petrova	Towards the Formal Verification of a C0 Compiler: Code Generation and Implementation Correctnes.	SEFM	2005	DBLP DOI BibTeX RDF
16	Diego Moreira de Araujo Carvalho, Fábio Protti, Massimo De Gregorio, Felipe M. G. França	A Novel Distributed Scheduling Algorithm for Resource Sharing Under Near-Heavy Load.	OPODIS	2004	DBLP DOI BibTeX RDF	dining philosophers problem, distributed traffic light control, graph dynamics, distributed algorithms, mutual exclusion, resource-sharing
16	Sumit Kumar Basu	t-UNITY - A Formal Framework for Modeling and Reasoning About Timing Constraints in Real-Time Systems.	IWDC	2004	DBLP DOI BibTeX RDF
16	Babita Sharma, S. D. Dhodapkar, S. Ramesh 0001	Assertion Checking Environment (ACE) for Formal Verification of C Programs.	SAFECOMP	2002	DBLP DOI BibTeX RDF
16	Geraldo Pereira de Souza, Gerson Henrique Pfitscher	An Implementation of a Distributed Algorithm for Detection of Local Knots and Cycles in Directed Graphs Based on the CSP Model and Java.	DS-RT	2002	DBLP DOI BibTeX RDF
16	Ernest H. Page, Marc Abrams	Simulation Model Development and Analysis in UNITY.	Ann. Oper. Res.	2001	DBLP DOI BibTeX RDF	simulation specification, simulation verification, parallel simulation protocols, UNITY
16	Lawrence C. Paulson	Mechanizing UNITY in Isabelle.	ACM Trans. Comput. Log.	2000	DBLP DOI BibTeX RDF	concurrency, UNITY, Isabelle, compositional reasoning
16	Abdelmadjid Bouabdallah, Christian Laforest	A Distributed token/based Algorithm for the Dynamic Resource Allocation Problem.	ACM SIGOPS Oper. Syst. Rev.	2000	DBLP DOI BibTeX RDF
16	Augusto Ciuffoletti	Self-stabilization - beyond the token ring circulation (brief announcement).	PODC	2000	DBLP DOI BibTeX RDF
16	Alois Ferscha	Adaptive Time Warp Simulation of Timed Petri Nets.	IEEE Trans. Software Eng.	1999	DBLP DOI BibTeX RDF	Adaptive distributed simulation, CS-2, CM-5.CR Categories and Subject Descriptors: 1) C.2 (Computer Communication Networks: distributed systems—distributed applications), 2) C.4 (Computer Systems Organization: performance of systems—modeling techniques) and 3) I.6.8 (Simulation and Modeling: types of simulation—distributed, parallel), Petri nets, optimism control, Time Warp
16	Azzedine Boukerche, Sajal K. Das 0001	Null Messages Cancellation Through Load Balancing in Distributed Simulations.	Euro-Par	1999	DBLP DOI BibTeX RDF
16	Chu-Cheow Lim, Yoke-Hean Low, Wentong Cai 0001	A Parallelism Analyzer Algorithm for a Conservative Super-Step Simulation Protocol.	HICSS	1999	DBLP DOI BibTeX RDF	Parallelism analysis, conservative synchronous simulation protocol
16	Azzedine Boukerche, Carl Tropper	A Distributed Graph Algorithm for the Detection of Local Cycles and Knots.	IEEE Trans. Parallel Distributed Syst.	1998	DBLP DOI BibTeX RDF	distributed simulation, Cycle, knot, diffusing computation, distributed deadlock detection
16	Azzedine Boukerche, Sajal K. Das 0001	Experimental Studies in Load Balancing.	Euro-Par	1998	DBLP DOI BibTeX RDF
16	Devendra Kumar, Amit Kohli, Venkatasubramaniam Narayanswamy	Faster Simulation of Timed Petri Nets Via Distributed Simulation.	COMPSAC	1997	DBLP DOI BibTeX RDF
16	Richard M. Weatherly, Annette L. Wilson, Bradford S. Canova, Ernest H. Page, Anita A. Zabek, Mary C. Fischer	Advanced Distributed Simulation through the Aggregate Level Simulation Protocol.	HICSS (1)	1996	DBLP DOI BibTeX RDF
16	Sumit Ghosh, Meng-Lin Yu	An Asynchronous Distributed Approach for the Simulation of Behavior-Level Models on Parallel Processors.	IEEE Trans. Parallel Distributed Syst.	1995	DBLP DOI BibTeX RDF
16	Bernadette Charron-Bost, Carole Delporte-Gallet, Hugues Fauconnier	Local and Temporal Predicates In Distributed Systems.	ACM Trans. Program. Lang. Syst.	1995	DBLP DOI BibTeX RDF	knowledge predicate, local predicate, temporal predicate, distributed computation, observation, predicate, predicate transformer
16	Azzedine Boukerche, Carl Tropper	A distributed algorithm for the detection of local cycles and knots.	IPPS	1995	DBLP DOI BibTeX RDF	2m messages, blocking paradigm, deadlock breaking, distributed algorithms, distributed algorithm, graph theory, concurrency control, parallel simulation, cycles, deadlock detection, speed up, knots, diffusing computation
16	Devendra Kumar, Saad Harous	A Study of Achievable Speedup in Distributed Simulation via NULL Messages.	IEEE Trans. Parallel Distributed Syst.	1993	DBLP DOI BibTeX RDF	achievable speedup, NULL messages, open queuing networks, performance, concurrency control, computer networks, queueing theory, digital simulation, distributed simulation, distributed simulator, overhead
16	Mohamed Naimi	Distributed Algorithm for K-Entries to Critical Section Based on the Directed Graphs.	ACM SIGOPS Oper. Syst. Rev.	1993	DBLP DOI BibTeX RDF
16	Flemming Andersen, Kim Dam Petersen, Jimmi S. Pettersson	Program Verification using HOL-UNITY.	HUG	1993	DBLP DOI BibTeX RDF
16	Dipayan Gangopadhyay, Subrata Mitra	ObjChart: Tangible Specification of Reactive Object Behavior.	ECOOP	1993	DBLP DOI BibTeX RDF
16	Rob T. Udink, Joost N. Kok	On the Relation Between Unity Properties and Sequences of States.	REX Workshop	1992	DBLP DOI BibTeX RDF	Semantic models - Unity, program refinement
16	Elizabeth B. Weidman, Ivor P. Page, William J. Pervin	Explicit dynamic exclusion algorithm.	SPDP	1991	DBLP DOI BibTeX RDF
16	Kenneth J. Goldman	A Compositional Model for Layered Distributed Systems.	CONCUR	1991	DBLP DOI BibTeX RDF
16	Devendra Kumar, Saad Harous	An approach to study performance properties of distributed simulation.	SPDP	1990	DBLP DOI BibTeX RDF