7,387 research outputs found
Patrolling a Street Network is Strongly NP-Complete but in P for Tree Structures
We consider the following problem: Given a finite set of straight line
segments in the plane, determine the positions of a minimal number of points on
the segments, from which guards can see all segments. This problem can be
interpreted as looking for a minimal number of locations of policemen, guards,
cameras or other sensors, that can observe a network of streets, corridors,
tunnels, tubes, etc. We show that the problem is strongly NP-complete even for
a set of segments with a cubic graph structure, but in P for tree structures
Higgs and B physics in Run II
In Run II at the Tevatron, the major goal of the upgraded CDF and \dzero
detectors is a Higgs search in the mass range of 110-200 GeV. They will also
contribute significantly to B physics. Among many possibilities they will be
able to measure rare decays of B mesons and improve our knowledge of CP
violation in B system through study of B mixing. Various aspects of Higgs and B
physics in Run II are discussed here.Comment: for the D0 Collaboratio
Actions and Events in Concurrent Systems Design
In this work, having in mind the construction of concurrent systems from
components, we discuss the difference between actions and events. For this
discussion, we propose an(other) architecture description language in which
actions and events are made explicit in the description of a component and a
system. Our work builds from the ideas set forth by the categorical approach to
the construction of software based systems from components advocated by Goguen
and Burstall, in the context of institutions, and by Fiadeiro and Maibaum, in
the context of temporal logic. In this context, we formalize a notion of a
component as an element of an indexed category and we elicit a notion of a
morphism between components as morphisms of this category. Moreover, we
elaborate on how this formalization captures, in a convenient manner, the
underlying structure of a component and the basic interaction mechanisms for
putting components together. Further, we advance some ideas on how certain
matters related to the openness and the compositionality of a component/system
may be described in terms of classes of morphisms, thus potentially supporting
a compositional rely/guarantee reasoning.Comment: In Proceedings LAFM 2013, arXiv:1401.056
A low complexity hardware architecture for motion estimation
This paper tackles the problem of accelerating motion estimation for video processing. A novel architecture using binary data is proposed, which attempts to reduce power consumption. The solution exploits redundant operations in the sum of absolute differences (SAD) calculation, by a mechanism known as early termination. Further data redundancies are exploited by using a run length coding addressing scheme, where access to pixels which do not contribute to the final SAD value is minimised. By using these two techniques operations and memory accesses are reduced by 93.29% and 69.17% respectively relative to a systolic array implementation
Towards an optimised VLSI design algorithm for the constant matrix multiplication problem
The efficient design of multiplierless implementations of constant matrix multipliers is challenged by the huge solution search spaces even for small scale problems. Previous approaches tend to use hill-climbing algorithms risking sub-optimal results. The proposed algorithm avoids this by exploring parallel solutions. The computational complexity is tackled by modelling the problem in a format amenable to genetic programming and hardware acceleration. Results show an improvement on state of the art algorithms with future potential for even greater savings
Efficient hardware architectures for MPEG-4 core profile
Efficient hardware acceleration architectures are proposed for the most demandingMPEG-4 core profile algorithms, namely; texture motion estimation (TME), binary motion estimation (BME)and the shape adaptive discrete cosine transform (SA-DCT). The proposed ME designs may also be used for H.264, since both architectures can handle variable block sizes. Both ME architectures employ early termination techniques that reduce latency and save needless memory accesses and power consumption. They also use a pixel subsampling technique to facilitate parallelism,
while balancing the computational load. The BME datapath also saves operations by using Run Length Coded (RLC) pixel addressing. The SA-DCT module has a re-configuring multiplier-less serial datapath using adders and multiplexers only to improve area and power. The SA-DCT packing steps are done using a minimal switching addressing scheme with guarded evaluation. All three modules have been synthesised targeting the WildCard-II FPGA benchmarking platform adopted by the MPEG-4 Part9 reference hardware group
- …