Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
14 | Lan-Fen Huang |
Compiling a Corpus of Taiwanese Students' Spoken English. |
PACLIC |
2013 |
DBLP BibTeX RDF |
|
14 | Sergio Antoy, Andy Jost |
Compiling a Functional Logic Language: The Fair Scheme. |
LOPSTR |
2013 |
DBLP DOI BibTeX RDF |
|
14 | Alexander J. Pinkney, Steven R. Bagley, David F. Brailsford |
No need to justify your choice: pre-compiling line breaks to improve eBook readability. |
ACM Symposium on Document Engineering |
2013 |
DBLP DOI BibTeX RDF |
|
14 | Jean-François Condotta, Souhila Kaci |
Compiling Preference Queries in Qualitative Constraint Problems. |
FLAIRS |
2013 |
DBLP BibTeX RDF |
|
14 | Liyang Hu |
Compiling concurrency correctly : verifying software transactional memory. |
|
2013 |
RDF |
|
14 | Patrick Martin 0003, Magnus Egerstedt |
Hybrid systems tools for compiling controllers for cyber-physical systems. |
Discret. Event Dyn. Syst. |
2012 |
DBLP DOI BibTeX RDF |
|
14 | Bradford W. Wade |
Compiling SQL into System/370 Machine Language. |
IEEE Ann. Hist. Comput. |
2012 |
DBLP DOI BibTeX RDF |
|
14 | Gautam Chakrabarti, Vinod Grover, Bastiaan Aarts, Xiangyun Kong, Manjunath Kudlur, Yuan Lin, Jaydeep Marathe, Mike Murphy, Jian-Zhong Wang |
CUDA: Compiling and optimizing for a GPU platform. |
ICCS |
2012 |
DBLP DOI BibTeX RDF |
|
14 | Raouia Ayachi, Nahla Ben Amor, Salem Benferhat, Rolf Haenni |
Compiling Possibilistic Networks: Alternative Approaches to Possibilistic Inference |
CoRR |
2012 |
DBLP BibTeX RDF |
|
14 | Hatem Ghabri, Ghazi Maatoug, Michaël Rusinowitch |
Compiling symbolic attacks to protocol implementation tests. |
SCSS |
2012 |
DBLP DOI BibTeX RDF |
|
14 | Sameer Singh 0001, Thore Graepel |
Compiling Relational Database Schemata into Probabilistic Graphical Models |
CoRR |
2012 |
DBLP BibTeX RDF |
|
14 | Amit Metodi, Michael Codish |
Compiling Finite Domain Constraints to SAT with BEE |
CoRR |
2012 |
DBLP BibTeX RDF |
|
14 | James Cussens |
Bayesian network learning by compiling to weighted MAX-SAT |
CoRR |
2012 |
DBLP BibTeX RDF |
|
14 | Rastislav Bodík |
Compiling what to how: technical perspective. |
Commun. ACM |
2012 |
DBLP DOI BibTeX RDF |
|
14 | Anna Lundh, Mikael Alexandersson |
Collecting and compiling: the activity of seeking pictures in primary school. |
J. Documentation |
2012 |
DBLP DOI BibTeX RDF |
|
14 | Amit Metodi, Michael Codish |
Compiling finite domain constraints to SAT with BEE. |
Theory Pract. Log. Program. |
2012 |
DBLP DOI BibTeX RDF |
|
14 | Mihai Codescu, Feryal Fulya Horozal, Aivaras Jakubauskas, Till Mossakowski, Florian Rabe 0001 |
Compiling Logics. |
WADT |
2012 |
DBLP DOI BibTeX RDF |
|
14 | Kathy Yelick |
Compiling to avoid communication. |
PACT |
2012 |
DBLP DOI BibTeX RDF |
|
14 | Markus Püschel |
Compiling math to fast code. |
PEPM |
2012 |
DBLP DOI BibTeX RDF |
|
14 | Livio Robaldo, Leonardo Lesmo, Daniele Paolo Radicioni |
Compiling Regular Expressions to Extract Legal Modifications. |
JURIX |
2012 |
DBLP DOI BibTeX RDF |
|
14 | Maysam Lavasani, Larry Dennison, Derek Chiou |
Compiling high throughput network processors. |
FPGA |
2012 |
DBLP DOI BibTeX RDF |
|
14 | Alastair Colin Murray, Björn Franke |
Compiling for automatically generated instruction set extensions. |
CGO |
2012 |
DBLP DOI BibTeX RDF |
|
14 | Lingjia Tang, Jason Mars, Mary Lou Soffa |
Compiling for niceness: mitigating contention for QoS in warehouse scale computers. |
CGO |
2012 |
DBLP DOI BibTeX RDF |
|
14 | Peter P. Puschner, Raimund Kirner, Benedikt Huber, Daniel Prokesch |
Compiling for Time Predictability. |
SAFECOMP Workshops |
2012 |
DBLP DOI BibTeX RDF |
|
14 | Mark Batty, Kayvan Memarian, Scott Owens, Susmit Sarkar, Peter Sewell |
Clarifying and compiling C/C++ concurrency: from C++11 to POWER. |
POPL |
2012 |
DBLP DOI BibTeX RDF |
|
14 | Timo Stripf, Oliver Oey, Thomas Bruckschlögl, Ralf König 0001, Michael Hübner 0001, Jürgen Becker 0001, Gerard K. Rauwerda, Kim Sunesen, Nikolaos Kavvadias, Grigoris Dimitroulakos, Kostas Masselos, Dimitrios Kritharidis, Nikolaos Mitas, George Goulas, Panayiotis Alefragis, Nikolaos S. Voros, Steven Derrien, Daniel Ménard, Olivier Sentieys, Diana Göhringer, Thomas Perschke |
A flexible approach for compiling scilab to reconfigurable multi-core embedded systems. |
ReCoSoC |
2012 |
DBLP DOI BibTeX RDF |
|
14 | Xinmin Tian, Hideki Saito 0001, Milind Girkar, Serguei Preis, Sergey Kozhukhov, Aleksei G. Cherkasov, Clark Nelson, Nikolay Panchenko, Robert Geva |
Compiling C/C++ SIMD Extensions for Function and Loop Vectorizaion on Multicore-SIMD Processors. |
IPDPS Workshops |
2012 |
DBLP DOI BibTeX RDF |
|
14 | Amit Metodi, Roni Stern, Meir Kalech, Michael Codish |
Compiling Model-Based Diagnosis to Boolean Satisfaction. |
AAAI |
2012 |
DBLP DOI BibTeX RDF |
|
14 | Christophe Dubach, Perry Cheng, Rodric M. Rabbah, David F. Bacon, Stephen J. Fink |
Compiling a high-level language for GPUs: (via language support for architectures and compilers). |
PLDI |
2012 |
DBLP DOI BibTeX RDF |
|
14 | De-An Huang, Jie-Hong R. Jiang, Ruei-Yang Huang, Chi-Yun Cheng |
Compiling program control flows into biochemical reactions. |
ICCAD |
2012 |
DBLP DOI BibTeX RDF |
|
14 | Sergio Antoy, Arthur Michener Peters |
Compiling a Functional Logic Language: The Basic Scheme. |
FLOPS |
2012 |
DBLP DOI BibTeX RDF |
|
14 | Alexandre Papadopoulos, Barry O'Sullivan |
Compiling Domain Consequences. |
ICTAI |
2012 |
DBLP DOI BibTeX RDF |
|
14 | Jérôme Amilhastre, Hélène Fargier, Alexandre Niveau, Cédric Pralet |
Compiling CSPs: A Complexity Map of (Non-Deterministic) Multivalued Decision Diagrams. |
ICTAI |
2012 |
DBLP DOI BibTeX RDF |
|
14 | Andrea Triossi, Salvatore Orlando 0001, Alessandra Raffaetà, Thom W. Frühwirth |
Compiling CHR to parallel hardware. |
PPDP |
2012 |
DBLP DOI BibTeX RDF |
|
14 | Raouia Ayachi, Nahla Ben Amor, Salem Benferhat |
Possibilistic Local Structure for Compiling Min-Based Networks. |
SMPS |
2012 |
DBLP DOI BibTeX RDF |
|
14 | Benjamin Matthes, Christoph Zengler, Wolfgang Küchlin |
An Improved Constraint Ordering Heuristics for Compiling Configuration Problems. |
Configuration Workshop |
2012 |
DBLP BibTeX RDF |
|
14 | Yongpeng Zhang, Frank Mueller 0001 |
CuNesl: Compiling Nested Data-Parallel Languages for SIMT Architectures. |
ICPP |
2012 |
DBLP DOI BibTeX RDF |
|
14 | John Sartori, Rakesh Kumar 0002 |
Compiling for energy efficiency on timing speculative processors. |
DAC |
2012 |
DBLP DOI BibTeX RDF |
|
14 | Dongpeng Xu 0001, Qilong Zheng |
An Address-Based Compiling Optimization for FFT on Multi-cluster DSP. |
PAAP |
2012 |
DBLP DOI BibTeX RDF |
|
14 | Alexander Geyken, Thomas Gloning, Thomas Stäcker |
Compiling large historical reference corpora of German: Quality Assurance, Interoperability and Collaboration in the Process of Publication of Digitized Historical Prints. |
DH |
2012 |
DBLP BibTeX RDF |
|
14 | Gabriel Kerneis |
Continuation-Passing C: Program Transformations for Compiling Concurrency in an Imperative Language. (Continuation-Passing C : Transformations de programmes pour compiler la concurrence dans un langage impératif). |
|
2012 |
RDF |
|
14 | Alexandru Caracas |
Modeling, compiling, and efficiently executing business processes on resource-constrained wireless sensor networks. |
|
2012 |
RDF |
|
14 | Fangzhen Lin |
Compiling Causal Theories to Successor State Axioms and STRIPS-Like Systems |
CoRR |
2011 |
DBLP BibTeX RDF |
|
14 | Thomas Neumann 0001 |
Efficiently Compiling Efficient Query Plans for Modern Hardware. (PDF / PS) |
Proc. VLDB Endow. |
2011 |
DBLP DOI BibTeX RDF |
|
14 | Gabriel Kerneis, Juliusz Chroboczek |
Erratum to: Continuation-Passing C, compiling threads to events through continuations. |
High. Order Symb. Comput. |
2011 |
DBLP DOI BibTeX RDF |
|
14 | Gabriel Kerneis, Juliusz Chroboczek |
Continuation-Passing C, compiling threads to events through continuations. |
High. Order Symb. Comput. |
2011 |
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 Organization. |
Comput. J. |
2011 |
DBLP DOI BibTeX RDF |
|
14 | Oren Antebi, Markus Neubrand, Arno Puder |
Cross-Compiling Android Applications to Windows Phone 7. |
MobiCASE |
2011 |
DBLP DOI BibTeX RDF |
|
14 | Katsunori Kotani, Takehiko Yoshimi, Hiroaki Nanjo, Hitoshi Isahara |
Compiling Learner Corpus Data of Linguistic Output and Language Processing in Speaking, Listening, Writing, and Reading. |
IJCNLP |
2011 |
DBLP BibTeX RDF |
|
14 | Bin Ren, Gagan Agrawal |
Compiling Dynamic Data Structures in Python to Enable the Use of Multi-core and Many-core Libraries. |
PACT |
2011 |
DBLP DOI BibTeX RDF |
|
14 | Ziyu Guo, Eddy Zheng Zhang, Xipeng Shen |
Correctly Treating Synchronizations in Compiling Fine-Grained SPMD-Threaded Programs for CPU. |
PACT |
2011 |
DBLP DOI BibTeX RDF |
|
14 | Sonia Jahid, Carl A. Gunter, Imranul Hoque, Hamed Okhravi |
MyABDAC: compiling XACML policies for attribute-based database access control. |
CODASPY |
2011 |
DBLP DOI BibTeX RDF |
|
14 | Krister Lindén, Erik Axelson, Sam Hardwick, Flammie A. Pirinen, Miikka Silfverberg |
HFST - Framework for Compiling and Applying Morphologies. |
SFCM |
2011 |
DBLP DOI BibTeX RDF |
|
14 | Claus Traulsen, T. Amende, Reinhard von Hanxleden |
Compiling SyncCharts to Synchronous C. |
DATE |
2011 |
DBLP DOI BibTeX RDF |
|
14 | Simon Yuan, Li Hsien Yoong, Partha S. Roop |
Compiling Esterel for Multi-core Execution. |
DSD |
2011 |
DBLP DOI BibTeX RDF |
|
14 | Paul Maier, Dominik Jain, Martin Sachenbacher |
Compiling AI Engineering Models for Probabilistic Inference. |
KI |
2011 |
DBLP DOI BibTeX RDF |
|
14 | Shu-yu Guo, Jens Palsberg |
The essence of compiling with traces. |
POPL |
2011 |
DBLP DOI BibTeX RDF |
|
14 | Cédric Fournet, Jérémy Planul |
Compiling Information-Flow Security to Minimal Trusted Computing Bases. |
ESOP |
2011 |
DBLP DOI BibTeX RDF |
|
14 | Raouia Ayachi, Nahla Ben Amor, Salem Benferhat |
Compiling Min-based Possibilistic Causal Networks: A Mutilated-Based Approach. |
ECSQARU |
2011 |
DBLP DOI BibTeX RDF |
|
14 | Michael Eichberg |
Compiling Prolog to Idiomatic Java. |
ICLP (Technical Communications) |
2011 |
DBLP DOI BibTeX RDF |
|
14 | Neng-Fa Zhou, Yi-Dong Shen, Jia-Huai You |
Compiling Answer Set Programs into Event-Driven Action Rules. |
LPNMR |
2011 |
DBLP DOI BibTeX RDF |
|
14 | Dan R. Ghica, Alex I. Smith, Satnam Singh |
Geometry of synthesis iv: compiling affine recursion into static hardware. |
ICFP |
2011 |
DBLP DOI BibTeX RDF |
|
14 | Alexandru Caracas, Alexander Bernauer |
Compiling business process models for sensor networks. |
DCOSS |
2011 |
DBLP DOI BibTeX RDF |
|
14 | Raouia Ayachi, Nahla Ben Amor, Salem Benferhat |
An Augmented-Based Approach for Compiling Min-based Possibilistic Causal Networks. |
ICTAI |
2011 |
DBLP DOI BibTeX RDF |
|
14 | Haruaki Tamada, Akihiro Ogino, Hirotada Ueda |
A Framework for Programming Process Measurement and Compiling Error Interpretation for Novice Programmers. |
IWSM/Mensura |
2011 |
DBLP DOI BibTeX RDF |
|
14 | Abhay Kumar Jha, Dan Suciu |
Knowledge compilation meets database theory: compiling queries to decision diagrams. |
ICDT |
2011 |
DBLP DOI BibTeX RDF |
|
14 | Nick Bray |
PyStream: Compiling Python onto the GPU. |
SciPy |
2011 |
DBLP DOI BibTeX RDF |
|
14 | Anssi Yli-Jyrä |
Compiling Simple Context Restrictions with Nondeterministic Automata. |
FSMNLP |
2011 |
DBLP BibTeX RDF |
|
14 | Tai Feng Zhang, Wei Yi Zhao, Xiao-Hua Yang, Zeng Jie Cai |
Compiling the marine environment spectrum based on inversion satellite remote sensing data. |
ISI |
2011 |
DBLP DOI BibTeX RDF |
|
14 | Jesús Sánchez Cuadrado, Jesús M. Perera Aracil |
Compiling ATL with Continuations. |
MtATL@TOOLS |
2011 |
DBLP BibTeX RDF |
|
14 | Nikola Ljubesic, Tomaz Erjavec |
hrWaC and slWac: Compiling Web Corpora for Croatian and Slovene. |
TSD |
2011 |
DBLP DOI BibTeX RDF |
|
14 | Bryan Catanzaro, Michael Garland, Kurt Keutzer |
Copperhead: compiling an embedded data parallel language. |
PPoPP |
2011 |
DBLP DOI BibTeX RDF |
|
14 | Masakazu Ishihata, Taisuke Sato, Shin-ichi Minato |
Compiling Bayesian Networks for Parameter Learning Based on Shared BDDs. |
Australasian Conference on Artificial Intelligence |
2011 |
DBLP DOI BibTeX RDF |
|
14 | Amir Hormati |
Compiling Stream Applications for Heterogeneous Architectures. |
|
2011 |
RDF |
|
14 | Yannick Chevalier, Michaël Rusinowitch |
Compiling and securing cryptographic protocols. |
Inf. Process. Lett. |
2010 |
DBLP DOI BibTeX RDF |
|
14 | Javier García-García 0002, Emre Guney, Ramon Aragues, Joan Planas-Iglesias, Baldo Oliva |
Biana: a software framework for compiling biological interactions and analyzing networks. |
BMC Bioinform. |
2010 |
DBLP DOI BibTeX RDF |
|
14 | Yi Yan, Hangping Zhang |
Compiling Ladder Diagram into Instruction List to comply with IEC 61131-3. |
Comput. Ind. |
2010 |
DBLP DOI BibTeX RDF |
|
14 | Henning Thielemann |
Compiling Signal Processing Code embedded in Haskell via LLVM |
CoRR |
2010 |
DBLP BibTeX RDF |
|
14 | Gabriel Kerneis, Juliusz Chroboczek |
Continuation-Passing C, compiling threads to events through continuations |
CoRR |
2010 |
DBLP BibTeX RDF |
|
14 | David A. Wheeler |
Fully Countering Trusting Trust through Diverse Double-Compiling. |
CoRR |
2010 |
DBLP BibTeX RDF |
|
14 | David A. Wheeler |
Countering Trusting Trust through Diverse Double-Compiling. |
CoRR |
2010 |
DBLP BibTeX RDF |
|
14 | João M. P. Cardoso, Pedro C. Diniz, Markus Weinhardt |
Compiling for reconfigurable computing: A survey. |
ACM Comput. Surv. |
2010 |
DBLP DOI BibTeX RDF |
|
14 | Arquimedes Canedo, Ben A. Abderazek, Masahiro Sowa |
Compiling for Reduced Bit-Width Queue Processors. |
J. Signal Process. Syst. |
2010 |
DBLP DOI BibTeX RDF |
|
14 | Yosi Ben-Asher, Nadav Rotem, Eddie Shochat |
Finding the best compromise in compiling compound loops to Verilog. |
J. Syst. Archit. |
2010 |
DBLP DOI BibTeX RDF |
|
14 | Christoph W. Kessler |
Compiling for VLIW DSPs. |
Handbook of Signal Processing Systems |
2010 |
DBLP DOI BibTeX RDF |
|
14 | Konrad Slind, Guodong Li, Scott Owens |
Compiling Higher Order Logic by Proof. |
Design and Verification of Microprocessor Systems for High-Assurance Applications |
2010 |
DBLP DOI BibTeX RDF |
|
14 | Stephen A. Edwards, Nalini Vasudevan |
Compiling SHIM. |
Synthesis of Embedded Software |
2010 |
DBLP DOI BibTeX RDF |
|
14 | Adam Shea, Brian Fett, Marc D. Riedel, Keshab K. Parhi |
Writing and Compiling Code into Biochemistry. |
Pacific Symposium on Biocomputing |
2010 |
DBLP BibTeX RDF |
|
14 | Arno Puder |
Cross-compiling Android applications to the iPhone. |
PPPJ |
2010 |
DBLP DOI BibTeX RDF |
|
14 | Jens Huthmann, Peter Müller 0010, Florian Stock, Dietmar Hildenbrand, Andreas Koch 0001 |
Compiling Geometric Algebra Computations into Reconfigurable Hardware Accelerators. |
Dynamically Reconfigurable Architectures |
2010 |
DBLP BibTeX RDF |
|
14 | Daniel P. Volpato, Alexandre Keunecke Ignácio Mendonça, Luiz C. V. dos Santos, José Luís Almada Güntzel |
A Post-compiling Approach that Exploits Code Granularity in Scratchpads to Improve Energy Efficiency. |
ISVLSI |
2010 |
DBLP DOI BibTeX RDF |
|
14 | Raouia Ayachi, Nahla Ben Amor, Salem Benferhat, Rolf Haenni |
Compiling Possibilistic Networks: Alternative Approaches to Possibilistic Inference. |
UAI |
2010 |
DBLP BibTeX RDF |
|
14 | Pritish Jetley, Laxmikant V. Kalé |
Static macro data flow: Compiling global control into local control. |
IPDPS Workshops |
2010 |
DBLP DOI BibTeX RDF |
|
14 | Andrew McCreight, Tim Chevalier, Andrew P. Tolmach |
A certified framework for compiling and executing garbage-collected languages. |
ICFP |
2010 |
DBLP DOI BibTeX RDF |
|
14 | Alexandre Albore, Héctor Palacios, Hector Geffner |
Compiling Uncertainty Away in Non-Deterministic Conformant Planning. |
ECAI |
2010 |
DBLP DOI BibTeX RDF |
|
14 | Kimmo Koskenniemi, Miikka Silfverberg |
A Method for Compiling Two-Level Rules with Multiple Contexts. |
SIGMORPHON |
2010 |
DBLP BibTeX RDF |
|
14 | Rahul Garg 0003, José Nelson Amaral |
Compiling Python to a hybrid execution environment. |
GPGPU |
2010 |
DBLP DOI BibTeX RDF |
|
14 | Steven R. Bagley |
Lessons from the dragon: compiling PDF to machine code. |
ACM Symposium on Document Engineering |
2010 |
DBLP DOI BibTeX RDF |
|
14 | Iulian Dragos |
Compiling Scala for Performance. |
|
2010 |
DOI RDF |
|
14 | Bolette Sandford Pedersen, Sanni Nimb, Jørg Asmussen, Nicolai Hartvig Sørensen, Lars Trap-Jensen, Henrik Lorentzen |
DanNet: the challenge of compiling a wordnet for Danish by reusing a monolingual dictionary. |
Lang. Resour. Evaluation |
2009 |
DBLP DOI BibTeX RDF |
|