225 search results - page 9 / 45 » State Exploration with Multiple State Groupings |
AC
1999
Springer
13 years 11 months ago
1999
Springer
A widely used computational model for constructing fault-tolerant distributed applications employs atomic transactions for controlling operations on persistent objects. There has ...
FGR
2004
IEEE
13 years 11 months ago
2004
IEEE
In the recent years particle filtering has been the dominant paradigm for tracking facial and body features, recognizing temporal events and reasoning in uncertainty. A major prob...
JCP
2008
13 years 7 months ago
2008
Ground maneuvering target tracking is a class of nonlinear and/or no-Gaussian filtering problem. A new interacting multiple model unscented particle filter (IMMUPF) is presented to...
MICRO
2005
IEEE
14 years 1 months ago
2005
IEEE
We introduce techniques to support efficient non-atomic execution of very long traces on a new binary translation based, x86-64 compatible VLIW microprocessor. Incrementally comm...
CODES
2008
IEEE
14 years 2 months ago
2008
IEEE
Application-specific system-on-chip platforms create the opportunity to customize the cache configuration for optimal performance with minimal chip estate. Simulation, in partic...