4075 search results - page 232 / 815 » Modeling Distributed Algorithm Using B |
142
click to vote
ICPR
2008
IEEE
16 years 7 months ago
2008
IEEE
We introduce a novel wire detection algorithm for use in low altitude urban aircraft reconnaissance. A line profile model is described and effectively used to discriminate wires f...
187
click to vote
CCGRID
2010
IEEE
15 years 4 months ago
2010
IEEE
Due to the strong increase of processing units available to the end user, expressing parallelism of an algorithm is a major challenge for many researchers. Parallel applications ar...
198
click to vote
INFOCOM
2000
IEEE
15 years 10 months ago
2000
IEEE
The ability to classify packets according to pre-defined rules is critical to providing many sophisticated value-added services, such as security, QoS, load balancing, traffic acco...
194
click to vote
CASES
2010
ACM
15 years 3 months ago
2010
ACM
Approximate arithmetic is a promising, new approach to lowenergy designs while tackling reliability issues. We present a method to optimally distribute a given energy budget among...
171
click to vote
WCE
2007
15 years 7 months ago
2007
— This paper presents an important outcome of a research programme which focuses on the development of a method for synthesizing, under controlled conditions in the laboratory, t...