2302 search results - page 282 / 461 » Testing as Abstraction |
142
click to vote
CICLING
2009
Springer
16 years 7 months ago
2009
Springer
Abstract. Language software applications encounter new words, e.g., acronyms, technical terminology, names or compounds of such words. In order to add new words to a lexicon, we ne...
133
click to vote
PPOPP
2009
ACM
16 years 7 months ago
2009
ACM
This paper proposes a new parallel execution model where programmers augment a sequential program with pieces of code called serializers that dynamically map computational operati...
173
click to vote
CHES
2009
Springer
16 years 7 months ago
2009
Springer
Abstract. The general trend in semiconductor industry to separate design from fabrication leads to potential threats from untrusted integrated circuit foundries. In particular, mal...
153
click to vote
CHI
2005
ACM
16 years 7 months ago
2005
ACM
Although information visualization (infovis) technologies have proven indispensable tools for making sense of complex data, wide-spread deployment has yet to take hold, as success...
154
click to vote
VLSID
2008
IEEE
16 years 7 months ago
2008
IEEE
Abstract-- With the continuous downscaling of CMOS technologies, the reliability has become a major bottleneck in the evolution of the next generation systems. Technology trends su...