2520 search results - page 418 / 504 » Model-checking behavioral programs |
116
Voted
DAC
2003
ACM
16 years 3 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 ...
137
Voted
DAC
2006
ACM
16 years 3 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 ...
93
Voted
DAC
2006
ACM
16 years 3 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 ...
90
Voted
ICSE
2009
IEEE-ACM
16 years 3 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...
83
Voted
SIGSOFT
2007
ACM
16 years 2 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...