Search results for "compiling"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
9	Michael Med, Andreas Krall	Instruction Set Encoding Optimization for Code Size Reduction.	ICSAMOS	2007	DBLP DOI BibTeX RDF
9	Lin Ye, Milena Petrovic, Marvin J. Dainoff, Leonard S. Mark	Guerilla Ergonomics: Perceiving the Affordances for Workplace Design.	HCI (17)	2007	DBLP DOI BibTeX RDF	workplace ergonomics, ergonomic intervention, Affordance
9	James D. Palmer	Exploiting bibliographic web services with CiTeX.	SAC	2007	DBLP DOI BibTeX RDF	web services, digital libraries, bibliographies
9	Ian Buck	GPU Computing: Programming a Massively Parallel Processor.	CGO	2007	DBLP DOI BibTeX RDF
9	Morris Matsa, Eric Perkins, Abraham Heifets, Margaret Gaitatzes Kostoulas, Daniel Silva 0001, Noah Mendelsohn, Michelle Leger	A high-performance interpretive approach to schema-directed parsing.	WWW	2007	DBLP DOI BibTeX RDF	XML, performance, compiler, interpreter, parsing, schema
9	Neil D. Jones, René Rydhof Hansen	The Semantics of "Semantic Patches" in Coccinelle: Program Transformation for the Working Programmer.	APLAS	2007	DBLP DOI BibTeX RDF
9	Dirk Heylen, Elisabetta Bevacqua, Marion Tellier, Catherine Pelachaud	Searching for Prototypical Facial Feedback Signals.	IVA	2007	DBLP DOI BibTeX RDF	Feedback, Interpretation, Facial expressions
9	Mingtian Wang, Xianfeng He, Chunlu Li, Yongkang Luo, Jinlian Zhang, Liping Ou, Qin Xue, Yingwei Ai	Research on Quality Standard of Rural Information.	CCTA	2007	DBLP DOI BibTeX RDF	rural information, quality standard, research
9	Mercedes Argüello Casteleiro, Mukhtar Abusa, Maria Jesus Fernandez Prieto, Veronica Brookes, Fonbeyin Henry Abanda	A Web Services-Based Annotation Application for Semantic Annotation of Highly Specialised Documents About the Field of Marketing.	OTM Conferences (1)	2007	DBLP DOI BibTeX RDF	Text Categorisation, Ontologies, XML, Semantic Web, OWL, Semantic Web Services, Semantic annotation, OWL-S
9	Jim Stevens	Hybridthreads Compiler: Generation of Application Specific Hardware Thread Cores from C.	FPL	2007	DBLP DOI BibTeX RDF
9	Michael Wachter 0001, Rolf Haenni	Logical Compilation of Bayesian Networks with Discrete Variables.	ECSQARU	2007	DBLP DOI BibTeX RDF
9	Anderson Faustino da Silva, Vítor Santos Costa	Design, Implementation, and Evaluation of a Dynamic Compilation Framework for the YAP System.	ICLP	2007	DBLP DOI BibTeX RDF
9	Barry Lawson 0001, Lawrence Leemis	Simulation 101 software: workshop and beyond.	WSC	2007	DBLP DOI BibTeX RDF
9	Anthony M. J. O'Hagan, Shazia Wasim Sadiq, Wasim Sadiq	Evie - A Developers Toolkit for Encoding Service Interaction Patterns.	Business Process Management Workshops	2007	DBLP DOI BibTeX RDF	Harmonized Messaging, Event Brokering, Service Interaction
9	Salvador Trujillo, Maider Azanza, Oscar Díaz	Generative metaprogramming.	GPCE	2007	DBLP DOI BibTeX RDF	feature oriented model-driven development, generative metaprogramming, software product lines, generative programming, metaprogramming
9	Ward Douglas Maurer	Using mathematics to improve ada compiled code, part 2: the proof.	SIGAda	2007	DBLP DOI BibTeX RDF	ada compilers, base registers, code improvement, display method, loop trees, nested procedures
9	Weijia Li, Youtao Zhang, Jun Yang 0002, Jiang Zheng 0002	UCC: update-conscious compilation for energy efficiency in wireless sensor networks.	PLDI	2007	DBLP DOI BibTeX RDF	sensor networks, register allocation, code dissemination
9	John Criswell, Andrew Lenharth, Dinakar Dhurjati, Vikram S. Adve	Secure virtual architecture: a safe execution environment for commodity operating systems.	SOSP	2007	DBLP DOI BibTeX RDF	security, compiler, virtual machine, operating systems, type safety, memory safety, typed assembly language
9	Animesh Pathak, Luca Mottola, Amol Bakshi, Viktor K. Prasanna, Gian Pietro Picco	A Compilation Framework for Macroprogramming Networked Sensors.	DCOSS	2007	DBLP DOI BibTeX RDF
9	Meng-Chien Yang	An Adaptive Framework for Aggregating Mobile Learning Materials.	ICALT	2007	DBLP DOI BibTeX RDF
9	Tao Sheng, Mudar Sarem, Jingli Zhou	Memory Efficient and Low Complexity Variable Length Decoding for MPEG-4 Applications.	ICPP Workshops	2007	DBLP DOI BibTeX RDF
9	Yuan Lin 0002, Manjunath Kudlur, Scott A. Mahlke, Trevor N. Mudge	Hierarchical coarse-grained stream compilation for software defined radio.	CASES	2007	DBLP DOI BibTeX RDF	MPSoC compilation, dataflow programming model, software defined radio, modulo scheduling
9	Annerieke Heuvelink, Fiemke Both	BOA: A Cognitive Tactical Picture Compilation Agent.	IAT	2007	DBLP DOI BibTeX RDF
9	Joon S. Park, Ganesh Devarajan	Fine-Grained and Scalable Approaches for Message Integrity.	HICSS	2007	DBLP DOI BibTeX RDF
9	Nobuhiko Hata, Steve Pieper 0001, Ferenc A. Jolesz, Clare M. Tempany, Peter M. Black, Shigehiro Morikawa, Hiroshi Iseki, Makoto Hashizume, Ron Kikinis	Application of Open Source Image Guided Therapy Software in MR-guided Therapies.	MICCAI (1)	2007	DBLP DOI BibTeX RDF
9	Robert Mateescu, Radu Marinescu 0002, Rina Dechter	AND/OR Multi-valued Decision Diagrams for Constraint Optimization.	CP	2007	DBLP DOI BibTeX RDF
9	Jong-Hyouk Lee, Young-Ju Han, Jong-Hyun Kim, Jung-Chan Na, Tai-Myoung Chung	PKG-MIB: Private-Mib for Package-Based Linux Systems in a Large Scale Management Domain.	KES-AMSTA	2007	DBLP DOI BibTeX RDF
9	Yuval Ishai, Eyal Kushilevitz, Rafail Ostrovsky	Efficient Arguments without Short PCPs.	CCC	2007	DBLP DOI BibTeX RDF
9	Ahmed M. Amin, Mithuna Thottethodi, T. N. Vijaykumar, Steven Wereley, Stephen C. Jacobson	Aquacore: a programmable architecture for microfluidics.	ISCA	2007	DBLP DOI BibTeX RDF	fluidic, fluidic microarchitecture, programmable lab on a chip, microfluidics, instruction set
9	Manfred Jaeger	Parameter learning for relational Bayesian networks.	ICML	2007	DBLP DOI BibTeX RDF
9	Kyungwoo Lee, Xing Fang, Samuel P. Midkiff	Practical escape analyses: how good are they?	VEE	2007	DBLP DOI BibTeX RDF	analysis precision, Java, dynamic compilation, escape analysis
9	Roberto T. Arrial, Roberto C. Togawa, Marcelo M. Brigido	Outlining a Strategy for Screening Non-coding RNAs on a Transcriptome Through Support Vector Machines.	BSB	2007	DBLP DOI BibTeX RDF	ncRNA, Paracoccidioides brasiliensis, machine learning, Support Vector Machines, non-coding RNA, transcriptome
9	Arquimedes Canedo, Ben A. Abderazek, Masahiro Sowa	New Code Generation Algorithm for QueueCore - An Embedded Processor with High ILP.	PDCAT	2007	DBLP DOI BibTeX RDF
9	Raghavendra Rao Loka	Compilation reuse and hybrid compilation: an experiment.	ACM SIGPLAN Notices	2006	DBLP DOI BibTeX RDF
9	Dhananjay Kulkarni, Walid A. Najjar, Robert Rinker, Fadi J. Kurdahi	Compile-time area estimation for LUT-based FPGAs.	ACM Trans. Design Autom. Electr. Syst.	2006	DBLP DOI BibTeX RDF	Reconfigurable computing, compiler optimization, resource estimation
9	Aviral Shrivastava, Partha Biswas, Ashok Halambi, Nikil D. Dutt, Alexandru Nicolau	Compilation framework for code size reduction using reduced bit-width ISAs (rISAs).	ACM Trans. Design Autom. Electr. Syst.	2006	DBLP DOI BibTeX RDF	codesize reduction, dual instruction set, narrow bit-width instruction set, rISA, register pressure-based code generation, thumb, optimization, compilers, Code generation, code compression, retargetable compilers
9	Leipo Yan, Thambipillai Srikanthan, Niu Gang	Area and delay estimation for FPGA implementation of coarse-grained reconfigurable architectures.	LCTES	2006	DBLP DOI BibTeX RDF	CGRA, VLIW, hardware/software partitioning, delay estimation, area estimation
9	Robert Bernecky, Stephan Herhut, Sven-Bodo Scholz, Kai Trojahner, Clemens Grelck, Alexander V. Shafarenko	Index Vector Elimination - Making Index Vectors Affordable.	IFL	2006	DBLP DOI BibTeX RDF
9	Andrew Petersen 0001, Andrew Putnam, Martha Mercaldi, Andrew Schwerin, Susan J. Eggers, Steven Swanson, Mark Oskin	Reducing control overhead in dataflow architectures.	PACT	2006	DBLP DOI BibTeX RDF	Wavescalar, compiler, dataflow, tiled architecture
9	Jiming Ma, Haibin Zhu, Wenqian Shang	The Construction Approach of Regular Expressions from Finite Automata Including Multi-Node Loops.	IEEE ICCI	2006	DBLP DOI BibTeX RDF
9	Yong Yin, Zude Zhou, Quan Liu, Fangmin Li, Yihong Long 0002	The Application of Embedded Technology in NC System.	PROLAMAT	2006	DBLP DOI BibTeX RDF	NC system, Embedded technology, DSP, ARM
9	Sarah Thompson, Alan Mycroft	Bit-level partial evaluation of synchronous circuits.	PEPM	2006	DBLP DOI BibTeX RDF	partial evaluation, loop unrolling, synchronous circuits
9	Christoph Reich, Bettina Scharpf	Continuous Software Test Distributed Execution and Integrated into the Globus Toolkit.	ISPDC	2006	DBLP DOI BibTeX RDF
9	Osama Neiroukh, Stephen A. Edwards, Xiaoyu Song	An Efficient Algorithm for the Analysis of Cyclic Circuits.	ISVLSI	2006	DBLP DOI BibTeX RDF
9	Kazunori Ogata, Tamiya Onodera, Kiyokuni Kawachiya, Hideaki Komatsu, Toshio Nakatani	Replay compilation: improving debuggability of a just-in-time compiler.	OOPSLA	2006	DBLP DOI BibTeX RDF	problem determination, replay compilation, Java, dynamic optimization, JIT compiler, debuggability, deterministic replay
9	Christoph Bockisch, Matthew Arnold, Tom Dinkelaker, Mira Mezini	Adapting virtual machine techniques for seamless aspect support.	OOPSLA	2006	DBLP DOI BibTeX RDF	envelope-based weaving, virtual machine support, aspect-oriented programming, aspect weaving, dynamic deployment
9	Xin Li 0020, Reinhard von Hanxleden	A concurrent reactive Esterel processor based on multi-threading.	SAC	2006	DBLP DOI BibTeX RDF	multithreading, processor architecture, synchronous languages, esterel
9	Giovanni Agosta, Stefano Crespi-Reghizzi, Pasquale Palumbo, Martino Sykora	Selective compilation via fast code analysis and bytecode tracing.	SAC	2006	DBLP DOI BibTeX RDF
9	Ivan Damgård, Nelly Fazio, Antonio Nicolosi	Non-interactive Zero-Knowledge from Homomorphic Encryption.	TCC	2006	DBLP DOI BibTeX RDF
9	Hritam Dutta, Frank Hannig, Jürgen Teich	Controller Synthesis for Mapping Partitioned Programs on Array Architectures.	ARCS	2006	DBLP DOI BibTeX RDF
9	Priya Unnikrishnan, Mahmut T. Kandemir, Feihui Li	Reducing dynamic compilation overhead by overlapping compilation and execution.	ASP-DAC	2006	DBLP DOI BibTeX RDF
9	Alexandre Courbot, Mariela Pavlova, Gilles Grimaud, Jean-Jacques Vandewalle	A Low-Footprint Java-to-Native Compilation Scheme Using Formal Methods.	CARDIS	2006	DBLP DOI BibTeX RDF
9	Martin Schulz 0001, Dieter Kranzlmüller, Bronis R. de Supinski	Exploring Unexpected Behavior in MPI.	HPCC	2006	DBLP DOI BibTeX RDF
9	John Healey	Yaccscript: a platform for intersecting high-level languages.	ACM Southeast Regional Conference	2006	DBLP DOI BibTeX RDF	multiparadigm programming, lisp
9	Stefan Kral, Markus Triska, Christoph W. Ueberhuber	Compiler Technology for Blue Gene Systems.	Euro-Par	2006	DBLP DOI BibTeX RDF
9	Helen Malin	Evaluating student employee performance.	SIGUCCS	2006	DBLP DOI BibTeX RDF	computer consultants, full-disclosure, performance record, real-time, standards, training, transformation, statistics, digital, customer service, professional development, mentoring, evaluation system, cumulative
9	Stephen Gilmore, Valentin Haenel, Jane Hillston, Jennifer Tenzer	A design environment for mobile applications.	IPDPS	2006	DBLP DOI BibTeX RDF
9	Yoshisato Yanagisawa, Kenichi Kourai, Shigeru Chiba	A dynamic aspect-oriented system for OS kernels.	GPCE	2006	DBLP DOI BibTeX RDF	profiling and debugging, aspect-oriented programming, operating system, Linux, dynamic AOP
9	Jerry Mead	A compiler tutorial scaled for the programming languages course.	SIGCSE	2006	DBLP DOI BibTeX RDF	object-oriented programming, programming languages, courseware, compiler design, educational projects
9	Davide Ancona, Giovanni Lagorio, Elena Zucca	Flexible Type-Safe Linking of Components for Java-Like Languages.	JMLC	2006	DBLP DOI BibTeX RDF
9	Lee W. Howes, Paul Price, Oskar Mencer, Olav Beckmann	FPGAs, GPUs and the PS2 - A Single Programming Methodology.	FCCM	2006	DBLP DOI BibTeX RDF
9	Ales Smrcka, Vojtech Rehák, Tomás Vojnar, David Safránek, Petr Matousek, Z. Rehák	Verifying VHDL Designs with Multiple Clocks in SMV.	FMICS/PDMC	2006	DBLP DOI BibTeX RDF
9	Jean-François Baget, Eric Salvat	Rules Dependencies in Backward Chaining of Conceptual Graphs Rules.	ICCS	2006	DBLP DOI BibTeX RDF
9	Philip Robinson, Florian Kerschbaum, Andreas Schaad	From Business Process Choreography to Authorization Policies. (PDF / PS)	DBSec	2006	DBLP DOI BibTeX RDF
9		Communication Generation for Irregular Parallel Applications.	PARELEC	2006	DBLP DOI BibTeX RDF
9	Ezra Cooper, Sam Lindley, Philip Wadler, Jeremy Yallop	Links: Web Programming Without Tiers.	FMCO	2006	DBLP DOI BibTeX RDF
9	Arran Derbyshire, Tobias Becker, Wayne Luk	Incremental elaboration for run-time reconfigurable hardware designs.	CASES	2006	DBLP DOI BibTeX RDF	incremental elaboration, run-time reconfiguration, hardware compilation
9	Nathan Clark, Amir Hormati, Scott A. Mahlke, Sami Yehia	Scalable subgraph mapping for acyclic computation accelerators.	CASES	2006	DBLP DOI BibTeX RDF	compilation, embedded processors
9	DaeGon Kim, Gautam Gupta, Sanjay V. Rajopadhye	On Control Signals for Multi-Dimensional Time.	LCPC	2006	DBLP DOI BibTeX RDF
9	Garrett S. Rose, Adam C. Cabe, Nadine Gergel-Hackett, Nabanita Majumdar, Mircea R. Stan, John C. Bean, Lloyd R. Harriott, Yuxing Yao, James M. Tour	Design approaches for hybrid CMOS/molecular memory based on experimental device data.	ACM Great Lakes Symposium on VLSI	2006	DBLP DOI BibTeX RDF
9	Oh-Han Kang, Sang-Seong Kang	A Web-based Toolkit for Scheduling Simulation Using GridSim.	GCC	2006	DBLP DOI BibTeX RDF
9	Eugen-Nicolae Volanschi	A Portable Compiler-Integrated Approach to Permanent Checking.	ASE	2006	DBLP DOI BibTeX RDF
9	Frank Chism, Jeremy Enos	Software tools II - Running a Top-500 benchmark on a windows compute cluster server cluster.	SC	2006	DBLP DOI BibTeX RDF
9	Martha Mercaldi, Steven Swanson, Andrew Petersen 0001, Andrew Putnam, Andrew Schwerin, Mark Oskin, Susan J. Eggers	Modeling instruction placement on a spatial architecture.	SPAA	2006	DBLP DOI BibTeX RDF	instruction placement, dataflow, spatial computing
9	Insu Song, Guido Governatori	Designing agent chips.	AAMAS	2006	DBLP DOI BibTeX RDF	agent chips, agent architecture, agent programming languages
9	Fernando López-García 0001, José Manuel Prats-Montalbán, Alberto Ferrer 0001, José Miguel Valiente	Defect Detection in Random Colour Textures Using the MIA T2 Defect Maps.	ICIAR (2)	2006	DBLP DOI BibTeX RDF
9	Hwa-Young Jeong	Component Based E-Learning System Using Item Analysis.	Edutainment	2006	DBLP DOI BibTeX RDF
9	Noureddine Chabini, Wayne H. Wolf	Unification of scheduling, binding, and retiming to reduce power consumption under timings and resources constraints.	IEEE Trans. Very Large Scale Integr. Syst.	2005	DBLP DOI BibTeX RDF
9	Bonnie E. John	Evidence-based practice in human-computer interaction and evidence maps.	ACM SIGSOFT Softw. Eng. Notes	2005	DBLP DOI BibTeX RDF	evidence maps, research-based guidelines, human-computer interaction
9	Ismail Kadayif, Mahmut T. Kandemir, Guilin Chen, Ozcan Ozturk 0001, Mustafa Karaköy, Ugur Sezer	Optimizing Array-Intensive Applications for On-Chip Multiprocessors.	IEEE Trans. Parallel Distributed Syst.	2005	DBLP DOI BibTeX RDF	On-chip multiprocessor, adaptive loop parallelization, embedded systems, energy consumption, integer linear programming, constrained optimization
9	Weidong Wang, Anand Raghunathan, Ganesh Lakshminarayana, Niraj K. Jha	Input space-adaptive optimization for embedded-software synthesis.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2005	DBLP DOI BibTeX RDF
9	Kurt Stirewalt, Spencer Rugaber	Automated Invariant Maintenance Via OCL Compilation.	MoDELS	2005	DBLP DOI BibTeX RDF
9	Juan Chen 0001, Yong Dong, Xuejun Yang, Dan Wu	A Compiler-Directed Energy Saving Strategy for Parallelizing Applications in On-Chip Multiprocessors.	ISPDC	2005	DBLP DOI BibTeX RDF
9	Mark R. Brown, Udo Gottlieb, Rose Muchira	Privacy Concerns and Purchase of Travel Product Online.	ENTER	2005	DBLP DOI BibTeX RDF	relationship marketing, Internet, privacy, trust, travel
9	Tarek A. El-Ghazawi, Kris Gaj, Nikitas A. Alexandridis, Allen Michalski, Osman Devrim Fidanci, Mohamed Taher, Esam El-Araby, Esmail Chitalwala, Proshanta Saha	Reconfigurable computers: an empirical analysis (abstract only).	FPGA	2005	DBLP DOI BibTeX RDF
9	SeonHwa Choi, Hyuk Ro Park	Extracting Semantic Taxonomies of Nouns from a Korean MRD Using a Small Bootstrapping Thesaurus and a Machine Learning Approach.	NLDB	2005	DBLP DOI BibTeX RDF
9	Yinzhang Guo, Guoyou Zhang, Lipin Xie, Yubin Xu	The Research and Design of Business Component Reuse in Enterprise Information System Integration.	ICITA (2)	2005	DBLP DOI BibTeX RDF	function component, reuse, business component
9	Jing Chen, Qing Li 0001, Ling Feng	Refining the Results of Automatic e-Textbook Construction by Clustering.	ICWL	2005	DBLP DOI BibTeX RDF
9	Sin Chun Ng, Steven O. Choy, Reggie Kwan, Jimmy S. F. Chan	A Web-Based Environment to Improve Teaching and Learning of Computer Programming in Distance Education.	ICWL	2005	DBLP DOI BibTeX RDF
9	Ting Ding, Naiqi Liu	A Parallelizing Compiler Approach Based on IXA.	ICESS	2005	DBLP DOI BibTeX RDF
9	Cédric Fournet, Andrew D. Gordon 0001, Sergio Maffeis	A Type Discipline for Authorization Policies.	ESOP	2005	DBLP DOI BibTeX RDF
9	Ji Wang, Rui Shen 0003, Hong Zhu 0002	Agent Oriented Programming Based on SLABS.	COMPSAC (1)	2005	DBLP DOI BibTeX RDF
9	Lorenzo Verdoscia	CODACS Prototype: A Platform-Processor for CHIARA Programs.	IPDPS	2005	DBLP DOI BibTeX RDF
9	Pavel Avgustinov, Aske Simon Christensen, Laurie J. Hendren, Sascha Kuzins, Jennifer Lhoták, Ondrej Lhoták, Oege de Moor, Damien Sereni, Ganesh Sittampalam, Julian Tibble	Optimising aspectJ.	PLDI	2005	DBLP DOI BibTeX RDF	around advice, aspect-oriented programming language, cflow pointcut, optimization, aspectJ
9	Huilin Yuan, Shuxun Cai	The application of module in Logistics Management Information System (LSMIS).	ICEC	2005	DBLP DOI BibTeX RDF	logistics management, module, JavaBeans
9	Christian Lindig	Random testing of C calling conventions.	AADEBUG	2005	DBLP DOI BibTeX RDF	calling convention, compiler, composition, C, consistency, random testing
9	Johannes Kinder, Stefan Katzenbeisser 0001, Christian Schallhart, Helmut Veith	Detecting Malicious Code by Model Checking.	DIMVA	2005	DBLP DOI BibTeX RDF	Model Checking, Malware Detection
9	Xin Li 0020, 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
9	Bita Gorjiara, Daniel D. Gajski	Custom Processor Design Using NISC: A Case-Study on DCT algorithm.	ESTIMedia	2005	DBLP DOI BibTeX RDF
9	Bor-Yuh Evan Chang, Adam Chlipala, George C. Necula, Robert R. Schneck	Type-based verification of assembly language for compiler debugging.	TLDI	2005	DBLP DOI BibTeX RDF	abstract interpretation, dependent types, bytecode verification, certified compilation, assembly code