Home Catalogue search

eng

Refine your search:

Search in the Catalogues and Directories






	Sort by
Simple Search

Page: 1 2 3 4 5

Hits 1 – 20 of 81

1	The hand’s self-reflection
	Swartz, David, 1972-. - 2019
	BASE
	Show details

2	Pointer Disambiguation via Strict Inequalities
	Maalej, Maroua; Paisante, Vitor; Pedro, Ramos; Gonnord, Laure; Pereira, Fernando
	In: Proceedings of the 2017 International Symposium on Code Generation and Optimization ; Code Generation and Optimisation ; https://hal.archives-ouvertes.fr/hal-01387031 ; Code Generation and Optimisation , Feb 2017, Austin, United States. pp.134-147 (2017)
	Abstract: International audience ; The design and implementation of static analyses that disambiguate pointershas been a focus of research since the early days of compiler construction.One of the challenges that arise in this context is the analysis of languagesthat support pointer arithmetics, such as C, C++ and assembly dialects.This paper contributes to solve this challenge.We start from an obvious, yet unexplored, observation: if a pointeris strictly less than another, they cannot alias.Motivated by this remark, we use the abstract interpretation framework tobuild strict less-than relations between pointers.To this end, we construct a program representation that bestows the StaticSingle Information (SSI) property onto our dataflow analysis.SSI gives us an efficient sparse algorithm, which, once seen as aform of abstract interpretation, is correct by construction.We have implemented our static analysis in LLVM.It runs in time linear on the number of program variables, and, depending onthe benchmark, it can be as much as six times more precise than the pointerdisambiguation techniques already in place in that compiler.
	Keyword: [INFO.INFO-CL]Computer Science [cs]/Computation and Language [cs.CL]; [INFO.INFO-DS]Computer Science [cs]/Data Structures and Algorithms [cs.DS]; Alias Analysis; Precision; Range Analysis; Speed; Static Analysis
	URL: https://hal.archives-ouvertes.fr/hal-01387031/file/CGO17_AuthorVersion.pdf https://hal.archives-ouvertes.fr/hal-01387031/document https://hal.archives-ouvertes.fr/hal-01387031
	BASE
	Hide details

3	Multinomial Loss on Held-out Data for the Sparse Non-negative Matrix Language Model ...
	Chelba, Ciprian; Pereira, Fernando. - : arXiv, 2015
	BASE
	Show details

4	Ficção e encenação : o desenho como narrativa visual
	Lopes, Vasco de Brito Costa Mendes, 1969-. - 2015
	BASE
	Show details

5	Qualinet White Paper on Definitions of Quality of Experience
	Brunnström, Kjell; Beker, Sergio Ariel; De Moor, Katrien...
	In: https://hal.archives-ouvertes.fr/hal-00977812 ; 2013 (2013)
	BASE
	Show details

6	Large Scale Distributed Acoustic Modeling With Back-off N-grams ...
	Chelba, Ciprian; Xu, Peng; Pereira, Fernando. - : arXiv, 2013
	BASE
	Show details

7	Controlling Complexity in Part-of-Speech Induction
	Graça, João V; Ganchev, Kuzman; Coheur, Luísa...
	In: Departmental Papers (CIS) (2011)
	BASE
	Show details

8	A theory of learning from different domains
	Ben-David, Shai; Blitzer, John; Crammer, Koby...
	In: Ben-David, Shai; Blitzer, John; Crammer, Koby; Kulesza, Alex; Pereira, Fernando; & Vaughan, Jennifer Wortman. (2010). A theory of learning from different domains. Machine Learning, 79(1), pp 151-175. doi:10.1007/s10994-009-5152-4. Retrieved from: http://www.escholarship.org/uc/item/2nv1j9sc (2010)
	BASE
	Show details

9	Experiments in graph-based semi-supervised learning methods for class-instance acquisition
	Talukdar, Partha Pratim; Pereira, Fernando
	In: Association for Computational Linguistics. Proceedings of the conference. - Stroudsburg, Penn. : ACL 48 (2010) 2, 1473-1481
	BLLDB
	Show details

10	Learning with Incidental Supervision
	Klementiev, Alexandre A.. - 2009
	BASE
	Show details

11	Reading the Markets: Forecasting Public Opinion of Political Candidates by News Analysis
	Lerman, Kevin; Gilder, Ari; Dredze, Mark. - 2008
	BASE
	Show details

12	Reading the Markets: Forecasting Public Opinion of Political Candidates by News Analysis ...
	Lerman, Kevin; Gilder, Ari; Dredze, Mark. - : Columbia University, 2008
	BASE
	Show details

13	Penn/Umass/CHOP Biocreative II systems
	Ganchev, Kuzman; Crammer, Koby; Pereira, Fernando...
	In: Andrew McCallum (2007)
	BASE
	Show details

14	Online learning of approximate dependency parsing algorithms
	McDonald, Ryan; Pereira, Fernando C. N.
	In: Association for Computational Linguistics / European Chapter. Conference of the European Chapter of the Association for Computational Linguistics. - Menlo Park, Calif. : ACL 11 (2006), 81-88
	BLLDB
	Show details

15	Prolog and Natural Language Analysis
	Shieber, Stuart M.; Pereira, Fernando C. N.. - 2004
	BASE
	Show details

16	Weighted finite-state transducers in speech recognition
	Mohri, Mehryar; Pereira, Fernando; Riley, Michael
	In: Computer speech and language. - Amsterdam [u.a.] : Elsevier 16 (2002) 1, 69-88
	OLC Linguistik
	Show details

17	Formal grammar and information theory : together again?
	Pereira, Fernando C. N.
	In: The legacy of Zellig Harris ; 2. Computability of language and computer applications. - Amsterdam [u.a.] : Benjamins (2002), 13-32
	BLLDB
	Show details

18	The MPEG-4 Book
	Pereira, Fernando; Ebrahimi, Touradj. - Upper Saddle River, NJ : Prentice Hall, 2002
	MPI für Psycholinguistik
	Show details

19	Weighted Finite-State Transducers in Speech Recognition
	Mohri, Mehryar; Pereira, Fernando; Riley, Michael
	In: Departmental Papers (CIS) (2001)
	BASE
	Show details

20	Fragments : studies in ellipsis and gapping
	Meyer-Viol, Wilfried (Mitarb.); Dalrymple, Mary (Mitarb.); Shieber, Stuart M. (Mitarb.). - New York, NY : Oxford Univ. Press, 1999
	BLLDB
	UB Frankfurt Linguistik
	Show details

Page: 1 2 3 4 5

© 2013 - 2024 Lin|gu|is|tik | Imprint | Privacy Policy | Datenschutzeinstellungen ändern