851 search results - page 81 / 171 » History Effects and Verification |
433
click to vote
AC
1998
Springer
15 years 1 months ago
1998
Springer
Natural language processing has been in existence for more than fifty years. During this time, it has significantly contributed to the field of human-computer interaction in terms...
109
click to vote
CCGRID
2010
IEEE
15 years 20 days ago
2010
IEEE
—While computing speed continues increasing rapidly, data-access technology is lagging behind. Data-access delay, not the processor speed, becomes the leading performance bottlen...
132
click to vote
ECRTS
2009
IEEE
14 years 11 months ago
2009
IEEE
While hardware caches are generally effective at improving application performance, they greatly complicate performance prediction. Slight changes in memory layout or data access p...
129
click to vote
ICCAD
1999
IEEE
15 years 6 months ago
1999
IEEE
Constraining and input biasing are frequently used techniques in functional verification methodologies based on randomized simulation generation. Constraints confine the simulatio...
138
click to vote
TIC
2000
Springer
15 years 5 months ago
2000
Springer
Abstract. A type-based certifying compiler maps source code to machine code and target-level type annotations. The target-level annotations make it possible to prove easily that th...