Search results for "high-level languages"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
2	John Curreri, Seth Koehler, Brian Holland, Alan D. George	Performance Analysis with High-Level Languages for High-Performance Reconfigurable Computing.	FCCM	2008	DBLP DOI BibTeX RDF
2	Michael J. Wirthlin, Misha Burich, Andrew Guyler, Brian Von Herzen	High-level languages: the future or a passing fad?	FPGA	2007	DBLP DOI BibTeX RDF	high-level design languages, RTL design
2	Robin J. Bruce, Richard Chamberlain, Malachy Devlin, Stephen Marshall	Poster reception - Implementing algorithms on FPGAs using high-level languages and low-level libraries.	SC	2006	DBLP DOI BibTeX RDF
2	Manuel Carro, José F. Morales, Henk L. Muller, Germán Puebla, Manuel V. Hermenegildo	High-level languages for small devices: a case study.	CASES	2006	DBLP DOI BibTeX RDF	program analysis and transformation, wearable computers, optimizing compilation, (constraint) logic programming
2	Iosu Azkue, Alfredo Pina, Michalis Vazirgiannis	Towards an Integrated Technological Framework for Modelling Shared Virtual Spaces: Languages and Domotic Applications.	AMDO	2006	DBLP DOI BibTeX RDF	XML, Virtual Reality, High-Level Languages, Shared Virtual worlds, Domotics
2	Slawomir Cichon, Marek Gorgon, Miroslaw Pac	Handel-C Design Enhancement for FPGA-Based DV Decoder.	ARC	2006	DBLP DOI BibTeX RDF	video decompression, field programmable gate array, Parallel algorithm, high level languages
2	Jan Henry Nyström, Philip W. Trinder, David J. King	Are High-Level Languages Suitable for Robust Telecoms Software?.	SAFECOMP	2005	DBLP DOI BibTeX RDF
2	Christopher D. Rickett, Sung-Eun Choi, Bradford L. Chamberlain	Compiling High-Level Languages for Vector Architectures.	LCPC	2004	DBLP DOI BibTeX RDF
2	Hong Lin, Chunsheng Yang	Chemical Reaction Metaphor in Distributed Learning Environments.	IEA/AIE	2004	DBLP DOI BibTeX RDF	e-learning, program specification, very high-level languages, Agent-oriented modeling
2	Steven J. Deitz, Bradford L. Chamberlain, Lawrence Snyder	High-level Language Support for User-defined Reductions.	The Journal of Supercomputing	2002	DBLP DOI BibTeX RDF	user-defined reductions, parallel programming, scientific computing, high-level languages
2	Anne Rogers, Keshav Pingali	Compiling for Distributed Memory Architectures.	IEEE Trans. Parallel Distrib. Syst.	1994	DBLP DOI BibTeX RDF	processdecomposition, locality ofreference, run-time resolution, message traffic, hydrodynamicsbenchmark, Intel iPSC/2, load balancing, parallel programming, synchronization, pipelining, synchronisation, program compilers, distributed memory systems, parallelizing compiler, pipeline processing, high-level languages, distributed memory architectures, SIMPLE
2	Alexander Sakharov	Macro processing in high-level languages.	SIGPLAN Notices	1992	DBLP DOI BibTeX RDF
2	Zhiwei Xu, Kai Hwang	Molecule: A Language Construct for Layered Development of Parallel Programs.	IEEE Trans. Software Eng.	1989	DBLP DOI BibTeX RDF	layered development, molecule type, computation mode, layered software development, iPSC, application flexibility, algorithms, parallel programs, parallel programming, parallel computers, pipelining, multicomputer, dataflow, high-level languages, multiprocessing, sequential, array processing, user friendliness, language construct, procedural language, PAL
2	Thomas Brandes	Automatic Vectorisation for High Level Languages Based on an Expert System.	CONPAR	1986	DBLP DOI BibTeX RDF
2	Pradip Bose, B. Ramakrishna Rau, Michael S. Schlansker	Systematically derived instruction sets for high-level language support.	ACM Southeast Regional Conference	1982	DBLP DOI BibTeX RDF	directly interpretable languages, space-time efficiency, syntax and semantics, compilation, interpretation, high-level languages, semantic gap, instruction set design
2	Amelia C. Fong	Automatic Improvement of Programs in Very High Level Languages.	POPL	1979	DBLP DOI BibTeX RDF
1	Diego Sanchez-Roman, Gustavo Sutter, Sergio López-Buedo, Ivan Gonzalez, Francisco J. Gomez-Arribas, Javier Aracil, Francisco Palacios	High-Level Languages and Floating-Point Arithmetic for FPGA-Based CFD Simulations.	IEEE Design & Test of Computers	2011	DBLP DOI BibTeX RDF
1	Fernando Pérez, Brian E. Granger, John D. Hunter	Python: An Ecosystem for Scientific Computing.	Computing in Science and Engineering	2011	DBLP DOI BibTeX RDF	language classifications, software engineering, data structure, programming languages, Programming environments, scientific computing, object-oriented languages, Python, high-level languages, arrays
1	Wihem Arsac, Luca Compagna, Samuel Paul Kaluvuri, Serena Elisa Ponta	Security validation tool for business processes.	SACMAT	2011	DBLP DOI BibTeX RDF
1	Kees A. Vissers, Devada Varma, Vinod Kathail, Jeff Bier, Don MacMillen, Joseph R. Cavallaro	Programming high performance signal processing systems in high level languages.	FPGA	2010	DBLP DOI BibTeX RDF	high level programming models, fpga, signal processing, dsp
1	Cupertino Miranda, Philippe Dumont, Albert Cohen, Marc Duranton, Antoniu Pop	ERBIUM: a deterministic, concurrent intermediate representation for portable and scalable performance.	Conf. Computing Frontiers	2010	DBLP DOI BibTeX RDF	kpn, parallelism, synchronization, streaming, intermediate representation
1	Arun Chauhan, Chun-Yu Shei	Static reuse distances for locality-based optimizations in MATLAB.	ICS	2010	DBLP DOI BibTeX RDF	compilers, locality, memory hierarchy, MATLAB
1	Andrew Moss, Dan Page	Bridging the gap between symbolic and efficient AES implementations.	PEPM	2010	DBLP DOI BibTeX RDF	cao, memoisation, vectorisation, aes
1	Carl Friedrich Bolz, Michael Leuschel, David Schneider	Towards a jitting VM for prolog execution.	PPDP	2010	DBLP DOI BibTeX RDF	logic programming, interpreters, partial evaluation, jit
1	L. Anthony Drummond, Vicente Galiano Ibarra, Violeta Migallón, José Penadés	Interfaces for parallel numerical linear algebra libraries in high level languages.	Advances in Engineering Software	2009	DBLP DOI BibTeX RDF
1	Jungwoo Ha, Matthew Arnold, Stephen M. Blackburn, Kathryn S. McKinley	A concurrent dynamic analysis framework for multicore hardware.	OOPSLA	2009	DBLP DOI BibTeX RDF	profiling, dynamic analysis, multicore, instrumentation
1	Cristina David, Cristian Gherghina, Wei-Ngan Chin	Translation and optimization for a core calculus with exceptions.	PEPM	2009	DBLP DOI BibTeX RDF	optimization, translation, exceptions
1	Tristan Ravitch, Steve Jackson, Eric Aderhold, Ben Liblit	Automatic generation of library bindings using static analysis.	PLDI	2009	DBLP DOI BibTeX RDF	ffi, multi-language code reuse, static library analysis, bindings, dataflow analysis, foreign function interfaces
1	Daniel Frampton, Stephen M. Blackburn, Perry Cheng, Robin Garner, David Grove, J. Eliot B. Moss, Sergey I. Salishev	Demystifying magic: high-level low-level programming.	VEE	2009	DBLP DOI BibTeX RDF	intrinsics, jikes rvm, mmtk, vmmagic, debugging, virtualization, magic, systems programming
1	Willian dos Santos Lima, Renata Spolon Lobato, Aleardo Manacero, Roberta Spolon Ulson	Towards a Java bytecodes compiler for Nios II soft-core processor.	ISCC	2009	DBLP DOI BibTeX RDF
1	Gang Tan, Zhong Shao, Xinyu Feng, Hongxu Cai	Weak updates and separation logic.	APLAS	2009	DBLP DOI BibTeX RDF
1	Jan Schwinghammer, Lars Birkedal, Bernhard Reus, Hongseok Yang	Nested Hoare Triples and Frame Rules for Higher-Order Store.	CSL	2009	DBLP DOI BibTeX RDF
1	Sergio Pozo, Angel Jesus Varela-Vaca, Rafael M. Gasca	MDA-Based Framework for Automatic Generation of Consistent Firewall ACLs with NAT.	ICCSA	2009	DBLP DOI BibTeX RDF	ruleset, framework, language, firewall, acl
1	Jan Stöcker, Frédéric Lang, Hubert Garavel	Parallel Processes with Real-Time and Data: The ATLANTIF Intermediate Format.	IFM	2009	DBLP DOI BibTeX RDF
1	András Pataricza	Model-Based Design - A Chance for Good Quality Products and Services by Integrating Intelligence.	UNISCON	2009	DBLP DOI BibTeX RDF
1	Peter Messmer, Paul J. Mullowney, Brian E. Granger	GPULib: GPU Computing in High-Level Languages.	Computing in Science and Engineering	2008	DBLP DOI BibTeX RDF
1	John R. Gilbert, Steve Reinhardt, Viral Shah	Distributed Sparse Matrices for Very High Level Languages.	Advances in Computers	2008	DBLP BibTeX RDF
1	Gavin Smith, Grant B. Wigley	High Level Languages for Reconfigurable Computing: An Equivalent to Third Generation Software Languages?	ERSA	2008	DBLP BibTeX RDF
1	David Bermingham, Liu Zhen, Xiaojun Wang	SimNP: a flexible platform for the simulation of a network processing system.	ANCS	2008	DBLP DOI BibTeX RDF	network processing system, simulation, performance analysis
1	Amir Hormati, Manjunath Kudlur, Scott A. Mahlke, David F. Bacon, Rodric M. Rabbah	Optimus: efficient realization of streaming applications on FPGAs.	CASES	2008	DBLP DOI BibTeX RDF	optimization, FPGA, embedded systems, compiler, streaming, heterogeneous
1	Guy G. Lemieux, Tarek A. El-Ghazawi	Designing with extreme parallelism.	FPGA	2008	DBLP DOI BibTeX RDF	custom compute engine, high-level electronic design, FPGA, parallel processing, reconfigurable computing, hardware description language
1	Greg Stitt, Jason R. Villarreal	Recursion flattening.	ACM Great Lakes Symposium on VLSI	2008	DBLP DOI BibTeX RDF	optimization, fpga, compilers, synthesis, recursion
1	Sam S. Adams	The future of end user programming?	ICSE Companion	2008	DBLP DOI BibTeX RDF	end user programming, end user software engineering
1	Matthias Blume, Mike Rainey, John H. Reppy	Calling variadic functions from a strongly-typed language.	ML	2008	DBLP DOI BibTeX RDF	compilers, interpreters, foreign-function interfaces
1	Hans Schippers, Dirk Janssens, Michael Haupt, Robert Hirschfeld	Delegation-based semantics for modularizing crosscutting concerns.	OOPSLA	2008	DBLP DOI BibTeX RDF	aspect-oriented semantics, modularization, semantic mappings, context-oriented programming
1	Clifford Liem, Yuan Xiang Gu, Harold Johnson	A compiler-based infrastructure for software-protection.	PLAS	2008	DBLP DOI BibTeX RDF	compiler-based techniques, software protection, tamper resistance, code transformation
1	Michael J. Ocean, Azer Bestavros	Wireless and physical security via embedded sensor networks.	WISEC	2008	DBLP DOI BibTeX RDF	sensor networks, intrusion detection, wireless, physical security
1	Sudeep Pasricha, Nikil Dutt, Mohamed Ben-Romdhane	Fast exploration of bus-based communication architectures at the CCATB abstraction.	ACM Trans. Embedded Comput. Syst.	2008	DBLP DOI BibTeX RDF	performance exploration, System-on-chip, transaction-level modeling, communication architecture, on-chip bus
1	Hagen Gädke, Florian Stock, Andreas Koch	Memory access parallelisation in high-level language compilation for reconfigurable adaptive computers.	FPL	2008	DBLP DOI BibTeX RDF
1	Bodhi Priyantha, Aman Kansal, Michel Goraczko, Feng Zhao	Tiny Web Services for Sensor Device Interoperability.	IPSN	2008	DBLP DOI BibTeX RDF	sensor web service
1	Luis Mariano Bibbo, Diego García, Claudia Pons	A Domain Specific Language for the Development of Collaborative Systems.	SCCC	2008	DBLP DOI BibTeX RDF
1	Ajay K. Verma, Philip Brisk, Paolo Ienne	Data-Flow Transformations to Maximize the Use of Carry-Save Representation in Arithmetic Circuits.	IEEE Trans. on CAD of Integrated Circuits and Systems	2008	DBLP DOI BibTeX RDF
1	David L. Andrews, Ron Sass, Erik K. Anderson, Jason Agron, Wesley Peck, Jim Stevens, Fabrice Baijot, Ed Komp	Achieving Programming Model Abstractions for Reconfigurable Computing.	IEEE Trans. VLSI Syst.	2008	DBLP DOI BibTeX RDF
1	Stephen Wright	Using EventB to Create a Virtual Machine Instruction Set Architecture.	ABZ	2008	DBLP DOI BibTeX RDF
1	Sudipta Kundu, Sorin Lerner, Rajesh Gupta	Validating High-Level Synthesis.	CAV	2008	DBLP DOI BibTeX RDF
1	Lars Birkedal, Bernhard Reus, Jan Schwinghammer, Hongseok Yang	A Simple Model of Separation Logic for Higher-Order Store.	ICALP	2008	DBLP DOI BibTeX RDF
1	Jost Berthold, Abyd Al Zain, Hans-Wolfgang Loidl	Scheduling Light-Weight Parallelism in ArTCoP.	PADL	2008	DBLP DOI BibTeX RDF	scheduling, Parallel computation, functional programming
1	Zhi Guo, Betul Buyukkurt, John Cortes, Abhishek Mitra, Walid A. Najjar	A Compiler Intermediate Representation for Reconfigurable Fabrics.	International Journal of Parallel Programming	2008	DBLP DOI BibTeX RDF	FPGA, VHDL, Configurable computing, Intermediate representation
1	Daniel A. Sadilek	Energy-aware compilation for wireless sensor networks.	MidSens	2007	DBLP DOI BibTeX RDF	wireless sensor networks, compilation, virtual machines, high-level languages, energy-awareness, network reprogramming
1	John Giacomoni, John K. Bennett, Antonio Carzaniga, Douglas C. Sicker, Manish Vachharajani, Alexander L. Wolf	Frame shared memory: line-rate networking on commodity hardware.	ANCS	2007	DBLP DOI BibTeX RDF	software network processor, parallel programming, multiprocessors, multi-core
1	Vincenzo Nicosia	Towards hard real-time Erlang.	Erlang Workshop	2007	DBLP DOI BibTeX RDF	scheduling, real time, erlang
1	Bita Gorjiara, Daniel Gajski	FPGA-friendly code compression for horizontal microcoded custom IPs.	FPGA	2007	DBLP DOI BibTeX RDF	dictionary-based compression, microcoded architectures, no-instruction-set computer, FPGA, memory optimization
1	Charles Edwin Killian, James W. Anderson, Ryan Braud, Ranjit Jhala, Amin Vahdat	Mace: language support for building distributed systems.	PLDI	2007	DBLP DOI BibTeX RDF	Mace, distributed systems, model checking, concurrency, debugging, domain specific languages, event driven programming
1	Praful V. Bhansali	The MCDC paradox.	ACM SIGSOFT Software Engineering Notes	2007	DBLP DOI BibTeX RDF	software verification, software safety, DO-178B
1	Greg Stitt, Frank Vahid	Binary synthesis.	ACM Trans. Design Autom. Electr. Syst.	2007	DBLP DOI BibTeX RDF	Binary synthesis, synthesis from software binaries, FPGA, hardware/software codesign, hardware/software partitioning, configurable logic, warp processors
1	Gildas Genest, Richard Chamberlain, Robin J. Bruce	Programming an FPGA-based Super Computer Using a C-to-VHDL Compiler: DIME-C.	AHS	2007	DBLP DOI BibTeX RDF
1	Sadaf R. Alam, Pratul K. Agarwal, Melissa C. Smith, Jeffrey S. Vetter, David Caliga	Using FPGA Devices to Accelerate Biomolecular Simulations.	IEEE Computer	2007	DBLP DOI BibTeX RDF	Biomolecular simulations, FPGAs, reconfigurable computing
1	Roman Dudek, Carmelo Cuenca, Francisca Quintana	Accelerating Space Variant Gaussian Filtering on Graphics Processing Unit.	EUROCAST	2007	DBLP DOI BibTeX RDF
1	Grzegorz Polaków, Mieczyslaw Metzger	Agent-Based Approach for LabVIEW Developed Distributed Control Systems.	KES-AMSTA	2007	DBLP DOI BibTeX RDF	multiagent-based networking, producer-distributor-consumer, systems integration, process control, distributed control systems
1	Todd A. Anderson, Neal Glew, Peng Guo, Brian T. Lewis, Wei Liu, Zhanglin Liu, Leaf Petersen, Mohan Rajagopalan, James M. Stichnoth, Gansha Wu, Dan Zhang	Pillar: A Parallel Implementation Language.	LCPC	2007	DBLP DOI BibTeX RDF
1	John Healey	Yaccscript: a platform for intersecting high-level languages.	ACM Southeast Regional Conference	2006	DBLP DOI BibTeX RDF	multiparadigm programming, lisp
1	Hong Lin, Chunsheng Yang	Specifying distributed multi-agent systems in chemical reaction metaphor.	Appl. Intell.	2006	DBLP DOI BibTeX RDF	Distributed systems, Multi-agent systems, Software architecture, Program specification, Very high-level languages
1	Bita Gorjiara, Mehrdad Reshadi, Pramod Chandraiah, Daniel Gajski	Generic netlist representation for system and PE level design exploration.	CODES+ISSS	2006	DBLP DOI BibTeX RDF	GNR, NISC, modeling, synthesis, system design, architecture description language, application-specific processor
1	John H. Reppy, Chunyan Song	Application-specific foreign-interface generation.	GPCE	2006	DBLP DOI BibTeX RDF	foreign-interface generation, term rewriting
1	Steven J. Deitz, David Callahan, Bradford L. Chamberlain, Lawrence Snyder	Global-view abstractions for user-defined reductions and scans.	PPOPP	2006	DBLP DOI BibTeX RDF	Chapel, parallel programming, MPI, reductions, scans, parallel prefix
1	David P. Luebke, Mark Harris, Naga K. Govindaraju, Aaron E. Lefohn, Mike Houston, John D. Owens, Mark Segal, Matthew Papakipos, Ian Buck	S07 - GPGPU: general-purpose computation on graphics hardware.	SC	2006	DBLP DOI BibTeX RDF
1	Marco Cova, Viktoria Felmetsger, Greg Banks, Giovanni Vigna	Static Detection of Vulnerabilities in x86 Executables.	ACSAC	2006	DBLP DOI BibTeX RDF	binary static analysis, symbolic execution, Vulnerability analysis, taint analysis
1	Heiko Falk, Jens Wagner, André Schaefer	Use of a Bit-true Data Flow Analysis for Processor-Specific Source Code Optimization.	ESTImedia	2006	DBLP DOI BibTeX RDF
1	Wesley Peck, Erik K. Anderson, Jason Agron, Jim Stevens, Fabrice Baijot, David L. Andrews	Hthreads: A Computational Model for Reconfigurable Devices.	FPL	2006	DBLP DOI BibTeX RDF
1	Laxmikant V. Kalé	New parallel programming abstractions and the role of compilers.	IPDPS	2006	DBLP DOI BibTeX RDF
1	Ward Douglas Maurer	The Rearranger - A New Assembler Utility.	ASE	2006	DBLP DOI BibTeX RDF
1	Sen Xiang, Yiyun Chen, Chunxiao Lin, Long Li	Modularly Certified Dynamic Storage Allocation in SCAP.	QSIC	2006	DBLP DOI BibTeX RDF
1	Mohammad Ali Ghodrat, Tony Givargis, Alexandru Nicolau	Expression equivalence checking using interval analysis.	IEEE Trans. VLSI Syst.	2006	DBLP DOI BibTeX RDF
1	Thomas J. Ashby, Michael F. P. O'Boyle	Iterative Collective Loop Fusion.	CC	2006	DBLP DOI BibTeX RDF
1	Adam Welc, Antony L. Hosking, Suresh Jagannathan	Transparently Reconciling Transactions with Locking for Java Synchronization.	ECOOP	2006	DBLP DOI BibTeX RDF
1	Olli Vertanen	Java Type Confusion and Fault Attacks.	FDTC	2006	DBLP DOI BibTeX RDF	type confusion, Java, embedded systems, fault attacks, Java Card
1	María Agustina Cibrán, Maja D'Hondt	A Slice of MDE with AOP: Transforming High-Level Business Rules to Aspects.	MoDELS	2006	DBLP DOI BibTeX RDF
1	Perttu Salmela, Pekka Jääskeläinen, Tuomas Järvinen, Jarmo Takala	Software Pipelining Support for Transport Triggered Architecture Processors.	SAMOS	2006	DBLP DOI BibTeX RDF
1	Gilles Barthe, Benjamin Grégoire, César Kunz, Tamara Rezk	Certificate Translation for Optimizing Compilers.	SAS	2006	DBLP DOI BibTeX RDF
1	Pablo César, Juha Vierinen, Petri Vuorimaa	Open graphical framework for interactive TV.	Multimedia Tools Appl.	2006	DBLP DOI BibTeX RDF	Graphics architecture, DVB-MHP, XML, Digital television
1	Friedrich Mayer-Lindenberg	A Management Scheme for the Basic Types in High Level Languages.	SOFSEM	2005	DBLP DOI BibTeX RDF
1	Mohammad Ali Ghodrat, Tony Givargis, Alexandru Nicolau	Equivalence checking of arithmetic expressions using fast evaluation.	CASES	2005	DBLP DOI BibTeX RDF	expression equivalence, mutual exclusion, interval analysis
1	Xin Li, Jan Lukoschus, Marian Boldt, Michael Harder, Reinhard von Hanxleden	An Esterel processor with full preemption support and its worst case reaction time analysis.	CASES	2005	DBLP DOI BibTeX RDF	reaction time analysis, reactive processing, WCET, synchronous languages, Esterel
1	Qian Wang, Gopal Gupta	Rapidly prototyping implementation infrastructure of domain specific languages: a semantics-based approach.	SAC	2005	DBLP DOI BibTeX RDF	horn logical semantics, semantics, domain specific languages, interpreter
1	Gilles Grimaud, Yann Hodique, Isabelle Simplot-Ryl	Secure extensible type system for efficient embedded operating system by using metatypes.	ICPADS	2005	DBLP DOI BibTeX RDF
1	Filippo Geraci, Marco Pellegrini, Paolo Pisati, Luigi Rizzo	Packet classification via improved space decomposition techniques.	INFOCOM	2005	DBLP DOI BibTeX RDF
1	Gang Ren, Peng Wu, David A. Padua	An Empirical Study On the Vectorization of Multimedia Applications for Multimedia Extensions.	IPDPS	2005	DBLP DOI BibTeX RDF
1	Flavius Gruian, Zoran A. Salcic	Designing a Concurrent Hardware Garbage Collector for Small Embedded Systems.	Asia-Pacific Computer Systems Architecture Conference	2005	DBLP DOI BibTeX RDF
1	Eduardo Bonelli, Adriana B. Compagnoni, Ricardo Medel	Information Flow Analysis for a Typed Assembly Language with Polymorphic Stacks.	CASSIS	2005	DBLP DOI BibTeX RDF
1	Flavio Corradini, Emanuela Merelli, Marco Vita	A Multi-agent System for Modelling Carbohydrate Oxidation in Cell.	ICCSA	2005	DBLP DOI BibTeX RDF