1629 search results - page 207 / 326 » Infeasible Code Detection |
111
click to vote
DAGSTUHL
2007
15 years 3 months ago
2007
The model-based transformation of loop programs is a way of detecting fine-grained parallelism in sequential programs. One of the challenges is to agglomerate the parallelism to a...
103
click to vote
ANLP
2000
15 years 2 months ago
2000
This paper explores the usefulness of a technique from software engineering, namely code instrumentation, for the development of large-scale natural language grammars. Information...
ICSQP
1994
15 years 2 months ago
1994
: The cost of developing and maintaining high quality software remains at a premium. In this paper we introduce a practical approach for enhancement of software quality, based on c...
126
click to vote
ICMCS
2009
IEEE
14 years 11 months ago
2009
IEEE
In this paper we present a DCT domain watermarking approach for H.264/AVC video coding standard. This scheme is resilient to compressed-domain temporal adaptation. A cryptographic...
120
click to vote
IEEEPACT
2007
IEEE
15 years 7 months ago
2007
IEEE
With the advent of chip-multiprocessors, we are faced with the challenge of parallelizing performance-critical software. Transactional memory (TM) has emerged as a promising progr...