7167 search results - page 210 / 1434 » A Technique for Invariant Generation |
187
click to vote
DATE
2008
IEEE
16 years 1 months ago
2008
IEEE
— Market and customer demands have continued to push the limits of CMOS performance. At-speed test has become a common method to ensure these high performance chips are being shi...
193
click to vote
ISSRE
2006
IEEE
16 years 1 months ago
2006
IEEE
BPEL is a language that could express complex concurrent behaviors. This paper presents a novel method of BPEL test case generation, which is based on concurrent path analysis. Th...
213
click to vote
MM
2006
ACM
16 years 1 months ago
2006
ACM
Automatic scene generation using voice and text offers a unique multimedia approach to classic storytelling and human computer interaction with 3D graphics. In this paper, we pre...
179
click to vote
DATE
2005
IEEE
16 years 25 days ago
2005
IEEE
Customization of processor architectures through Instruction Set Extensions (ISEs) is an effective way to meet the growing performance demands of embedded applications. A high-qua...
294
click to vote
ISMIS
2005
Springer
16 years 21 days ago
2005
Springer
Abstract. Testing of database applications is of great importance. Although various studies have been conducted to investigate testing techniques for database design, relatively fe...