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 |