2607 search results - page 400 / 522 » Complete Functional Synthesis |
132
click to vote
ACSAC
2006
IEEE
15 years 8 months ago
2006
IEEE
Many software security solutions require accurate tracking of control/data dependencies among information objects in network applications. This paper presents a general dynamic in...
135
Voted
ASWEC
2006
IEEE
15 years 8 months ago
2006
IEEE
Up to 75% of the costs associated with the development of software systems occur post-deployment during maintenance and evolution. Software refactoring is a process which can sign...
121
click to vote
CCGRID
2006
IEEE
15 years 8 months ago
2006
IEEE
As the scale of cluster computing grows, it is becoming hard for long-running applications to complete without facing failures on large-scale clusters. To address this issue, chec...
116
click to vote
DASFAA
2006
IEEE
15 years 8 months ago
2006
IEEE
When hosting XML information on relational backends, a mapping has to be established between the schemas of the information source and the target storage repositories. A rich body ...
97
Voted
DATE
2006
IEEE
15 years 8 months ago
2006
IEEE
Abstract: This paper addresses the problem of equivalence veriļ¬cation of RTL descriptions that implement arithmetic computations (add, mult, shift) over bitvectors that have diļ¬...