mmuecke's formal_language_theory [11 articles] Export

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

Hide details

	Computing Models for FPGA-Based Accelerators [My Copy] Computing in Science & Engineering In Computing in Science & Engineering, Vol. 10, No. 6. (2008), pp. 35-45. by Martin C. Herbordt, Yongfeng Gu, Tom Vancourt, Josh Model, Bharat Sukhwani, Matt Chiu posted to computer_architecture formal_language_theory fpga fpgasupercomputing language_design molecular_dynamics parallel_programming reconfigurable_computing trends by mmuecke on 2008-11-10 12:52:53 as along with 3 people and 2 groups michael_hliao peskin gferencz rit_ee732 Reconfigurable Computing
	Revisiting the Sequential Programming Model for Multi-Core [My Copy] Microarchitecture, 2007. MICRO 2007. 40th Annual IEEE/ACM International Symposium on In Microarchitecture, 2007. MICRO 2007. 40th Annual IEEE/ACM International Symposium on (2007), pp. 69-84. by Matthew Bridges, Neil Vachharajani, Yun Zhang, Thomas Jablin, David August posted to formal_language_theory language_design parallel_algorithms parallel_programming trends by mmuecke on 2008-03-27 10:34:45 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
	Gropius - Advanced Reuse Concepts in a New Hardware Description Language [My Copy] by Dirk Eisenbiegler, Christian Blumenröhr posted to formal_language_theory formal_synthesis hdl high_level_synthesis by mmuecke on 2007-04-12 15:43:10 as
	On the Expressive Power of Programming Languages [My Copy] In ESOP '90 3rd European Symposium on Programming, Copenhagen, Denmark, Vol. 432 (1990), pp. 134-151. by Matthias Felleisen edited by N. Jones posted to formal_language_theory by mmuecke on 2007-04-12 13:45:01 as along with 23 people and 1 group MatzeB azwinkau samth pedagand dherman jacob edcdave kschiess jrw kinaba zednenem water451 ryanc bunge KarlKlose calvins pirapira ds mldechert jsiek dfisher fgeller jkominek NU-PRL
	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
	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
	Formal Syntax and Semantics of Programming Languages: A Laboratory Based Approach [My Copy] (06 April 1995) by Kenneth Slonneger, Barry L. Kurtz posted to dsl formal_language_theory survey by mmuecke on 2007-03-06 15:07:30 as along with 2 people vlasovskikh michaelbanks
	A foundation for embedded languages [My Copy] ACM Trans. Program. Lang. Syst., Vol. 25, No. 3. (May 2003), pp. 291-315. by Morten Rhiger posted to dsl formal_language_theory language_embedding by mmuecke on 2007-02-26 15:02:04 as

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

CiteULike organises scholarly (or academic) papers or literature and provides bibliographic (which means it makes bibliographies) for universities and higher education establishments. It helps undergraduates and postgraduates. People studying for PhDs or in postdoctoral (postdoc) positions. The service is similar in scope to EndNote or RefWorks or any other reference manager like BibTeX, but it is a social bookmarking service for scientists and humanities researchers.

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

mmuecke's formal_language_theory [11 articles] Export

mmuecke's tags