swMATH11988MaRDI QIDQ23922FDOQ23922
Author name not available (Why is that?)
Official website: http://en.wikipedia.org/wiki/Handel-C
Cited In (44)
- Formal methods and hybrid real-time systems. Essays in honour of Dines Bjørner and Zhou Chaochen on the occasion of their 70th birthdays.
- A Unary Semigroup Trace Algebra
- A denotational semantics for Handel-C
- Usage of a reconfigurable computer to simulate multiparticle systems
- A hardware generator of multi-point distributed random numbers for Monte Carlo simulation
- 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
- Parallel algorithms development for programmable devices with application from cryptography
- Mechanised wire-wise verification of Handel-C synthesis
- Mechanised wire-wise verification of Handel-C synthesis
- A hardware implementation of a genetic programming system using FPGAs and Handel-C
- Multigrid solvers in reconfigurable hardware
- FPGA based multi-tier artificial neural network processor for firewall implementation
- Geometry of synthesis: a structured approach to VLSI design
- A hardware Memetic accelerator for VLSI circuit partitioning
- Hardware design of a new genetic based disk scheduling method
- HeteroMPI
- KRoC
- occam-pi
- Xilinx
- MIKA
- Barsky
- MGNet
- MODTRAN
- SAFL
- Isabelle/Circus
- HOL-TestGen
- UTP semantics for Handel-C
- Isabelle/UTP
- Circus
- ZRC
- JCSP
- muFP
- Proceedings of the 11th Brazilian symposium on formal methods (SBMF 2008)NEWLINESalvador, Brazil, August 26--29, 2008
- Semantic domains for Handel-C
- Unifying theories of programming in Isabelle
- Title not available (Why is that?)
- 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
- Deadline constrained cyclic scheduling on pipelined dedicated processors considering multiprocessor tasks and changeover times
- Evolvable Hardware based software-hardware Co-designing platform ECDP
- Title not available (Why is that?)
- Title not available (Why is that?)
- A Denotational Semantics for Handel-C
- Towards a UTP semantics for Modelica
This page was built for software: Handel-C
