536 search results - page 51 / 108 » A computer verified, monadic, functional implementation of t... |
139
click to vote
DATE
2006
IEEE
16 years 5 days ago
2006
IEEE
Abstract: This paper addresses the problem of equivalence veriļ¬cation of RTL descriptions that implement arithmetic computations (add, mult, shift) over bitvectors that have diļ¬...
194
click to vote
TIDSE
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. This article presents the first implementation results of a storytelling system called Jeherazade. The Jeherazade system is based on the idea to enhance the classical the...
211
click to vote
ACHI
2010
IEEE
16 years 1 months ago
2010
IEEE
AbstractāThe development of human-robot interaction scenarios is a strongly situation-dependent as well as an extremely dynamic task. Humans interacting with the robot directly r...
182
click to vote
SIGMETRICS
2002
ACM
15 years 5 months ago
2002
ACM
Computer system designers often evaluate future design alternatives with detailed simulators that strive for functional fidelity (to execute relevant workloads) and performance fi...
195
click to vote
BMCBI
2010
15 years 6 months ago
2010
Background: Modern high throughput experimental techniques such as DNA microarrays often result in large lists of genes. Computational biology tools such as clustering are then us...