Cited in
(45)- A hardware generator of multi-point distributed random numbers for Monte Carlo simulation
- Unifying theories of programming in Isabelle
- A hardware implementation of a genetic programming system using FPGAs and Handel-C
- Mechanised wire-wise verification of Handel-C synthesis
- A hardware Memetic accelerator for VLSI circuit partitioning
- Unifying theories of programming. Second international symposium, UTP 2008, Dublin, Ireland, September 8--10, 2008. Revised selected papers
- An extensible, maintainable and elegant approach to hardware source code generation in Reconfig-P
- Mechanised wire-wise verification of Handel-C synthesis
- Multigrid solvers in reconfigurable hardware
- scientific article; zbMATH DE number 1941151 (Why is no real title available?)
- Deadline constrained cyclic scheduling on pipelined dedicated processors considering multiprocessor tasks and changeover times
- FPGA based multi-tier artificial neural network processor for firewall implementation
- Hardware design of a new genetic based disk scheduling method
- Parallel algorithms development for programmable devices with application from cryptography
- Geometry of synthesis: a structured approach to VLSI design
- HeteroMPI
- GALib
- KRoC
- occam-pi
- Xilinx
- MIKA
- Barsky
- MGNet
- MODTRAN
- SAFL
- Isabelle/Circus
- HOL-TestGen
- MFCSIT 2002. Proceedings of the second Irish conference on the mathematical foundations of computer science and information technology, National University of Ireland, Galway, Ireland, July 18--19, 2002
- Isabelle/UTP
- Circus
- ZRC
- JCSP
- Proceedings of the 11th Brazilian symposium on formal methods (SBMF 2008)NEWLINESalvador, Brazil, August 26--29, 2008
- muFP
- A Unary Semigroup Trace Algebra
- Evolvable Hardware based software-hardware Co-designing platform ECDP
- scientific article; zbMATH DE number 2087176 (Why is no real title available?)
- scientific article; zbMATH DE number 2090643 (Why is no real title available?)
- A Denotational Semantics for Handel-C
- A denotational semantics for Handel-C
- Usage of a reconfigurable computer to simulate multiparticle systems
- Towards a UTP semantics for Modelica
- Semantic domains for Handel-C
- UTP semantics for Handel-C
- Formal methods and hybrid real-time systems. Essays in honour of Dines Bjørner and Zhou Chaochen on the occasion of their 70th birthdays.
This page was built for software: Handel-C
