514 search results - page 87 / 103 » Foundations of Aggregation Constraints |
162
Voted
PERCOM
2007
ACM
16 years 5 months ago
2007
ACM
Due to the inherent nature of their heterogeneity, resource scarcity and dynamism, the provision of middleware for future networked embedded environments is a challenging task. In...
166
click to vote
MOBIHOC
2008
ACM
16 years 5 months ago
2008
ACM
Because of cost and resource constraints, sensor nodes do not have a complicated hardware architecture or operating system to protect program safety. Hence, the notorious buffer-o...
175
click to vote
PLDI
2009
ACM
16 years 18 days ago
2009
ACM
Symbolic analysis shows promise as a foundation for bug-finding, specification inference, verification, and test generation. This paper addresses demand-driven symbolic analysi...
171
Voted
GLOBECOM
2009
IEEE
16 years 17 days ago
2009
IEEE
—One of the key factors underlying the popularity of Low-density parity-check (LDPC) code is its iterative decoding algorithm that is amenable to efficient hardware implementati...
153
click to vote
SACMAT
2009
ACM
16 years 9 days ago
2009
ACM
A number of research systems have demonstrated the benefits of accompanying each request with a machine-checkable proof that the request complies with access-control policy — a...