Search results for "references"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
3	Lars Birkedal, Kristian Støvring, Jacob Thamsborg	Relational parametricity for references and recursive types.	TLDI	2009	DBLP DOI BibTeX RDF	general references, impredicative polymorphism, denotational semantics, recursive types, relational parametricity, possible world semantics
3	Kisung Lee, Jin Hyun Son, Gun-Woo Kim, Myoung-Ho Kim	Web document compaction by compressing URI references in RDF and OWL data.	ICUIMC	2008	DBLP DOI BibTeX RDF	URI references, semantic web, compression, OWL, RDF
3	Rosilde Corvino, Stéphane Mancini, Roberto Guizzetti	Automatic generation of a parallel tile processing unit for algorithms with non-affine array references.	IFMT	2008	DBLP DOI BibTeX RDF	computations scheduling, design space exploration (DSE), non-affine array references, super-tiling, mapping, high-level synthesis (HLS), tiling
3	Kiev Gama, Didier Donsez	A Practical Approach for Finding Stale References in a Dynamic Service Platform.	CBSE	2008	DBLP DOI BibTeX RDF	stale references, dynamic services, runtime diagnostics, component validation, OSGi, memory leaks
3	Kiev Gama, Didier Donsez	Using the service coroner tool for diagnosing stale references in the OSGi platform.	Middleware (Companion)	2008	DBLP DOI BibTeX RDF	stale references, aspect oriented programming, OSGi, services platform
3	Jeffrey W. Chastine, Ying Zhu	The cost of supporting references in collaborative augmented reality.	Graphics Interface	2008	DBLP DOI BibTeX RDF	referencing, collaboration, augmented reality, awareness, references
3	Cheng Peng, Xiang Qian, Datian Ye	Electrogastrogram extraction using independent component analysis with references.	Neural Computing and Applications	2007	DBLP DOI BibTeX RDF	Independent component analysis with references, Electrogastrogram, Independent component analysis
3	Raphael Hoffmann, James Fogarty, Daniel S. Weld	Assieme: finding and leveraging implicit references in a web search interface for programmers.	UIST	2007	DBLP DOI BibTeX RDF	implicit references, web search interfaces
3	Kevin Donnelly, J. J. Hallett, Assaf J. Kfoury	Formal semantics of weak references.	ISMM	2006	DBLP DOI BibTeX RDF	weak references, garbage collection, formal semantics
3	Tom Van Cutsem, Jessie Dedecker, Stijn Mostinckx, Elisa Gonzalez Boix, Theo D'Hondt, Wolfgang De Meuter	Ambient references: addressing objects in mobile networks.	OOPSLA Companion	2006	DBLP DOI BibTeX RDF	remote object references, ubiquitous computing, mobile ad hoc networks, pervasive computing, language design
3	Onur Mutlu, Hyesoon Kim, David N. Armstrong, Yale N. Patt	Using the First-Level Caches as Filters to Reduce the Pollution Caused by Speculative Memory References.	International Journal of Parallel Programming	2005	DBLP DOI BibTeX RDF	cache filtering, speculative memory references, Caches, runahead execution, cache pollution
3	Sunghun Kim, E. James Whitehead Jr.	Properties of academic paper references.	Hypertext	2004	DBLP DOI BibTeX RDF	paper references, hyperlink
3	Onur Mutlu, Hyesoon Kim, David N. Armstrong, Yale N. Patt	Understanding the effects of wrong-path memory references on processor performance.	WMPI	2004	DBLP DOI BibTeX RDF	processor performance analysis, wrong path modeling, wrong-path memory references, speculative execution, data prefetching, execution-driven simulation, cache pollution
3	Nicholas Mitchell, Larry Carter, Jeanne Ferrante	Localizing Non-Affine Array References.	IEEE PACT	1999	DBLP DOI BibTeX RDF	shackling, indirect memory references, inspector-executor, cache, locality, tiling, TLB, remapping
3	Geoffrey Smith, Dennis M. Volpano	Polymorphic typing of Variables and References.	ACM Trans. Program. Lang. Syst.	1996	DBLP DOI BibTeX RDF	variables, assignment, references
3	Francois Parmentier, Abdel Belaïd	Bibliography references validation using emergent architecture. (PDF / PS)	ICDAR	1995	DBLP DOI BibTeX RDF	bibliography references validation, emergent architecture, semantic recognition, OCR flow, sub-fields, bibliography reference database, principal terms, concept network, appropriate agents, OCR errors, semantic networks, structured data
3	Chi-Hung Chi, Chi-Sum Ho, Siu-Chung Lau	Reducing memory latency using a small software driven array cache.	HICSS	1995	DBLP DOI BibTeX RDF	small software driven array cache, data references, array reference, nonarray reference, data cache designs, cache space, cache control mechanisms, array references, data cache performance, hardware driven data prefetching scheme, software driven cache design, array cache, low runtime overhead, performance evaluation, data structures, compiler, programming, programming, prefetching, program compilers, cache storage, cache performance, temporal locality, spatial locality, memory latency
2	Soyoon Lee, Hyokyung Bahn, Sam H. Noh	Characterizing Memory Write References for Efficient Management of Hybrid PCM and DRAM Memory.	MASCOTS	2011	DBLP DOI BibTeX RDF	hybrid memory, write references, CLOCK algorithm, phase change memory
2	Craig S. Miller, Ljubomir Perkovic, Amber Settle	File references, trees, and computational thinking.	ITiCSE	2010	DBLP DOI BibTeX RDF	file referencing, tree structures, web development, computational thinking
2	Danny Hendler, Philipp Woelfel	Adaptive randomized mutual exclusion in sub-logarithmic expected time.	PODC	2010	DBLP DOI BibTeX RDF	rmrs, adaptive, distributed algorithms, mutual exclusion, remote memory references
2	Hans Gellersen, Carl Fischer, Dominique Guinard, Roswitha Gostner, Gerd Kortuem, Christian Kray, Enrico Rukzio, Sara Streng	Supporting device discovery and spontaneous interaction with spatial references.	Personal and Ubiquitous Computing	2009	DBLP DOI BibTeX RDF	Spatial user interface, Relative positioning, Spontaneous interaction
2	Matthew Rowe	Applying Semantic Social Graphs to Disambiguate Identity References.	ESWC	2009	DBLP DOI BibTeX RDF
2	Patti Bao, Darren Gergle	What's "this" you say?: the use of local references on distant displays.	CHI	2009	DBLP DOI BibTeX RDF	language, large display, discourse, field of view
2	Eijiro Sumii	A Complete Characterization of Observational Equivalence in Polymorphic lambda-Calculus with General References.	CSL	2009	DBLP DOI BibTeX RDF
2	Lars Birkedal, Kristian Støvring, Jacob Thamsborg	Realizability Semantics of Parametric Polymorphism, General References, and Recursive Types.	FOSSACS	2009	DBLP DOI BibTeX RDF
2	Cagatay Calli	Prediction of protein-protein interaction relevance of articles using references.	ISCIS	2009	DBLP DOI BibTeX RDF
2	Danny Hendler, Philipp Woelfel	Randomized mutual exclusion in O(log N / log log N) RMRs.	PODC	2009	DBLP DOI BibTeX RDF	remote memory references (RMRS), mutual exclusion
2	Elisa Gonzalez Boix, Tom Van Cutsem, Jorge Vallejos, Wolfgang De Meuter, Theo D'Hondt	A Leasing Model to Deal with Partial Failures in Mobile Ad Hoc Networks.	TOOLS	2009	DBLP DOI BibTeX RDF	partial failures, remote object references, mobile ad hoc networks, language design, leasing
2	Nuno Freire, José Luis Borbinha, Bruno Martins	Consolidation of References to Persons in Bibliographic Databases.	ICADL	2008	DBLP DOI BibTeX RDF	bibliographic metadata, machine learning, Entity resolution, similarity metrics
2	Tong Chen, Tao Zhang, Zehra Sura, Marc Gonzáles Tallada	Prefetching irregular references for software cache on cell.	CGO	2008	DBLP DOI BibTeX RDF	prefetch, DMA, software cache
2	Andy Carver	How to Avoid Redundant Object-References.	OTM Workshops	2008	DBLP DOI BibTeX RDF
2	Kiev Gama, Didier Donsez	Service Coroner: A Diagnostic Tool for Locating OSGi Stale References.	EUROMICRO-SEAA	2008	DBLP DOI BibTeX RDF
2	Joachim Schmidt, Nils Hofemann, Axel Haasch, Jannik Fritsch, Gerhard Sagerer	Interacting with a mobile robot: Evaluating gestural object references.	IROS	2008	DBLP DOI BibTeX RDF
2	M. Teresa Higuera-Toledano	Allowing Cycle References by Introducing Controlled Violations of the Assignment Rules in Real-Time Java.	ISORC	2008	DBLP DOI BibTeX RDF	Garbage Collection, Memory Management, Real-Time Java, Memory Regions
2	Miguel Rodríguez Luaces, Ángeles S. Places, Francisco J. Rodríguez, Diego Seco	Retrieving Documents with Geographic References Using a Spatial Index Structure Based on Ontologies.	ER Workshops	2008	DBLP DOI BibTeX RDF
2	Kohei Suenaga	Type-Based Deadlock-Freedom Verification for Non-Block-Structured Lock Primitives and Mutable References.	APLAS	2008	DBLP DOI BibTeX RDF
2	Joseph T.-s. Tsai, Herming Chiueh	High linear voltage references for on-chip CMOS smart temperature sensor from -60degreeC to 140degreeC.	ISCAS	2008	DBLP DOI BibTeX RDF
2	Robert Pasley, Paul Clough, Ross S. Purves, Florian A. Twaroch	Mapping geographic coverage of the web.	GIS	2008	DBLP DOI BibTeX RDF	geographic references, web coverage, geographic information retrieval, gazetteers
2	Günter Krampen, Ralf Becker, Ute Wahner, Leo Montada	On the validity of citation counting in science evaluation: Content analyses of references and citations in psychological publications.	Scientometrics	2007	DBLP DOI BibTeX RDF
2	Zi-Lin He, Min Deng	The evidence of systematic noise in non-patent references: A study of New Zealand companies' patents.	Scientometrics	2007	DBLP DOI BibTeX RDF
2	Dalton M. Colombo, Gilson I. Wirth, Sergio Bampi	Trim range limited by noise in bandgap voltage references.	SBCCI	2007	DBLP DOI BibTeX RDF	bandgap, trim circuit, noise, CMOS, voltage reference
2	Yoav Etsion, Dror G. Feitelson	L1 Cache Filtering Through Random Selection of Memory References.	PACT	2007	DBLP DOI BibTeX RDF
2	James Laird	A Fully Abstract Trace Semantics for General References.	ICALP	2007	DBLP DOI BibTeX RDF
2	Nathan Wiebe, John Anderson	A local approach to developing grounded spatial references in multi-robot systems.	IROS	2007	DBLP DOI BibTeX RDF
2	Christoph Becker, Sebastian Staamann, Ralf Salomon	Security Analysis of the Utilization of Corba Object References as Authorization Tokens.	ISORC	2007	DBLP DOI BibTeX RDF
2	M. Teresa Higuera-Toledano	Allowing Cycles References among Scoped Memory Areas in the Real-Time Specification of Java.	ISORC	2007	DBLP DOI BibTeX RDF	Java, real-time, memory management
2	Christian Falconi, Arnaldo D'Amico, Giuseppe Scotti, Alessandro Trifiletti	Low Voltage CMOS Current and Voltage References without Resistors.	ISCAS	2007	DBLP DOI BibTeX RDF
2	Nikos Tzevelekos	Full abstraction for nominal general references.	LICS	2007	DBLP DOI BibTeX RDF
2	Jon Heggland	Foreign Superkeys and Constant References.	IDEAS	2007	DBLP DOI BibTeX RDF	Relational theory, entity subclassing, foreign keys, integrity constraints
2	Wojciech M. Golab, Vassos Hadzilacos, Danny Hendler, Philipp Woelfel	Constant-RMR implementations of CAS and other synchronization primitives using read and write operations.	PODC	2007	DBLP DOI BibTeX RDF	comparison primitives, shared memory, consensus, mutual exclusion, remote memory references
2	Andrew W. Appel, Paul-André Melliès, Christopher D. Richards, Jérôme Vouillon	A very modal model of a modern, major, general type system.	POPL	2007	DBLP DOI BibTeX RDF	impredicative polymorphism, mutable references, recursive types, Kripke models
2	Kristian Støvring, Søren B. Lassen	A complete, co-inductive syntactic theory of sequential control and state.	POPL	2007	DBLP DOI BibTeX RDF	mutable references, continuations, bisimulation
2	Yarom Gabay, Assaf J. Kfoury	A calculus for java's reference objects.	SIGPLAN Notices	2007	DBLP DOI BibTeX RDF	java reference objects, weak references, garbage collection, formal languages
2	Warren Harrison	Building References for the Future.	IEEE Software	2006	DBLP DOI BibTeX RDF	career development
2	M. Teresa Higuera-Toledano	Hardware support for detecting illegal references in a multiapplication real-time Java environment.	ACM Trans. Embedded Comput. Syst.	2006	DBLP DOI BibTeX RDF	garbage collection, memory management, Write barriers
2	Julie Callaert, Bart Van Looy, Arnold Verbeek, Koenraad Debackere, Bart Thijs	Traces of Prior Art: An analysis of non-patent references found in patent documents.	Scientometrics	2006	DBLP DOI BibTeX RDF
2	V. K. Gupta	References to literature in patent documents: A case study of CSIR in India.	Scientometrics	2006	DBLP DOI BibTeX RDF
2	Leo Egghe, I. K. Ravichandra Rao, Bibhuti Bhusan Sahoo	Proof of a conjecture of Moed and Garfield on authoritative references and extension to non-authoritative references.	Scientometrics	2006	DBLP DOI BibTeX RDF
2	Patrice Chalin, Frédéric Rioux	Non-null references by default in the Java modeling language.	ACM SIGSOFT Software Engineering Notes	2006	DBLP DOI BibTeX RDF	non-null references, reference types, contracts, JML, java modeling language
2	Sandra Collovini, Renata Vieira	Learning Discourse-new References in Portuguese Texts.	IFIP AI	2006	DBLP DOI BibTeX RDF
2	Resit Sendag, Ayse Yilmazer, Joshua J. Yi, Augustus K. Uht	Quantifying and reducing the effects of wrong-path memory references in cache-coherent multiprocessor systems.	IPDPS	2006	DBLP DOI BibTeX RDF
2	Hai Jin, Yijiao Yu	SemreX: a Semantic Peer-to-Peer Scientific References Sharing System.	AICT/ICIW	2006	DBLP DOI BibTeX RDF
2	Yijiao Yu, Hai Jin	Building a Semantic P2P Scientific References Sharing System with JXTA.	APWeb	2006	DBLP DOI BibTeX RDF
2	Nina Bohr, Lars Birkedal	Relational Reasoning for Recursive Types and References.	APLAS	2006	DBLP DOI BibTeX RDF
2	Rafik Henia, Rolf Ernst	Improved offset-analysis using multiple timing-references.	DATE	2006	DBLP DOI BibTeX RDF
2	Christian Falconi, Gianluca Giustolisi	Analysis of power supply gain of CMOS bandgap references.	ISCAS	2006	DBLP DOI BibTeX RDF
2	Xin Dai, Degang Chen, Randall L. Geiger	Explicit characterization of bandgap references.	ISCAS	2006	DBLP DOI BibTeX RDF
2	Soumyajit Mandal, Scott K. Arfin, Rahul Sarpeshkar	Fast startup CMOS current references.	ISCAS	2006	DBLP DOI BibTeX RDF
2	Hao Wu, Hai Jin	Semantic Metadata Models in References Sharing and Retrieval System SemreX.	GPC	2006	DBLP DOI BibTeX RDF
2	Wojciech M. Golab, Danny Hendler, Philipp Woelfel	An O(1) RMRs leader election algorithm.	PODC	2006	DBLP DOI BibTeX RDF	test-and-set, shared memory, mutual exclusion, leader election, remote memory references
2	Seon Wook Kim, Chong-liang Ooi, Rudolf Eigenmann, Babak Falsafi, T. N. Vijaykumar	Exploiting reference idempotency to reduce speculative storage overflow.	ACM Trans. Program. Lang. Syst.	2006	DBLP DOI BibTeX RDF	Idempotent references, compiler-assisted speculative execution, speculation
2	Patricio Bulic, Veselko Gustin	An efficient way to filter out data dependences with a sufficiently large distance between memory references.	SIGPLAN Notices	2005	DBLP DOI BibTeX RDF	SIMD microprocessors, vectorizing compilers, data dependence analysis
2	Onur Mutlu, Hyesoon Kim, David N. Armstrong, Yale N. Patt	An Analysis of the Performance Impact of Wrong-Path Memory References on Out-of-Order and Runahead Execution Processors.	IEEE Trans. Computers	2005	DBLP DOI BibTeX RDF	processor performance modeling, speculative execution, runahead execution, Single data stream architectures
2	Steve Vinoski	Web Services References.	IEEE Internet Computing	2005	DBLP DOI BibTeX RDF	endpoint reference, WS-Addressing, Web services, service-oriented architecture, Interface Definition Language, EPR
2	Lin Qiao, Weitong Huang, Zhizhong Tang	Coping with Data Dependencies of Multi-dimensional Array References.	NPC	2005	DBLP DOI BibTeX RDF
2	Michael Kruppa, Antonio Krüger	Performing Physical Object References with Migrating Virtual Characters.	INTETAIN	2005	DBLP DOI BibTeX RDF
2	Rüdiger Kapitza, Hans P. Reiser, Franz J. Hauck	Stable, Time-Bund Object References in Context of Dynamically Changing Environments.	ICDCS Workshops	2005	DBLP DOI BibTeX RDF
2	Weng-Long Chang, Minyi Guo, Michael (Shan-Hui) Ho, Sien-Tang Tsai	Communication-Free Data Alignment for Arrays with Exponential References Using Elementary Linear Algebra.	ISPA	2005	DBLP DOI BibTeX RDF
2	Andrei Popescu-Belis, Denis Lalanne	Detection and Resolution of References to Meeting Documents.	MLMI	2005	DBLP DOI BibTeX RDF
2	Joseph J. C. Chang, Robert J. Walker	Incomplete resolution of references in Eclipse.	ETX	2005	DBLP DOI BibTeX RDF
2	Mangala Gowri Nanda, Christian Grothoff, Satish Chandra	Deriving object typestates in the presence of inter-object references.	OOPSLA	2005	DBLP DOI BibTeX RDF	Java, predicate abstraction, alias analysis, interface specification, heap analysis
2	Simon Rioux, Alain Lacourse, Yvon Savaria, Michel Meunier	Design methods for CMOS low-current finely tunable voltage references covering a wide output range.	ISCAS	2005	DBLP DOI BibTeX RDF
2	Amal J. Ahmed, Matthew Fluet, Greg Morrisett	A step-indexed model of substructural state.	ICFP	2005	DBLP DOI BibTeX RDF	mutable references, stepindexed model, substructural type system
2	Steve Vinoski	WS-Addressing Metadata.	IEEE Internet Computing	2005	DBLP DOI BibTeX RDF	WS-Addressing, endpoint references, Web services, metadata
2	Rekha P. Upadhye, V. L. Kalyane, Vijai Kumar, E. R. Prakasan	Scientometric analysis of synchronous references in the Physics Nobel lectures, 1981-1985: A pilot study.	Scientometrics	2004	DBLP DOI BibTeX RDF
2	Kapseon Kim	The motivation for citing specific references by social scientists in Korea: The phenomenon of co-existing references.	Scientometrics	2004	DBLP DOI BibTeX RDF
2	Henk F. Moed, Eugene Garfield	In basic science the percentage of 'authoritative' references decreases as bibliographies become shorter.	Scientometrics	2004	DBLP DOI BibTeX RDF
2	Luiz De Rose, Kattamuri Ekanadham, Simone Sbaraglia	An Approach for Symbolic Mapping of Memory References.	Euro-Par	2004	DBLP DOI BibTeX RDF
2	Qiming Teng, Xiangqun Chen, Xia Zhao, Wei Zhu, Lu Zhang 0023	Extraction and Visualization of Architectural Structure Based on Cross References among Object Files.	COMPSAC	2004	DBLP DOI BibTeX RDF	software architecture, reverse engineering, component, operating system, reusability, software understanding
2	Onur Mutlu, Hyesoon Kim, David N. Armstrong, Yale N. Patt	Cache Filtering Techniques to Reduce the Negative Impact of Useless Speculative Memory References on Processor Performance.	SBAC-PAD	2004	DBLP DOI BibTeX RDF
2	Thies Pfeiffer, Marc Erich Latoschik	Resolving Object References in Multimodal Dialogues for Immersive Virtual Environments.	VR	2004	DBLP DOI BibTeX RDF
2	René Rydhof Hansen	A Hardest Attacker for Leaking References.	ESOP	2004	DBLP DOI BibTeX RDF
2	Monica Palmirani, Raffaella Brighi, Matteo Massini	Processing Normative References on the Basis of Natural Language Questions.	DEXA Workshops	2004	DBLP DOI BibTeX RDF
2	Dominique Besagni, Abdel Belaïd, Nelly Benet	A Segmentation Method for Bibliographic References by Contextual Tagging of Fields.	ICDAR	2003	DBLP DOI BibTeX RDF
2	Atsuhiro Takasu	Bibliographic Attribute Extraction from Erroneous References Based on a Statistical Model.	JCDL	2003	DBLP DOI BibTeX RDF
2	Kee-Chee Tiew, J. Cusey, Randall L. Geiger	Inflection point correction for voltage references.	ISCAS	2003	DBLP DOI BibTeX RDF
2	Zhixiang Chen, Richard H. Fowler, Ada Wai-Chee Fu	Linear Time Algorithms for Finding Maximal Forward References.	ITCC	2003	DBLP DOI BibTeX RDF
2	Manuel Fähndrich, K. Rustan M. Leino	Declaring and checking non-null types in an object-oriented language.	OOPSLA	2003	DBLP DOI BibTeX RDF	non-null types, null references, Java, type system, c#
2	Minyi Guo, Yi Pan, Zhen Liu	Symbolic Communication Set Generation for Irregular Parallel Applications.	The Journal of Supercomputing	2003	DBLP DOI BibTeX RDF	irregular array references, distributed memory multicomputers compile-time optimization, parallelizing compilers, communication optimization, symbolic analysis
2	Kave Eshghi	Intrinsic References in Distributed Systems.	ICDCS Workshops	2002	DBLP DOI BibTeX RDF