2520 search results - page 139 / 504 » Model-checking behavioral programs |
159
Voted
FPGA
2008
ACM
15 years 3 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...
113
click to vote
SIGSOFT
2010
ACM
15 years 7 days 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...
113
click to vote
AAAI
2010
15 years 3 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...
130
click to vote
CCS
2009
ACM
15 years 9 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...
126
click to vote
CLOUDCOM
2010
Springer
15 years 11 days 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...