Search results for "operations"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
17	Zoltán Pap, Gyula Csopaki, Sarolta Dibuz	On the Theory of Patching.	SEFM	2005	DBLP DOI BibTeX RDF	optimal patch, edit operations, finite state machine, update, edit distance, patching
17	Viktor K. Sabelfeld, Kai Kapp	Numeric Types in Formal Synthesis.	Ershov Memorial Conference	2003	DBLP DOI BibTeX RDF	correct hardware synthesis, formal specification, higher-order logic, theorem prover, arithmetic operations
17	Tammy Hohlt, Kristina A. Cunningham	Teamwork is the heart of technology.	SIGUCCS	2003	DBLP DOI BibTeX RDF	computing sites, employee satisfaction, general access, policies and guidelines, residence halls, sites operations, support center, evaluations, training, teamwork, incentives, customer service, classroom, mentoring, hiring, distributed software, flexible scheduling
17	Jasmine Burguet, Rémy Malgouyres	Multi-scale Discrete Surfaces.	DGCI	2002	DBLP DOI BibTeX RDF	boolean set operations, discretization, multi-scale, discrete surface
17	Jacques Roy	Recent Trends in Logistics and the Need for Real-Time Decision Tools in the Trucking Industry.	HICSS	2001	DBLP DOI BibTeX RDF	Freight Transportation, Real-time Decision Tools, Motor Carriers, Electronic Commerce, Planning, Logistics, Operations Research
17	Walid El Moudani, Carlos Alberto Nunes Cosenza, Marc de Coligny, Félix Mora-Camino	A Bi-Criterion Approach for the Airlines Crew Rostering Problem.	EMO	2001	DBLP DOI BibTeX RDF	Multi-Criterion Optimization, Airlines Operations, Crew Rostering, Genetic Algorithms, Heuristics, Crew Scheduling
17	Igor Lyubashevskiy, Volker Strumpen	Fault-Tolerant File-I/O for Portable Checkpointing Systems.	J. Supercomput.	2000	DBLP DOI BibTeX RDF	portable checkpoints, transactional file operations, fault tolerance, automatic code generation
17	Ing-Ray Chen, Sayed Atef Banawan	Performance and Stability Analysis of Multilevel Data Structures with Deferred Reorganization.	IEEE Trans. Software Eng.	1999	DBLP DOI BibTeX RDF	Queueing servers, multilevel data structures, open and closed systems, deferred maintenance, periodic maintenance, modeling, performance analysis, stability analysis, atomic operations
17	G. N. Srinivasa Prasanna, Anant Agarwal, Bruce R. Musicus	Hierarchical Compilation of Macro Dataflow Graphs for Multiprocessors with Local Memory.	IEEE Trans. Parallel Distributed Syst.	1994	DBLP DOI BibTeX RDF	hierarchicalcompilation, macro dataflow graphs, macro operations, precedenceconstraints, multiple nested loops, partitioning phase, close-to-optimal run-times, prototype structure-driven compiler, Alewife multiprocessor, simulator, performance evaluation, performance, multiprocessing systems, program compilers, processor allocation, nested loops, local memory, SDC
17	Ling Tony Chen, Larry S. Davis, Clyde P. Kruskal	Efficient Parallel Processing of Image Contours.	IEEE Trans. Pattern Anal. Mach. Intell.	1993	DBLP DOI BibTeX RDF	EREW model, CREW PRAM model, segmented scan operations, computer vision, computer vision, parallel algorithms, parallel algorithms, computational complexity, image processing, parallel processing, parallel processing, hypercube, hypercube networks, image contours, Connection Machine
17	Zhenqiang Fan, Kam-Hoi Cheng	A Generalized Simultaneous Access Dictionary Machine.	IEEE Trans. Parallel Distributed Syst.	1991	DBLP DOI BibTeX RDF	simultaneous access, redundant accesses, search operations, data structures, parallel architectures, multiprocessor system, bottleneck, dictionary machine
17	Chung-Ta King, Wen-Hwa Chou, Lionel M. Ni	Pipelined Data Parallel Algorithms-I: Concept and Modeling.	IEEE Trans. Parallel Distributed Syst.	1990	DBLP DOI BibTeX RDF	pipelined data-parallel algorithms, pipelined operations, data level partitioning, parallel algorithms, Petri nets, data parallelism
17	James J. Little, Guy E. Blelloch, Todd A. Cass	Algorithmic Techniques for Computer Vision on a Fine-Grained Parallel Machine.	IEEE Trans. Pattern Anal. Mach. Intell.	1989	DBLP DOI BibTeX RDF	grid permutation, pointer jumping, fine-grained parallel machine, primitive operations, vector machine model, Gaussian convolution, computer vision, computer vision, parallel algorithm, parallel algorithms, parallel architectures, parallel architectures, edge detection, computerised picture processing, parallel machines, stereo, image structures
16	Shuntaro Kashihara, Kenichi Ogaki, Tomohiro Otani	Design, Implementation and Evaluation of a Network Management System for a High Quality IP-Based Video Transmission Service.	APNOMS	2008	DBLP DOI BibTeX RDF
16	Yonghyoun Kim, Kisu Kim, Seong-Jin Ahn 0001, Jin-Wook Chung	Network Stability Analysis Techniques Using the Virtual Articulation Node.	APNOMS	2008	DBLP DOI BibTeX RDF	Articulation node, virtual node, virtual articulation node, NARI Node, network stability
16	Sung-Su Kim, Mi-Jung Choi, Hong-Taek Ju, Masayoshi Ejiri, James Won-Ki Hong	Towards Management Requirements of Future Internet.	APNOMS	2008	DBLP DOI BibTeX RDF	Management operation, Future Internet architecture, overlay network, Cross-layer, Future Internet, resource virtualization
16	Igor Kim, Young-Chul Jung, Young-Tak Kim	Low Latency Proactive Handover Scheme for Proxy MIPv6 with MIH.	APNOMS	2008	DBLP DOI BibTeX RDF	MAG, LMA, PBU, PBA, QoS, MIH, PMIPv6
16	Christian Lohmann	Coordination of Decentralized Departments and the Implementation of a Firm-wide Differentiation Strategy.	OR	2007	DBLP DOI BibTeX RDF
16	Herbert Birkhofer, Armin Fügenschuh, Ute Günther, Daniel Junglas, Alexander Martin 0001, Thorsten Sauer, Stefan Ulbrich, Martin Wäldele, Stephan Walter	Optimization of Sheet Metal Products.	OR	2005	DBLP DOI BibTeX RDF
16	Marta S. R. Monteiro, Dalila B. M. M. Fontes	Locating and Sizing Bank-Branches by Opening, Closing or Maintaining Facilities.	OR	2005	DBLP DOI BibTeX RDF	Bank-branch, Concave Optimization, Heuristics, Location
16	Hua-An Lu, Jing-Yi Jeng	Modeling and Solution for Yard Truck Dispatch Planning at Container Terminal.	OR	2005	DBLP DOI BibTeX RDF	yard trucks, quay crane, yard area, min-max nonlinear integer programming model
16	Frank Meisel, Christian Bierwirth	Integration of Berth Allocation and Crane Assignment to Improve the Resource Utilization at a Seaport Container Terminal.	OR	2005	DBLP DOI BibTeX RDF
16	Kazuyoshi Akiyama, Toshiya Watanabe, Kazuhide Takahashi, Nobuhiro Tanigawa	A distributed data driven architecture for operations support systems.	NOMS (1)	2004	DBLP DOI BibTeX RDF
16	Dimitrios P. Pezaros, David Hutchison 0001, Joseph S. Sventek, Francisco J. García, Robert D. Gardner	In-line service measurements: an IPv6-based framework for traffic evaluation and network operations.	NOMS (1)	2004	DBLP DOI BibTeX RDF
16	Rainer Guttkuhn, Udo Trutschel, Anneke Heitmann, Acacia Aguirre, Martin Moore-Ede	Customer relations management: service operations: human fatigue risk simulations in 24/7 operations.	WSC	2003	DBLP DOI BibTeX RDF
16	Atsushi Iwasaki, Nobuhiro Kimura, Hikaru Seshake, Takehisa Ichijo, Masakazu Aso, Yuji Hibino	Distributed adapter technology for enterprise network operations support.	NOMS	2002	DBLP DOI BibTeX RDF
16	Richard H. Waterman	Operations systems (OS) unbundling: it's all about interfaces.	NOMS	1998	DBLP DOI BibTeX RDF
16	Christoph Beierle, Gabriele Kern-Isberner	A Conceptual Agent Model Based on a Uniform Approach to Various Belief Operations.	KI	2009	DBLP DOI BibTeX RDF
16	Uta Priss	Relation Algebra Operations on Formal Contexts.	ICCS	2009	DBLP DOI BibTeX RDF
16	Jochen Malte Küster, Christian Gerth, Gregor Engels	Dependent and Conflicting Change Operations of Process Models.	ECMDA-FA	2009	DBLP DOI BibTeX RDF
16	Junko Shirogane, Yoshiaki Fukazawa	Correspondence validation method for GUI operations and scenarios by operation history analysis.	IUI	2008	DBLP DOI BibTeX RDF	correspondence validation, history analysis, GUI, scenario
16	Imre J. Rudas, Ildar Z. Batyrshin, Antonio Hernández Zavala, Oscar Camacho Nieto, László Horváth, Luis A. Villa Vargas	Generators of Fuzzy Operations for Hardware Implementation of Fuzzy Systems.	MICAI	2008	DBLP DOI BibTeX RDF	fuzzy processor, Fuzzy logic, generator, fuzzy system, conjunction
16	Torsten Hoefler, Andrew Lumsdaine	Optimizing non-blocking collective operations for infiniband.	IPDPS	2008	DBLP DOI BibTeX RDF
16	Praveen R. Samala, Hamid Vakilzadian, Dietmar P. F. Möller	Modeling and simulation of common primitive operations used in block ciphers.	SCSC	2007	DBLP BibTeX RDF	discrete event simulation, hardware modeling, encryption algorithms
16	Torsten Hoefler, Prabhanjan Kambadur, Richard L. Graham, Galen M. Shipman, Andrew Lumsdaine	A Case for Standard Non-blocking Collective Operations.	PVM/MPI	2007	DBLP DOI BibTeX RDF
16	Darka Mioc, Francois Anton, Christopher M. Gold, Bernard Moulin	Reversibility of the Quad-Edge operations in the Voronoi data structure.	ISVD	2007	DBLP DOI BibTeX RDF
16	Irini Fundulaki, Sebastian Maneth	Formalizing XML access control for update operations.	SACMAT	2007	DBLP DOI BibTeX RDF	XML updates, XML access control
16	Zhen Fang 0002, Lixin Zhang 0002, John B. Carter, Ali Ibrahim, Michael A. Parker	Active memory operations.	ICS	2007	DBLP DOI BibTeX RDF	distributed shared memory, cache coherence, stream processing, DRAM, memory performance, thread synchronization
16	Amith R. Mamidala, Sundeep Narravula, Abhinav Vishnu, Gopalakrishnan Santhanaraman, Dhabaleswar K. Panda 0001	On using connection-oriented vs. connection-less transport for performance and scalability of collective and one-sided operations: trade-offs and impact.	PPoPP	2007	DBLP DOI BibTeX RDF	reliable connection, send/recv, unreliable datagram, RDMA
16	Md. Mafijul Islam, Per Stenström	Reduction of Energy Consumption in Processors by Early Detection and Bypassing of Trivial Operations.	ICSAMOS	2006	DBLP DOI BibTeX RDF
16	Sang-Won Lee 0001	Schema Change Operations for Versioning Complex Objects Hierarchy in OODBs.	ER (Workshops)	2006	DBLP DOI BibTeX RDF
16	Stephan Hirmer, Hartmut Kaiser, André Merzky, Andrei Hutanu, Gabrielle Allen	Seamless Integration of Generic Bulk Operations in Grid Applications.	OTM Workshops (1)	2006	DBLP DOI BibTeX RDF
16	Hong-Wei Ge, Yanchun Liang 0001, Maurizio Marchese, Lu Wang	Mechanism Design and Analysis of Genetic Operations in Solving Traveling Salesman Problems.	ICIC (1)	2006	DBLP DOI BibTeX RDF
16	V. Suresh, S. Maria Sophia, C. E. Veni Madhavan	Resampling Operations as Features for Detecting LSB Replacement and LSB Matching in Color Images.	MRCS	2006	DBLP DOI BibTeX RDF
16	Tomás Lang, Elisardo Antelo	High-Throughput CORDIC-Based Geometry Operations for 3D Computer Graphics.	IEEE Trans. Computers	2005	DBLP DOI BibTeX RDF	vector normalization, geometry transforms, graphics processor, CORDIC, 3D rotations
16	Jesús García Herrero, Antonio Berlanga, José M. Molina López, José R. Casar Corredera	Methods for Operations Planning in Airport Decision Support Systems.	Appl. Intell.	2005	DBLP DOI BibTeX RDF	airport traffic control, planning, stochastic optimization, flow management
16	Malú Castellanos, Norman Salazar, Fabio Casati, Umeshwar Dayal, Ming-Chien Shan	Predictive Business Operations Management.	DNIS	2005	DBLP DOI BibTeX RDF
16	Kenji Hashimoto, Yasunori Ishihara, Toru Fujiwara	Schema update operations preserving the expressive power in XML databases.	ICDE Workshops	2005	DBLP DOI BibTeX RDF
16	Ilkka Seilonen, Teppo Pirttioja, Antti Pakonen, Pekka Appelqvist, Aarne Halme, Kari Koskinen	Information Access and Control Operations in Multi-agent System Based Process Automation.	HoloMAS	2005	DBLP DOI BibTeX RDF
16	Ivana Mijajlovic, Hongseok Yang	Data Refinement with Low-Level Pointer Operations.	APLAS	2005	DBLP DOI BibTeX RDF
16	Yuichi Tsujita	MPI-I/O Operations to a Remote Computer Using Java.	ICPADS (2)	2005	DBLP DOI BibTeX RDF
16	Ling Zhuo, Viktor K. Prasanna	Design Tradeoffs for BLAS Operations on Reconfigurable Hardware.	ICPP	2005	DBLP DOI BibTeX RDF
16	Shuxin Yin, Indrakshi Ray	Relational Database Operations Modeling with UML.	AINA	2005	DBLP DOI BibTeX RDF
16	Naga K. Govindaraju, Brandon Lloyd, Wei Wang 0010, Ming C. Lin, Dinesh Manocha	Fast Computation of Database Operations using Graphics Processors.	SIGMOD Conference	2004	DBLP DOI BibTeX RDF	selection query, selectivity analysis, semi-linear query, query optimization, aggregation, graphics processor
16	Steve Dunne	Understanding Object-Z Operations as Generalised Substitutions.	IFM	2004	DBLP DOI BibTeX RDF
16	Michel Raynal, K. Vidyasankar	A Distributed Implementation of Sequential Consistency with Multi-Object Operations.	ICDCS	2004	DBLP DOI BibTeX RDF	Shared Objects Memory Abstraction, Message Passing, Asynchronous Distributed System, Sequential Consistency, Object Manager, Multi-Object Operation
16	Zhiqiang Ma, Anthony Watson, Wanwu Guo	Application of MCDF Operations in Digital Terrain Model Processing.	ICCSA (4)	2004	DBLP DOI BibTeX RDF
16	Mustafa Demirci	Artihmetic of Fuzzy Quantities Based On Vague Arithmetic Operations.	IFSA	2003	DBLP DOI BibTeX RDF	Vague arithmetic, Fuzzy equivalence relation, Indistinguishability operator, Fuzzy function, Fuzzy arithmetic
16	Brian Slechta, David Crowe, Brian Fahs, Michael Fertig, Gregory A. Muthler, Justin Quek, Francesco Spadini, Sanjay J. Patel, Steven Lumetta	Dynamic Optimization of Micro-Operations.	HPCA	2003	DBLP DOI BibTeX RDF
16	Darius Buntinas, Amina Saify, Dhabaleswar K. Panda 0001, Jarek Nieplocha	Optimizing Synchronization Operations for Remote Memory Communication Systems.	IPDPS	2003	DBLP DOI BibTeX RDF
16	Dana Shapira, James A. Storer	Large Edit Distance with Multiple Block Operations.	SPIRE	2003	DBLP DOI BibTeX RDF
16	Dana Shapira, James A. Storer	Edit Distance with Move Operations.	CPM	2002	DBLP DOI BibTeX RDF
16	Thomas Andreas Meyer, Aditya Ghose, Samir Chopra	Syntactic Representations of Semantic Merging Operations.	PRICAI	2002	DBLP DOI BibTeX RDF
16	Markus Holzer 0001, Martin Kutrib	State Complexity of Basic Operations on Nondeterministic Finite Automata.	CIAA	2002	DBLP DOI BibTeX RDF
16	Chun-Yuan Lin, Yeh-Ching Chung, Jen-Shiuh Liu	Efficient Data Compression Methods for Multi-Dimensional Sparse Array Operations.	CW	2002	DBLP DOI BibTeX RDF	Data compression scheme, Sparse array operation, Multi-dimensional sparse array, Karnaugh Map
16	Jie Ding, Krishnendu Chakrabarty, Richard B. Fair	Scheduling of microfluidic operations for reconfigurabletwo-dimensional electrowetting arrays.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2001	DBLP DOI BibTeX RDF
16	Hans-Jürgen Sebastian, Daniel R. Dolk, Ruth Kuchem	Operations Centers for Logistics: General Concepts and the Deutsche Post Case.	HICSS	2001	DBLP DOI BibTeX RDF
16	David B. Lomet	High Speed On-line Backup When Using Logical Log Operations.	SIGMOD Conference	2000	DBLP DOI BibTeX RDF
16	Hsiang Ann Chen, Yvette O. Carrasco, Amy W. Apon	MPI Collective Operations over IP Multicast.	IPDPS Workshops	2000	DBLP DOI BibTeX RDF
16	James E. Smith 0001, Greg Faanes, Rabin A. Sugumar	Vector instruction set support for conditional operations.	ISCA	2000	DBLP DOI BibTeX RDF
16	Gagan Agrawal	A General Interprocedural Framework for Placement of Split-Phase Large Latency Operations.	IEEE Trans. Parallel Distributed Syst.	1999	DBLP DOI BibTeX RDF	Memory hierarchy transformations, data-flow analysis, interprocedural analysis, code motion, input/output
16	Juan Trujillo 0001, Manuel Palomar, Jaime Gómez	Detecting Patterns and OLAP Operations in the GOLD Model.	DOLAP	1999	DBLP DOI BibTeX RDF
16	Antony T. Popov	A Relation Between Morphological and Interval Operations.	Reliab. Comput.	1998	DBLP DOI BibTeX RDF
16	Zoltan Johasz	An Analytical Method for Predicting the Performance of Parallel Image Processing Operations.	J. Supercomput.	1998	DBLP DOI BibTeX RDF	image processing, message-passing, analytical model, performance prediction, overheads, communication pattern
16	Vincent D. Blondel	Structured Numbers: Properties of a Hierarchy of Operations on Binary Trees.	Acta Informatica	1998	DBLP DOI BibTeX RDF
16	Walter B. Ligon III, Scott McMillan, Greg Monn, Kevin Schoonover, Fred Stivers, Keith D. Underwood	A Re-evaluation of the Practicality of Floating-Point Operations on FPGAs.	FCCM	1998	DBLP DOI BibTeX RDF
16	José Miró-Julià, José Miró	Well-Behaviored Operations for Approximate Sets.	Rough Sets and Current Trends in Computing	1998	DBLP DOI BibTeX RDF
16	Seonil Choi, Viktor K. Prasanna, Yongwha Chung	Configurable Hardware for Symbolic Search Operations.	ICPADS	1997	DBLP DOI BibTeX RDF
16	Frank Yeong-Chyang Shih, Chung Ta King, Christopher C. Pu	Pipeline architectures for recursive morphological operations.	IEEE Trans. Image Process.	1995	DBLP DOI BibTeX RDF
16	Lefteris M. Kirousis, Andreas G. Veneris	Efficient Algorithms for Checking the Atomicity of a Run of Read and Write Operations.	WDAG	1993	DBLP DOI BibTeX RDF
16	Elke A. Rundensteiner, Lubomir Bic	Set Operations in a Data Model Supporting Complex Objects.	EDBT	1990	DBLP DOI BibTeX RDF
16	Hassan Aït-Kaci, Robert S. Boyer, Patrick Lincoln, Roger Nasr	Efficient Implementation of Lattice Operations.	ACM Trans. Program. Lang. Syst.	1989	DBLP DOI BibTeX RDF
16	John C. Thompson, Reza Sanati-Mehrizy	Formalization of operations and function definitions in a functional programming language for data structures.	ACM Conference on Computer Science	1987	DBLP DOI BibTeX RDF
15	Josep Aguilar-Saborit, Mohammad Jalali, Dave Sharpe, Victor Muntés-Mulero	Exploiting pipeline interruptions for efficient memory allocation.	CIKM	2008	DBLP DOI BibTeX RDF	query optimizatioin, query processing
15	María C. Molina, Rafael Ruiz-Sautua, Jose Manuel Mendias, Román Hermida	Bitwise scheduling to balance the computational cost of behavioral specifications.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2006	DBLP DOI BibTeX RDF
15	Olivier Rochecouste, Gilles Pokam, André Seznec	A case for a complexity-effective, width-partitioned microarchitecture.	ACM Trans. Archit. Code Optim.	2006	DBLP DOI BibTeX RDF	Power analysis
15	Alexei Kudriavtsev, Peter M. Kogge	Generation of permutations for SIMD processors.	LCTES	2005	DBLP DOI BibTeX RDF	SIMD, permutations
15	Ashvin Goel, Kenneth Po, Kamran Farhadi, Zheng Li, Eyal de Lara	The taser intrusion recovery system.	SOSP	2005	DBLP DOI BibTeX RDF	intrusion recovery, file systems, snapshots, intrusion analysis
15	Piotr Sankowski	Dynamic Transitive Closure via Dynamic Matrix Inverse (Extended Abstract).	FOCS	2004	DBLP DOI BibTeX RDF
15	William Gropp	Challenges and Successes in Achieving the Potential of MPI.	PVM/MPI	2001	DBLP DOI BibTeX RDF
15	Luciano Baresi, Franca Garzotto, Paolo Paolini	From Web Sites to Web Applications: New Issues for Conceptual Modeling.	ER (Workshops)	2000	DBLP DOI BibTeX RDF
15	Zhi Alex Ye, Andreas Moshovos, Scott Hauck, Prithviraj Banerjee	CHIMAERA: a high-performance architecture with a tightly-coupled reconfigurable functional unit.	ISCA	2000	DBLP DOI BibTeX RDF
15	Vivek Sarkar	Synchronization using counting semaphores.	ICS	1988	DBLP DOI BibTeX RDF
15	Norihisa Suzuki	Analysis of Pointer Rotation.	POPL	1980	DBLP DOI BibTeX RDF
15	D. G. McVitie, L. B. Wilson	The Stable Marriage Problem.	Commun. ACM	1971	DBLP DOI BibTeX RDF
15	Amel Mammar	A systematic approach to generate B preconditions: application to the database domain.	Softw. Syst. Model.	2009	DBLP DOI BibTeX RDF	B operations, Formal specification, Invariant, Integrity constraints, Precondition
15	Brian Stephen Smith, Magnus Egerstedt, Ayanna M. Howard	Automatic Generation of Persistent Formations for Multi-agent Networks Under Range Constraints.	Mob. Networks Appl.	2009	DBLP DOI BibTeX RDF	multi-agent network, graph-based control, persistent graphs, rigid graphs, graph operations, formations, decentralized control, formation control
15	Reza Dehghan, Fereshteh Khoramshahi, Janaka Y. Ruwanpura	Developing a general purpose simulation model for steel pipe-rack installation.	SpringSim	2009	DBLP DOI BibTeX RDF	construction management, construction operations, pipe-rack installation, steel pipe-rack, steel structure installation
15	António Mota, António J. M. Castro, Luís Paulo Reis	Recovering from Airline Operational Problems with a Multi-Agent System: A Case Study.	EPIA	2009	DBLP DOI BibTeX RDF	operations recovery, multi-agent system, Disruption management
15	Gábor Kun, Mario Szegedy	A new line of attack on the dichotomy conjecture.	STOC	2009	DBLP DOI BibTeX RDF	term operations, computational complexity, constraint satisfaction problems, fourier analysis, NP, dichotomy