9532 search results - page 1714 / 1907 » Logic, Graphs, and Algorithms |
111
click to vote
INFOCOM
2010
IEEE
15 years 3 months ago
2010
IEEE
—Designers of TCAMs (ternary CAMs) for packet classification often have to deal with unpredictable sets of rules. These result in highly variable rule expansions, and can only r...
141
Voted
IPL
2010
15 years 3 months ago
2010
model checking via abstract interpretation N. De Francesco, G. Lettieri∗ , L. Martini, G. Vaglini Universit`a di Pisa, Dipartimento di Ingegneria dell’Informazione, sez. Inform...
125
click to vote
JASIS
2010
15 years 3 months ago
2010
The United States Supreme Court case of 1991, Feist Publications, Inc. v. Rural Tel. Service Co., continues to be highly significant for property in data and databases but remains...
130
click to vote
PASTE
2010
ACM
15 years 3 months ago
2010
ACM
Monitoring or profiling programs provides us with an understanding for its further improvement and analysis. Typically, for monitoring or profiling, the program is instrumented ...
145
Voted
TSE
2010
15 years 3 months ago
2010
— Web script crashes and malformed dynamically-generated web pages are common errors, and they seriously impact the usability of web applications. Current tools for web-page vali...