4716 search results - page 850 / 944 » Iterative-free program analysis |
147
Voted
CCS
2009
ACM
15 years 10 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...
128
Voted
ESOP
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. Variant parametric types (VPT) represent the successful result of combining subtype polymorphism with parametric polymorphism to support a more flexible subtyping for Ja...
154
Voted
CCGRID
2009
IEEE
15 years 10 months ago
2009
IEEE
—There exists numerous Grid middleware to develop and execute programs on the computational Grid, but they still require intensive work from their users. BitDew is made to facili...
136
Voted
DATE
2009
IEEE
15 years 10 months ago
2009
IEEE
—This paper reports on experience gained and lessons learned from an intensive investigation of model-driven engineering methodology and technology for application to high-integr...
143
click to vote
IEEEPACT
2009
IEEE
15 years 10 months ago
2009
IEEE
Abstract—This paper proposes a new software-oriented approach for managing the distributed shared L2 caches of a chip multiprocessor (CMP) for latency-oriented multithreaded appl...