The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for phrase high-level language (changed automatically) with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1964-1976 (21) 1977-1979 (18) 1980-1982 (32) 1983-1985 (16) 1986-1987 (17) 1988-1989 (19) 1990-1991 (22) 1992-1993 (17) 1994-1995 (18) 1996-1997 (17) 1998-1999 (38) 2000 (15) 2001-2002 (32) 2003 (23) 2004 (29) 2005 (34) 2006 (39) 2007 (37) 2008 (38) 2009 (25) 2010-2012 (15)
Publication types (Num. hits)
article(107) book(1) incollection(2) inproceedings(412)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 589 occurrences of 437 keywords

Results
Found 522 publication records. Showing 522 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
2James R. Geraci, Erek R. Speed Improving program productivity, performance and portability through a high level language for graphics and game development. Search on Bibsonomy SIGGRAPH Posters The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
2Moshe Gutman, Sridhar Radhakrishnan, Changwook Kim, Chandra N. Sekharan, Konstantin Läufer GroupSpeak: High-level Language Extension for Workflow Capability. Search on Bibsonomy ICWS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
2Justin L. Tripp, Maya Gokhale, Kristopher D. Peterson Trident: From High-Level Language to Hardware Circuitry. Search on Bibsonomy IEEE Computer The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Trident compiler, Impulse C, Mitrion-C, SRC Carte, RC Toolbox, FPGAs, reconfigurable computing, Supercomputing, Handel-C
2Erik K. Anderson, Wesley Peck, Jim Stevens, Jason Agron, Fabrice Baijot, Seth Warn, David L. Andrews Supporting High Level Language Semantics Within Hardware Resident Threads. Search on Bibsonomy FPL The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
2Fan Yang 0002, Jayavel Shanmugasundaram, Mirek Riedewald, Johannes Gehrke Hilda: A High-Level Language for Data-DrivenWeb Applications. Search on Bibsonomy ICDE The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
2Charlie Ross, A. P. Wim Böhm A Co-Verification Tool for a High Level Language Compiler for FPGAs. Search on Bibsonomy FCCM The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
2Daniel E. Cooke, J. Nelson Rushton Iterative and Parallel Algorithm Design from High Level Language Traces. Search on Bibsonomy International Conference on Computational Science The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
2Jimmy Su, Katherine A. Yelick Automatic Support for Irregular Computations in a High-Level Language. Search on Bibsonomy IPDPS The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
2Jangha Kim, Byungwook Song, Kanghee Lee, Sangwook Kim, Daesik Choi, Jungtaek Seo Design a High-Level Language for Large Network Security Management. Search on Bibsonomy OTM Workshops The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
2Raoul F. Badaoui, Hemanth Sampath, Anuradha Agarwal, Ranga Vemuri A high level language for pre-layout extraction in parasite-aware analog circuit synthesis. Search on Bibsonomy ACM Great Lakes Symposium on VLSI The full citation details ... 2004 DBLP  DOI  BibTeX  RDF MSL, pre-layout extraction, parasitics, analog VLSI
2Tadeusz Pankowski A High-Level Language for Specifying XML Data Transformations. Search on Bibsonomy ADBIS The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
2Inho Lee, Joung-Youn Kim, Yeon-Ho Im, Yunseok Choi, Hyunchul Shin, Chang-Young Han, Donghyun Kim, Hyoungjoon Park, Young-Il Seo, Kyusik Chung, Chang-Hyo Yu, Kanghyup Chun, Lee-Sup Kim A hardware-like high-level language based environment for 3D graphics architecture exploration. Search on Bibsonomy ISCAS The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
2Bruce A. Draper, Walid A. Najjar, A. P. Wim Böhm, Jeffrey Hammes, Robert Rinker, Charlie Ross, Monica Chawathe, José Bins Compiling and Optimizing Image Processing Algorithms for FPGAs. Search on Bibsonomy CAMP The full citation details ... 2000 DBLP  DOI  BibTeX  RDF SA-C, language features, SA-C algorithms, performance numbers, image processing routines, Annapolis Microsystems WildForce board, Xilinx 4036XL FPGAs, FPGAs, VHDL, optimizing compiler, high-level language, data flow graphs, data flow graphs, image processing algorithms
2Adrian Johnstone, Elizabeth Scott, Tim Womack Experience Paper: Reverse Compilation of Digital Signal Processor Assembler Source to ANSI-C. (PDF / PS) Search on Bibsonomy ICSM The full citation details ... 1999 DBLP  DOI  BibTeX  RDF reverse compilation, low to high level language translation, digital signal processing
2Cristina Cifuentes, Doug Simon, Antoine Fraboulet Assembly to High-Level Language Translation. (PDF / PS) Search on Bibsonomy ICSM The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
2André Matos, Luiz Velho, Jonas Gomes, André Parente, Heloisa Siffert The Visorama System: A Functional Overview of a New Virtual Reality Environment. Search on Bibsonomy Computer Graphics International The full citation details ... 1997 DBLP  DOI  BibTeX  RDF Visorama system, functional overview, virtual panoramas, virtual reality, image-based rendering, high-level language, virtual reality environment
2Andrew Wolfe, Jason Fritts, Santanu Dutta, Edil S. Tavares Fernandes Datapath Design for a VLIW Video Signal Processor. Search on Bibsonomy HPCA The full citation details ... 1997 DBLP  DOI  BibTeX  RDF datapath design, VLIW video signal processor, very long instruction word, high parallelism, high-level language programmability, high-bandwidth interconnect, high-connectivity register files, parameterizable versions, VLSI, video signal processing, VLIW architectures, compiler design
2Tai M. Chung, Henry G. Dietz Static scheduling of hard real-time code with instruction-level timing accuracy. Search on Bibsonomy RTCSA The full citation details ... 1996 DBLP  DOI  BibTeX  RDF timing fault, instruction-level timing accuracy, high-level language code, instruction-level, compiler code scheduling, genetic search algorithm, real-time systems, timing analysis, processor scheduling, search space
2Raminder Singh Bajwa, Robert Michael Owens, Mary Jane Irwin The MGAP's programming environment and the *C++ language. Search on Bibsonomy ASAP The full citation details ... 1995 DBLP  DOI  BibTeX  RDF MGAP's programming environment, *C++ language, workstation co-processor board, fine grain processors, custom ASICs, class concept, parallel data-types like bit, parallel processing, compiler, programming environments, application specific integrated circuits, high-level language, data-types, C language
2Lobomir F. Bic Distributed computing using autonomous objects. Search on Bibsonomy FTDCS The full citation details ... 1995 DBLP  DOI  BibTeX  RDF coordination paradigm, intelligent messages, autonomous objects, inherently open-ended applications, distributed systems, object-oriented programming, message passing, software agents, high-level language, interactive simulations, network control
2Ellen H. Siegel Applying high-level language paradigms to distributed systems. Search on Bibsonomy ACM SIGOPS European Workshop The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
2Richard Gerber, Insup Lee A Layered Approach to Automating the Verification of Real-Time Systems. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 1992 DBLP  DOI  BibTeX  RDF CSR Application Language, high-level language constructs, periodic processes, configuration schema, CCSR process algebra, resource-based computation model, prioritized transition system, reachability analyzer, CCSR semantics, exception state, multisensor robot example, calculus of communicating systems, real-time systems, real-time systems, verification, formal specification, formal verification, specification, exception handling, exception handling, interrupts, correctness, deadlines, high level languages, timeouts, communication links, system resources, layered approach
2Joshua S. Auerbach, David F. Bacon, Arthur P. Goldberg, Germán S. Goldszmidt, Mark T. Kennedy, Andy Lowry, James R. Russell, William Silverman, Robert E. Strom, Daniel M. Yellin, Shaula Yemini High-level language support for programming distributed systems. Search on Bibsonomy CASCON The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
2Paul Havlak, Ken Kennedy An Implementation of Interprocedural Bounded Regular Section Analysis. Search on Bibsonomy IEEE Trans. Parallel Distrib. Syst. The full citation details ... 1991 DBLP  DOI  BibTeX  RDF interprocedural bounded regular section analysis, subarrays, production compiler, high-level language constructs, programmingsupport systems, LINPACK library, linear algebra subroutines, RiceCompiler Evaluation Program Suite, RiCEPS, application codes, scientific disciplines, modular programming style, parallel programming, program testing, program compilers, dependence analysis, optimizing compilers, procedure calls
2Ivan P. Radivojevic, Jayantha A. Herath Executing DSP Applications in a Fine-Grained Dataflow Environment. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 1991 DBLP  DOI  BibTeX  RDF fine-grained dataflow architecture, numerically intensive digital signal processing, pipelined data-parallel algorithms, high-level language programming blocks, logical fine-grained decomposition, serial fraction, fine-grained general-purpose dataflow computing, parallel algorithms, parallel architectures, pipeline processing, precedence relations, computerised signal processing, DSP applications
2Soklei Leong, Stephen M. Jodis, Kevin J. Sullivan, Oliver Jiang, Paul A. D. de Maine A Transportable Programming Language (TPL) System-II: The Bifunctional Compiler System. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 1990 DBLP  DOI  BibTeX  RDF transportable programming language, bifunctional compiler, hypothetical parent, rule modifier, table generator, conversion rule description language, tabular forms, program compilers, high-level-language, high level languages, metalanguage, program translation, code conversion
2Jayantha A. Herath, Yoshinori Yamaguchi, Nobuo Saito, Toshitsugu Yuba Dataflow Computing Models, Languages, and Machines for Intelligence Computations. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 1988 DBLP  DOI  BibTeX  RDF intelligence computations, dataflow computing models, dataflow computing machines, high-level-language-graph transformations, dataflow computing environment, DCBL, benchmark programs, EM-3, performance evaluation, performance evaluation, parallel programming, parallel programming, functional programming, parallel machines, Lisp, LISP, high level languages, ETL, dataflow languages
2Hilda M. Standley A very high level language for large-grained data flow. Search on Bibsonomy ACM Conference on Computer Science The full citation details ... 1987 DBLP  DOI  BibTeX  RDF
2John Ivie, Kwok-Woon Larry Lai STL - a high level language for simulation and test. Search on Bibsonomy DAC The full citation details ... 1986 DBLP  DOI  BibTeX  RDF
2Christopher W. Fraser, David R. Hanson High-Level Language Facilities for Low-Level Services. Search on Bibsonomy POPL The full citation details ... 1985 DBLP  DOI  BibTeX  RDF
2Martin de Prycker On the Development of a Measurement System for High Level Language Program Statistics. Search on Bibsonomy IEEE Trans. Computers The full citation details ... 1982 DBLP  DOI  BibTeX  RDF Dynamic statistics, high level language implementation, static statistics, performance, syntax, measurement system
2David A. Patterson, Richard S. Piepho RISC assessment: A high-level language experiment. Search on Bibsonomy ISCA The full citation details ... 1982 DBLP  DOI  BibTeX  RDF
2Thomas N. Turba A Facility for the Downward Execution of a High-Level Language. Search on Bibsonomy SIGPLAN Symposium on Compiler Construction The full citation details ... 1982 DBLP  DOI  BibTeX  RDF Inline code, Compilers, Efficiency, Code generation, Extensibility, Encapsulation, High-level languages, Assemblers, Machine code
2D. Dromard, F. Dromard Direct Execution Of An Algebraic Oriented Language. Search on Bibsonomy ACM Annual Conference The full citation details ... 1978 DBLP  DOI  BibTeX  RDF Algebraic oriented language, Call for need, Reentrant mechanism, Specific mechanism, High level language, Single assignment, Direct execution
2Joachim W. Schmidt Some High Level Language Constructs for Data of Type Relation. Search on Bibsonomy ACM Trans. Database Syst. The full citation details ... 1977 DBLP  DOI  BibTeX  RDF database, high level language, relational model, data type, language extension, relational calculus, nonprocedural language
2Joachim W. Schmidt Some High-level Language Constructs for Data of Type Relation (Abstract). Search on Bibsonomy SIGMOD Conference The full citation details ... 1977 DBLP  DOI  BibTeX  RDF non-procedural language, high-level language, relational model, data type, data base, language extension, relational calculus
1Daniel Fontaine, Laurent Michel A High Level Language for Solver Independent Model Manipulation and Generation of Hybrid Solvers. Search on Bibsonomy CPAIOR The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Fred S. Richardson, William M. Campbell NAP for high level language identification. Search on Bibsonomy ICASSP The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Benjamin Thielmann, Jens Huthmann, Andreas Koch Precore - A Token-Based Speculation Architecture for High-Level Language to Hardware Compilation. Search on Bibsonomy FPL The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Zain-ul-Abdin, Bertil Svensson Occam-pi as a High-Level Language for Coarse-Grained Reconfigurable Architectures. Search on Bibsonomy IPDPS Workshops The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Benjamin Thielmann, Jens Huthmann, Andreas Koch Evaluation of speculative execution techniques for high-level language to hardware compilation. Search on Bibsonomy ReCoSoC The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Esam El-Araby, Saumil G. Merchant, Tarek A. El-Ghazawi A Framework for Evaluating High-Level Design Methodologies for High-Performance Reconfigurable Computers. Search on Bibsonomy IEEE Trans. Parallel Distrib. Syst. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF High-level language productivity, performance evaluation, reconfigurable computing, productivity
1Robert Law Using student blogs for documentation in software development projects. Search on Bibsonomy ITiCSE The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1John Curreri, Seth Koehler, Alan D. George, Brian Holland, Rafael Garcia Performance Analysis Framework for High-Level Language Applications in Reconfigurable Computing. Search on Bibsonomy TRETS The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Hagen Gädke-Lütjens, Benjamin Thielmann, Andreas Koch A Flexible Compute and Memory Infrastructure for High-Level Language to Hardware Compilation. Search on Bibsonomy FPL The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Stefano Masini, Paolo Bientinesi High-Performance Parallel Computations Using Python as High-Level Language. Search on Bibsonomy Euro-Par Workshops The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Wim Vanderbauwhede, Syed Waqar Nabi A high-level language for programming a NoC-based Dynamic Reconfiguration Infrastructure. Search on Bibsonomy DASIP The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Sabina Akhtar, Stephan Merz, Martin Quinson A High-Level Language for Modeling Algorithms and Their Properties. Search on Bibsonomy SBMF The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Zhuo Ruan, Kurtis Cahill, David A. Penry Elaboration-time synthesis of high-level language constructs in SystemC-based microarchitectural simulators. Search on Bibsonomy ICCD The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Tyler Sondag, Kian L. Pokorny, Hridesh Rajan Frances: a tool for understanding code generation. Search on Bibsonomy SIGCSE The full citation details ... 2010 DBLP  DOI  BibTeX  RDF frances, visualization, compilers, code generation
1Jens Braunes, Rainer G. Spallek Generating the trace qualification configuration for MCDS from a high level language. Search on Bibsonomy DATE The full citation details ... 2009 DBLP  BibTeX  RDF
1Camillo Bruni, Toon Verwaest PyGirl: Generating Whole-System VMs from High-Level Prototypes Using PyPy. Search on Bibsonomy TOOLS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF PyPy, RPython, whole-system virtual machine, translation toolchain, compile-time meta-programming Game Boy, 8-bit CPU, Python, high-level language
1Peter Novák, Wojciech Jamroga Code patterns for agent-oriented programming. Search on Bibsonomy AAMAS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF ai, description level: methodologies and languages, focus: agent programming languages, inspiration source: robotics, temporal logic, agent-oriented programming, code patterns
1Ahmad A. Saifan, Ernesto Posse, Jürgen Dingel Run-time conformance checking of mobile and distributed systems using executable models. Search on Bibsonomy PADTAD The full citation details ... 2009 DBLP  DOI  BibTeX  RDF distributed event simulation, executable specification formalisms, Java, mobility, mobile agents, software testing, process algebra, conformance testing, ?-calculus, runtime monitoring, Aglets
1Mark Horowitz Why design must change: rethinking digital design. Search on Bibsonomy MICRO The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Nan Wu 0003, Mei Wen, Wei Wu, Ju Ren, Huayou Su, Changqing Xun, Chunyuan Zhang Streaming HD H.264 encoder on programmable processors. Search on Bibsonomy ACM Multimedia The full citation details ... 2009 DBLP  DOI  BibTeX  RDF 1080P HD, H.264 encoder, real-time, stream, programmable
1Hans Schippers, Michael Haupt, Robert Hirschfeld An implementation substrate for languages composing modularized crosscutting concerns. Search on Bibsonomy SAC The full citation details ... 2009 DBLP  DOI  BibTeX  RDF machine model, aspect-oriented programming, modularization, crosscutting concerns, language implementation, context-oriented programming
1J. Scott Miller, Peter A. Dinda, Robert P. Dick Evaluating a BASIC approach to sensor network node programming. Search on Bibsonomy SenSys The full citation details ... 2009 DBLP  DOI  BibTeX  RDF sensor networks, cyber-physical systems, BASIC
1Nicolas Bruno, Rimma V. Nehme Finding min-repros in database software. Search on Bibsonomy DBTest The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Nick Benton, Nicolas Tabareau Compiling functional types to relational specifications for low level imperative code. Search on Bibsonomy TLDI The full citation details ... 2009 DBLP  DOI  BibTeX  RDF separation logic, proof assistants, compiler verification, relational parametricity, type soundness
1Daniel Frampton, Stephen M. Blackburn, Perry Cheng, Robin Garner, David Grove, J. Eliot B. Moss, Sergey I. Salishev Demystifying magic: high-level low-level programming. Search on Bibsonomy VEE The full citation details ... 2009 DBLP  DOI  BibTeX  RDF intrinsics, jikes rvm, mmtk, vmmagic, debugging, virtualization, magic, systems programming
1Bharathram Sivasubramanian, Warren J. Gross, Harry Leib Design and FPGA implementation of iterative decoders for codes on graphs. Search on Bibsonomy CCECE The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Fengbin Qi, Xianyi Zhang, Shanshan Wang, Xingquan Mao RCC: A New Programming Language for Reconfigurable Computing. Search on Bibsonomy HPCC The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Michael DeRosa, Seth Copen Goldstein, Peter Lee, Padmanabhan Pillai, Jason Campbell A tale of two planners: Modular robotic planning with LDP. Search on Bibsonomy IROS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Shu-Hsuan Chou, Chi-Neng Wen, Yan-Ling Liu, Tien-Fu Chen VeriC: A semi-hardware description language to bridge the gap between ESL design and RTL models. Search on Bibsonomy ISQED The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Katerina Troshina, Alexander Chernov, Alexander Fokin Profile-based type reconstruction for decompilation. Search on Bibsonomy ICPC The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Hehua Zhang, Stephan Merz, Ming Gu Specifying and Verifying PLC Systems with TLA+. Search on Bibsonomy TASE The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Mythri Alle, Keshavan Varadarajan, Alexander Fell, S. K. Nandy, Ranjani Narayan Compiling Techniques for Coarse Grained Runtime Reconfigurable Architectures. Search on Bibsonomy ARC The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Rachid Guerraoui, Thomas A. Henzinger, Vasu Singh Software Transactional Memory on Relaxed Memory Models. Search on Bibsonomy CAV The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1John K. Heath The Equivalence between Biology and Computation. Search on Bibsonomy CMSB The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Alessandro Dal Palù, Agostino Dovier, Enrico Pontelli, Gianfranco Rossi Answer Set Programming with Constraints Using Lazy Grounding. Search on Bibsonomy ICLP The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Taisuke Sato Generative Modeling by PRISM. Search on Bibsonomy ICLP The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1J. Javier Martínez-Álvarez, F. Javier Garrigós-Guerrero, F. Javier Toledo-Moreo, José Manuel Ferrández de Vicente Using Reconfigurable Supercomputers and C-to-Hardware Synthesis for CNN Emulation. Search on Bibsonomy IWINAC The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Debmalya Biswas, Ashwin Jiwane, Blaise Genest Atomicity for XML Databases. Search on Bibsonomy XSym The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Hagen Gädke, Florian Stock, Andreas Koch Memory access parallelisation in high-level language compilation for reconfigurable adaptive computers. Search on Bibsonomy FPL The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Yuan Yu, Michael Isard, Dennis Fetterly, Mihai Budiu, Úlfar Erlingsson, Pradeep Kumar Gunda, Jon Currey DryadLINQ: A System for General-Purpose Distributed Data-Parallel Computing Using a High-Level Language. Search on Bibsonomy OSDI The full citation details ... 2008 DBLP  BibTeX  RDF
1Aubrey Jaffer, Mike Plusch, Robert Nilsson Using B-trees to Implement Water: a Portable, High Performance, High-Level Language. Search on Bibsonomy SCSS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Stanley Mazor Fairchild Symbol Computer. Search on Bibsonomy IEEE Annals of the History of Computing The full citation details ... 2008 DBLP  DOI  BibTeX  RDF LSI application, high-level language, time-shared, computer design
1Assaf Ben-David, Noam Nisan, Benny Pinkas FairplayMP: a system for secure multi-party computation. Search on Bibsonomy ACM Conference on Computer and Communications Security The full citation details ... 2008 DBLP  DOI  BibTeX  RDF cryptography, secure multi-party computation
1Matthias Blume, Mike Rainey, John H. Reppy Calling variadic functions from a strongly-typed language. Search on Bibsonomy ML The full citation details ... 2008 DBLP  DOI  BibTeX  RDF compilers, interpreters, foreign-function interfaces
1Lennart C. L. Kats, Martin Bravenboer, Eelco Visser Mixing source and bytecode: a case for compilation by normalization. Search on Bibsonomy OOPSLA The full citation details ... 2008 DBLP  DOI  BibTeX  RDF dryad compiler, source tracing, java, compilers, domain-specific languages, iterators, meta programming, language extensions, bytecode, traits, embedded languages, SDF, stratego
1Hridesh Rajan, Michael Haupt, Christoph Bockisch, Robert Dyer 0001 Virtual machines and intermediate languages for emerging modularization mechanisms. Search on Bibsonomy OOPSLA Companion The full citation details ... 2008 DBLP  DOI  BibTeX  RDF optimization, compilation, virtual machine, interpretation, separation of concerns, dynamic dispatch, intermediate language
1Clifford Liem, Yuan Xiang Gu, Harold Johnson A compiler-based infrastructure for software-protection. Search on Bibsonomy PLAS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF compiler-based techniques, software protection, tamper resistance, code transformation
1José F. Morales, Manuel Carro, Manuel V. Hermenegildo Comparing tag scheme variations using an abstract machine generator. Search on Bibsonomy PPDP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Warren's abstract machine, low-level representation optimization, performance, compilation, Prolog
1Shammi Didla, Aaron Ault, Saurabh Bagchi Optimizing AES for embedded devices and wireless sensor networks. Search on Bibsonomy TRIDENTCOM The full citation details ... 2008 DBLP  DOI  BibTeX  RDF CC2420, Zigbee security, embedded optimizations, secure sensor networks, encryption, AES, MSP430
1Daniel E. Cooke, J. Nelson Rushton, Brad Nemanich, Robert G. Watson, Per Andersen Normalize, transpose, and distribute: An automatic approach for handling nonscalars. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF automatic loop generation, Automatic parallelisms
1Mythri Alle, Keshavan Varadarajan, Ramesh C. Ramesh, Joseph Nimmy, Alexander Fell, Adarsha Rao, S. K. Nandy, Ranjani Narayan Synthesis of application accelerators on Runtime Reconfigurable Hardware. Search on Bibsonomy ASAP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Kubilay Atasu, Oskar Mencer, Wayne Luk, Can C. Özturan, Günhan Dündar Fast custom instruction identification by convex subgraph enumeration. Search on Bibsonomy ASAP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Udo Krautz, Markus Wedler, Wolfgang Kunz, Kai Weber, Christian Jacobi 0002, Matthias Pflanz Verifying full-custom multipliers by Boolean equivalence checking and an arithmetic bit level proof. Search on Bibsonomy ASP-DAC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Sertac Karaman, Emilio Frazzoli Vehicle Routing Problem with Metric Temporal Logic Specifications. Search on Bibsonomy CDC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Laura Bocchi, José Luiz Fiadeiro, Antónia Lopes Service-Oriented Modelling of Automotive Systems. Search on Bibsonomy COMPSAC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Shahid Mehmood, Stefano Cagnoni, Monica Mordonini, Guido Matrella Hardware-oriented Adaptation of a Particle Swarm Optimization Algorithm for Object Detection. Search on Bibsonomy DSD The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Karl Meier, Alessandro Forin Hardware Compilation from Machine Code with M2V. Search on Bibsonomy FCCM The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Andrew J. Wong, Warren J. Gross Configurable Flow Models for FPGA Particle Graphics Engines. Search on Bibsonomy FCCM The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Betul Buyukkurt, Walid A. Najjar Compiler generated systolic arrays for wavefront algorithm acceleration on FPGAs. Search on Bibsonomy FPL The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Kevin K. Liu, Charles B. Cameron, Antal A. Sarkady Comparing throughput and power consumption in both sequential and reconfigurable processors. Search on Bibsonomy FPL The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Michael N. Gubanov, Philip A. Bernstein, Alexander Moshchuk Model Management Engine for Data Integration with Reverse-Engineering Support. Search on Bibsonomy ICDE The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Michael DeRosa, Seth Copen Goldstein, Peter Lee, Padmanabhan Pillai, Jason Campbell Programming modular robots with locally distributed predicates. Search on Bibsonomy ICRA The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Petter Falkman, Johan Nielsen, Bengt Lennartson, Astrid von Euler-Chelpin Generation of STEP AP214 Models From Discrete Event Systems for Process Planning and Control. Search on Bibsonomy IEEE T. Automation Science and Engineering The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Abdallah Al Zain, Philip W. Trinder, Greg Michaelson, Hans-Wolfgang Loidl Evaluating a High-Level Parallel Language (GpH) for Computational GRIDs. Search on Bibsonomy IEEE Trans. Parallel Distrib. Syst. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF distributed and parallel languages, Grid Computing, Concurrent, Functional Languages
Displaying result #1 - #100 of 522 (100 per page; Change: )
Pages: [1][2][3][4][5][6][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.