116 search results - page 18 / 24 » Introducing Communication in Dis-POMDPs with Finite State Ma... |
140
click to vote
TVLSI
2008
15 years 1 months ago
2008
We present a Mutation-based Validation Paradigm (MVP) technology that can handle complete high-level microprocessor implementations and is based on explicit design error modeling, ...
120
Voted
SIPS
2008
IEEE
15 years 8 months ago
2008
IEEE
The upcoming Reconfigurable Video Coding (RVC) standard from MPEG (ISO/IEC SC29WG11) defines a library of coding tools to specify existing or new compressed video formats and deco...
DSD
2002
IEEE
15 years 6 months ago
2002
IEEE
In this paper we introduce concepts of a potential fault latency and a real fault latency for Finite State Machines (FSMs). The potential latency defines a minimal value of the po...
206
click to vote
ICFP
2009
ACM
16 years 2 months ago
2009
ACM
Memoization is a well-known optimization technique used to eliminate redundant calls for pure functions. If a call to a function f with argument v yields result r, a subsequent ca...
100
click to vote
IPPS
2007
IEEE
15 years 8 months ago
2007
IEEE
The processing power and memory capacity of independent and heterogeneous parallel machines can be combined to form a single parallel system that is more powerful than any of its ...