3889 search results - page 595 / 778 » The Use of Program Dependence Graphs in Software Engineering |
132
click to vote
LCPC
2007
Springer
15 years 10 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...
164
click to vote
ICFP
2012
ACM
13 years 6 months ago
2012
ACM
Programming with dependent types is a blessing and a curse. It is a blessing to be able to bake invariants into the definition of datatypes: we can finally write correct-by-cons...
171
click to vote
CODES
2009
IEEE
15 years 11 months ago
2009
IEEE
In this paper, we investigate the use of instruction set simulators (ISS) based on binary translation to accelerate full timed multiprocessor system simulation at transaction leve...
250
click to vote
ICFP
2009
ACM
16 years 5 months ago
2009
ACM
We report on our experience using Haskell as an executable specification language in the formal verification of the seL4 microkernel. fication connects an abstract operational spe...
113
click to vote
ICFP
2008
ACM
16 years 4 months ago
2008
ACM
We have implemented a two-stage language, Paradise, for building reusable components which are used to price financial products. Paradise is embedded in Haskell and makes heavy us...