4498 search results - page 367 / 900 » How to Invent Functions |
154
click to vote
P2P
2006
IEEE
16 years 25 days ago
2006
IEEE
We describe the problem of data dissemination in stream-oriented applications where the required filter is a function of the current state. We call such functions dynamic filter...
216
click to vote
RSP
2006
IEEE
16 years 25 days ago
2006
IEEE
Embedded real-time multimedia applications usually imply data parallel processing. SIMD processors embedded in SOCs are cost-effective to exploit the underlying parallelism. Howev...
213
click to vote
ACL2
2006
ACM
16 years 24 days ago
2006
ACM
One of ACL2’s most interesting features is that it is executable, so users can run the programs that they verify, and debug them during verification. In fact, the ACL2 implemen...
161
click to vote
MOBICOM
2006
ACM
16 years 23 days ago
2006
ACM
Vehicular ad hoc networks have recently been proposed as an effective tool for improving both road safety and the comfort experienced while driving. Vehicles may propagate inform...
180
click to vote
SPAA
2006
ACM
16 years 23 days ago
2006
ACM
Suppose we have a parallel or distributed system whose nodes have limited capacities, such as processing speed, bandwidth, memory, or disk space. How does the performance of the s...