2520 search results - page 418 / 504 » Model-checking behavioral programs |
DAC
2003
ACM
14 years 11 months ago
2003
ACM
This paper addresses the problem of extending the lifetime of a batterypowered mobile host in a client-server wireless network by using task migration and remote processing. This ...
DAC
2006
ACM
14 years 11 months ago
2006
ACM
Scheduling plays a central role in the behavioral synthesis process, which automatically compiles high-level specifications into optimized hardware implementations. However, most ...
DAC
2006
ACM
14 years 11 months ago
2006
ACM
This paper describes an ultra low power active RFID tag and its automated design flow. RFID primitives to be supported by the tag are enumerated with RFID macros and the behavior ...
ICSE
2009
IEEE-ACM
14 years 11 months ago
2009
IEEE-ACM
Code cloning is not only assumed to inflate maintenance costs but also considered defect-prone as inconsistent changes to code duplicates can lead to unexpected behavior. Conseque...
SIGSOFT
2007
ACM
14 years 11 months ago
2007
ACM
We improve on previous recommender systems by taking advantage of the layered structure of software. We use a random-walk approach, mimicking the more focused behavior of a develo...