15885 search results - page 3096 / 3177 » Strategic Software Engineering |
119
click to vote
DAC
2005
ACM
16 years 4 months ago
2005
ACM
el Predicate Abstraction and Refinement for Verifying RTL Verilog Himanshu Jain CMU SCS, Pittsburgh, PA 15213 Daniel Kroening ETH Z?urich, Switzerland Natasha Sharygina CMU SCS an...
139
Voted
DAC
2006
ACM
16 years 4 months ago
2006
ACM
Graphics-intensive computer games are no longer restricted to highperformance desktops, but are also available on a variety of portable devices ranging from notebooks to PDAs and ...
120
click to vote
WWW
2009
ACM
16 years 4 months ago
2009
ACM
Since the invention of the Web, the browser has become more and more powerful. By now, it is a programming and execution environment in itself. The predominant language to program...
117
Voted
WWW
2008
ACM
16 years 4 months ago
2008
ACM
With Telecom market reaching saturation in many geographies and revenues from voice calls decreasing, Telecom operators are trying to identify new sources of revenue. For this pur...
135
Voted
WWW
2008
ACM
16 years 4 months ago
2008
ACM
Learning to rank is a new statistical learning technology on creating a ranking model for sorting objects. The technology has been successfully applied to web search, and is becom...