mmuecke's functional [26 articles] Export

Recent papers added to mmuecke's library classified by the tag functional. You can also see everyone's functional.

	High-level views on low-level representations [My Copy] In ICFP '05: Proceedings of the tenth ACM SIGPLAN international conference on Functional programming (2005), pp. 168-179. by Iavor S. Diatchki, Mark P. Jones, Rebekah Leslie posted to functional language_design vlsi_design by mmuecke on 2008-06-06 15:03:31 as along with 2 people pedagand voigt
	Special Issue High Performance Parallel Functional Programming [My Copy] J. Funct. Program., Vol. 15, No. 3. (May 2005), pp. 351-352. by P. W. Trinder posted to functional high-performance_computing parallel_programming by mmuecke on 2008-01-27 15:56:37 as
	SAC: a functional array language for efficient multi-threaded execution [My Copy] Int. J. Parallel Program., Vol. 34, No. 4. (August 2006), pp. 383-427. by Clemens Grelck, Sven-Bodo Scholz posted to functional high-performance_computing language_design parallel_programming by mmuecke on 2008-01-24 11:27:21 as
	Modern Compiler Design [My Copy] (30 August 2000) by D. Grune, H. Bal, C. Jacobs, K. Langendoen posted to book compiler_design functional language_design by mmuecke on 2007-11-21 19:51:56 as along with 1 person gvdh
	Geometric transformations in a lazy functional language [My Copy] Pattern Recognition, 1992. Vol. IV. Conference D: Architectures for Vision and Pattern Recognition, Proceedings., 11th IAPR International Conference on In Pattern Recognition, 1992. Vol. IV. Conference D: Architectures for Vision and Pattern Recognition, Proceedings., 11th IAPR International Conference on (1992), pp. 128-132. by Y. Kozato, G. P. Otto posted to functional image_processing language_design by mmuecke on 2007-10-02 08:00:05 as
	Formal specification of image processing primitives in a functional language [My Copy] Pattern Recognition, 1994. Vol. 1 - Conference A: Computer Vision & Image Processing., Proceedings of the 12th IAPR International Conference on In Pattern Recognition, 1994. Vol. 1 - Conference A: Computer Vision & Image Processing., Proceedings of the 12th IAPR International Conference on, Vol. 1 (1994), pp. 539-542 vol.1. by I. Poole, D. Charleston posted to dsl functional image_processing language_design by mmuecke on 2007-10-02 07:50:10 as along with 1 person mirimm
	Hardware Design and Functional Programming: a Perfect Match [My Copy] by Mary Sheeran posted to functional hdl language_design parallel_programming survey vlsi_design by mmuecke on 2007-09-27 18:57:17 as along with 2 people SamB spl
	A reflective functional language for hardware design and theorem proving [My Copy] J. Funct. Program., Vol. 16, No. 2. (March 2006), pp. 157-196. by Jim Grundy, Tom Melham, John O'Leary posted to functional hdl high_level_synthesis by mmuecke on 2007-09-27 18:45:44 as along with 1 person glutamate
	An Enhanced Hardware Description Language Implementation for Improved Design-Space Exploration in High-Energy Physics Hardware Design [My Copy] (July 2007) by Manfred Muecke posted to compiler_design dsl fpgas_in_hep functional hdl language_design language_embedding lhcb open_source_eda by mmuecke on 2007-08-10 12:14:23 as
	A bitwidth-aware extension to the HDCaml Hardware Description Language [My Copy] In Proceedings of the Forum on specification and Design Languages 2006, FDL'06 (September 2006) by Manfred Muecke, Guido Haefeli posted to confluence electronics_design_automation fixedpoint functional hdl high_level_synthesis language_design by mmuecke on 2007-05-22 15:28:11 as
	The Functional Approach to Programming [My Copy] (13 November 1998) by Guy Cousineau, Michel Mauny posted to formal_language_theory functional by mmuecke on 2007-05-11 09:38:19 as
	Parallel algorithms development for programmable logic devices [My Copy] Adv. Eng. Softw., Vol. 37, No. 9. (September 2006), pp. 561-582. by Issam W. Damaj posted to fpga functional high_level_synthesis parallel_algorithms parallel_programming by mmuecke on 2007-04-13 09:02:52 as
	Overview of hydra: a concurrent language for synchronous digital circuit design [My Copy] Parallel and Distributed Processing Symposium., Proceedings International, IPDPS 2002, Abstracts and CD-ROM (2002), pp. 234-242. by J. O'Donnell posted to functional hdl by mmuecke on 2007-04-13 08:03:39 as
	HML - An innovative Hardware Description Language and its translation to VHDL [My Copy] (1995) by Yanbing Li posted to functional hdl by mmuecke on 2007-04-13 07:40:13 as
	HML, a novel hardware description language and its translation to VHDL [My Copy] Very Large Scale Integration (VLSI) Systems, IEEE Transactions on, Vol. 8, No. 1. (2000), pp. 1-8. by Yanbing Li, M. Leeser posted to functional hdl by mmuecke on 2007-04-13 07:34:45 as
	On embedding a microarchitectural design language within Haskell [My Copy] In ICFP '99: Proceedings of the fourth ACM SIGPLAN international conference on Functional programming (1999), pp. 60-69. by John Launchbury, Jeffrey R. Lewis, Byron Cook posted to functional hdl by mmuecke on 2007-04-12 14:26:28 as along with 1 person SamB
	Lava: hardware design in Haskell [My Copy] In ICFP '98: Proceedings of the third ACM SIGPLAN international conference on Functional programming (1998), pp. 174-184. by Per Bjesse, Koen Claessen, Mary Sheeran, Satnam Singh posted to functional hdl by mmuecke on 2007-04-12 13:35:46 as along with 4 people draganigajic jacob SamB pedagand
	New language makes waves [My Copy] EETimes.com (May 2003) by Clive Maxfield posted to functional hdl by mmuecke on 2007-04-12 08:57:19 as
	An introduction to MHDL [My Copy] Microwave Symposium Digest, 1993., IEEE MTT-S International (1993), pp. 1487-1490 vol.3. by D. L. Barton, D. D. Dunlop posted to functional hdl by mmuecke on 2007-04-04 16:06:31 as
	Modular attribute grammars [My Copy] Comput. J., Vol. 33, No. 2. (April 1990), pp. 164-172. by G. D. P. Dueck, G. V. Cormack posted to formal_language_theory functional by mmuecke on 2007-03-14 10:49:29 as along with 2 people and 1 group draganigajic mbravenboer functional programming
	Formal behavioural synthesis of Handel-C parallel hardware implementations from functional specifications [My Copy] System Sciences, 2003. Proceedings of the 36th Annual Hawaii International Conference on (2003), 11 pp.. by A. E. Abdallah, J. Hawkins posted to functional hdl high_level_synthesis parallel_programming by mmuecke on 2007-03-08 09:28:12 as
	A functional view of parallel computer graphics [My Copy] Computer Systems and Applications, ACS/IEEE International Conference on. 2001 (2001), pp. 242-249. by A. E. Abdallah, T. Theoharis posted to formal_language_theory functional image_processing parallel_programming by mmuecke on 2007-03-08 09:13:21 as
	Is there a future for functional languages in parallel programming? [My Copy] Computer Languages, 1994., Proceedings of the 1994 International Conference on (1994), pp. 299-304. by B. K. Szymanski, R. Jagannathan, D. B. Skillicorn, J. Hicks, V. Sarkar, R. K. Yates posted to formal_language_theory functional parallel_programming trends by mmuecke on 2007-03-08 08:50:08 as
	Concepts in Programming Languages [My Copy] (15 December 2001) by John C. Mitchell, Krzysztof Apt posted to formal_language_theory functional parallel_programming survey by mmuecke on 2007-03-07 14:28:35 as along with 3 people cedricboidin mldechert jasmithoffice
	Higher-Level Hardware Synthesis [My Copy] Lecture Notes in Computer Science, Vol. 2963/2004 (2004) by Richard Sharp posted to functional hdl by mmuecke on 2006-11-03 14:42:06 as
	Deductive Hardware Design: A Functional Approach [My Copy] by Bernhard Möller posted to functional hdl by mmuecke on 2006-11-02 09:02:58 as

Note: You may cite this page as: http://www.citeulike.org/user/mmuecke/tag/functional

fpga	74
hdl	74
high-performance_computing	73
high_level_synthesis	66
floating_point	64
mpi	58
performance_analysis	49
parallel_programming	48
reconfigurable_computing	41
survey	39
computer_architecture	33
fpgas_in_hep	28
vlsi_design	28
error_analysis	27
fixedpoint	26
fpgasupercomputing	26
functional	26
vhdl	25
dsl	24
language_design	23
trends	23
matrix	22
molecular_dynamics	22
mpi_tools	21
reconfigurable_platforms	20
image_processing	19
compiler_design	18
bioinformatics	17
hdl_tool	17
dfg	16
numa	16
scientific_publishing	15
book	14
communication_algorithms	14
electronics_design_automation	13
mixed_precision	13
architecture_comparison	12
charmm	12
dsp_on_fpga	12
formal_language_theory	11
linear_algebra	11
svm	11
fft	10
multicore	10
teaching	10
interval_arithmetic	8
matrix_sparse	7
molecular_docking	7
parallel_algorithms	7
signal_processing_theory	7
sopc	7
systemc	7
term_rewriting	7
computer_arithmetic	6
lhcb	6
lhc_transversefeedbacksystem	6
verification	6
genomesequencing	5
performance_modelling	5
vlsi_design_theory	5
adl	4
case_study	4
formal_synthesis	4
gpu	4
hw_ip_reuse	4
infiniband	4
open_source_eda	4
protein_sequences	4
cell_cpu	3
confluence	3
language_embedding	3
unix_linux_solaris	3
analog_computing	2
generative_programming	2
middle_ware	2
people	2
structural_computing	2
wsn	2
echo_state_networks	1
fpaa	1
graph_theory	1
image_feature_descriptors	1
mixed_signal	1
multi_stage_programming	1
nuclear_fusion	1
pde_solvers	1
perform	1
powerefficient_computing	1
quantization_noise	1
run-time_reconfiguration	1

mmuecke's functional [26 articles] Export

mmuecke's tags