2520 search results - page 139 / 504 » Model-checking behavioral programs |
140
Voted
FPGA
2008
ACM
15 years 2 months ago
2008
ACM
Pattern-based synthesis has drawn wide interest from researchers who tried to utilize the regularity in applications for design optimizations. In this paper we present a general p...
106
Voted
SIGSOFT
2010
ACM
14 years 11 months ago
2010
ACM
During maintenance, software is modified and evolved to enhance its functionality, eliminate faults, and adapt it to changed or new platforms. In this demo, we present BERT, a too...
106
Voted
AAAI
2010
15 years 2 months ago
2010
The selection of the action to do next is one of the central problems faced by autonomous agents. In AI, three approaches have been used to address this problem: the programming-b...
123
Voted
CCS
2009
ACM
15 years 8 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...
116
Voted
CLOUDCOM
2010
Springer
14 years 11 months ago
2010
Springer
Abstract--The cloud computing model aims to make largescale data-intensive computing affordable even for users with limited financial resources, that cannot invest into expensive i...