1589 search results - page 40 / 318 » Constraints with Variables' Annotations |
ISSTA
2006
ACM
14 years 2 months ago
2006
ACM
Concurrent programs are notorious for containing errors that are difficult to reproduce and diagnose. A common kind of concurrency error is deadlock, which occurs when some thread...
COMPSAC
2005
IEEE
14 years 2 months ago
2005
IEEE
Automatic test data generation leads to the identification of input values on which a selected path or a selected branch is executed within a program (path-oriented vs goalorient...
DATE
2004
IEEE
14 years 12 days ago
2004
IEEE
Many high-end DSP processors employ both multiple memory banks and heterogeneous register files to improve performance and power consumption. The complexity of such architectures ...
CAISE
2010
Springer
13 years 3 months ago
2010
Springer
The existence of variations in the organizational environment makes the configuration of business process models a complex activity, even for experienced business analysts. The inc...
IPPS
2009
IEEE
14 years 3 months ago
2009
IEEE
Many image and signal processing kernels can be optimized for performance consuming a reasonable area by doing loops parallelization with extensive use of pipelining. This paper p...