Search results for "Compiling"

Hits ?▲	Authors	Title	Venue	Year	Link
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