Search results for "Compiling"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
14	Héctor Palacios, Hector Geffner	Compiling Uncertainty Away in Conformant Planning Problems with Bounded Width.	J. Artif. Intell. Res.	2009	DBLP DOI BibTeX RDF
14	Yannick Chevalier, Michaël Rusinowitch	Compiling and securing cryptographic protocols	CoRR	2009	DBLP BibTeX RDF
14	Naoyuki Tamura, Akiko Taga, Satoshi Kitagawa, Mutsunori Banbara	Compiling finite linear CSP into SAT.	Constraints An Int. J.	2009	DBLP DOI BibTeX RDF	SAT encoding, Open-shop scheduling problems, Constraint satisfaction problems
14	Bostjan Bercic, Carlisle Eldwidge George	Compiling Medical Data into National Medical Databases.	Database Technologies: Concepts, Methodologies, Tools, and Applications	2009	DBLP BibTeX RDF
14	Cesare Pautasso	Compiling Business Process Models into Executable Code.	Handbook of Research on Business Process Modeling	2009	DBLP DOI BibTeX RDF
14	Nalini Vasudevan, Stephen A. Edwards	Celling SHIM: compiling deterministic concurrency to a heterogeneous multicore.	SAC	2009	DBLP DOI BibTeX RDF	SHIM, parallelism, compiler, concurrency, cell processor
14	Xiangdong An 0001, Nick Cercone	Compiling Multiply Sectioned Bayesian Networks: A Comparative Study.	MICAI	2009	DBLP DOI BibTeX RDF
14	Safa Yahi, Salem Benferhat	Compiling the Lexicographic Inference Using Boolean Cardinality Constraints.	Canadian AI	2009	DBLP DOI BibTeX RDF
14	Iulian Dragos, Martin Odersky	Compiling generics through user-directed type specialization.	ICOOOLPS@ECOOP	2009	DBLP DOI BibTeX RDF
14	Gilles Dubochet, Martin Odersky	Compiling structural types on the JVM: a comparison of reflective and generative techniques from Scala's perspective.	ICOOOLPS@ECOOP	2009	DBLP DOI BibTeX RDF
14	Jing Guo, Jeyarajan Thiyagalingam, Sven-Bodo Scholz	Towards Compiling SAC to CUDA.	Trends in Functional Programming	2009	DBLP BibTeX RDF
14	Liyang Hu, Graham Hutton	Compiling Concurrency Correctly: Cutting out the Middle Man.	Trends in Functional Programming	2009	DBLP BibTeX RDF
14	Mythri Alle, Keshavan Varadarajan, Alexander Fell, S. K. Nandy 0001, Ranjani Narayan	Compiling Techniques for Coarse Grained Runtime Reconfigurable Architectures.	ARC	2009	DBLP DOI BibTeX RDF
14	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
14	Alexandre Papadopoulos, Barry O'Sullivan	Compiling All Possible Conflicts of a CSP.	CP	2009	DBLP DOI BibTeX RDF
14	Yann Chevaleyre, Jérôme Lang, Nicolas Maudet, Guillaume Ravilly-Abadie	Compiling the Votes of a Subelectorate.	IJCAI	2009	DBLP BibTeX RDF
14	Michael Edward Edge, Pedro R. Falcone Sampaio, Oliver Philpott, Mohammed Choudhary	Specifying and Compiling High Level Financial Fraud Policies into StreamSQL.	ICEIS (3)	2009	DBLP BibTeX RDF
14	Mausam, Stephen Soderland, Oren Etzioni, Daniel S. Weld, Michael Skinner, Jeff A. Bilmes	Compiling a Massive, Multilingual Dictionary via Probabilistic Inference.	ACL/IJCNLP	2009	DBLP BibTeX RDF
14	David A. Wheeler	Fully Countering Trusting Trust through Diverse Double-Compiling.		2009	RDF
14	Tiago Cogumbreiro, Francisco Martins, Vasco Thudichum Vasconcelos	Compiling the pi-calculus into a Multithreaded Typed Assembly Language.	PLACES@DisCoTec	2008	DBLP DOI BibTeX RDF
14	Sanguk Noh, Gihyun Jung, Kyunghee Choi, Cheolho Lee	Compiling network traffic into rules using soft computing methods for the detection of flooding attacks.	Appl. Soft Comput.	2008	DBLP DOI BibTeX RDF
14	Sergey Melnik 0001, Atul Adya, Philip A. Bernstein	Compiling mappings to bridge applications and databases.	ACM Trans. Database Syst.	2008	DBLP DOI BibTeX RDF	updateable views, Mapping, query rewriting
14	Sebastian Rudolph, Markus Krötzsch, Pascal Hitzler	Description Logic Reasoning with Decision Diagrams: Compiling SHIQ to Disjunctive Datalog.	ISWC	2008	DBLP DOI BibTeX RDF
14	Yosi Ben-Asher, Eddie Shochat	Finding the Best Compromise in Compiling Compound Loops to Verilog.	ISVLSI	2008	DBLP DOI BibTeX RDF
14	Stephen A. Edwards, Nalini Vasudevan, Olivier Tardieu	Programming Shared Memory Multiprocessors with Deterministic Message-Passing Concurrency: Compiling SHIM to Pthreads.	DATE	2008	DBLP DOI BibTeX RDF
14	Norm Rubin	Issues and challenges in compiling for graphics processors.	CGO	2008	DBLP DOI BibTeX RDF	compilers, graphics
14	James Cussens	Bayesian network learning by compiling to weighted MAX-SAT.	UAI	2008	DBLP BibTeX RDF
14	Raffaele Cipriano, Agostino Dovier, Jacopo Mauro	Compiling and Executing Declarative Modeling Languages to Gecode.	ICLP	2008	DBLP DOI BibTeX RDF
14	Jeroen Janssen, Stijn Heymans, Dirk Vermeir, Martine De Cock	Compiling Fuzzy Answer Set Programs to Fuzzy Propositional Theories.	ICLP	2008	DBLP DOI BibTeX RDF	Clark’s completion, fuzzy ASSAT, fuzzy logic, answer set programming
14	Paolo Bonzini, Giovanni Ansaloni, Laura Pozzi	Compiling custom instructions onto expression-grained reconfigurable architectures.	CASES	2008	DBLP DOI BibTeX RDF	horizontal microprogramming, compilers, instruction set extensions, coarse-grained reconfigurable architectures, data-flow architectures
14	Dorit Nuzman, Mircea Namolaru, Ayal Zaks, Jeff H. Derby	Compiling for an indirect vector register architecture.	Conf. Computing Frontiers	2008	DBLP DOI BibTeX RDF	compiler controlled cache, rotating register file, vectorization, data reuse, subword parallelism, viterbi, simd
14	Koen V. Hindriks, Peter Novák 0001	Compiling GOAL Agent Programs into Jazzyk Behavioural State Machines.	MATES	2008	DBLP DOI BibTeX RDF
14	Qiang Liu, George A. Constantinides, Konstantinos Masselos, Peter Y. K. Cheung	Compiling C-like Languages to FPGA Hardware: Some Novel Approaches Targeting Data Memory Organisation.	BCS Int. Acad. Conf.	2008	DBLP BibTeX RDF
14	Sven R. Schmidt-Rohr, Rainer Jäkel, Martin Lösch, Rüdiger Dillmann	Compiling POMDP Models for a Multimodal Service Robot from Background Knowledge.	EUROS	2008	DBLP DOI BibTeX RDF
14	Christian Fritz 0001, Jorge A. Baier, Sheila A. McIlraith	ConGolog, Sin Trans: Compiling ConGolog into Basic Action Theories for Planning and Beyond.	KR	2008	DBLP BibTeX RDF
14	Cezara Dragoi, Gheorghe Stefanescu	On Compiling Structured Interactive Programs with Registers and Voices.	SOFSEM	2008	DBLP DOI BibTeX RDF	structured rv-systems, registers and voices, programming languages, interactive systems, operational semantics, compiler correctness
14	Anton Lokhmotov	Programming and compiling for embedded SIMD architectures.		2008	RDF
14	Bill Lin 0001	Compiling concurrent programs for embedded sequential execution.	Integr.	2007	DBLP DOI BibTeX RDF
14	Bernd Braßel, Michael Hanus, Marion Müller	Compiling ER Specifications into Declarative Programs	CoRR	2007	DBLP BibTeX RDF
14	Christoph Gille, Sabrina Hoffmann, Hermann-Georg Holzhütter	METANNOGEN: compiling features of biochemical reactions needed for the reconstruction of metabolic networks.	BMC Syst. Biol.	2007	DBLP DOI BibTeX RDF
14	Dumitru Potop-Butucaru, Stephen A. Edwards, Gérard Berry	Compiling Esterel.		2007	DOI RDF
14	Beata Sarna-Starosta, C. R. Ramakrishnan 0001	Compiling Constraint Handling Rules for Efficient Tabled Evaluation.	PADL	2007	DBLP DOI BibTeX RDF
14	Kathryn M. O'Brien	Issues and challenges in compiling for the CBEA.	LCTES	2007	DBLP DOI BibTeX RDF
14	Thomas A. M. Bernard, Chris R. Jesshope, Peter M. W. Knijnenburg	Strategies for Compiling µ TC to Novel Chip Multiprocessors.	SAMOS	2007	DBLP DOI BibTeX RDF
14	José O. Carlomagno Filho, Luiz F. P. Santos, Luiz C. V. dos Santos	An Automatically-Retargetable Time-Constraint-Driven Instruction Scheduler for Post-compiling Optimization of Embedded Code.	SAMOS	2007	DBLP DOI BibTeX RDF
14	Jay A. McCarthy, Shriram Krishnamurthi, Joshua D. Guttman, John D. Ramsdell	Compiling cryptographic protocols for deployment on the web.	WWW	2007	DBLP DOI BibTeX RDF	CPPL, cryptographic protocols, HTTP, sessions
14	Carlos Gómez-Rodríguez, Jesús Vilares, Miguel A. Alonso 0001	Compiling Declarative Specifications of Parsing Algorithms.	DEXA	2007	DBLP DOI BibTeX RDF
14	Juan Chen	A typed intermediate language for compiling multiple inheritance.	POPL	2007	DBLP DOI BibTeX RDF	class and object encoding, multiple inheritance, typed intermediate language
14	Luigi Portinale, Andrea Bobbio, Daniele Codetta Raiteri, Stefania Montani	Compiling Dyanamic Fault Trees into Dynamic Bayesian Nets for Reliability Analysis: the RADYBAN Tool.	BMA	2007	DBLP BibTeX RDF
14	Mary Fletcher, Cheryl McCosh, Guohua Jin, Ken Kennedy	Compiling Parallel MATLAB for General Distributions using Telescoping Languages.	ICASSP (4)	2007	DBLP DOI BibTeX RDF
14	Marc Pouly, Rolf Haenni, Michael Wachter 0001	Compiling Solution Configurations in Semiring Valuation Systems.	MICAI	2007	DBLP DOI BibTeX RDF
14	Sergey Melnik 0001, Atul Adya, Philip A. Bernstein	Compiling mappings to bridge applications and databases.	SIGMOD Conference	2007	DBLP DOI BibTeX RDF	updateable views, mapping, query rewriting
14	Anssi Yli-Jyrä, Kimmo Koskenniemi	A New Method for Compiling Parallel Replacement Rules.	CIAA	2007	DBLP DOI BibTeX RDF	regular relations, conditional replacement, two-level rules, finite-state compilation
14	Thomas Way, Tao Tao	Compiling a Mechanical Nanocomputer Adder.	CDES	2007	DBLP BibTeX RDF
14	Daniel S. McFarlin, Arun Chauhan 0001	Library Function Selection in Compiling Octave.	IPDPS	2007	DBLP DOI BibTeX RDF
14	Andrew Kennedy	Compiling with continuations, continued.	ICFP	2007	DBLP DOI BibTeX RDF	continuations, monads, optimizing compilation, continuation passing style, functional programming languages
14	Walid A. Najjar	Compiling code accelerators for FPGAs.	CODES+ISSS	2007	DBLP DOI BibTeX RDF
14	Yazhuo Dong, Yong Dou, Jie Zhou 0007	Optimized Generation of Memory Structure in Compiling Window Operations onto Reconfigurable Hardware.	ARC	2007	DBLP DOI BibTeX RDF
14	Takahiro Kosakai, Toshiyuki Maeda, Akinori Yonezawa	Compiling C Programs into a Strongly Typed Assembly Language.	ASIAN	2007	DBLP DOI BibTeX RDF	C, memory safety, typed assembly language
14	Sanguk Noh, Gihyun Jung, Eunkyoung Go, Unseob Jeong	Compiling threats into inductive rules for autonomous situation awareness.	SMC	2007	DBLP DOI BibTeX RDF
14	David H. Akehurst, W. Gareth J. Howells, Klaus D. McDonald-Maier, Behzad Bordbar	Compiling UML State Diagrams into VHDL: An Experiment in Using Model Driven Development.	FDL	2007	DBLP BibTeX RDF
14	Carlos Gómez-Rodríguez, Miguel A. Alonso 0001, Manuel Vilares Ferro	Generation of Indexes for Compiling Efficient Parsers from Formal Specifications.	EUROCAST	2007	DBLP DOI BibTeX RDF
14	Adam T. Sampson	Compiling occam to C with Tock.	CPA	2007	DBLP BibTeX RDF
14	Craig A. Knoblock, José Luis Ambite, Kavita Ganesan, Maria Muslea, Steven Minton, Greg Barish, Evan Gamble, Claude Nanjo, Kane See, Cyrus Shahabi, Ching-Chien Chen	EntityBases: Compiling, Organizing and Querying Massive Entity Repositories.	IC-AI	2007	DBLP BibTeX RDF
14	Mark Chavira, Adnan Darwiche	Compiling Bayesian Networks Using Variable Elimination.	IJCAI	2007	DBLP BibTeX RDF
14	Shin-ichi Minato, Ken Satoh, Taisuke Sato	Compiling Bayesian Networks by Symbolic Probability Calculation Based on Zero-Suppressed BDDs.	IJCAI	2007	DBLP BibTeX RDF
14	Nina Narodytska, Toby Walsh	Constraint and Variable Ordering Heuristics for Compiling Configuration Problems.	IJCAI	2007	DBLP BibTeX RDF
14	Rainer Knauf	Compiling Experience into Knowledge.	FLAIRS	2007	DBLP BibTeX RDF
14	Abhishek Mitra, Walid A. Najjar, Laxmi N. Bhuyan	Compiling PCRE to FPGA for accelerating SNORT IDS.	ANCS	2007	DBLP DOI BibTeX RDF	deep payload inspection, nondeterministic nite automata, intrusion detection system, regular expressions
14	Jean-Baptiste Note	Compilation automatique pour les FPGAs. (Automated compiling targetting FPGAs).		2007	RDF
14	Mark Chavira, Adnan Darwiche, Manfred Jaeger	Compiling relational Bayesian networks for exact inference.	Int. J. Approx. Reason.	2006	DBLP DOI BibTeX RDF
14	Klaus Indermark, Thomas Noll 0001	Algebraic Correctness Proofs for Compiling Recursive Function Definitions with Strictness Information.	Acta Informatica	2006	DBLP DOI BibTeX RDF	Stack implementation, Formal semantics, Functional languages, Evaluation strategies, Compiler correctness
14	Darrin M. Hanna, Richard E. Haskell	Flowpaths: Compiling stack-based IR to hardware.	Microprocess. Microsystems	2006	DBLP DOI BibTeX RDF
14	Wei Zhao 0002, Rainer Hauser, Kamal Bhattacharya, Barrett R. Bryant, Fei Cao	Compiling business processes: untangling unstructured loops in irreducible flow graphs.	Int. J. Web Grid Serv.	2006	DBLP DOI BibTeX RDF
14	Igor Podlubny, Katarina Kassayova	Towards a better list of citation superstars: compiling a multidisciplinary list of highly cited researchers	CoRR	2006	DBLP BibTeX RDF
14	Andrew W. Appel	Compiling with Continuations (corr. version).		2006	RDF
14	Abhishek Das, William J. Dally, Peter R. Mattson	Compiling for stream processing.	PACT	2006	DBLP DOI BibTeX RDF	SRF allocation, Stream Operation Precedence (SOP) graph, StreamC, coarse-grained operations, producer-consumer locality, scoreboard slot assignment, stream scheduling, strip-mining, software-pipelining, task level parallelism, stream programming model
14	Aaron Smith, Jon Gibson, Bertrand A. Maher, Nicholas Nethercote, Bill Yoder, Doug Burger, Kathryn S. McKinley, James H. Burrill	Compiling for EDGE Architectures.	CGO	2006	DBLP DOI BibTeX RDF
14	Matthieu Constant, Denis Maurel	Compiling Linguistic Constraints into Finite State Automata.	CIAA	2006	DBLP DOI BibTeX RDF
14	Shahar Maoz, David Harel	From multi-modal scenarios to code: compiling LSCs into aspectJ.	SIGSOFT FSE	2006	DBLP DOI BibTeX RDF	inter-object approach, aspect oriented programming, code generation, scenarios, live sequence charts, visual formalisms, UML sequence diagrams, scenario-based programming
14	Héctor Palacios, Hector Geffner	Compiling Uncertainty Away: Solving Conformant Planning Problems using a Classical Planner (Sometimes).	AAAI	2006	DBLP BibTeX RDF
14	Salem Benferhat, Henri Prade	Compiling Possibilistic Knowledge Bases.	ECAI	2006	DBLP BibTeX RDF
14	Xavier Robitaille, Yasuhiro Sasaki, Masatsugu Tonoike, Satoshi Sato, Takehito Utsuro	Compiling French-Japanese Terminologies from the Web.	EACL	2006	DBLP BibTeX RDF
14	Anssi Yli-Jyrä, Kimmo Koskenniemi	Compiling Generalized Two-Level Rules and Grammars.	FinTAL	2006	DBLP DOI BibTeX RDF
14	Naoyuki Tamura, Akiko Taga, Satoshi Kitagawa, Mutsunori Banbara	Compiling Finite Linear CSP into SAT.	CP	2006	DBLP DOI BibTeX RDF
14	Robert Mateescu, Rina Dechter	Compiling Constraint Networks into AND/OR Multi-valued Decision Diagrams (AOMDDs).	CP	2006	DBLP DOI BibTeX RDF
14	Fred R. M. Barnes	Compiling CSP.	CPA	2006	DBLP BibTeX RDF
14	Maria Fernanda Bacelar do Nascimento, José Bettencourt Gonçalves, Luísa Pereira, Antónia Estrela, Alfonso Pereira, Rui Santos, Sancho Oliveira	The African Varieties of Portuguese: Compiling Comparable Corpora and Analyzing Data-Derived Lexicon.	LREC	2006	DBLP BibTeX RDF
14	Ronny Melz, Pum-Mo Ryu, Key-Sun Choi	Compiling large language resources using lexical similarity metrics for domain taxonomy learning.	LREC	2006	DBLP BibTeX RDF
14	Kiyoaki Shirai, Hiroshi Ookawa	Compiling a Lexicon of Cooking Actions for Animation Generation.	ACL	2006	DBLP BibTeX RDF
14	Gang Ren 0002	Compiling Vector Programs for SIMD Devices		2006	RDF
14	Eben Upton	Compiling with data dependence graphs.		2006	RDF
14	Peter Steffen	Compiling a domain specific language for dynamic programming.		2006	RDF
14	Rajagopal Nagarajan, Nikolaos Papanikolaou 0001, David Williams	Simulating and Compiling Code for the Sequential Quantum Random Access Machine.	QPL	2005	DBLP DOI BibTeX RDF
14	Zoran Budimlic, Ken Kennedy	Compiling almost-whole Java programs.	Concurr. Pract. Exp.	2005	DBLP DOI BibTeX RDF
14	Monique Monteiro, Mauro Araújo, Rafael Borges, André L. M. Santos	Compiling Non-strict Functional Languages for the .NET Platform.	J. Univers. Comput. Sci.	2005	DBLP DOI BibTeX RDF
14	Paolo Zuliani	Compiling quantum programs.	Acta Informatica	2005	DBLP DOI BibTeX RDF
14	Marco Cadoli, Andrea Schaerf	: Compiling problem specifications into SAT.	Artif. Intell.	2005	DBLP DOI BibTeX RDF
14	Randy Allen	Compiling high-level languages to DSPs: automating the implementation path.	IEEE Signal Process. Mag.	2005	DBLP DOI BibTeX RDF
14	Mahmut T. Kandemir, Guangyu Chen, Ismail Kadayif	Compiling for memory emergency.	LCTES	2005	DBLP DOI BibTeX RDF	memory emergency, embedded software