Handel-C

swMATH11988MaRDI QIDQ23922FDOQ23922

Author name not available (Why is that?)

Cited In (28)

• 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
• UTP semantics for Handel-C
• 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