6274 search results - page 619 / 1255 » Proofs, Programs, Processes |
281
click to vote
CORR
2011
Springer
15 years 2 months ago
2011
Springer
Software testing is an expensive process, which is vital in the industry. Construction of the test-data in software testing requires the major cost and to decide which method to us...
184
click to vote
IJPP
2011
15 years 2 months ago
2011
Data-parallel accelerator devices such as Graphical Processing Units (GPUs) are providing dramatic performance improvements over even multicore CPUs for lattice-oriented applicatio...
240
click to vote
ISSPIT
2010
15 years 2 months ago
2010
Graphics processing units (GPU) on commodity video cards have evolved into powerful computational devices. The RNA secondary structure arises from the primary structure and a backb...
176
click to vote
TOG
2010
15 years 1 months ago
2010
We present a method for automated generation of building layouts for computer graphics applications. Our approach is motivated by the layout design process developed in architectu...
171
click to vote
LPNMR
1990
Springer
15 years 11 months ago
1990
Springer
We present a general theory for the use of negative premises in the rules of Transition System Specifications (TSSs). We formulate a criterion that should be satisfied by a TSS in ...