13,109 Hits in 5.3 sec

The Term Graph Programming System HOPS [chapter]

Wolfram Kahl
1999 Tool Support for System Specification, Development and Verification  
Layout is currently calculated externally by dot (Gansner et al. 1993 ) from AT&T's graphviz tool suite, but a more specialised layout mechanism specifically designed for the needs of HOPS term graphs  ...  This kind of type system is also very appropriate for an interactive system since it allows to operate in a very local manner for most term graph manipulations.  ... 
doi:10.1007/978-3-7091-6355-9_10 dblp:conf/tssdv/Kahl98 fatcat:hjfiw5iarna2fngwwnrkhlzjsm

Stability and Scalability Issues in Hop-by-Hop Class-Based Routing [chapter]

Marília Curado, Orlando Reis, João Brito, Gonçalo Quadros, Edmundo Monteiro
2003 Lecture Notes in Computer Science  
The results show that a hop-by-hop, link-state routing protocol, like Open Shortest Path First, can be extended to efficiently support class-based QoS traffic differentiation.  ...  An intra-domain Quality of Service (QoS) routing protocol for the Differentiated Services framework is being developed at the University of Coimbra (UC-QoSR).  ...  A prototype of UC-QoSR was implemented over the GateD 1 platform, running on the FreeBSD operating system [4] .  ... 
doi:10.1007/3-540-36480-3_8 fatcat:c2z33ol5lra6tmr337unnbx7a4

Analysis of a Simplified Hopping Robot

Daniel E. Koditschek, Martin Bühler
1991 The international journal of robotics research  
Comments Abstract Center for Systems Science Yale University, D e p a r t m e n t of Electrical Engineering We offer some preliminary analytical results concerning simplified models of Raibert's hopper  ...  T h e motivation for this work is the hope t h a t it will facilitate the development of general design principles for "dynamically dexterous" robots.  ...  For example, in the design of control algorithms for another member of this class of "dynamically dexterous robots" -a simple prototype juggling robota very similar point of view appears to result in successful  ... 
doi:10.1177/027836499101000601 fatcat:nmzhfv674ng6lngjnuwqyz3cqq

System Dependability Modelling and Analysis Using AADL and HiP-HOPS

Zhibao Mian, Leonardo Bottaci, Yiannis Papadopoulos, Matthias Biehl
2012 IFAC Proceedings Volumes  
We automate such a translation between AADL and the dependability analysis tool HiP-HOPS by using model transformation techniques.  ...  A generic primary-standby example system is used to show the mechanics of the transformation and the potential for highlighting problems and assisting design work using this technology.  ...  Summary and future work This paper has described a method and tool support for using HiP-HOPS to perform dependability analysis on systems modelled in AADL.  ... 
doi:10.3182/20120523-3-ro-2023.00334 fatcat:p77ygvdzpralrgdm6xaqnvvkaq

Hip Hop Honey or Video Ho: African American Preadolescents' Understanding of Female Sexual Scripts in Hip Hop Culture

Dionne P. Stephens, April L. Few
2007 Sexuality & Culture  
These eight sexual scripts were found to be recognized and have shared meanings about sexual behaviors for participants.  ...  Findings from this study are particularly important given the lack of research on sexual scripting among this population, filling a void of knowledge related to race and intraethnic variations in beliefs  ...  Preadolescent African American females require tools, such as these sexual scripts, to help visualize and identify sexual behaviors within a specific gender and racial context.  ... 
doi:10.1007/s12119-007-9012-8 fatcat:gnl7ihnuxzejlbmpwgwilr4yre

The role of correlated hopping in many-body physics of flat-band systems: Nagaoka ferromagnetism [article]

Tom Westerhout, Mikhail I. Katsnelson
2022 arXiv   pre-print
All three hopping parameters cannot vanish simultaneously, and one should specify for which of these processes the band becomes flat.  ...  In narrow-band systems, correlated contribution to effective hopping becomes important, and one needs to carefully consider three types of hopping processes: between doubly and singly occupied sites, between  ...  A prototypical example of an electron system with a flat band is the quantum Hall regime for a two-dimensional electron gas in a magnetic field when the kinetic energy is suppressed by Landau quantization  ... 
arXiv:2202.12757v3 fatcat:sfimom6f4vdgnct5glk4k2wh3u

HAEPG: An Automatic Multi-hop Exploitation Generation Framework [chapter]

Zixuan Zhao, Yan Wang, Xiaorui Gong
2020 Lecture Notes in Computer Science  
We implemented a prototype of HAEPG based on the symbolic execution engine S2E [15] and provided four exploitation techniques for it as prior knowledge.  ...  We evaluated HAEPG with 24 CTF programs, and the results show that HAEPG is able to accurately reason about the type of vulnerability for 21 (87.5%) of them, and generate exploits that spawn a shell for  ...  To conduct multi-hop exploitation, AEG solutions have to craft inputs and drive victim programs to allocate and deallocate objects of a specific size or write specific data to heap objects.  ... 
doi:10.1007/978-3-030-52683-2_5 fatcat:qz4u3hb63negtlsbjzvuecwiye

Gaming the jammer: Is frequency hopping effective?

K. Pelechrinis, C. Koufogiannakis, S.V. Krishnamurthy
2009 2009 7th International Symposium on Modeling and Optimization in Mobile, Ad Hoc, and Wireless Networks  
Our model accounts for two important factors that affect the aforementioned interactions: (a) the number of orthogonal channels available for use and (b) the frequency separation between these orthogonal  ...  Frequency hopping has been the most popularly considered approach for alleviating the effects of jamming attacks.  ...  Papagiannaki from Intel Research, for providing us with the prototype firmware of ipw2200 AP.  ... 
doi:10.1109/wiopt.2009.5291621 dblp:conf/wiopt/PelechrinisKK09 fatcat:4k3fa6d2gjeb3jhkfrumcgrn6q

Cognitive frequency hopping based on interference prediction

Stefan Geirhofer, John Z. Sun, Lang Tong, Brian M. Sadler
2009 ACM SIGMOBILE Mobile Computing and Communications Review  
This leads to a new cognitive coexistence paradigm, in which cognitive radio implicitly coordinates the spectrum access of heterogeneous systems.  ...  Within this framework, we investigate coexistence with a set of parallel WLAN bands: based on predicting WLAN activity, the cognitive radio dynamically hops between the bands to avoid collisions and reduce  ...  tool.  ... 
doi:10.1145/1621076.1621082 fatcat:uestvmgwundmrcpi2uq4jyed5u

Mitigating collisions through power-hopping to improve 802.11 performance

Paul Patras, Hanghang Qi, David Malone
2014 Pervasive and Mobile Computing  
In this article, we introduce a power-hopping technique (PH-MAC) that, by alternating between different transmission power levels, aims to deliberately cause packet capture and thereby reduce the impact  ...  Finally, to understand the feasibility of this technique in practical deployments, we present a prototype implementation of PH-MAC which relies on commodity hardware and open-source drivers.  ...  in our system.  ... 
doi:10.1016/j.pmcj.2013.03.005 fatcat:5f5ekvdg2nb3joyqsxo34krit4

Phase diagram of the ℤ_3-Fock parafermion chain with pair hopping [article]

Iman Mahyaeh, Jurriaan Wouters, Dirk Schuricht
2020 arXiv   pre-print
We study a tight binding model of ℤ_3-Fock parafermions with single-particle and pair-hopping terms.  ...  The phase diagram has four different phases: a gapped phase, a gapless phase with central charge c=2, and two gapless phases with central charge c=1.  ...  The Potts chain provides a natural generalisation thereof to interacting systems possessing parafermion edge modes [25] .  ... 
arXiv:2003.07812v3 fatcat:b3cqkd5l3bc57l4bu5mhmsbja4

Effect of Densification Conditions on Specific Energy Requirements and Physical Properties of Compacts Made from Hop Cone

Niccolò Pampuro, Patrizia Busato, Eugenio Cavallo
2018 Energies  
cones and ii) the specific compression energy required for the process.  ...  Hop cones, due to their essential flavor, are one of the four main ingredients for beer production. The paper reports the results on an investigation of the densification process of hop cones.  ...  Hydraulic Compacts Press A prototype hydraulic press was used to compact hop cones. The compaction equipment consists of two opposite hydraulic cylinders.  ... 
doi:10.3390/en11092389 fatcat:jy55iehsjzcjvg44zhqvm73ube

Hop, a Fast Server for the Diffuse Web [chapter]

Manuel Serrano
2009 Lecture Notes in Computer Science  
Systems that let users tune the temperature of their house with a cell-phone, check that the shutters are closed with a PDA, or select the music to be played on a Hi-Fi system with a PC are examples of  ...  Hop ( is a platform designed for building and running diffuse Web applications.  ...  The interpreter, which resides on the server, is used for fast prototyping.  ... 
doi:10.1007/978-3-642-02053-7_1 fatcat:6jlrwyt4vja7vcauuvjvqysx3u

Efficient and accurate surface hopping for long time nonadiabatic quantum dynamics

Aaron Kelly, Thomas E. Markland
2013 Journal of Chemical Physics  
This allows dramatic improvements in the efficiency of the approach in nonadiabatic regimes, making it computationally tractable to treat the quantum dynamics of complex systems for long times.  ...  The quantum-classical Liouville equation offers a rigorous approach to nonadiabatic quantum dynamics based on surface hopping type trajectories.  ...  T.E.M acknowledges funding from a Terman fellowship and Stanford start-up funds. A.K. acknowledges a postdoctoral fellowship from the Stanford Center for Molecular Analysis and Design (CMAD).  ... 
doi:10.1063/1.4812355 pmid:23822290 fatcat:hjx6kbn5yrdxffgtz7xj7ezxwi

Imola: A decentralised learning-driven protocol for multi-hop White-Fi

N. Facchi, F. Gringoli, D. Malone, P. Patras
2017 Computer Communications  
We present a prototype implementation of our proposal and conduct experiments in a real test bed, which confirms the practical feasibility of deploying our solution in mesh networks that build upon the  ...  In this paper we tackle the digital exclusion problem in developing and remote locations by proposing Imola, an inexpensive learning-driven access mechanism for multi-hop wireless networks that operate  ...  The University of Edinburgh is authorised to reproduce and distribute reprints and online copies for their purposes notwithstanding any copyright annotation hereon.  ... 
doi:10.1016/j.comcom.2016.12.015 fatcat:tdeu2ygbrvb3vcvfdzle3vbbea
« Previous Showing results 1 — 15 out of 13,109 results