1763 search results - page 189 / 353 » A Formalization of Polytime Functions |
125
click to vote
WWW
2007
ACM
16 years 2 months ago
2007
ACM
As the amount of data being generated in biology has increased, a major challenge has been how to store and represent this data in a way that makes it easily accessible to researc...
220
Voted
POPL
2006
ACM
16 years 2 months ago
2006
ACM
Embedded code pointers (ECPs) are stored handles of functions and continuations commonly seen in low-level binaries as well as functional or higher-order programs. ECPs are known ...
221
click to vote
POPL
2004
ACM
16 years 2 months ago
2004
ACM
We present a framework for the certification of compilation and of compiled programs. Our approach uses a symbolic transfer functions-based representation of programs, so as to ch...
126
click to vote
ASIACRYPT
2009
Springer
15 years 8 months ago
2009
Springer
Computational puzzles are mildly difficult computational problems that require resources (processor cycles, memory, or both) to solve. Puzzles have found a variety of uses in secu...
119
Voted
ICCCN
2008
IEEE
15 years 8 months ago
2008
IEEE
—Owing to the limited requirement for sensor processing in early networked sensor nodes, embedded software was generally built around the communication stack. Modern sensor nodes...