7167 search results - page 1127 / 1434 » A Technique for Invariant Generation |
267
click to vote
CONEXT
2007
ACM
15 years 11 months ago
2007
ACM
In the Internet today, traffic management spans congestion control (at end hosts), routing protocols (on routers), and traffic engineering (by network operators). Historically, th...
212
Voted
CP
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. Computing the minimal network (or minimal CSP) representation of a given set of constraints over the Point Algebra (PA) is a fundamental reasoning problem. In this paper ...
223
Voted
DAC
2010
ACM
15 years 11 months ago
2010
ACM
—Discrete gate sizing is one of the most commonly used, flexible, and powerful techniques for digital circuit optimization. The underlying problem has been proven to be NP-hard ...
214
Voted
CGI
2009
IEEE
15 years 11 months ago
2009
IEEE
Two dimensional point data can be considered one of the most basic, yet one of the most ubiquitous data types arising in a wide variety of applications. The basic scatter plot app...
214
click to vote
CGI
2009
IEEE
15 years 11 months ago
2009
IEEE
Despite the clear benefits that stream and path surfaces bring when visualizing 3D vector fields, their use in both industry and for research has not proliferated. This is due, in...