990 search results - page 195 / 198 » A Static Analysis Technique for Graph Transformation Systems |
93
Voted
CCS
2009
ACM
15 years 4 months ago
2009
ACM
Along with the burst of open source projects, software theft (or plagiarism) has become a very serious threat to the healthiness of software industry. Software birthmark, which re...
109
Voted
PEPM
2010
ACM
14 years 11 months ago
2010
ACM
Software engineering, automated reasoning, rule-based programming or specifications often use rewriting systems for which termination, among other properties, may have to be ensur...
82
Voted
ICASSP
2008
IEEE
15 years 4 months ago
2008
IEEE
This paper presents new filter bank design methods for subband adaptive beamforming. In this work, we design analysis and synthesis prototypes for modulated filter banks so as t...
89
Voted
CAISE
2001
Springer
15 years 2 months ago
2001
Springer
Business processes play a central role in the reorganization of a company and the (re)design of the respective information system(s). Typically the processes are described with the...
HPCA
2008
IEEE
15 years 10 months ago
2008
IEEE
As multicore systems become the dominant mainstream computing technology, one of the most difficult challenges the industry faces is the software. Applications with large amounts ...