1304 search results - page 201 / 261 » Evaluating Hardware Compilation Techniques |
182
click to vote
EUROMICRO
2006
IEEE
16 years 11 days ago
2006
IEEE
One area of the web services architecture yet to be standardised is that of fault tolerance for services. At the same time, WS-BPEL is moving from a de facto standard to an OASIS ...
151
click to vote
ISCAS
2006
IEEE
16 years 10 days ago
2006
IEEE
A fast algorithm for mesh-based motion estimation employing uniform triangular patches is proposed. The technique utilises an embedded block model to estimate the motion of the me...
172
click to vote
ISCAS
2005
IEEE
15 years 12 months ago
2005
IEEE
—Automatic white balance is an important function of digital still cameras. The goal of white balance is to adjust the image such that it looks as if it is taken under canonical ...
157
click to vote
SIGMETRICS
2005
ACM
15 years 12 months ago
2005
ACM
A generic stochastic model with only two input parameters is introduced to evaluate the message delay in mobile ad hoc networks (MANETs) where nodes may relay messages. The Laplac...
164
click to vote
SAT
2005
Springer
15 years 11 months ago
2005
Springer
Current algorithms for bounded model checking (BMC) use SAT methods for checking satisfiability of Boolean formulas. These BMC methods suffer from a potential memory explosion prob...