Filters








3,073 Hits in 4.1 sec

Overview of the Hydra Operating System development

W. Wulf, R. Levin, C. Pierson
1975 ACM SIGOPS Operating Systems Review  
An overview of the hardware and philosophic context in which the Hydra design was done is discussed.  ...  The construction methodology is discussed together with some data which suggests the success of this methodological approach.  ...  Figure V plots the size vs. effort at five points during the development of Hydra.  ... 
doi:10.1145/1067629.806530 fatcat:ix63ho7oevfyhir55ebwwmqcqu

The Route Less Taken: The Homegrown Los Alamos Integrated Computer Network [chapter]

Nicholas Lewis
2016 IFIP Advances in Information and Communication Technology  
co-developed operating system used on the Lab's Cray supercomputers.  ...  the development of Hydra in the early-to-mid 1970s.  ... 
doi:10.1007/978-3-319-49463-0_1 fatcat:szficzbbejcgdorxehulgtsosu

Performance Characteristics of HYDRA – A Multi-physics Simulation Code from LLNL [chapter]

Steven H. Langer, Ian Karlin, Michael M. Marinak
2015 Lecture Notes in Computer Science  
This paper measures the performance characteristics of HYDRA using hardware counters on an IBM BlueGene/Q system.  ...  HYDRA is used to simulate a variety of experiments carried out at the National Ignition Facility (NIF) [4] and other high energy density physics facilities.  ...  The authors would like to thank Mehul Patel and Scott Sepke of LLNL for assistance in running our HYDRA test problems and for explanations of how HYDRA physics packages are implemented.  ... 
doi:10.1007/978-3-319-17353-5_15 fatcat:266nc62pejf55hob77ceaf7ypu

A Requirements Patterns-Driven Approach to Specify Systems and Check Properties [chapter]

Sascha Konrad, Laura A. Campbell, Betty H. C. Cheng, Min Deng
2003 Lecture Notes in Computer Science  
We previously developed a framework, Hydra, for adding formal semantics to a collection of UML diagrams that enable the automated derivation of formal language specifications for those diagrams.  ...  We developed the MINERVA framework to support the graphical construction of UML diagrams and to visualize the results from the SPIN analysis in terms of the original UML diagrams.  ...  Section 4 contains an overview of the Diesel Filter System (a system of particulate filters to reduce soot in diesel truck exhaust) and describes the preliminary results of developing and analyzing the  ... 
doi:10.1007/3-540-44829-2_2 fatcat:2m4n5p3ource5ggp2xrqt6yeja

An open-source data manager for network models

Stephen Knox, James Tomlinson, Julien J. Harou, Philipp Meier, David E. Rosenberg, Jay R. Lund, David E. Rheinheimer
2019 Environmental Modelling & Software  
A B S T R A C T Developing simulation and optimisation models for resource networks like water or energy systems increasingly involves integrating multiple data sources and software.  ...  Many resource systems are represented in computer models as networks of nodes and links, driven by a range of objectives and rules.  ...  Acknowledgements Support for the software development was partially funded by the UK government through Innovate UK (File Reference number 101338).  ... 
doi:10.1016/j.envsoft.2019.104538 fatcat:adtnfkwl2fbo7mqjnohfwb2rpa

Parallel processing of chemical information in a local area network — I. HYDRA: Concept, configuration, and implementation of parallel applications

W.J. Melssen, E.P.P.A. Derks, M.L.M. Beckers, L.M.C. Buydens
1996 Computers and Chemistry  
Part I of this paper focuses on the technical aspects of HYDRA, i.e. configuration and implementation.  ...  The second and third parts describe two applications of the HYDRA package in the field of chemistry: using parallel genetic algorithms for the conformational analysis of nucleic acids, and parallel cross-validation  ...  Acknowledgemenrs-The authors wish to thank Geert Rolf for the development of the HYDRA programming environment. E. P. P. A.  ... 
doi:10.1016/0097-8485(95)00084-4 fatcat:rwxmbsrvbndkhnbr4wj3bz6kum

Overview of hydra: a concurrent language for synchronous digital circuit design

J. O'Donnell
2002 Proceedings 16th International Parallel and Distributed Processing Symposium  
This paper discusses the motivations behind Hydra, and illustrates the system with a significant portion of the design of a basic RISC processor.  ...  Hydra specifications are concise, allowing the complete design of a computer system as a digital circuit within a few pages.  ...  I would like to thank the anonymous referees for several useful suggestions.  ... 
doi:10.1109/ipdps.2002.1016653 dblp:conf/ipps/Donnell02 fatcat:q5saeb3wyvgktp3zxg3ordeuaa

Ontology Based Framework for Interactive Self-Assessment of e-Health Applications

Wasin PASSORNPAKORN, Sinchai KAMOLPHIWONG
2016 IEICE transactions on information and systems  
In our work, the loosely coupling among services and flexibility of each service are achieved through the design and implementation based on HYDRA vocabulary and REST principles.  ...  We have shown that it allows the medical knowledge to drive the system workflow according to the event-driven principles. New data schema can be maintained during run-time.  ...  Acknowledgments This work was supported by the Higher Education Research Promotion and National Research University Project of Thailand, Office of the Higher Education Commission (under the funding no.  ... 
doi:10.1587/transinf.2015nti0001 fatcat:ezskbmh44vhejd7ydyeiuqyhqq

Cluster Grid based Response-time analysis module for the PIPE Tool

Harini Kulatunga, Ashok Argent-Katwala, William Knottenbelt
2007 Fourth International Conference on the Quantitative Evaluation of Systems (QEST 2007)  
The Platform Independent Petri net Editor (PIPE) is an open source software project that allows creation, analysis and simulation of Petri Nets.  ...  Generalized Stochastic Petri Nets (GSPNs) are a widely used high-level formalism used for modelling discrete-event systems.  ...  The HYDRA Markov chain analyzer [1] , a C++ parallel tool developed by the Analysis, Engineering, Simulation & Optimization of Performance (Aesop) group, was implemented on the Camelot Cluster Grid.  ... 
doi:10.1109/qest.2007.42 dblp:conf/qest/KulatungaAK07 fatcat:qzntey2z2zbuba6ujpvzbwcckq

An Object-Oriented Command Language

R. Snodgrass
1983 IEEE Transactions on Software Engineering  
This paper describes Cola, an object-oriented command language for Hydra; Hydra is a capability-based operating system that runs on C.mmp, a tightly coupled multiprocessor.  ...  Cola is based on Smalltalk in that it uses message-passing as a control structure to allow syntactic freedom in the expression of commands to the system.  ...  Overview ofHydra Cola is a command language that was designed for Hydra [51 ] , a capability-based operating system that runs on C.mmp [48] , a tightly coupled multiprocessor consisting of 16 DEC PDP  ... 
doi:10.1109/tse.1983.236163 fatcat:oqgby2swbnbjblbs4lnmho4eji

Design and Test of a Student Hybrid Rocket Engine with an External Carbon Fiber Composite Structure

Francesca Heeg, Lukas Kilzer, Robin Seitz, Enrico Stoll
2020 Aerospace (Basel)  
The development of hybrid rockets offers excellent opportunities for the practical education of students at universities due to the high safety and relatively low complexity of the rocket propulsion system  ...  The design of the engine HYDRA 4X (HYbridDemonstrations-RaketenAntrieb) is presented, and the results of the first engine tests are discussed.  ...  This includes ground segment design, system operation design, project planning, and documentation. An overview of the whole project content is presented in Figure 1 .  ... 
doi:10.3390/aerospace7050057 fatcat:ujgzebf4ebcrhlglbha2deidve

Hydra: Automatic algorithm exploration from linear algebra equations

A. X. Duchateau, D. Padua, D. Barthou
2013 Proceedings of the 2013 IEEE/ACM International Symposium on Code Generation and Optimization (CGO)  
Hydra accepts an equation written in terms of operations on matrices and automatically produces highly efficient code to solve these equations.  ...  Next, Hydra applies empirical search over this space of possible solvers to identify the most efficient version.  ...  Acknowledgments This work was funded by the Illinois-Intel Parallelism Center at the University of Illinois at Urbana-Champaign. The Center is sponsored by the Intel Corporation.  ... 
doi:10.1109/cgo.2013.6494999 dblp:conf/cgo/DuchateauPB13 fatcat:z2qntpru6nasvpuf5eyud2i4ay

HYDRA: HYbrid Design for Remote Attestation (Using a Formally Verified Microkernel) [article]

Karim ElDefrawy, Norrathep Rattanavipanon, Gene Tsudik
2017 arXiv   pre-print
RA can be used to establish a static or dynamic root of trust in embedded and cyber-physical systems.  ...  Building upon a formally verified software component increases confidence in security of the overall design of HYDRA and its implementation.  ...  HYDRA DESIGN We first overview seL4 and discuss how it can be used in HYDRA to realize previously identified RA properties. We then describe the sequence of operations in HYDRA.  ... 
arXiv:1703.02688v2 fatcat:wuggtxvwbvfghbgentun6hr2di

Multi-party HD Conferencing System for Wired and Wireless Networks

Beomjoo Seo, Roger Zimmermann
2007 Ninth IEEE International Symposium on Multimedia Workshops (ISMW 2007)  
Here we present our work on the HYDRA project (High-performance Data Recording Architecture) which aims to create an overall architecture for the acquisition, transmission, storage and rendering of high  ...  Conclusions This demonstration presents a low-cost and high-quality HD conferencing system that utilizes commodity hardware combined with modular software.  ...  System Overview Work on the HYDRA live streaming system was initiated with the goal of designing a high-definition capable Internet live, interactive conferencing system.  ... 
doi:10.1109/ism.workshops.2007.22 fatcat:hg3ckqrxlje35gjlbtl5jjj5mi

HYDRA

Johannes Morgenroth, Sebastian Schildt, Lars Wolf
2010 Proceedings of the fifth ACM international workshop on Wireless network testbeds, experimental evaluation and characterization - WiNTECH '10  
While classic simulation tools only provide approximations of the protocol stack, Hydra virtualizes nodes running a complete Linux system.  ...  Hardware-in-the-loop simulations are possible, using Hydra to augment a testbed of real devices.  ...  ACKNOWLEDGEMENTS This work has been partially supported by EFRE (European fund for regional development) project OPTraCom (W2-800-28895) and by the NTH School for IT Ecosystems.  ... 
doi:10.1145/1860079.1860092 dblp:conf/mobicom/MorgenrothSW10 fatcat:zjve5qphrnfitdjkid4z77v3yu
« Previous Showing results 1 — 15 out of 3,073 results