The following pages link to Handel-C (Q23922):
Displaying 28 items.
- Mechanised wire-wise verification of Handel-C synthesis (Q436367) (← links)
- A denotational semantics for Handel-C (Q539165) (← links)
- Hardware design of a new genetic based disk scheduling method (Q617747) (← links)
- Usage of a reconfigurable computer to simulate multiparticle systems (Q710070) (← links)
- Deadline constrained cyclic scheduling on pipelined dedicated processors considering multiprocessor tasks and changeover times (Q947867) (← links)
- Unifying theories of programming. Second international symposium, UTP 2008, Dublin, Ireland, September 8--10, 2008. Revised selected papers (Q985997) (← links)
- An extensible, maintainable and elegant approach to hardware source code generation in Reconfig-P (Q987973) (← links)
- A hardware Memetic accelerator for VLSI circuit partitioning (Q2371966) (← links)
- 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 (Q2393573) (← links)
- Parallel algorithms development for programmable devices with application from cryptography (Q2460101) (← links)
- Multigrid solvers in reconfigurable hardware (Q2469613) (← links)
- Formal methods and hybrid real-time systems. Essays in honour of Dines Bjørner and Zhou Chaochen on the occasion of their 70th birthdays. (Q2472178) (← links)
- A hardware generator of multi-point distributed random numbers for Monte Carlo simulation (Q2479439) (← links)
- (Q2775712) (← links)
- (Q2843615) (← links)
- Unifying Theories of Programming in Isabelle (Q2948230) (← links)
- Towards a UTP Semantics for Modelica (Q2971175) (← links)
- (Q3182327) (← links)
- Geometry of synthesis (Q3189816) (← links)
- Evolvable Hardware based software-hardware Co-designing platform ECDP (Q3378860) (← links)
- A Denotational Semantics for Handel-C (Q3526925) (← links)
- UTP Semantics for Handel-C (Q3585027) (← links)
- (Q4408241) (← links)
- (Q4737848) (← links)
- (Q4813116) (← links)
- A Unary Semigroup Trace Algebra (Q5098727) (← links)
- Mechanised Wire-wise Verification of Handel-C Synthesis (Q5179364) (← links)
- Proceedings of the 11th Brazilian symposium on formal methods (SBMF 2008) Salvador, Brazil, August 26--29, 2008 (Q5965573) (← links)
