A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf
.
Filters
The Term Graph Programming System HOPS
[chapter]
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]
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
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
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
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]
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]
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?
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
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
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]
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
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]
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 (http://hop.inria.fr) 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
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
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