898 search results - page 45 / 180 » A Linear Tabling Mechanism |
INFOCOM
2005
IEEE
14 years 1 months ago
2005
IEEE
—IP-Lookup is a challenging problem because of the increasing routing table sizes, increased traffic, and higher speed links. These characteristics lead to the prevalence of hard...
CAL
2007
13 years 7 months ago
2007
—The design of scalable and reliable interconnection networks for multicore chips (NoCs) introduces new design constraints like power consumption, area, and ultra low latencies. ...
CEC
2005
IEEE
14 years 1 months ago
2005
IEEE
This paper presents a modularization strategy for linear genetic programming (GP) based on a substring compression/substitution scheme. The purpose of this substitution scheme is t...
CHARME
2003
Springer
14 years 28 days ago
2003
Springer
Abstract. As of version 2.7, the ACL2 theorem prover has been extended to automatically verify sets of polynomial inequalities that include nonlinear relationships. In this paper w...
CDC
2010
IEEE
13 years 2 months ago
2010
IEEE
Abstract-- Recent results in networked control systems indicate substantial benefits of event-based control compared to conventional designs. This paper identifies structural prope...