2335 search results - page 141 / 467 » Functional Differentiation of Computer Programs |
153
Voted
VLSID
2007
IEEE
16 years 27 days ago
2007
IEEE
We present AHIR, an intermediate representation (IR), that acts as a transition layer between software compilation and hardware synthesis. Such a transition layer is intended to t...
106
Voted
ISPAN
2002
IEEE
15 years 5 months ago
2002
IEEE
Many applications written in C allocate memory blocks for their major data structures from the heap space at runtime. The analysis of heap-oriented pointers in such programs is cr...
98
Voted
LCPC
2007
Springer
15 years 6 months ago
2007
Springer
The use of multiprocessor tasks (M-tasks) has been shown to be successful for mixed task and data parallel implementations of algorithms from scientific computing. The approach o...
113
click to vote
AMAI
2006
Springer
15 years 17 days ago
2006
Springer
A weakness of classical Markov decision processes (MDPs) is that they scale very poorly due to the flat state-space representation. Factored MDPs address this representational pro...
101
Voted
TCS
2010
14 years 11 months ago
2010
The refinement calculus of Back, Morgan, Morris, and others is based on monotone predicate transformers (weakest preconditions) where conjunctions stand for demonic choices betwee...