1280 search results - page 173 / 256 » Soft Typing with Conditional Types |
TPHOL
2008
IEEE
14 years 3 months ago
2008
IEEE
When reasoning about inductively defined predicates, such as typing judgements or reduction relations, proofs are often done by inversion, that is by a case analysis on the last r...
WCNC
2008
IEEE
14 years 3 months ago
2008
IEEE
Data rate adaptation is the process to select the optimal data rates for instantaneous channel conditions. This paper proposes a data rate adaptation technique that poses followin...
CCGRID
2007
IEEE
14 years 3 months ago
2007
IEEE
The number of processors embedded on high performance computing platforms is continuously increasing to accommodate user desire to solve larger and more complex problems. However,...
DATE
2007
IEEE
14 years 3 months ago
2007
IEEE
Functional validation of modern microprocessors is an important and complex problem. One of the problems in functional validation is the generation of test cases that has higher p...
ICASSP
2007
IEEE
14 years 3 months ago
2007
IEEE
This paper introduces a novel energy minimization method, namely iterated cross entropy with partition strategy (ICEPS), into the Markov random field theory. The solver, which is...