1760 search results - page 142 / 352 » Program Analysis Using Weighted Pushdown Systems |
108
Voted
SIGCSE
2009
ACM
16 years 1 months ago
2009
ACM
Computer science educators are uniquely positioned to promote greater awareness of Green Computing, using the academic setting to encourage environmentally conscious use of techno...
132
click to vote
ENTCS
2007
15 years 15 days ago
2007
Software evolution research is limited by the amount of information available to researchers: Current version control tools do not store all the information generated by developer...
117
Voted
ACCV
2006
Springer
15 years 6 months ago
2006
Springer
Relevance feedback (RF) and region-based image retrieval (RBIR) are two widely used methods to enhance the performance of contentbased image retrieval (CBIR) systems. In this paper...
133
Voted
CL
2007
Springer
15 years 21 days ago
2007
Springer
The CCS (Calculus of Communicating Systems) process algebra is a well-known formal model of synchronization and communication. It is used for the analysis of safety and liveness i...
119
Voted
IPPS
2007
IEEE
15 years 7 months ago
2007
IEEE
Hybrid chip multithreaded SMPs present new challenges as well as new opportunities to maximize performance. Our intention is to discover the optimal operating configuration of suc...