24 Hits in 3.1 sec

HERMES: A Software Architecture for Visibility and Control in Wireless Sensor Network Deployments

Nupur Kothari, Kiran Nagaraja, Vijay Raghunathan, Florin Sultan, Srimat Chakradhar
2008 2008 International Conference on Information Processing in Sensor Networks (ipsn 2008)  
We have implemented and tested a fully functional prototype of HERMES for the SOS sensor operating system.  ...  To address this problem, this paper presents HERMES, a lightweight framework and prototype tool that provides fine-grained visibility and control of a sensor node's software at run-time.  ...  Vijay Raghunathan was supported in part by a Purdue Research Foundation grant.  ... 
doi:10.1109/ipsn.2008.61 dblp:conf/ipsn/KothariNRSC08 fatcat:fvktc7plufedtl7fgftn4uzkhu

Poet: Target-System Independent Visualizations of Complex Distributed-Application Executions

T. Kunz
1997 Computer journal  
Designing and implementing a visual debugger for distributed programs is a signi"cant challenge. Distributed applications are often large and frequently exhibit a high degree of complexity.  ...  Consequently, a debugger must address problems of complexity and scale in at least two ways.  ...  ACKNOWLEDGEMENTS The work described here began in the Shoshin project at the University of Waterloo and has bene"ted from numerous discussions with members of the Centre for Advanced Studies, IBM Toronto  ... 
doi:10.1093/comjnl/40.8.499 fatcat:fi53klbvkjcelayqv3ullgxbya

An Exploratory Study of Experimental Tools for Wireless Sensor Networks

A.K. Dwivedi, O.P. Vyas
2011 Wireless Sensor Network  
These experimental tools provide the better option for studying the behavior of WSNs before and after implementing the physical one.  ...  The objective of this contribution is to present expositive review content on currently available experimental tools/services/concepts used for most emerging field Wireless Sensor Network that has capability  ...  To meet a desired false positive rate, the rate of heartbeats has to be increased also increasing the communication cost. • HERMES [172] is a lightweight framework and prototype tool that provides fine-grained  ... 
doi:10.4236/wsn.2011.37025 fatcat:xmmujz25sbdwdo4kf56wuc42n4

A distributed system architecture for a distributed application environment

M. A. Bauer, N. Coburn, D. L. Erickson, P. J. Finnigan, J. W. Hong, P. -A. Larson, J. Pachl, J. Slonim, D. J. Taylor, T. J. Teorey
1994 IBM Systems Journal  
Taylor, “A Prototype Debugger for Hermes,” Pro- ceedings of CASCON 92, Volume I, IBM Centre for Ad- vanced Studies, Toronto (November 1992), pp. 29-42. Also in Volume II, pp. 313-326. T. Kunz and D.  ...  Bacon, A. Goldberg, A. Lowry, D. Y. Yemini, and S. A. Yemini, Hermes: A Language for Dis- tributed Computing, Prentice-Hall, Inc., Englewood Cliffs, NJ (January 1991). . A. P.  ... 
doi:10.1147/sj.333.0399 fatcat:ewi73qxbvvda3cnpkqlww2govm

Cooperative work in large-scale software systems

Noureddine Belkhatir, Jacky Estublier, Walcélio L. Melo
1994 Journal of Software Maintenance: Research and Practice  
Software maintenance is responsible for approximately 80 of the total cost of software.  ...  W e conclude this article by presenting the lessons learned using our approach and our projects for the future.  ...  Two kinds of experiments were conducted: local prototypes, such as the implementation of current systems such as NSE, DSEE, PALAS on top of Adele; and industrial experiments, as for instance the HERMES  ... 
doi:10.1002/smr.4360060604 fatcat:mcdo4pxq7jaithcd53eqjupgyq

Wireless Sensor Network: At a Glance [chapter]

A.K. Dwivedi, O.P. Vyas
2011 Recent Advances in Wireless Communications and Networks  
WSNs available, with a fairly wide range of goals and feature sets.Debuggers for WSNs have been categorized(Tavakoli, 2007)into three distinct categories: source-level debuggers, query-oriented debuggers  ...  Here is a table presenting 8 networks monitoring: 1. Memento 2. Sympathy 3. LiveNet 4. NUCLEUS 5. HERMES 6. Chowkidar 7. DiMo 8.  ...  Wireless Sensor Network: At a Glance, Recent Advances in Wireless Communications and Networks, Prof.  ... 
doi:10.5772/19005 fatcat:sbmvuxx2n5fkve5dce3xibymce

Swimming cueing interface device [article]

Arthur Leung, Yang Yang, Ivan Zverev
The goal of this project is to develop a wearable and waterproof device that enables a blind or visually impaired swimmer to swim laps in a swimming pool lane.  ...  NET C# framework is provided for host-side control and signal interaction with the swimmer device, which is handed over to the project sponsor along with an SDK to allow for easy development and system  ...  Project Deliverables The project deliverables include one version of the working prototype device, the complete source code for the Hermes platform, the Hades debugger and the Ariadne demo application.  ... 
doi:10.14288/1.0074448 fatcat:m5vw76luwvb3zmmsfkokeglgci

Page 423 of IBM Systems Journal Vol. 33, Issue 3 [page]

IBM Systems Journal  
Taylor, “A Prototype Debugger for Hermes,” Pro- ceedings of CASCON 92, Volume I, IBM Centre for Ad- vanced Studies, Toronto (November 1992), pp. 29-42. Also in Volume II, pp. 313-326. T. Kunz and D.  ...  -A Larson, G. Neufeld, J. Pachl, and J. Slonim, “Directory Require- ments for a Multidatabase Service,” Proceedings of CAS- CON ’92, IBM Centre for Advanced Studies, Toronto (November 1992). . U.  ... 

Analyse und Einsatzmöglichkeiten von Hypermedia-Systemen

Anita Mesch
1994 BIBLIOTHEK Forschung und Praxis  
A basic introduction into the hypermedia concept is followed by the analysis of selected Systems both for the Macintosh and for the IBM-PC, which are contrasted regarding their ränge of function.  ...  Analysis and applications of hypermedia Systems Hypermedia is presented äs a tool to organize multi-medial Information in a non-linear way.  ...  Larry Kheriaty, der Programmierer des Sy-stems: "If your goal is to exchange Information, you need a mechanism for representing Information outside your mind in a manner that approximates how it is repre-sented  ... 
doi:10.1515/bfup.1994.18.2.161 fatcat:7qt6eo52xvdzxl3zcnftmc3an4

Evaluating process clusters to support automatic program understanding

T. Kunz
WPC '96. 4th Workshop on Program Comprehension  
Evaluating the design of a distributed application is di cult but provides useful information for program development and maintenance.  ...  We previously identi ed multiple approaches to automatic process clustering and prototypical tools implementing these approaches have been developed.  ...  Any t o o l w orking on a Hermes source will not work on the C source. A default interpretation is assumed for processes for which a static source analysis cannot be performed.  ... 
doi:10.1109/wpc.1996.501134 dblp:conf/iwpc/Kunz96 fatcat:iatfnttb5zaa5nwcqhofr32owm

Conceptual design of the Spin Physics Detector [article]

V.M. Abazov, V. Abramov, L.G. Afanasyev, R.R. Akhunzyanov, A.V. Akindinov, N. Akopov, I. G. Alekseev, A.M. Aleshko, V.Yu. Alexakhin, G.D. Alexeev, M. Alexeev, A. Amoroso (+283 others)
2022 arXiv   pre-print
The Spin Physics Detector, a universal facility for studying the nucleon spin structure and other spin-related phenomena with polarized proton and deuteron beams, is proposed to be placed in one of the  ...  two interaction points of the NICA collider that is under construction at the Joint Institute for Nuclear Research (Dubna, Russia).  ...  ., Movsisyan A. Institute of Applied Physics of the National Academy of Sciences of Belarus, Minsk, Belarus Acknowledgements.  ... 
arXiv:2102.00442v3 fatcat:iqxuroncufh3ncuba4vjswsyh4

The development of the Emerald programming language

Andrew P. Black, Norman C. Hutchinson, Eric Jul, Henry M. Levy
2007 Proceedings of the third ACM SIGPLAN conference on History of programming languages - HOPL III  
Acknowledgements This paper has taken shape over a long period, and has been much improved by the contributions of many colleagues.  ...  We thank the Danish Center for Grid Computing, Microsoft Research Cambridge, the University of Copenhagen, and Portland State University for their generous support while this paper was being written.  ...  For example, a system like Hermes [25] , though designed for mobile objects, could be implemented straightforwardly with our mechanisms.  ... 
doi:10.1145/1238844.1238855 dblp:conf/hopl/BlackHJL07 fatcat:hxpdwdxm3zhchihh7aekgx2x3q

A collaborative development environment for design-oriented critiquing systems

M. Duecker, B. Gutkauf, S. Thies
Proceedings of the 33rd Annual Hawaii International Conference on System Sciences  
Considering that experts are not necessarily familiar with programming we provide means for rapid prototyping and maintenance of design-oriented critiquing systems.  ...  We present a collaborative development environment for supporting domain experts in building design-oriented critiquing systems.  ...  Results of a consistency check are made visible to the user. They can be analyzed with help of a debugger.  ... 
doi:10.1109/hicss.2000.926615 dblp:conf/hicss/DueckerGT00 fatcat:qnjkdxd26zcqdowkcouidyecky

The Coq Proof Assistant, version 8.10.0 [article]

The Coq Development Team
2019 Zenodo  
Coq version 8.10 contains two major new features: support for a native fixed-precision integer type and a new sort SProp of strict propositions.  ...  It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.  ...  The Coq Reference Manual, Release 8.10.0 See the file Nsatz.v for many examples, especially in geometry. Generalized rewriting  ... 
doi:10.5281/zenodo.3476303 fatcat:nq2hvuywmre3xmbaqly2xxt6za

FLUKA: A Multi-Particle Transport Code

Alfredo Ferrari, Paola R. Sala, Alberto Fassò, Johannes Ranft
It concludes with a detailed history and bibliography.  ...  As a term of comparison, the latest release of the previous Fluka generation, Fluka87, contained roughly 30,000 lines (1.2 MBytes), out of which very few survive in the present code, mostly in the high  ...  Acknowledgements The authors would like to thank all the members of the Fluka Collaboration for their invaluable help and patience in reading, checking, and amending the manuscript. 16.4.17 Code size  ... 
doi:10.15161/ fatcat:n2lheartobcxrn23ehbzjjbwai
« Previous Showing results 1 — 15 out of 24 results