6829 search results - page 1003 / 1366 » Quantitative Generalizations of Languages |
183
click to vote
ASPLOS
2004
ACM
16 years 8 days ago
2004
ACM
We present a novel processor architecture designed specifically for use in low-power wireless sensor-network nodes. Our sensor network asynchronous processor (SNAP/LE) is based on...
217
click to vote
EMSOFT
2004
Springer
16 years 6 days ago
2004
Springer
Data flow process networks are a good model of computation for streaming multimedia applications incorporating audio, video and/or graphics streams. Process networks are concurre...
178
click to vote
ICTAC
2004
Springer
16 years 6 days ago
2004
Springer
We give an inductive method for proving weak innermost termination of rule-based programs, from which we automatically infer, for each successful proof, a finite strategy for data...
193
Voted
SIGADA
2004
Springer
16 years 5 days ago
2004
Springer
Existing security models require that information of a given security level be prevented from “leaking” into lower-security information. High-security applications must be dem...
198
click to vote
PLDI
2003
ACM
16 years 2 days ago
2003
ACM
Many important applications, such as those using sparse data structures, have memory reference patterns that are unknown at compile-time. Prior work has developed runtime reorderi...