|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
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 |
| 2 | James R. Geraci, Erek R. Speed |
Improving program productivity, performance and portability through a high level language for graphics and game development.  |
SIGGRAPH Posters  |
2010 |
DBLP DOI BibTeX RDF |
|
| 2 | Moshe Gutman, Sridhar Radhakrishnan, Changwook Kim, Chandra N. Sekharan, Konstantin Läufer |
GroupSpeak: High-level Language Extension for Workflow Capability.  |
ICWS  |
2009 |
DBLP DOI BibTeX RDF |
|
| 2 | Justin L. Tripp, Maya Gokhale, Kristopher D. Peterson |
Trident: From High-Level Language to Hardware Circuitry.  |
IEEE Computer  |
2007 |
DBLP DOI BibTeX RDF |
Trident compiler, Impulse C, Mitrion-C, SRC Carte, RC Toolbox, FPGAs, reconfigurable computing, Supercomputing, Handel-C |
| 2 | Erik K. Anderson, Wesley Peck, Jim Stevens, Jason Agron, Fabrice Baijot, Seth Warn, David L. Andrews |
Supporting High Level Language Semantics Within Hardware Resident Threads.  |
FPL  |
2007 |
DBLP DOI BibTeX RDF |
|
| 2 | Fan Yang 0002, Jayavel Shanmugasundaram, Mirek Riedewald, Johannes Gehrke |
Hilda: A High-Level Language for Data-DrivenWeb Applications.  |
ICDE  |
2006 |
DBLP DOI BibTeX RDF |
|
| 2 | Charlie Ross, A. P. Wim Böhm |
A Co-Verification Tool for a High Level Language Compiler for FPGAs.  |
FCCM  |
2006 |
DBLP DOI BibTeX RDF |
|
| 2 | Daniel E. Cooke, J. Nelson Rushton |
Iterative and Parallel Algorithm Design from High Level Language Traces.  |
International Conference on Computational Science  |
2005 |
DBLP DOI BibTeX RDF |
|
| 2 | Jimmy Su, Katherine A. Yelick |
Automatic Support for Irregular Computations in a High-Level Language.  |
IPDPS  |
2005 |
DBLP DOI BibTeX RDF |
|
| 2 | Jangha Kim, Byungwook Song, Kanghee Lee, Sangwook Kim, Daesik Choi, Jungtaek Seo |
Design a High-Level Language for Large Network Security Management.  |
OTM Workshops  |
2004 |
DBLP DOI BibTeX RDF |
|
| 2 | Raoul F. Badaoui, Hemanth Sampath, Anuradha Agarwal, Ranga Vemuri |
A high level language for pre-layout extraction in parasite-aware analog circuit synthesis.  |
ACM Great Lakes Symposium on VLSI  |
2004 |
DBLP DOI BibTeX RDF |
MSL, pre-layout extraction, parasitics, analog VLSI |
| 2 | Tadeusz Pankowski |
A High-Level Language for Specifying XML Data Transformations.  |
ADBIS  |
2004 |
DBLP DOI BibTeX RDF |
|
| 2 | Inho 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.  |
ISCAS  |
2003 |
DBLP DOI BibTeX RDF |
|
| 2 | Bruce 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.  |
CAMP  |
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 |
| 2 | Adrian Johnstone, Elizabeth Scott, Tim Womack |
Experience Paper: Reverse Compilation of Digital Signal Processor Assembler Source to ANSI-C. (PDF / PS)  |
ICSM  |
1999 |
DBLP DOI BibTeX RDF |
reverse compilation, low to high level language translation, digital signal processing |
| 2 | Cristina Cifuentes, Doug Simon, Antoine Fraboulet |
Assembly to High-Level Language Translation. (PDF / PS)  |
ICSM  |
1998 |
DBLP DOI BibTeX RDF |
|
| 2 | André Matos, Luiz Velho, Jonas Gomes, André Parente, Heloisa Siffert |
The Visorama System: A Functional Overview of a New Virtual Reality Environment.  |
Computer Graphics International  |
1997 |
DBLP DOI BibTeX RDF |
Visorama system, functional overview, virtual panoramas, virtual reality, image-based rendering, high-level language, virtual reality environment |
| 2 | Andrew Wolfe, Jason Fritts, Santanu Dutta, Edil S. Tavares Fernandes |
Datapath Design for a VLIW Video Signal Processor.  |
HPCA  |
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 |
| 2 | Tai M. Chung, Henry G. Dietz |
Static scheduling of hard real-time code with instruction-level timing accuracy.  |
RTCSA  |
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 |
| 2 | Raminder Singh Bajwa, Robert Michael Owens, Mary Jane Irwin |
The MGAP's programming environment and the *C++ language.  |
ASAP  |
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 |
| 2 | Lobomir F. Bic |
Distributed computing using autonomous objects.  |
FTDCS  |
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 |
| 2 | Ellen H. Siegel |
Applying high-level language paradigms to distributed systems.  |
ACM SIGOPS European Workshop  |
1992 |
DBLP DOI BibTeX RDF |
|
| 2 | Richard Gerber, Insup Lee |
A Layered Approach to Automating the Verification of Real-Time Systems.  |
IEEE Trans. Software Eng.  |
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 |
| 2 | Joshua 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.  |
CASCON  |
1991 |
DBLP DOI BibTeX RDF |
|
| 2 | Paul Havlak, Ken Kennedy |
An Implementation of Interprocedural Bounded Regular Section Analysis.  |
IEEE Trans. Parallel Distrib. Syst.  |
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 |
| 2 | Ivan P. Radivojevic, Jayantha A. Herath |
Executing DSP Applications in a Fine-Grained Dataflow Environment.  |
IEEE Trans. Software Eng.  |
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 |
| 2 | Soklei 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.  |
IEEE Trans. Software Eng.  |
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 |
| 2 | Jayantha A. Herath, Yoshinori Yamaguchi, Nobuo Saito, Toshitsugu Yuba |
Dataflow Computing Models, Languages, and Machines for Intelligence Computations.  |
IEEE Trans. Software Eng.  |
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 |
| 2 | Hilda M. Standley |
A very high level language for large-grained data flow.  |
ACM Conference on Computer Science  |
1987 |
DBLP DOI BibTeX RDF |
|
| 2 | John Ivie, Kwok-Woon Larry Lai |
STL - a high level language for simulation and test.  |
DAC  |
1986 |
DBLP DOI BibTeX RDF |
|
| 2 | Christopher W. Fraser, David R. Hanson |
High-Level Language Facilities for Low-Level Services.  |
POPL  |
1985 |
DBLP DOI BibTeX RDF |
|
| 2 | Martin de Prycker |
On the Development of a Measurement System for High Level Language Program Statistics.  |
IEEE Trans. Computers  |
1982 |
DBLP DOI BibTeX RDF |
Dynamic statistics, high level language implementation, static statistics, performance, syntax, measurement system |
| 2 | David A. Patterson, Richard S. Piepho |
RISC assessment: A high-level language experiment.  |
ISCA  |
1982 |
DBLP DOI BibTeX RDF |
|
| 2 | Thomas N. Turba |
A Facility for the Downward Execution of a High-Level Language.  |
SIGPLAN Symposium on Compiler Construction  |
1982 |
DBLP DOI BibTeX RDF |
Inline code, Compilers, Efficiency, Code generation, Extensibility, Encapsulation, High-level languages, Assemblers, Machine code |
| 2 | D. Dromard, F. Dromard |
Direct Execution Of An Algebraic Oriented Language.  |
ACM Annual Conference  |
1978 |
DBLP DOI BibTeX RDF |
Algebraic oriented language, Call for need, Reentrant mechanism, Specific mechanism, High level language, Single assignment, Direct execution |
| 2 | Joachim W. Schmidt |
Some High Level Language Constructs for Data of Type Relation.  |
ACM Trans. Database Syst.  |
1977 |
DBLP DOI BibTeX RDF |
database, high level language, relational model, data type, language extension, relational calculus, nonprocedural language |
| 2 | Joachim W. Schmidt |
Some High-level Language Constructs for Data of Type Relation (Abstract).  |
SIGMOD Conference  |
1977 |
DBLP DOI BibTeX RDF |
non-procedural language, high-level language, relational model, data type, data base, language extension, relational calculus |
| 1 | Daniel Fontaine, Laurent Michel |
A High Level Language for Solver Independent Model Manipulation and Generation of Hybrid Solvers.  |
CPAIOR  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Fred S. Richardson, William M. Campbell |
NAP for high level language identification.  |
ICASSP  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Benjamin Thielmann, Jens Huthmann, Andreas Koch |
Precore - A Token-Based Speculation Architecture for High-Level Language to Hardware Compilation.  |
FPL  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Zain-ul-Abdin, Bertil Svensson |
Occam-pi as a High-Level Language for Coarse-Grained Reconfigurable Architectures.  |
IPDPS Workshops  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Benjamin Thielmann, Jens Huthmann, Andreas Koch |
Evaluation of speculative execution techniques for high-level language to hardware compilation.  |
ReCoSoC  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Esam El-Araby, Saumil G. Merchant, Tarek A. El-Ghazawi |
A Framework for Evaluating High-Level Design Methodologies for High-Performance Reconfigurable Computers.  |
IEEE Trans. Parallel Distrib. Syst.  |
2011 |
DBLP DOI BibTeX RDF |
High-level language productivity, performance evaluation, reconfigurable computing, productivity |
| 1 | Robert Law |
Using student blogs for documentation in software development projects.  |
ITiCSE  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | John Curreri, Seth Koehler, Alan D. George, Brian Holland, Rafael Garcia |
Performance Analysis Framework for High-Level Language Applications in Reconfigurable Computing.  |
TRETS  |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Hagen Gädke-Lütjens, Benjamin Thielmann, Andreas Koch |
A Flexible Compute and Memory Infrastructure for High-Level Language to Hardware Compilation.  |
FPL  |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefano Masini, Paolo Bientinesi |
High-Performance Parallel Computations Using Python as High-Level Language.  |
Euro-Par Workshops  |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Wim Vanderbauwhede, Syed Waqar Nabi |
A high-level language for programming a NoC-based Dynamic Reconfiguration Infrastructure.  |
DASIP  |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Sabina Akhtar, Stephan Merz, Martin Quinson |
A High-Level Language for Modeling Algorithms and Their Properties.  |
SBMF  |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Zhuo Ruan, Kurtis Cahill, David A. Penry |
Elaboration-time synthesis of high-level language constructs in SystemC-based microarchitectural simulators.  |
ICCD  |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Tyler Sondag, Kian L. Pokorny, Hridesh Rajan |
Frances: a tool for understanding code generation.  |
SIGCSE  |
2010 |
DBLP DOI BibTeX RDF |
frances, visualization, compilers, code generation |
| 1 | Jens Braunes, Rainer G. Spallek |
Generating the trace qualification configuration for MCDS from a high level language.  |
DATE  |
2009 |
DBLP BibTeX RDF |
|
| 1 | Camillo Bruni, Toon Verwaest |
PyGirl: Generating Whole-System VMs from High-Level Prototypes Using PyPy.  |
TOOLS  |
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 |
| 1 | Peter Novák, Wojciech Jamroga |
Code patterns for agent-oriented programming.  |
AAMAS  |
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 |
| 1 | Ahmad A. Saifan, Ernesto Posse, Jürgen Dingel |
Run-time conformance checking of mobile and distributed systems using executable models.  |
PADTAD  |
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 |
| 1 | Mark Horowitz |
Why design must change: rethinking digital design.  |
MICRO  |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Nan Wu 0003, Mei Wen, Wei Wu, Ju Ren, Huayou Su, Changqing Xun, Chunyuan Zhang |
Streaming HD H.264 encoder on programmable processors.  |
ACM Multimedia  |
2009 |
DBLP DOI BibTeX RDF |
1080P HD, H.264 encoder, real-time, stream, programmable |
| 1 | Hans Schippers, Michael Haupt, Robert Hirschfeld |
An implementation substrate for languages composing modularized crosscutting concerns.  |
SAC  |
2009 |
DBLP DOI BibTeX RDF |
machine model, aspect-oriented programming, modularization, crosscutting concerns, language implementation, context-oriented programming |
| 1 | J. Scott Miller, Peter A. Dinda, Robert P. Dick |
Evaluating a BASIC approach to sensor network node programming.  |
SenSys  |
2009 |
DBLP DOI BibTeX RDF |
sensor networks, cyber-physical systems, BASIC |
| 1 | Nicolas Bruno, Rimma V. Nehme |
Finding min-repros in database software.  |
DBTest  |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Nick Benton, Nicolas Tabareau |
Compiling functional types to relational specifications for low level imperative code.  |
TLDI  |
2009 |
DBLP DOI BibTeX RDF |
separation logic, proof assistants, compiler verification, relational parametricity, type soundness |
| 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 | Bharathram Sivasubramanian, Warren J. Gross, Harry Leib |
Design and FPGA implementation of iterative decoders for codes on graphs.  |
CCECE  |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Fengbin Qi, Xianyi Zhang, Shanshan Wang, Xingquan Mao |
RCC: A New Programming Language for Reconfigurable Computing.  |
HPCC  |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael DeRosa, Seth Copen Goldstein, Peter Lee, Padmanabhan Pillai, Jason Campbell |
A tale of two planners: Modular robotic planning with LDP.  |
IROS  |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Shu-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.  |
ISQED  |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Katerina Troshina, Alexander Chernov, Alexander Fokin |
Profile-based type reconstruction for decompilation.  |
ICPC  |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Hehua Zhang, Stephan Merz, Ming Gu |
Specifying and Verifying PLC Systems with TLA+.  |
TASE  |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Mythri Alle, Keshavan Varadarajan, Alexander Fell, S. K. Nandy, Ranjani Narayan |
Compiling Techniques for Coarse Grained Runtime Reconfigurable Architectures.  |
ARC  |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Rachid Guerraoui, Thomas A. Henzinger, Vasu Singh |
Software Transactional Memory on Relaxed Memory Models.  |
CAV  |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | John K. Heath |
The Equivalence between Biology and Computation.  |
CMSB  |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessandro Dal Palù, Agostino Dovier, Enrico Pontelli, Gianfranco Rossi |
Answer Set Programming with Constraints Using Lazy Grounding.  |
ICLP  |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Taisuke Sato |
Generative Modeling by PRISM.  |
ICLP  |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | J. 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.  |
IWINAC  |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Debmalya Biswas, Ashwin Jiwane, Blaise Genest |
Atomicity for XML Databases.  |
XSym  |
2009 |
DBLP DOI BibTeX RDF |
|
| 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 | Yuan 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.  |
OSDI  |
2008 |
DBLP BibTeX RDF |
|
| 1 | Aubrey Jaffer, Mike Plusch, Robert Nilsson |
Using B-trees to Implement Water: a Portable, High Performance, High-Level Language.  |
SCSS  |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Stanley Mazor |
Fairchild Symbol Computer.  |
IEEE Annals of the History of Computing  |
2008 |
DBLP DOI BibTeX RDF |
LSI application, high-level language, time-shared, computer design |
| 1 | Assaf Ben-David, Noam Nisan, Benny Pinkas |
FairplayMP: a system for secure multi-party computation.  |
ACM Conference on Computer and Communications Security  |
2008 |
DBLP DOI BibTeX RDF |
cryptography, secure multi-party computation |
| 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 | Lennart C. L. Kats, Martin Bravenboer, Eelco Visser |
Mixing source and bytecode: a case for compilation by normalization.  |
OOPSLA  |
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 |
| 1 | Hridesh Rajan, Michael Haupt, Christoph Bockisch, Robert Dyer 0001 |
Virtual machines and intermediate languages for emerging modularization mechanisms.  |
OOPSLA Companion  |
2008 |
DBLP DOI BibTeX RDF |
optimization, compilation, virtual machine, interpretation, separation of concerns, dynamic dispatch, intermediate language |
| 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 | José F. Morales, Manuel Carro, Manuel V. Hermenegildo |
Comparing tag scheme variations using an abstract machine generator.  |
PPDP  |
2008 |
DBLP DOI BibTeX RDF |
Warren's abstract machine, low-level representation optimization, performance, compilation, Prolog |
| 1 | Shammi Didla, Aaron Ault, Saurabh Bagchi |
Optimizing AES for embedded devices and wireless sensor networks.  |
TRIDENTCOM  |
2008 |
DBLP DOI BibTeX RDF |
CC2420, Zigbee security, embedded optimizations, secure sensor networks, encryption, AES, MSP430 |
| 1 | Daniel E. Cooke, J. Nelson Rushton, Brad Nemanich, Robert G. Watson, Per Andersen |
Normalize, transpose, and distribute: An automatic approach for handling nonscalars.  |
ACM Trans. Program. Lang. Syst.  |
2008 |
DBLP DOI BibTeX RDF |
automatic loop generation, Automatic parallelisms |
| 1 | Mythri 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.  |
ASAP  |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Kubilay Atasu, Oskar Mencer, Wayne Luk, Can C. Özturan, Günhan Dündar |
Fast custom instruction identification by convex subgraph enumeration.  |
ASAP  |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Udo 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.  |
ASP-DAC  |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Sertac Karaman, Emilio Frazzoli |
Vehicle Routing Problem with Metric Temporal Logic Specifications.  |
CDC  |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Laura Bocchi, José Luiz Fiadeiro, Antónia Lopes |
Service-Oriented Modelling of Automotive Systems.  |
COMPSAC  |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Shahid Mehmood, Stefano Cagnoni, Monica Mordonini, Guido Matrella |
Hardware-oriented Adaptation of a Particle Swarm Optimization Algorithm for Object Detection.  |
DSD  |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Karl Meier, Alessandro Forin |
Hardware Compilation from Machine Code with M2V.  |
FCCM  |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrew J. Wong, Warren J. Gross |
Configurable Flow Models for FPGA Particle Graphics Engines.  |
FCCM  |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Betul Buyukkurt, Walid A. Najjar |
Compiler generated systolic arrays for wavefront algorithm acceleration on FPGAs.  |
FPL  |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Kevin K. Liu, Charles B. Cameron, Antal A. Sarkady |
Comparing throughput and power consumption in both sequential and reconfigurable processors.  |
FPL  |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael N. Gubanov, Philip A. Bernstein, Alexander Moshchuk |
Model Management Engine for Data Integration with Reverse-Engineering Support.  |
ICDE  |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael DeRosa, Seth Copen Goldstein, Peter Lee, Padmanabhan Pillai, Jason Campbell |
Programming modular robots with locally distributed predicates.  |
ICRA  |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Petter Falkman, Johan Nielsen, Bengt Lennartson, Astrid von Euler-Chelpin |
Generation of STEP AP214 Models From Discrete Event Systems for Process Planning and Control.  |
IEEE T. Automation Science and Engineering  |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Abdallah Al Zain, Philip W. Trinder, Greg Michaelson, Hans-Wolfgang Loidl |
Evaluating a High-Level Parallel Language (GpH) for Computational GRIDs.  |
IEEE Trans. Parallel Distrib. Syst.  |
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][ >>] |
|