2018 search results - page 321 / 404 » Code Normal Forms |
JELIA
2004
Springer
14 years 2 months ago
2004
Springer
We briefly overview the most recent improvements we have incorporated to the existent implementations of the TAS methodology, the simplified ∆-tree representation of formulas i...
CBMS
2003
IEEE
14 years 2 months ago
2003
IEEE
In this research, an imaging system was built to work with a newly developed electronic device to help people produce sounds correctly. The system consists of two parts, the inter...
PLDI
2010
ACM
14 years 1 months ago
2010
ACM
We present smooth interpretation, a method to systematically approximate numerical imperative programs by smooth mathematical functions. This approximation facilitates the use of ...
INFOCOM
2002
IEEE
14 years 1 months ago
2002
IEEE
Abstract—Many recent router architectures decouple the routing engine from the forwarding engine, so that packet forwarding can continue even when the routing process is not acti...
SIGECOM
2010
ACM
14 years 1 months ago
2010
ACM
This paper studies —from the perspective of efficient computation— a type of competition that is widespread throughout the plant and animal kingdoms, higher education, politic...