Search results for "co-operation"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
13	Yücel Saygin, Özgür Ulusoy, Ahmed K. Elmagarmid	Association Rules for Supporting Hoarding in Mobile Computing Environments.	RIDE	2000	DBLP DOI BibTeX RDF	association rules, Mobile databases, disconnected operation, hoarding
13	Hideaki Hirayama, Hiroki Honda, Toshitsugu Yuba	Scalable Data Mining with Log Based Consistency DSM for High Performance Distributed Computing.	ICECCS	2000	DBLP DOI BibTeX RDF	scalable data mining, log based consistency DSM, Web based online distributed database mining, research problem, data mining techniques, scalable data mining problem, performance evaluation results, scalable data mining programs, association rule based data mining programs, count-up operations, LBC mechanism, count-up operation logs, multiple nodes, data mining, distributed shared memory, high performance distributed computing, software DSM, parallel computing environments
13	Evaggelia Pitoura, Bharat K. Bhargava	Data Consistency in Intermittently Connected Distributed Systems.	IEEE Trans. Knowl. Data Eng.	1999	DBLP DOI BibTeX RDF	Mobile computing, adaptability, concurrency control, replication, consistency, disconnected operation, transaction management
13	Hui Lei 0001, Marion Blount, Carl D. Tait	DataX: an Approach to Ubiquitous Database Access.	WMCSA	1999	DBLP DOI BibTeX RDF	adaptation, synchronization, proxy, disconnected operation, thin clients, subsetting, mobile information access
13	Eli Biham, Lars R. Knudsen	Cryptanalysis of the ANSI X9.52 CBCM Mode.	EUROCRYPT	1998	DBLP DOI BibTeX RDF	ANSI X9.52, C13CM mode, Cryptanalysis, Modes of operation, Multiple Encryption, Triple-DES
13	Horng-Ren Tsai, Shi-Jinn Horng, Shun-Shan Tsai, Tzong-Wann Kao, Shung-Shing Lee	Solving an Algebraic Path Problem and Some Related Graph Problems on a Hyper-Bus Broadcast Network.	IEEE Trans. Parallel Distributed Syst.	1997	DBLP DOI BibTeX RDF	Hyper-bus broadcast network, matrix multiplication operation, minimum-weight spanning tree, parallel algorithm, graph theory, connectivity, transitive closure, connected component, bridge, biconnected component, all-pair shortest paths, articulation point, algebraic path problem
13	Hareton K. N. Leung, Peter W. L. Wong	A study of user acceptance tests.	Softw. Qual. J.	1997	DBLP DOI BibTeX RDF	operation-based, reliability, testing, user acceptance, acceptance criteria
13	Lale Akarun, Dogan Özdemir, Ethem Alpaydin	Fuzzy error diffusion of color images.	ICIP (3)	1997	DBLP DOI BibTeX RDF	fuzzy error diffusion, dithering operation, error diffusion dithering, closest codebook vector, error accumulation, attraction-repulsion schema, mean squared error values, color images, image colour analysis, quantization errors, fuzzy membership function, color cluster
13	Gabor Karsai, Amit Misra, Janos Sztipanovits, Ákos Lédeczi, Michael Moore 0001	Model-integrated system development: models, architecture, and process.	COMPSAC	1997	DBLP DOI BibTeX RDF	model-integrated system development, meta-architecture, site-production flow visualization system, manufacturing operation, software maintenance, software evolution, software development methodologies, model-based systems, manufacturing data processing
13	Panos A. Patsouris	A formal versioning approach for distributed objectbase.	ICPADS	1997	DBLP DOI BibTeX RDF	formal versioning approach, distributed objectbases, formal object-oriented model, core data, core behaviour, inheritance, composition operation, distribution strategy
13	Kwang-Sik Chung, Kibom Kim, Chong-Sun Hwang, Jin Gon Shon, Heon-Chang Yu	Hybrid checkpointing protocol based on selective-sender-based message logging.	ICPADS	1997	DBLP DOI BibTeX RDF	hybrid checkpointing protocol, selective-sender-based message logging, asynchronous checkpointing protocol, failure-free operation, cascade rollback, message dependency tree, search time, protocols, failure recovery
13	Takahiro Hanyu, Manabu Arakaki, Michitaka Kameyama	One-Transistor-Cell 4-Valued Universal-Literal CAM for Cellular Logic Image Processing.	ISMVL	1997	DBLP DOI BibTeX RDF	cellular logic image processing, template-matching operations, universal literal, threshold operation, multi-layer interconnectio, parallel template-matching, one-transistor-cell, content-addressable memory, cellular logic
13	Susanto Rahardja, Bogdan J. Falkowski	Family of Complex Hadamard Transforms: Relationship with Other Transforms and Complex Composite Spectra.	ISMVL	1997	DBLP DOI BibTeX RDF	complex Hadamard transforms, complex composite spectra, binary logic design, complex Hadamard matrices, convolution operation, complex convolution, Boolean functions, codings, Hadamard transforms, multiple-valued logic design
13	Carsten Steger	Removing the bias from line detection.	CVPR	1997	DBLP DOI BibTeX RDF	curvilinear structures extraction, low-level operation, lateral contrast, explicit model, scale-space behavior, computer vision, computer vision
13	Saloua Ben Yahia, Chantal Robach	Diagnosis and time-out based escalation strategies for ATM networks.	EUROMICRO	1997	DBLP DOI BibTeX RDF	time-out based escalation strategies, protection techniques, distributed restoration mechanisms, network restoration methods interworking, hierarchical network model, survivable subnetworks, operation functions, maintenance functions, asynchronous transfer mode, diagnosis, network management, ATM networks, network survivability
13	Julio Villalba, Tomás Lang	Low latency word serial CORDIC.	ASAP	1997	DBLP DOI BibTeX RDF	word serial CORDIC, vectoring operation modes, digital arithmetic, iterations, scaling factor
13	João Navarro Jr., Reinaldo Silveira, Fábio L. Romao, Wilhelmus A. M. Van Noije	A 1.4 Gbit/s CMOS driver for 50 Ω ECL systems.	Great Lakes Symposium on VLSI	1997	DBLP DOI BibTeX RDF	CMOS driver, ECL systems, speed performance, effective length, circuit operation, current source switching, output load, SDH/SONET system, CMOS-ECL convertor output buffer, 0.8 mum, 0.7 mum, 1.4 Gbit/s, 50 ohm, CMOS logic circuits, output buffer
13	Samir Chatterjee, Wen Xiao	Selective discarding with FEC for ATM-based internetwork.	LCN	1997	DBLP DOI BibTeX RDF	selective discarding, ATM based internetworks, flow control systems, retransmission based schemes, ARQ based closed loop techniques, time sensitive information, interactive web, redundant information, fragmentation effects, legacy networks, buffer management techniques, block loss rates, gatekeeping operation, janitor routine, ATM switch buffers, no loss transport, CSCW, asynchronous transfer mode, FEC, forward error correction, simulation study, videophones, real time information
13	David B. Stewart, Pradeep K. Khosla	Policy-independent real-time operating system mechanisms for timing error detection, handling and monitoring.	HASE	1996	DBLP DOI BibTeX RDF	supervisory programs, policy independent real time operating system mechanisms, timing error detection, estimated worst case execution times, missed deadline, policy independent mechanisms, real time task monitoring, reschedule operation, monitoring mechanism, 6 ms, 1 Kbyte, hard real time systems, scheduling policies, context switch, error handling
13	Satoshi Nishiyama, Chihiro Ono, Sadao Obana, Kenji Suzuki 0005	Distribution transparent MIB based on MSA (Management System Agent) model.	ICPADS	1996	DBLP DOI BibTeX RDF	distribution transparent MIB, MSA, management system agent model, OSI management model, peer to peer communication process, managing application, managed AP, Management Information Base, schema transparency, management operation, customer network management system, X.25, distributed processing, open systems, management information systems, computer network management, location transparency
13	James H. Anderson, Srikanth Ramamurthy	A framework for implementing objects and scheduling tasks in lock-free real-time systems.	RTSS	1996	DBLP DOI BibTeX RDF	scheduling tasks, lock-free real time systems, lock-free algorithms, object sharing, lock based systems, multiobject lock-free operations, lock-free objects, operation interferences, linear programming, concurrency control, systems analysis, shared objects, integrated framework, scheduling conditions
13	Injong Rhee	Optimizing a FIFO, scalable spin lock using consistent memory.	RTSS	1996	DBLP DOI BibTeX RDF	FIFO optimization, scalable spin lock, consistent memory, FIFO queue based scalable spin lock, non atomic read, atomic swap operation, timing guarantee, scalable mutual exclusion problem, NUMA architectures, FSSL algorithm, write operations, non atomic memory operations, weakly consistent memories, multiprocessors, shared memory systems, real time applications, atomic operations
13	Denis Avrilionis, Pierre-Yves Cunin, Christer Fernström	OPSIS: A View Mechanism for Software Processes Which Supports Their Evolution and Reuse.	ICSE	1996	DBLP BibTeX RDF	OPSIS, graph based process modelling languages, interface elements, link relations, merge operation, process reuse, reusable fragments, sub model, type view, view mechanism, user interfaces, complexity, Petri net, Petri nets, software processes, software reusability, simulation languages, composition operators, process evolution, global model
13	Anantha P. Chandrakasan	Ultra low power digital signal processing.	VLSI Design	1996	DBLP DOI BibTeX RDF	ultra low power digital signal processing, portable wireless device, capacitance minimization, spatial signal correlations, temporal signal correlations, re-synchronization, operation reduction, 1 V, logic design, DSP, power consumption, switching, integrated circuit design, voltage scaling, digital signal processing chips, circuit optimisation, circuit design, data representation, circuit optimization, glitching, architecture optimization
13	Debesh Kumar Das, Bhargab B. Bhattacharya	Does retiming affect redundancy in sequential circuits?	VLSI Design	1996	DBLP DOI BibTeX RDF	combinational redundancy, sequential redundancy, fault diagnosis, logic testing, timing, redundancy, test generation, design for testability, sequential circuits, sequential circuit, fault, retiming, logic optimization, operation speed
13	Victor E. DeBrunner, Lixiang Chen, Hong-Jian Li	On the use of (lapped) multiple transforms in still image compression.	ICIP	1995	DBLP DOI BibTeX RDF	still image compression, multiple transforms, lapped transforms, orthogonal transform sets, recursive residual projection algorithm, encoded transform coefficients, block-discontinuities, low bit-rate operation, transform coding methods, image segmentation, data compression, image coding, transform coding, recursive functions, segmented image, MSE
13	Thomas Wiegand, Michael Lightstone, T. George Campbell, Sanjit K. Mitra	Efficient mode selection for block-based motion compensated video coding.	ICIP	1995	DBLP DOI BibTeX RDF	block based motion compensated video coding, mode selection, multimode video compression system, bit rate budget, encoder operation optimisation, rate constrained product code, distortion dependency, rate dependency, macroblock modes, H.263 video coding standard, image segmentation, dynamic programming, dynamic programming, data compression, video coding, maximum likelihood estimation, motion compensation, distortion, telecommunication standards, rate distortion theory, Viterbi algorithm, code standards, image region, necessary conditions, operating modes
13	Nicos Herodotou, Anastasios N. Venetsanopoulos, Levent Onural	Image interpolation using a simple Gibbs random field model.	ICIP	1995	DBLP DOI BibTeX RDF	simple Gibbs random field model, downsampled version, image expansion, texture parameters, iterative GRF methods, noniterative nonlinear filtering operation, computational complexity, computational complexity, interpolation, iterative methods, estimation, image restoration, image texture, nonlinear filters, random processes, image sampling, image interpolation, spatial interpolation, image recovery
13	Alina N. Moga, Bogdan Cramariuc, Moncef Gabbouj	An efficient watershed segmentation algorithm suitable for parallel implementation.	ICIP	1995	DBLP DOI BibTeX RDF	watershed segmentation algorithm, communication overhead minimization, global image operation, serial programming models, DEC Alpha AXP workstations, parallel algorithms, image segmentation, image segmentation, parallel programming, data locality, parallel implementation, parallel programming models, watershed transformation, SUN workstations, Cray T3D, parallel algorithm design
13	Seiken Yano	Unified scan design with scannable memory arrays.	Asian Test Symposium	1995	DBLP DOI BibTeX RDF	unified scan design, scannable memory arrays, single scan path, scan operation time, scannable register file, fault diagnosis, design for testability, design-for-testability, automatic testing, logic CAD, flip-flops, flip-flops, arrays, shift registers, integrated memory circuits
13	Yao-Yang Shieh, Glenn H. Roberson, Sunanda Mitra	Enhancement of CCD Film Digitizer by Adaptive Calibration.	CBMS	1995	DBLP DOI BibTeX RDF	optical scanners, CCD film digitizer enhancement, adaptive calibration, filmless operation, operational characteristic, fine-tuning, performance evaluation, calibration, performance comparison, diagnostic radiography, radiology, radiology, laser scanners, CCD image sensors, analogue-digital conversion
13	Ke Qui	Broadcasting on the star and pancake interconnection networks.	IPPS	1995	DBLP DOI BibTeX RDF	pancake interconnection networks, star interconnection networks, data communication operation, broadcasting, broadcasting, multiprocessor interconnection networks
13	Jamshed N. Patel, Ashfaq A. Khokhar, Leah H. Jamieson	Scalable parallel list ranking of image edges on fine-grained machines.	IPPS	1995	DBLP DOI BibTeX RDF	fine-grained machines, scalable parallel list ranking, image edges, fine-grained list ranking algorithms, image edge lists, edge link spatial locality, actual edge data, synthetic edge data, MasPar MP-2, performance, parallel algorithms, edge detection, randomized algorithm, parallel machines, software performance evaluation, speedup, randomised algorithms, list processing, locality properties, data-dependent operation, MasPar MP-1
13	R. Oenning, Claudio Moraga	Properties of the Zhang-Watari Transform.	ISMVL	1995	DBLP DOI BibTeX RDF	2D multiple-valued Haar transform, 2D real valued Zhang-Watari transform, Haar spectrum, real arithmetic, permutation operation, extended 1D results, 2D Chrestenson transform, pattern partition, pattern recognition, patterns, transforms, multivalued logic, combinatorial mathematics
13	Takahiro Hozumi, Naotake Kamiura, Yutaka Hata, Kazuharu Yamato	Multiple-Valued Logic Design Using Multiple-Valued EXOR.	ISMVL	1995	DBLP DOI BibTeX RDF	multiple-valued EXOR, sum operation, multiple valued sum of products expression, binary EXOR of MINs expressions, three valued EXOR of MINs expression, three valued two variable functions, multiple valued EXOR of MINs expressions, MAX of MINs, TSUM of MINs expressions, logic design, neural nets, multivalued logic, logic minimization, minimisation of switching nets, neural computing, multiple valued logic design, multiple-valued logic design
13	Grant Pogosyan, Akihiro Nozaki	Join-Irreducible Clones of Multiple-Valued Logic Algebra.	ISMVL	1995	DBLP DOI BibTeX RDF	join-irreducible clones, multiple valued logic algebra, synthetic means, lattice elements, join irreducible elements, unary functions, constructive criteria, graph theoretical property, one variable function, k valued logic, graph theory, set theory, multivalued logic, group theory, monoids, join operation, generating system
13	Eric Y. Chou, Bing J. Sheu, Tony H. Wu, Robert C. Chang	VLSI design of densely-connected array processors.	ICCD	1995	DBLP DOI BibTeX RDF	densely-connected array processors, paralleled array processors, real-time signal processing, problem mapping, high potential computational bandwidth, local interconnection, synaptic operators, CNN processing engine, hardware design problems, CNN accelerator design, digital-programmable synapses, flexible digital interface, current-mode CMOS circuits, 2.0 /spl mu/m CMOS technology, edge detection operation, image processing, image processing, parallel processing, VLSI, edge detection, signal processing, VLSI design, heterogeneous computing, CMOS integrated circuits, cellular neural networks, cellular neural nets
13	Jean-Paul Theis, Lothar Thiele	POM: a processor model for image processing.	ICCD	1995	DBLP DOI BibTeX RDF	POM, Periodic Operation Model, optimal mapping trajectory, bus bandwidth constraints, scheduling, real-time systems, computational complexity, image processing, image processing, parallel processing, allocation, processor architecture, processor model
13	Saed G. Younis, Thomas F. Knight Jr.	Non-dissipative rail drivers for adiabatic circuits.	ARVLSI	1995	DBLP DOI BibTeX RDF	driver circuits, distributed parameter networks, lumped parameter networks, passive networks, nondissipative rail drivers, adiabatic circuits, CMOS charge recovery logic, energy dissipation per operation, SCRL circuits, rail waveform generation, rail driver circuit, multiple harmonics, harmonic rail driver, passive reactive components, trimmed transmission line segments, CMOS logic circuits, CMOS circuits, harmonics
13	Ted Stanion, Carl Sechen	Quasi-algebraic decompositions of switching functions.	ARVLSI	1995	DBLP DOI BibTeX RDF	quasi-algebraic decompositions, algebraic product, binary Boolean operation, canonical manner, SSL testable, logic testing, testability, switching functions, switching functions, state assignment, minimisation of switching nets, benchmark circuits, circuit size
13	Venkatavasu Bokka, Himabindu Gurla, Stephan Olariu, James L. Schwing, Larry Wilson	Time-optimal ranking algorithms on sorted matrices.	ASAP	1995	DBLP DOI BibTeX RDF	time-optimal ranking algorithms, sorted matrices, recurring operation, geographic data processing, batched ranking, sorted matrix, information retrieval, parallel algorithms, multiprocessor interconnection networks, information management, medical image processing, database design, matrix algebra, rank queries, multiple broadcasting
13	Masanori Sugimoto, Koichi Hori, Setsuo Ohsuga	A document retrieval system for assisting creative research.	ICDAR	1995	DBLP DOI BibTeX RDF	bibliographic systems, document retrieval system, creative research, interactive operation, test database, journal papers, conference papers, automatic indexing algorithm, query formation, recall ratio, precision ratio, information retrieval, indexing, knowledge based systems, statistical analysis, interactive systems, metric space, statistical method, word processing, semantic relations, keywords, research and development management, retrieval effectiveness
13	Rong N. Chang, Chinya V. Ravishankar	A Service Acquisition Mechanism for Server-Based Heterogeneous Distributed Systems.	IEEE Trans. Parallel Distributed Syst.	1994	DBLP DOI BibTeX RDF	serviceacquisition mechanism, server-based heterogeneous distributed systems, remote networkservers, server interface binding protocols, interface operation invocation protocols, Clibrary interface, protocols, distributed processing, abstract data types, abstract data type, network servers
13	Samaradasa Weerahandi, Robert E. Hausman	Software Quality Measurement Based on Fault-Detection Data.	IEEE Trans. Software Eng.	1994	DBLP DOI BibTeX RDF	software quality measurement, fault-detection data, quality levels, quality measurement plan, field operation, fault discovery data, QMP, Weibull, software quality, software metrics, software reliability, exponential, software product, Pareto distribution, data sets
13	Daniel L. Kiskis, Kang G. Shin	SWSL: A Synthetic Workload Specification Language for Real-Time Systems.	IEEE Trans. Software Eng.	1994	DBLP DOI BibTeX RDF	SWSL, synthetic workload specification language, synthetic workload generator, executable synthetic workload, operation level, control constructs, synthetic operations, real-time workloads, performance evaluation, performance, real-time systems, real-time systems, formal specification, distributed processing, specification languages, distributed real-time systems, data flow graph, dependability measurements
13	John Plaice, William W. Wadge	A New Approach to Version Control.	IEEE Trans. Software Eng.	1993	DBLP DOI BibTeX RDF	hierarchically structured entities, variant structure principle, algebraic version language, numbered series, lattice least upper bound, systematic framework, divergent variants, LEMUR, modular C programs, world semantics, programming environment, programming environments, formal languages, configuration management, version control, formal logic, join operation, subversions, intensional logic
13	Rajiv Gupta 0001	Synchronization and Communication Costs of Loop Partitioning on Shared-Memory Multiprocessor Systems.	IEEE Trans. Parallel Distributed Syst.	1992	DBLP DOI BibTeX RDF	static loop scheduling, staticloop decomposition, computer-assisted run-time scheduling, multidimensional loops, operation execution costs, synchronization costs, programexecution, synchronization instruction, Encore multiprocessor system, scheduling, parallel algorithms, parallel programming, program compilers, programming theory, communication costs, nested loops, self-scheduling, shared-memory multiprocessor systems, loop partitioning, program decomposition
13	Anup K. Ahluwalia, Mukesh Singhal	Performance Analysis of the Communication Architecture of the Connection Machine.	IEEE Trans. Parallel Distributed Syst.	1992	DBLP DOI BibTeX RDF	interprocessor communication architecture, discrete-timeMarkov chain model, synchronous time-divisionmultiplexing, message arrivalrate, high performance parallelsystem, approximate Markov model, computerevaluation, parallel architectures, Markov processes, performance measures, parallel machines, response time, network architecture, communication delays, time division multiplexing, simulation study, interprocess communication, CM-2, performanceevaluation, Connection Machine, network operation, fixed-point iteration, message delay
13	David T. Clemens, David W. Jacobs	Space and Time Bounds on Indexing 3D Models from 2D Images.	IEEE Trans. Pattern Anal. Mach. Intell.	1991	DBLP DOI BibTeX RDF	3D model indexing, visual recognition systems, grouping operation, feature extraction, computerised picture processing, computerised pattern recognition, image features, time bounds, 2D images, model-based recognition, space bounds, model features
13	Divyendu Sinha, Charles R. Giardina	Discrete Black and White Object Recognition via Morphological Functions.	IEEE Trans. Pattern Anal. Mach. Intell.	1990	DBLP DOI BibTeX RDF	black-and-white object recognition, discrete object recognition, geometric characterization, morphological functions, covariance functions, size distribution functions, scale correction, algebraic characterization, induced equivalent classes, strongly attached pixel, structure preserving operation, pattern recognition, picture processing, binary images, discrete structure
13	Joshua Etkin, John A. Zinky	Development Life Cycle of Computer Networks: The Executable Model Approach.	IEEE Trans. Software Eng.	1989	DBLP DOI BibTeX RDF	network development life cycle, day-to-day operation, development tasks, software engineeringa, computer networks, computer networks, digital simulation, executable models, design models
13	Guang-Huei Chiou, Wen-Tsuen Chen	Secure Broadcasting Using the Secure Lock.	IEEE Trans. Software Eng.	1989	DBLP DOI BibTeX RDF	secure broadcasting protocols, secret key minimization, secure broadcasting, secure lock, deciphering operation, private-key cryptosystem, cryptography, protocols, broadcasting, public-key cryptosystem, Chinese Remainder theorem, satellite, telecommunication channels, session key, radio, broadcast channels, secret keys, ciphertext
13	Behrokh Samadi	TUNEX: A Knowledge-Based System for Performance Tuning of the UNIX Operating System.	IEEE Trans. Software Eng.	1989	DBLP DOI BibTeX RDF	TUNEX, UNIX system V, disk buffers, maintenance routines, reorganizing file systems, operation rules, knowledge-based system, expert system, expert systems, Unix, utilities, performance monitoring, performance tuning, commands, UNIX operating system
12	Dmitriy Kuptsov, Andrei V. Gurtov, Oscar García Morchon, Klaus Wehrle	Brief announcement: distributed trust management and revocation.	PODC	2010	DBLP DOI BibTeX RDF	security, trust management, distributed protocols
12	Terrance Swift, Alexandre Miguel Pinto, Luís Moniz Pereira	Incremental Answer Completion in the SLG-WAM.	ICLP	2009	DBLP DOI BibTeX RDF
12	Damien Imbs, Michel Raynal	Help When Needed, But No More: Efficient Read/Write Partial Snapshot.	DISC	2009	DBLP DOI BibTeX RDF	LL/SC atomic registers, Partial snapshot, Read/Write atomic register, Concurrency, Locality, Efficiency, Atomicity, Adaptive algorithm, Asynchrony, Process crash, Linearizability, Wait-free algorithm, Asynchronous shared memory system
12	James Aspnes, Hagit Attiya, Keren Censor	Max registers, counters, and monotone circuits.	PODC	2009	DBLP DOI BibTeX RDF	max registers, distributed computing, shared memory, counters, monotone circuits
12	Paulo Martins 0004, Alan Burns 0001	On the meaning of modes in uniprocessor real-time systems.	SAC	2008	DBLP DOI BibTeX RDF	mode changes, real-time systems analysis and design, modes
12	Srinivasan Murali, Almir Mutapcic, David Atienza, Rajesh Gupta 0001, Stephen P. Boyd, Luca Benini, Giovanni De Micheli	Temperature Control of High-Performance Multi-core Platforms Using Convex Optimization.	DATE	2008	DBLP DOI BibTeX RDF
12	Hua Jiang, Xinxing Tan, Xiang Li	Boxed Safe Ambients with Password and Application on the Internet.	ICNSC	2008	DBLP DOI BibTeX RDF
12	Mattias Rehnman, Tobias Gentzell	Synchronization in a force measurement system using EtherCAT.	ETFA	2008	DBLP DOI BibTeX RDF
12	Irith Pomeranz, Sudhakar M. Reddy	Design-for-Testability for Synchronous Sequential Circuits that Maintains Functional Switching Activity.	VLSI Design	2008	DBLP DOI BibTeX RDF
12	Cecilia Metra, Daniele Rossi 0001, T. M. Mak	Won't On-Chip Clock Calibration Guarantee Performance Boost and Product Quality?.	IEEE Trans. Computers	2007	DBLP DOI BibTeX RDF	fault tolerance, Reliability, VLSI, testing
12	Yunxiang Ling, Rui Li, Qizhi Chen, Songyang Lao	Research on Command Space Cognitive Concept Model and Multi-fingers Touch Interactive Method.	ICIC (1)	2007	DBLP DOI BibTeX RDF	command space, concept model, multi-fingers/two-handed touch interaction, cognition, interaction control
12	Stefan Funke, Sören Laue, Rouven Naujoks	Minimum-Energy Broadcast with Few Senders.	DCOSS	2007	DBLP DOI BibTeX RDF
12	Maria Vicente A. Bonto-Kane	Use of formal computational models for designing intelligent mobile device interfaces.	Mobile HCI	2007	DBLP DOI BibTeX RDF
12	Awni Itradat, M. Omair Ahmad, Ali M. Shatnawi	Architectural Synthesis of DSP Applications with Dynamically Reconfigurable Functional Units.	ISCAS	2007	DBLP DOI BibTeX RDF
12	KwangMo Jung, Young-Choong Park, Seong-Dong Kim, Joongjin Kook, Sangwon Min	An Round Delay Algorithm in Sensor Networks.	ICSNC	2007	DBLP DOI BibTeX RDF	Sensor Networks, USN
12	Jens Pottebaum, Stasinos Konstantopoulos, Rainer Koch, Georgios Paliouras	SaR Resource Management Based on Description Logics.	Mobile Response	2007	DBLP DOI BibTeX RDF
12	Karthikeyan Vaidyanathan, Lei Chai, Wei Huang 0003, Dhabaleswar K. Panda 0001	Efficient asynchronous memory copy operations on multi-core systems and I/OAT.	CLUSTER	2007	DBLP DOI BibTeX RDF
12	Irith Pomeranz, Sudhakar M. Reddy	Generation of Functional Broadside Tests for Transition Faults.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2006	DBLP DOI BibTeX RDF
12	Gian Carlo Cardarilli, Salvatore Pontarelli, Marco Re, Adelio Salsano	Fault tolerant design of signed digit based FIR filters.	ISCAS	2006	DBLP DOI BibTeX RDF
12	Li-Hsun Chen, Oscal T.-C. Chen, Teng-Yi Wang, Yung-Cheng Ma	A multiplication-accumulation computation unit with optimized compressors and minimized switching activities.	ISCAS (6)	2005	DBLP DOI BibTeX RDF
12	Shin'ichi Warisawa, Tatsuya Ishizuka, Mamoru Mitsuishi, Nobuhiko Sugano, Kazuo Yonenobu, Touji Nakazawa	Development of a Femur Fracture Reduction Robot.	ICRA	2004	DBLP DOI BibTeX RDF
12	Paolo Bientinesi, Sergey Kolos, Robert A. van de Geijn	Automatic Derivation of Linear Algebra Algorithms with Application to Control Theory.	PARA	2004	DBLP DOI BibTeX RDF
12	Henning Bordihn, Markus Holzer 0001, Martin Kutrib	Some Non-semi-decidability Problems for Linear and Deterministic Context-Free Languages.	CIAA	2004	DBLP DOI BibTeX RDF
12	Byung-Soo Choi, Jeong-A Lee, Dong-Soo Har	High Performance Microprocessor Design Methods Exploiting Information Locality and Data Redundancy for Lower Area Cost and Power Consumption.	Asia-Pacific Computer Systems Architecture Conference	2004	DBLP DOI BibTeX RDF
12	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
12	Darius Buntinas, Amina Saify, Dhabaleswar K. Panda 0001, Jarek Nieplocha	Optimizing Synchronization Operations for Remote Memory Communication Systems.	IPDPS	2003	DBLP DOI BibTeX RDF
12	Gerth Stølting Brodal, Christos Makris, Spyros Sioutas, Athanasios K. Tsakalidis, Kostas Tsichlas	Optimal Solutions for the Temporal Precedence Problem.	Algorithmica	2002	DBLP DOI BibTeX RDF
12	Ramdan Razali, V. Subbiah, M. A. Choudhury, Rahimi Yusof	Performance analysis of online dual slope delta modulated PWM inverter.	ISCAS (5)	2002	DBLP DOI BibTeX RDF
12	Yu-Chen Kuo	Composite k-Arbiters.	IEEE Trans. Parallel Distributed Syst.	2001	DBLP DOI BibTeX RDF	h-out-of-k mutual exclusion, permission-based algorithms, fault tolerance, Distributed systems, quorums
12	Ralph Miarka, Eerke A. Boiten, John Derrick	Guards, Preconditions, and Refinement in Z.	ZB	2000	DBLP DOI BibTeX RDF
12	Olga A. Kozina, Nicolaj P. Mustestov	Informational Approach in the Model of Computer Laboratory Systems Efficiency Estimation.	CBMS	1999	DBLP DOI BibTeX RDF	a priori and composite probability, efficiency, information content
12	Ranga S. Ramanujan, Siddhartha Takkella, Jordan Bonney, Kenneth J. Thurber	Source-Initiated Adaptive Routing Algorithm (SARA) for Autonomous Wireless Local Area Networks.	LCN	1998	DBLP DOI BibTeX RDF	ad hoc networks, mobile computing, wireless networks, routing protocols
12	James H. Anderson, Bojan Groselj	Pseudo Read-Modify-Write Operations: Bounded Wait-Free Implementations (Extended Abstract).	WDAG	1991	DBLP DOI BibTeX RDF
12	Hagit Attiya	Implementing FIFO Queus and Stacks (Extended Abstract).	WDAG	1991	DBLP DOI BibTeX RDF
12	Thomas W. Reps	Algebraic Properties of Program Integration.	ESOP	1990	DBLP DOI BibTeX RDF
12	Rolf Klein, Kurt Mehlhorn, Stefan Meiser	On the Construction of Abstract Voronoi Diagrams, II.	SIGAL International Symposium on Algorithms	1990	DBLP DOI BibTeX RDF	randomized algorithms, Voronoi diagrams
12	William Alexander, George P. Copeland	Process And Dataflow Control In Distributed Data-Intensive Systems.	SIGMOD Conference	1988	DBLP DOI BibTeX RDF
12	Thomas Philip	Using animated color graphics to illustrate software and hardware organizations (abstract only).	ACM Conference on Computer Science	1987	DBLP DOI BibTeX RDF
12	Karel Culík	Almost Control-Free (Indeterministic) Parallel Computation on Permit Schemes.	POPL	1978	DBLP DOI BibTeX RDF
12	Vincent J. DiGri, Jane E. King	The Share 709 System: Input-Output Translation.	J. ACM	1959	DBLP DOI BibTeX RDF
12	Ri Choe, Taejin Park, Kwang Ryel Ryu	Dispatching AGVs with noisy estimation of crane operation time.	SAC	2010	DBLP DOI BibTeX RDF	simulation, uncertainty, dispatching, container terminal, AGV
12	David Aveiro, António Rito Silva, José M. Tribolet	Towards a GOD-theory for organizational engineering: continuously modeling the continuous (re)generation, operation and deletion of the enterprise.	SAC	2010	DBLP DOI BibTeX RDF	organizational self-awareness, function, exception, organizational change, organizational engineering
12	Martin Saint-Laurent, Animesh Datta	A low-power clock gating cell optimized for low-voltage operation in a 45-nm technology.	ISLPED	2010	DBLP DOI BibTeX RDF	clock gater, clock gating cell, local clock buffer, set-reset latch
12	Hunszu Liu	Effects of Gender Difference on Emergency Operation Interface Design in Semiconductor Industry.	HCI (1)	2009	DBLP DOI BibTeX RDF	User interface design, human performance, gender differences, emergency management
12	Keiko Kasamatsu, Tadahiro Minami, Kazuki Izumi, Hideo Jinguh	Effective Combination of Haptic, Auditory and Visual Information Feedback in Operation Feeling.	HCI (2)	2009	DBLP DOI BibTeX RDF	feeling of push touch, haptic feedback, psychological effects
12	Jordi Cabot, Robert Clarisó, Daniel Riera	Verifying UML/OCL Operation Contracts.	IFM	2009	DBLP DOI BibTeX RDF
12	Yiyu Shi 0001, Jinjun Xiong, Chunchen Liu, Lei He 0001	Efficient Decoupling Capacitance Budgeting Considering Operation and Process Variations.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2008	DBLP DOI BibTeX RDF