5451 search results - page 55 / 1091 » On very high degrees |
ACL2
2006
ACM
14 years 3 months ago
2006
ACM
Support for congruence-based rewriting is built into ACL2. This capability allows ACL2 to treat certain predicate relations ”just like equality” under appropriate conditions a...
AINA
2009
IEEE
14 years 3 months ago
2009
IEEE
—Although several analytical models have been proposed for wireless sensor networks (WSNs) with different capabilities, very few of them consider the effect of general service di...
DCOSS
2010
Springer
14 years 2 months ago
2010
Springer
Abstract. The success of high-level programming models in Wireless Sensor Networks (WSNs) is heavily dependent on factors such as ease of programming, code well-structuring, degree...
DAC
2010
ACM
14 years 1 months ago
2010
ACM
Carbon Nanotubes (CNTs) are grown using chemical synthesis, and the exact positioning and chirality of CNTs are very difficult to control. As a result, “small-width” Carbon Na...
ASPLOS
1991
ACM
14 years 1 months ago
1991
ACM
Blocking is a well-known optimization technique for improving the effectiveness of memory hierarchies. Instead of operating on entire rows or columns of an array, blocked algorith...