Search results for "overloading"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
20	R. Al-Omari, Arun K. Somani, G. Manimaran	Efficient overloading techniques for primary-backup scheduling in real-time systems.	J. Parallel Distributed Comput.	2004	DBLP DOI BibTeX RDF
20	Florence Nadal, Antoine O. Berthet, Hikmet Sari	Further results on channel overloading using combined TDMA/OCDMA with iterative interference cancellation.	PIMRC	2004	DBLP DOI BibTeX RDF
20	James Allan Hudson, Alan J. Dix, Alan Parkes	User Interface Overloading: A Novel Approach for Handheld Device Text Input.	BCS HCI	2004	DBLP DOI BibTeX RDF
20	Antonio Moschitta, Dario Petri	Wideband communication system sensitivity to overloading quantization noise [ADC characterization].	IEEE Trans. Instrum. Meas.	2003	DBLP DOI BibTeX RDF
20	Frederik Vanhaverbeke, Marc Moeneclaey	Performance evaluation of three different types of channel overloading.	PIMRC	2003	DBLP DOI BibTeX RDF
20	Engelbert Tijskens, Dirk Roose, Herman Ramon, Josse De Baerdemaeker	Automatic Differentiation for Solving Nonlinear Partial Differential Equations: An Efficient Operator Overloading Approach.	Numer. Algorithms	2002	DBLP DOI BibTeX RDF
20	Matthias Neubauer, Peter Thiemann 0001, Martin Gasbichler, Michael Sperber	Functional logic overloading.	POPL	2002	DBLP DOI BibTeX RDF
20	Mark Shields, Simon L. Peyton Jones	Object-Oriented Style Overloading for Haskell.	BABEL	2001	DBLP DOI BibTeX RDF
20	Thomas Studer	A Semantics for [lambda]: a Calculus with Overloading and Late-binding.	J. Log. Comput.	2001	DBLP DOI BibTeX RDF
20	Giuseppe Castagna, Gang Chen	Dependent Types with Subtyping and Late-Bound Overloading.	Inf. Comput.	2001	DBLP DOI BibTeX RDF
20	Hikmet Sari, Frederik Vanhaverbeke, Marc Moeneclaey	Channel overloading in multiuser and single-user communications.	PIMRC	2000	DBLP DOI BibTeX RDF
20	Carlos Camarão 0001, Lucília Figueiredo	Type Inference for Overloading without Restrictions, Declarations or Annotations.	Fuji International Symposium on Functional and Logic Programming	1999	DBLP DOI BibTeX RDF
20	Nicola Guarino	Avoiding IS-A Overloading: The Role of Identity Conditions in Ontology Design.	Intelligent Information Integration	1999	DBLP BibTeX RDF
20	Henry G. Baker	You Could Learn a Lot from a Quadratic: I. Overloading Considered Harmful.	ACM SIGPLAN Notices	1998	DBLP DOI BibTeX RDF
20	C.-J. Richard Shi	Entity Overloading for Mixed-Signal Abstraction in VHDL.	J. Inf. Sci. Eng.	1998	DBLP BibTeX RDF
20	Hideki Tsuiki	A Computationally Adequate Model for Overloading via Domain-Valued Functors.	Math. Struct. Comput. Sci.	1998	DBLP BibTeX RDF
20	Ramesh C. Jain	Sensory Overloading in Documents.	IEEE Multim.	1998	DBLP DOI BibTeX RDF
20	William S. Miles, Leroy Johnson	Implementing Generalized Operator Overloading.	Softw. Pract. Exp.	1998	DBLP DOI BibTeX RDF
20	Carlos Camarão 0001, Lucília Figueiredo	A Type System for Context-dependent Overloading.	US-Brazil Joint Workshops on the Formal Foundations of Software Systems	1997	DBLP DOI BibTeX RDF
20	Giuseppe Castagna	Unifying Overloading and lambda-Abstraction: lambda{}.	Theor. Comput. Sci.	1997	DBLP DOI BibTeX RDF
20	Isabelle Servet, Louise Travé-Massuyès, Daniel Stern	Telephone Network Traffic Overloading Diagnosis and Evolutionary Computation Techniques.	Artificial Evolution	1997	DBLP DOI BibTeX RDF
20	Dennis M. Volpano	Lower Bounds on Type Checking Overloading.	Inf. Process. Lett.	1996	DBLP DOI BibTeX RDF
20	Dominic Duggan, Gordon V. Cormack, John Ophel	Kinded Type Inference for Parametric Overloading.	Acta Informatica	1996	DBLP DOI BibTeX RDF
20	D. Pandey, Mendus Jacob, S. K. Tyagi	Stochastic modelling of a powerloom plant with common cause failure, human error and overloading effect.	Int. J. Syst. Sci.	1996	DBLP DOI BibTeX RDF
20	Hervé Dicky, Christophe Dony, Marianne Huchard, Thérèse Libourel	On Automatic Class Insertion with Overloading.	OOPSLA	1996	DBLP DOI BibTeX RDF
20	C.-J. Richard Shi	Entity overloading for mixed-signal abstraction in VHDL.	EURO-DAC	1996	DBLP DOI BibTeX RDF
20	Dennis M. Volpano	Type Checking Coherent Overloading.	Softw. Concepts Tools	1995	DBLP BibTeX RDF
20	Mark P. Jones	Dictionary-Free Overloading by Partial Evaluation.	LISP Symb. Comput.	1995	DBLP BibTeX RDF
20	Mark P. Jones	A System of Constructor Classes: Overloading and Implicit Higher-Order Polymorphism.	J. Funct. Program.	1995	DBLP DOI BibTeX RDF
20	Martin Odersky, Philip Wadler, Martin Wehr	A Second Look at Overloading.	FPCA	1995	DBLP DOI BibTeX RDF
20	Mark P. Jones	Functional Programming with Overloading and Higher-Order Polymorphism.	Advanced Functional Programming	1995	DBLP DOI BibTeX RDF
20	Helmut Seidl	Haskell Overloading is DEXPTIME-Complete.	Inf. Process. Lett.	1994	DBLP DOI BibTeX RDF
20	Geoffrey Smith 0001	Principal Type Schemes for Functional Programs with Overloading and Subtyping.	Sci. Comput. Program.	1994	DBLP DOI BibTeX RDF
20	Giuseppe Castagna	Overloading, subtyping and late binding - functional foundation of object-oriented programming.		1994	RDF
20	Mark P. Jones	Dictionary-Free Overloading by Partial Evaluation.	PEPM	1994	DBLP BibTeX RDF
20	Hideki Tsuiki	A Normalizing Calculus with Overloading and Subtyping.	TACS	1994	DBLP DOI BibTeX RDF
20	Dennis M. Volpano	Haskell-style Overloading is NP-hard.	ICCL	1994	DBLP DOI BibTeX RDF
20	Cordelia V. Hall	Using Overloading to Express Distinctions Between Evaluators.	Inf. Process. Lett.	1993	DBLP DOI BibTeX RDF
20	Lennart Augustsson	Implementing Haskell Overloading.	FPCA	1993	DBLP DOI BibTeX RDF
20	Mark P. Jones	A System of Constructor Classes: Overloading and Implicit Higher-Order Polymorphism.	FPCA	1993	DBLP DOI BibTeX RDF
20	Giuseppe Castagna, Giorgio Ghelli, Giuseppe Longo	A Semantics for Lambda&-early: A Calculus with Overloading and Early Binding.	TLCA	1993	DBLP DOI BibTeX RDF
20	Jörg Poswig, Claudio Moraga	Incremental Type Systems and Implicit Parametric Overloading in Visual Languages.	VL	1993	DBLP DOI BibTeX RDF
20	Jean-Pierre Jouannaud, Claude Kirchner, Hélène Kirchner, Aristide Mégrelis	Programming with Equalitiers, Subsorts, Overloading and Parametrization in OBJ.	J. Log. Program.	1992	DBLP DOI BibTeX RDF
20	Joseph A. Goguen, José Meseguer 0001	Order-Sorted Algebra I: Equational Deduction for Multiple Inheritance, Overloading, Exceptions and Partial Operations.	Theor. Comput. Sci.	1992	DBLP DOI BibTeX RDF
20	Alexandre Boudet	Unification in Order-Sorted Algebras with Overloading.	CADE	1992	DBLP DOI BibTeX RDF
20	Eric G. Wagner	Overloading and Inheritance.	COMPASS/ADT	1992	DBLP DOI BibTeX RDF
20	Tobias Nipkow, Gregor Snelting	Type Classes and Overloading Resolution via Order-Sorted Unification.	FPCA	1991	DBLP DOI BibTeX RDF
20	Dennis M. Volpano, Geoffrey S. Smith	On the Complexity of ML Typability with Overloading.	FPCA	1991	DBLP DOI BibTeX RDF
20	Geoffrey Smith	Polymorphic Type Inference for Languages with Overloading and Subtyping.		1991	RDF
20	Stephen Blott	An approach to overloading with polymorphism.		1991	RDF
20	J. Dana Eckart, Richard J. LeBlanc	Overloading in the Ada Language: Is ist Too Restrictive?	Comput. Lang.	1987	DBLP DOI BibTeX RDF
20	Thomas Letschert	Type Inference in the Presence of Overloading, Polymorphism and Coercions.	Fachtagung über Programmiersprachen	1984	DBLP DOI BibTeX RDF
20	Edmond Schonberg, Gerald A. Fisher	An efficient method for handling operator overloading in Ada.	AdaTEC Conference on Ada	1982	DBLP DOI BibTeX RDF
20	Peter J. L. Wallis, Bernard W. Silverman	Efficient Implementation of the Ada Overloading Rules.	Inf. Process. Lett.	1980	DBLP DOI BibTeX RDF
20	Guido Persch, Georg Winterstein, Manfred Dausmann, Sophia Drossopoulou	Overloading in preliminary Ada.	SIGPLAN	1980	DBLP DOI BibTeX RDF
11	Li-Hsing Yen, Tse-Tsung Yeh, Kuang-Hui Chi	Load Balancing in IEEE 802.11 Networks.	IEEE Internet Comput.	2009	DBLP DOI BibTeX RDF
11	Joaquim R. R. A. Martins, Christopher Marriage, Nathan Tedford	pyMDO: An Object-Oriented Framework for Multidisciplinary Design Optimization.	ACM Trans. Math. Softw.	2009	DBLP DOI BibTeX RDF	object-oriented programming, Multidisciplinary design optimization
11	Wenbin Li 0008, Ning Zhong 0001, Yiyu Yao, Jiming Liu 0001	An Operable Email Based Intelligent Personal Assistant.	World Wide Web	2009	DBLP DOI BibTeX RDF	operable email, intelligent agents, Web intelligence, personal assistant, email filtering
11	Bin Meng, HongXin Wu, ZongLi Lin, Guo Li	Characteristic model based control of the X-34 reusable launch vehicle in its climbing phase.	Sci. China Ser. F Inf. Sci.	2009	DBLP DOI BibTeX RDF	trans-aerosphere vehicle X-34, climbing phase, characteristic modeling, robustness, adaptive control
11	Josef Steinberger, Karel Jezek	Text Summarization: An Old Challenge and New Approaches.	Foundations of Computational Intelligence (6)	2009	DBLP DOI BibTeX RDF
11	Saar Drimer, Steven J. Murdoch, Ross J. Anderson	Optimised to Fail: Card Readers for Online Banking.	Financial Cryptography	2009	DBLP DOI BibTeX RDF	banking security, chip and PIN, authentication, reverse engineering, liability
11	Rainer Buchty, David Kramer, Mario Kicherer, Wolfgang Karl	A Light-Weight Approach to Dynamical Runtime Linking Supporting Heterogenous, Parallel, and Reconfigurable Architectures.	ARCS	2009	DBLP DOI BibTeX RDF
11	Jonatha Anselmi, Paolo Cremonesi, Edoardo Amaldi	On the Consolidation of Data-Centers with Performance Constraints.	QoSA	2009	DBLP DOI BibTeX RDF
11	Xiaohui Tao, Yuefeng Li	Concept-Based, Personalized Web Information Gathering: A Survey.	KSEM	2009	DBLP DOI BibTeX RDF
11	Benoit Baccot, Omar Choudary 0001, Romulus Grigoras, Vincent Charvillat	On the impact of sequence and time in rich media advertising.	ACM Multimedia	2009	DBLP DOI BibTeX RDF	advertisement impact, banner sequences, rich media ads
11	Nikhil Swamy, Michael W. Hicks, Gavin M. Bierman	A theory of typed coercions and its applications.	ICFP	2009	DBLP DOI BibTeX RDF	coercion insertion, gradual typing, nonambiguity, type-directed translation, provenance
11	Lotfi Benmohamed, Robert Cole, Bharat T. Doshi	Address-Identifier Mapping System for scalable routing.	ISCC	2009	DBLP DOI BibTeX RDF
11	John Colquhoun, Paul Watson 0001	Evaluating a Peer-to-Peer Database Server Based on BitTorrent.	BNCOD	2009	DBLP DOI BibTeX RDF	Database Systems, P2P Computing
11	Xuanjia Qiu, Chuan Wu 0001, Xiaola Lin, Francis Chi-Moon Lau	InstantLeap: fast neighbor discovery in P2P VoD streaming.	NOSSDAV	2009	DBLP DOI BibTeX RDF	indexing overlay, peer-to-peer network, video-on-demand, neighbor discovery
11	Jian-Bo Chen, Tsang-Long Pao, Kun-Dah Lee	Effect of Database Server Arrangement to the Performance of Load Balancing Systems.	ICA3PP	2009	DBLP DOI BibTeX RDF	centralized arrangement, decentralized arrangement, load balance
11	Ruibo Wang, Kai Lu, Xicheng Lu	Investigating transactional memory performance on ccNUMA machines.	HPDC	2009	DBLP DOI BibTeX RDF	transactional memory, ccNUMA
11	Claudio Sacerdoti Coen, Enrico Tassi	Natural Deduction Environment for Matita.	Calculemus/MKM	2009	DBLP DOI BibTeX RDF
11	Johan Redström	Tangled interaction: On the expressiveness of tangible user interfaces.	ACM Trans. Comput. Hum. Interact.	2008	DBLP DOI BibTeX RDF	interaction design, tangible user interfaces, Aesthetics, design theory
11	Seng Lin Shee, Andrea Erdos, Sri Parameswaran	Architectural Exploration of Heterogeneous Multiprocessor Systems for JPEG.	Int. J. Parallel Program.	2008	DBLP DOI BibTeX RDF	design, architecture, multiprocessor, SoC, pipelines, ASIPs, heterogeneous system
11	Joon Ho Cho, Qu Zhang, Lixin Gao	A comparison of frequency-division systems to code-division systems in overloaded channels.	IEEE Trans. Commun.	2008	DBLP DOI BibTeX RDF
11	Jaroslaw Zmudzki, Witold Walke, Wieslaw Chladek	Influence of Model Discretization Density in FEM Numerical Analysis on the Determined Stress Level in Bone Surrounding Dental Implants.	Information Technologies in Biomedicine	2008	DBLP DOI BibTeX RDF
11	Maria Fazio, Maurizio Paone, Dario Bruneo, Antonio Puliafito	Cross-Layer Architecture for Differentiated Services in Ad Hoc Networks.	NCA	2008	DBLP DOI BibTeX RDF	Distributed Call Admission Control, QoS, Ad Hoc Network, DiffServ
11	Laura Galluccio, Sergio Palazzo, Andrew T. Campbell	Efficient data aggregation in wireless sensor networks: An entropy-driven analysis.	PIMRC	2008	DBLP DOI BibTeX RDF
11	Arvind, Rishiyur S. Nikhil	Hands-on Introduction to Bluespec System Verilog (BSV) (Abstract).	MEMOCODE	2008	DBLP DOI BibTeX RDF
11	Gilson Yukio Sato, Jean-Paul A. Barthès, Ke-Jia Chen 0001	Following the evolution of distributed Communities of Practice.	IEEE ICCI	2008	DBLP DOI BibTeX RDF
11	Matthieu Sozeau, Nicolas Oury	First-Class Type Classes.	TPHOLs	2008	DBLP DOI BibTeX RDF
11	Christian Seeger, Bettina Kemme, Patric Kabus, Alejandro P. Buchmann	Area-based gossip multicast.	NETGAMES	2008	DBLP DOI BibTeX RDF
11	Choonho Son, Junsuk Oh, Kyoung-Ho Lee, Kieung Kim, Jaehyung Yoo	Efficient physical topology discovery for large OSPF networks.	NOMS	2008	DBLP DOI BibTeX RDF
11	Meiko Jensen, Nils Gruschka, Norbert Luttenberger	The Impact of Flooding Attacks on Network-based Services.	ARES	2008	DBLP DOI BibTeX RDF	Web Services, availability, DoS, attacks, flooding
11	Yao Zhao 0003, Yan Chen 0004, Sylvia Ratnasamy	Load Balanced and Efficient Hierarchical Data-Centric Storage in Sensor Networks.	SECON	2008	DBLP DOI BibTeX RDF
11	Lennart Augustsson, Howard Mansell, Ganesh Sittampalam	Paradise: a two-stage DSL embedded in Haskell.	ICFP	2008	DBLP DOI BibTeX RDF	dsels, paradise, Haskell, metaprogramming
11	Hanwen Zhang, Yujun Zhang, Chao Ma, Yi Sun 0004, Zhongcheng Li	Dynamic load balancing among multiple home agents for MIPv6.	ISCC	2008	DBLP DOI BibTeX RDF
11	Wanqing Tu, Cormac J. Sreenan	Adaptive Split Transmission for Video Streams in Wireless Mesh Networks.	WCNC	2008	DBLP DOI BibTeX RDF
11	Fabrice Dupros, Hideo Aochi, Ariane Ducellier, Dimitri Komatitsch, Jean Roman	Exploiting Intensive Multithreading for the Efficient Simulation of 3D Seismic Wave Propagation.	CSE	2008	DBLP DOI BibTeX RDF	seismic wave propagation, mixed-hybrid programming, load balancing, multithreading
11	James Wen Jun Xue, Adam P. Chester, Ligang He, Stephen A. Jarvis	Dynamic Resource Allocation in Enterprise Systems.	ICPADS	2008	DBLP DOI BibTeX RDF
11	Eleftherios I. Amoiralis, Pavlos S. Georgilakis, Marina A. Tsili, Antonios G. Kladas	Ant Colony System-Based Algorithm for Optimal Multi-stage Planning of Distribution Transformer Sizing.	KES (2)	2008	DBLP DOI BibTeX RDF	Optimal Transformer Sizing, Thermal Loading, Energy Loss Cost, Distribution Network Planning, Transformers, Ant Colony Optimization
11	John Colquhoun, Paul Watson 0001	A Peer-to-Peer Database Server.	BNCOD	2008	DBLP DOI BibTeX RDF
11	Ghada H. Badawy, Amir A. Sayegh, Terence D. Todd	Energy Aware Provisioning in Solar Powered WLAN Mesh Networks.	ICCCN	2008	DBLP DOI BibTeX RDF
11	Tong Gao, Xin Zheng 0005, Qian Yin	Software-Based Non-invasive Implementation of Binocular Vision.	CSSE (2)	2008	DBLP DOI BibTeX RDF
11	Ravi Surepeddi	System Verilog for Quality of Results (QoR).	ISQED	2008	DBLP DOI BibTeX RDF	System Verilog Design Quality Results
11	Lourival A. de Góis, Marcos M. Tenório, Walter da Cunha Borelli	A strategy for identification and information of resources in a grid.	EATIS	2008	DBLP DOI BibTeX RDF	decentralized management, idle resources, load rates, movable averages
11	Ying-Hong Wang, Kuo-Feng Huang, Chien-Shan Kuo, Wei-Jia Huang	Dynamic MAP Selection Mechanism for HMIPv6.	AINA	2008	DBLP DOI BibTeX RDF
11	Jonatha Anselmi, Edoardo Amaldi, Paolo Cremonesi	Service Consolidation with End-to-End Response Time Constraints.	EUROMICRO-SEAA	2008	DBLP DOI BibTeX RDF
11	Rachid Guerraoui	A Smooth Concurrency Revolution with Free Objects.	IEEE Internet Comput.	2007	DBLP DOI BibTeX RDF	concurrency, object-oriented programming, programming model, application development
11	Uma S. Jha	Object Oriented HW Functions Accelerate Communication, Computing, and Multimedia Convergence.	Int. J. Wirel. Inf. Networks	2007	DBLP DOI BibTeX RDF	Application convergence, Multi-domain applications, Applications profiling & correlation, Object oriented programming, Abstraction, Software Defined Radio (SDR), Multimode applications