10848 search results - page 1793 / 2170 » Programming in Biomolecular Computation |
195
click to vote
CCS
2009
ACM
16 years 1 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...
159
Voted
VMCAI
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. Because of its critical importance underlying all other software, lowlevel system software is among the most important targets for formal verification. Low-level systems...
198
click to vote
CEC
2009
IEEE
16 years 1 months ago
2009
IEEE
—In this paper we discuss the notion of situated evolution. Our treatment includes positioning situated evolution on the map of evolutionary processes in terms of time- and space...
199
click to vote
DATE
2009
IEEE
16 years 1 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...
193
click to vote
IEEEPACT
2009
IEEE
2009
IEEE
Soft-OLP: Improving Hardware Cache Performance through Software-Controlled Object-Level Partitioning
16 years 1 months ago
—Performance degradation of memory-intensive programs caused by the LRU policy’s inability to handle weaklocality data accesses in the last level cache is increasingly serious ...