70,601 Hits in 4.3 sec

On Validity Assurance of Dynamic Reconfiguration for Component-based Programs

Mahdi Niamanesh, Nafiseh Fekrazad Nobakht, Rasool Jalili, Faranak Heydarian Dehkordi
2006 Electronical Notes in Theoretical Computer Science  
Dynamic reconfiguration enables the software systems to change at runtime to decrease their down-time in case of any updating, upgrading or in any changes.  ...  In this paper, we investigate on validity of dynamic reconfiguration for component-based programs and propose validity conditions for it.  ...  They have considered simple procedural and object oriented program model. They have also proved that the validity of dynamic software updating is undecidable for simple procedural program model.  ... 
doi:10.1016/j.entcs.2005.12.070 fatcat:qqaierp7rjbjjinmbsdind4uwq

Interprocess communications in the AN/BSY-2 distributed computer system: a case study

David Andrews, Paul Austin, Peter Costello, David LeVan
2002 Journal of Systems and Software  
The message-passing semantics are then presented. A key feature of the IPC facility is it's support for both synchronous and asynchronous communications based on logical addressing.  ...  services as well as application programs.  ...  While the application program continues execution, the message is transferred throughout the network by dynamically allocating buffers and resources for the next intermediate destination.  ... 
doi:10.1016/s0164-1212(01)00151-0 fatcat:24j363nk4nctpgjqzkbkegaety

Towards Executing Dynamically Updating Finite-State Controllers on a Robot System

Valerio Panzica La Manna, Joel Greenyer, Donato Clun, Carlo Ghezzi
2015 2015 IEEE/ACM 7th International Workshop on Modeling in Software Engineering  
This experience gained can lead to a systematic approach to implement dynamic updates in the aforementioned critical software-intensive systems.  ...  Therefore, these systems must be updated dynamically, at runtime.  ...  In space applications, for example, interruptions can be very critical or even impossible. Therefore, the software must be updated dynamically, at run-time.  ... 
doi:10.1109/mise.2015.15 dblp:conf/icse/MannaGCG15 fatcat:7tkjcib4abb4hpc45xsvev4o3q

Dynamic configuration management in a graph-oriented Distributed Programming Environment

Jiannong Cao, Alvin Chan, Yudong Sun, Kang Zhang
2003 Science of Computer Programming  
This paper describes a software platform that facilitates a novel approach to the dynamically conÿgurable programming of parallel and distributed applications and systems.  ...  We describe the design and implementation of a dynamic conÿguration manager for the graph-oriented distributed programming environment.  ...  Yu for helping us in the implementation of the prototype.  ... 
doi:10.1016/s0167-6423(02)00168-5 fatcat:j2zrbju3rrdflp3pwooolltzo4

Techniques for reducing consistency-related communication in distributed shared-memory systems

John B. Carter, John K. Bennett, Willy Zwaenepoel
1995 ACM Transactions on Computer Systems  
for message passing).  ...  for Munin versus 12.8 for message passing).  ... 
doi:10.1145/210126.210127 fatcat:cadv2nk3u5dvxmbsa7l3pv6e5a

Securing Mobile Agents Control Flow Using Opaque Predicates [chapter]

Anirban Majumdar, Clark Thomborson
2005 Lecture Notes in Computer Science  
However, the lack of security in the form of code confidentiality renders this paradigm unsuitable for commercial software.  ...  These characteristics of mobile agents provide an excellent means of meeting the distributed and heterogeneous requirements for many electronic commerce applications involving low bandwidth and intermittently  ...  The message-passing pattern and pointer update by guards must maintain an invariant that holds on the data structure when it is sent back to P.  ... 
doi:10.1007/11553939_149 fatcat:zknad3gejnf57o7xzquvcx7nhm

Deployment pattern

Youngsu Son, Jiwon Kim, Donguk Kim, Jinho Jang
2011 Proceedings of the 18th Conference on Pattern Languages of Programs - PLoP '11  
Software's Deployment has become essential for software's evolution. Therefore many vendors provide the deployment application [1], [2] .  ...  Software that is deployed in the market needs to be continuously evolved. In order to be long-running, it is necessary to accept client's requirements.  ...  Composite Message [4] This pattern is used for marshaling/un-marshaling data, extending and adding messages you want to transfer while passing through layers.  ... 
doi:10.1145/2578903.2579148 dblp:conf/plop/SonKKJ11 fatcat:q3i35745wvfmjk5dk2iibumwbq

A Hybrid Shared Memory/Message Passing Parallel Machine

Matthew I. Frank, Mary K. Vernon
1993 1993 International Conference on Parallel Processing - ICPP'93 Vol1  
The SM/MP architecture contains both a high-performance coherence protocol for shared memory, and message-passing primitives that coexist with the coherence protocol but have no coherence overhead.  ...  The SM/MP programming model provides a framework for safely and effectively using the SM/MP communication primitives.  ...  compiler technology for distributed memory machines to SM/MP systems can yield improved performance as compared with existing compilers for dynamic shared memory systems.  ... 
doi:10.1109/icpp.1993.25 dblp:conf/icpp/FrankV93 fatcat:wzdwquinpzejlgktooiowwdjum

A parallel algorithm for dynamic slicing of distributed Java programs in non-DSM systems

Durga Prasad Mohapatra, Rajib Mall, Rajeev Kumar
2007 International Journal of Information and Communication Technology  
We propose a parallel algorithm for dynamic slicing of distributed Java programs.  ...  Given a distributed Java program, we first construct an intermediate representation in the form of a Distributed Program Dependence Graph (DPDG).  ...  Figure 3: Updated DPDG of Client Program Modification of the Algorithm for non-DSM Systems: A distributed system having no support for shared memory reduces to a message passing system and we term them  ... 
doi:10.1504/ijict.2007.013276 fatcat:bqco3mfdbfc25afmfqgi5ae7li

ELUS: A dynamic software reconfiguration infrastructure for embedded systems

Giovani Gracioli, Antonio Augusto Frohlich
2010 2010 17th International Conference on Telecommunications  
Dynamic software reconfiguration is the process of updating the system software during its execution.  ...  A dynamic software reconfiguration mechanism for an embedded system must be simple, transparent to applications, and use the minimum amount of resources (e.g. memory, processing) possible, since it shares  ...  Moreover, the reconfiguration infrastructure and the software updating are fully transparent to applications. • Message Structure: by using the EPOS framework message structure, passing arguments and return  ... 
doi:10.1109/ictel.2010.5478859 dblp:conf/ict/GracioliF10 fatcat:vyjvbkvr6be3bjqhq4on7he2vu

GROMACS: A message-passing parallel molecular dynamics implementation

H.J.C. Berendsen, D. van der Spoel, R. van Drunen
1995 Computer Physics Communications  
A parallel message-passing implementation of a molecular dynamics (MD) program that is useful for bio(macro)molecules in aqueous environment is described.  ...  Special forces can be added to groups of particles (for non-equilibrium dynamics or for position restraining) or between particles (for distance restraints).  ...  For better efficiency, portability and for historical reasons we chose message-passing as the programming method.  ... 
doi:10.1016/0010-4655(95)00042-e fatcat:ou754c6fxff65jsbbqwxywweyy

The evolution of software evolvability

Chris Lüer, David S. Rosenblum, André van der Hoek
2002 Proceedings of the 4th international workshop on Principles of software evolution - IWPSE '01  
Evolvability is the property of programs that can easily be updated to fulfill new requirements; software that is evolvable will cost less to maintain.  ...  The performance overhead of message passing is significantly larger than of procedure calls.  ... 
doi:10.1145/602486.602490 fatcat:5l6zc2fafzgjdgv2glbbo55tci

The evolution of software evolvability

Chris Lüer, David S. Rosenblum, André van der Hoek
2002 Proceedings of the 4th international workshop on Principles of software evolution - IWPSE '01  
Evolvability is the property of programs that can easily be updated to fulfill new requirements; software that is evolvable will cost less to maintain.  ...  The performance overhead of message passing is significantly larger than of procedure calls.  ... 
doi:10.1145/602461.602490 dblp:conf/iwpse/LuerRH01 fatcat:ck56qf4elbhszomrgofp2nkkzi

Software Updating in Wireless Sensor Networks: A Survey and Lacunae

Stephen Brown, Cormac Sreenan
2013 Journal of Sensor and Actuator Networks  
A new taxonomy of software update features and a new model for fault detection and recovery are presented.  ...  For a number of reasons there is often a need to update sensor node software, or node configuration, after deployment.  ...  Programs communicate via message passing, in a similar way to TinyOS, using the Trickle protocol [13] .  ... 
doi:10.3390/jsan2040717 fatcat:24tnocx2qjfbharotsucs5f5ce

Finding Bugs in Cryptographic Hash Function Implementations

Nicky Mouha, Mohammad S. Raunak, D. Richard Kuhn, Raghu Kacker
2018 IEEE Transactions on Reliability  
We develop the Update Test to verify that messages are processed correctly in chunks, and then use combinatorial testing methods to reduce the test set size by several orders of magnitude while retaining  ...  This bug remained undiscovered for seven years, and is particularly serious because it provides a simple strategy to modify the message without changing the hash value returned by the implementation.  ...  ACKNOWLEDGMENT The authors would like to thank Lily Chen, Ç agdaş Ç alık, Meltem Sönmez Turan, Apostol Vassilev, and their NIST colleagues for their useful comments and suggestions.  ... 
doi:10.1109/tr.2018.2847247 pmid:31092953 pmcid:PMC6512998 fatcat:nn3vxn5eqjg3dfu57wunfgo7fq
« Previous Showing results 1 — 15 out of 70,601 results