368 search results - page 24 / 74 » Calculating an exceptional machine |
ICCAD
2006
IEEE
14 years 4 months ago
2006
IEEE
It has been shown that the delay of a target path can be composed linearly of other path delays. If the later paths are robustly testable (with known delay values), the target pat...
LICS
2008
IEEE
14 years 1 months ago
2008
IEEE
Kleene algebra with tests (KAT) is an equational system for program verification that combines Kleene algebra (KA), or the algebra of regular expressions, with Boolean algebra. I...
ARITH
2007
IEEE
14 years 1 months ago
2007
IEEE
Decimal multiplication is important in many commercial applications including financial analysis, banking, tax calculation, currency conversion, insurance, and accounting. This p...
GCC
2007
Springer
14 years 1 months ago
2007
Springer
Data service is the principle application in structured P2P networks. And in many cases, we need the data to persist for a long time. So how to persist the data service and how lo...
ICCS
2007
Springer
14 years 1 months ago
2007
Springer
Shape averaging or signal averaging of time series data is one of the prevalent subroutines in data mining tasks, where Dynamic Time Warping distance measure (DTW) is known to work...