116 search results - page 18 / 24 » Introducing Communication in Dis-POMDPs with Finite State Ma... |
112
Voted
TVLSI
2008
14 years 11 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, ...
104
click to vote
SIPS
2008
IEEE
15 years 6 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...
68
Voted
DSD
2002
IEEE
15 years 4 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...
180
Voted
ICFP
2009
ACM
16 years 9 days 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...
IPPS
2007
IEEE
15 years 6 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 ...