|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 549 occurrences of 404 keywords
|
|
|
Results
Found 4471 publication records. Showing 4176 according to the selection in the facets
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 |
|
Displaying result #1 - #100 of 4176 (100 per page; Change: ) Pages: [ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ >>] |
|