Handel-C
From MaRDI portal
Software:23922
No author found.
Related Items (28)
A hardware Memetic accelerator for VLSI circuit partitioning ⋮ Unnamed Item ⋮ Geometry of synthesis ⋮ 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 ⋮ Unifying Theories of Programming in Isabelle ⋮ A Unary Semigroup Trace Algebra ⋮ Hardware design of a new genetic based disk scheduling method ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Mechanised wire-wise verification of Handel-C synthesis ⋮ Towards a UTP Semantics for Modelica ⋮ Proceedings of the 11th Brazilian symposium on formal methods (SBMF 2008) Salvador, Brazil, August 26--29, 2008 ⋮ A Denotational Semantics for Handel-C ⋮ Parallel algorithms development for programmable devices with application from cryptography ⋮ Deadline constrained cyclic scheduling on pipelined dedicated processors considering multiprocessor tasks and changeover times ⋮ Multigrid solvers in reconfigurable hardware ⋮ Formal methods and hybrid real-time systems. Essays in honour of Dines Bjørner and Zhou Chaochen on the occasion of their 70th birthdays. ⋮ Unnamed Item ⋮ A hardware generator of multi-point distributed random numbers for Monte Carlo simulation ⋮ A denotational semantics for Handel-C ⋮ Unnamed Item ⋮ UTP Semantics for Handel-C ⋮ Mechanised Wire-wise Verification of Handel-C Synthesis ⋮ Usage of a reconfigurable computer to simulate multiparticle systems ⋮ 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 ⋮ Evolvable Hardware based software-hardware Co-designing platform ECDP ⋮ Unnamed Item
This page was built for software: Handel-C
