861 search results - page 147 / 173 » Symbolic Program Analysis Using Term Rewriting and Generaliz... |
111
Voted
ICALP
2009
Springer
16 years 2 months ago
2009
Springer
In the interference scheduling problem, one is given a set of n communication requests described by sourcedestination pairs of nodes from a metric space. The nodes correspond to d...
215
Voted
ASPLOS
2009
ACM
16 years 3 months ago
2009
ACM
This paper presents a surprising result: changing a seemingly innocuous aspect of an experimental setup can cause a systems researcher to draw wrong conclusions from an experiment...
121
Voted
SIGSOFT
2006
ACM
16 years 3 months ago
2006
ACM
Though many tools are available to help programmers working on change tasks, and several studies have been conducted to understand how programmers comprehend systems, little is kn...
105
click to vote
DAC
2007
ACM
16 years 3 months ago
2007
ACM
High efficiency low voltage DC-DC conversion is a key enabler to the design of power-efficient integrated circuits. Typically a star configuration of the DC-DC converters, where o...
84
Voted
WWW
2007
ACM
16 years 3 months ago
2007
ACM
Researchers of commercial search engines often collect data using the application programming interface (API) or by "scraping" results from the web user interface (WUI),...