9412 search results - page 209 / 1883 » An aspect-oriented generative approach |
194
click to vote
SEKE
2005
Springer
16 years 20 days ago
2005
Springer
The paper presents an approach to support run-time verification of software systems that combines two existing tools, Prospec and Java-MaC, into a single framework. Prospec can be...
175
click to vote
TABLEAUX
2005
Springer
16 years 20 days ago
2005
Springer
Abstract. The clause linking technique of Lee and Plaisted proves the unsatisfiability of a set of first-order clauses by generating a sufficiently large set of instances of thes...
172
click to vote
PG
2002
IEEE
16 years 3 days ago
2002
IEEE
In this paper, we present a system that automatically generates caricatures from input face images. From example caricatures drawn by an artist, our caricature system learns how a...
192
click to vote
HICSS
1997
IEEE
15 years 11 months ago
1997
IEEE
We describe an environment to produce traces representing significant workloads for a shared-bus shared-memory multiprocessor used as a general-purpose multitasking machine, wher...
156
click to vote
ITC
1997
IEEE
15 years 11 months ago
1997
IEEE
As the sizes of general and special purpose processors increase rapidly, generating high quality manufacturing tests for them is becoming a serious problem in industry. This paper...