Search results for "delta"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
24	Hirotaka Koizumi, Kosuke Kurokawa, Shinsaku Mori	A comparison of output envelope waveforms of the delta-sigma modulated class D series resonant inverter.	ISCAS	2006	DBLP DOI BibTeX RDF
24	Heather A. Wake, Daeik D. Kim, Martin A. Brooke	Mixed-signal implementation of a nonlinear decoder for delta-sigma encoded stream.	ISCAS	2006	DBLP DOI BibTeX RDF
24	Jen-Shiun Chiang, Yi-Tsung Li, Hsin-Liang Chen	A 20-MS/s sigma delta modulator for 802.11a applications.	ISCAS	2006	DBLP DOI BibTeX RDF
24	Fang Chen, Till Kuendiger, Shervin Erfani	Compensation of Finite GBW Induced Performance Loss on a Fifth-order Continuous-time Sigma-Delta Modulator.	CCECE	2006	DBLP DOI BibTeX RDF
24	Xiaolong Yuan, S. Signed, Xiaobo Wu	Single Amplifier Sigma Delta Modulator With Input Feedforward.	APCCAS	2006	DBLP DOI BibTeX RDF
24	I-Hung Khoo, Hari C. Reddy, P. Karivaratha Rajan	Design of Delta Operator Based 2-D IIR Filters Using Symmetrical Decomposition.	APCCAS	2006	DBLP DOI BibTeX RDF
24	Ana Rusu, Mohammed Ismail 0001, Hannu Tenhunen	A Modified Cascaded Sigma-Delta Modulator with Improved Linearity.	ISVLSI	2005	DBLP DOI BibTeX RDF
24	Richard Statman, Henk Barendregt	Böhm's Theorem, Church's Delta, Numeral Systems, and Ershov Morphisms.	Processes, Terms and Cycles	2005	DBLP DOI BibTeX RDF
24	Keisuke Eguchi, Masaru Chibashi, Takao Waho	A Design of 10-GHz Delta-Sigma Modulator using a 4-Level Differential Resonant-Tunneling Quantizer.	ISMVL	2005	DBLP DOI BibTeX RDF
24	Shuenn-Yuh Lee, Chung-Han Cheng, Ming-Feng Huang, Shyh-Chyang Lee	A 1-V 2.4-GHz low-power fractional-N frequency synthesizer with sigma-delta modulator controller.	ISCAS (3)	2005	DBLP DOI BibTeX RDF
24	Teng-Hung Chang, Lan-Rong Dung, Jwin-Yen Guo	On reducing leakage quantization noise of multistage Sigma-Delta modulator using nonlinear oscillation.	ISCAS (3)	2005	DBLP DOI BibTeX RDF
24	Oguz Altun, Jinseok Koh, Phillip E. Allen	A 1.5V multirate multibit sigma delta modulator for GSM/WCDMA in a 90 nm digital CMOS process.	ISCAS (6)	2005	DBLP DOI BibTeX RDF
24	Friedel Gerfers, Maurits Ortmanns, Yiannos Manoli	A new technique for automatic error correction in Sigma-Delta modulators.	ISCAS (3)	2005	DBLP DOI BibTeX RDF
24	Eric C. Moule, Zeljko Ignjatovic	A 2-path bandpass sigma-delta modulator utilizing a 3-path structure.	ISCAS (4)	2005	DBLP DOI BibTeX RDF
24	Siew Kuok Hoon, Franco Maloberti, Jun Chen	A low-power digital PWM DC/DC converter based on passive sigma-delta modulator.	ISCAS (4)	2005	DBLP DOI BibTeX RDF
24	Saman S. Abeysekera, Charoensak Charayaphan	System on chip FPGA design of an FM demodulator using a Kalman band-pass sigma-delta architecture.	ISCAS (1)	2005	DBLP DOI BibTeX RDF
24	Yuan Chen, Kei-Tee Tiew	A sixth-order subsampling continuous-time bandpass delta-sigma modulator.	ISCAS (6)	2005	DBLP DOI BibTeX RDF
24	Erik Schüler, Luigi Carro	Increasing Fault Tolerance to Multiple Upsets Using Digital Sigma-Delta Modulators.	IOLTS	2005	DBLP DOI BibTeX RDF
24	Atef Bader, Shangping Ren, Husein Armouti	Delta Changes for OO Software Adaptation: Pervasive or Invasive?	HICSS	2005	DBLP DOI BibTeX RDF	Weaving Rules, functionality slice, Aspect-Oriented, Software Adaptation, Join Points
24	Xiaolong Yuan, Andreas Gothenberg, Xiaobo Wu	Improved Wideband Low Distortion Cascaded Delta-Sigma Modulator.	IWSOC	2005	DBLP DOI BibTeX RDF
24	Ana Rusu, Alexei Borodenkov, Mohammed Ismail 0001, Hannu Tenhunen	Design of a Power/Performance Efficient Single-Loop Sigma-Delta Modulator for Wireless Receivers.	PATMOS	2004	DBLP DOI BibTeX RDF
24	Hirohisa Hotta, Yoshimitsu Murahashi, Shinji Doki, Shigeru Okuma	Hardware Implementation of Pulsed Neural Networks Based on Delta-Sigma Modulator for ICA.	ISNN (1)	2004	DBLP DOI BibTeX RDF
24	José B. Silva, Un-Ku Moon, Gabor C. Temes	Low-distortion delta-sigma topologies for MASH architectures.	ISCAS (1)	2004	DBLP DOI BibTeX RDF
24	Fabio Sousa, Volker Mauer, Neimar Duarte, Ricardo P. Jasinski, Volnei A. Pedroni	Taking advantage of LVDS input buffers to implement sigma-delta A/D converters in FPGAs.	ISCAS (1)	2004	DBLP DOI BibTeX RDF
24	Yongjie Cheng, Craig S. Petrie, Brent Nordick	A 4th order single-loop delta-sigma ADC with 8-bit two-step flash quantization.	ISCAS (1)	2004	DBLP DOI BibTeX RDF
24	Wang Tung Cheng, Kong-Pang Pun, Cheong-Fat Chan, Chiu-sing Choy	An IF-sampling SC complex lowpass Sigma Delta modulator with high image rejection by capacitor sharing.	ISCAS (1)	2004	DBLP DOI BibTeX RDF
24	Zeljko Ignjatovic, Mark F. Bocko	Sigma-delta analog to digital converter architecture based upon a modulator design employing a mirrored integrator.	ISCAS (1)	2004	DBLP DOI BibTeX RDF
24	Masaru Chibashi, Keisuke Eguchi, Takao Waho	A novel delta-sigma modulator using resonant-tunneling quantizers.	ISCAS (1)	2004	DBLP DOI BibTeX RDF
24	Kye-Shin Lee, Yunyoung Choi, Franco Maloberti	Domino free 4-path time-interleaved second order sigma-delta modulator.	ISCAS (1)	2004	DBLP DOI BibTeX RDF
24	Jannik Hammel Nielsen, Erik Bruun	A low-power 10-bit continuous-time CMOS Sigma Delta A/D converter.	ISCAS (1)	2004	DBLP DOI BibTeX RDF
24	Aradee Rojanapasakorn, Chanboon Sathitwiriyawong	A Performance Study of Over-Issuing Delta-CRLs with Distribution Points.	AINA (2)	2004	DBLP DOI BibTeX RDF
24	Rasoul Dehghani, Seyed Mojtaba Atarodi, B. Bornoosh, Ali Afzali-Kusha	A Reduced Complexity 3rd Order Digital Delta-Sigma Modulator for Fractional-N Frequency Synthesis.	VLSI Design	2004	DBLP DOI BibTeX RDF
24	Oleg Semenov, Arman Vassighi, Manoj Sachdev	Leakage Current in Sub-Quarter Micron MOSFET: A Perspective on Stressed Delta IDDQ Testing.	J. Electron. Test.	2003	DBLP DOI BibTeX RDF	MOSFET leakage, reliability, quality, CMOS integrated circuits, I DDQ testing
24	Peter Celinski, Sorin Cotofana, Derek Abbott	A-DELTA: A 64-bit High Speed, Compact, Hybrid Dynamic-CMOS/Threshold-Logic Adder.	IWANN (2)	2003	DBLP DOI BibTeX RDF
24	J. Moreno-Reina, José M. de la Rosa 0001, Fernando Medeiro, R. Romay, Rocío del Río, Maria Belen Pérez-Verdú, Ángel Rodríguez-Vázquez	A SIMULINK-based approach for fast and precise simulation of switched-capacitor, switched-current and continuous-time Sigma-Delta modulators.	ISCAS (4)	2003	DBLP DOI BibTeX RDF
24	F. Esahani, Philipp Basedau, Roland Ryter, Rolf Becker	An 82 dB CMOS continuous-time complex bandpass sigma-delta ADC for GSM/EDGE.	ISCAS (1)	2003	DBLP DOI BibTeX RDF
24	I-Hung Khoo, Hari C. Reddy, P. Karivaratha Rajan	Delta operator based 2-D filters: symmetry, stability, and design.	ISCAS (3)	2003	DBLP DOI BibTeX RDF
24	Andrea Gerosa, Andrea Neviani	A very low-power 8-bit Sigma-Delta converter in a 0.8µm CMOS technology for the sensing chain of a cardiac pacemaker, operating down to 1.8 V.	ISCAS (5)	2003	DBLP DOI BibTeX RDF
24	Jianxin Zhang, Paul V. Brennan, Dai Jiang, E. Vinogradova, P. D. Smith	Stability analysis of a sigma delta modulator.	ISCAS (1)	2003	DBLP DOI BibTeX RDF
24	Lukas Dörrer, Antonio Di Giandomenico, Andreas Wiesbauer	A 10-bit, 4 mW continuous-time sigma-delta ADC for UMTS in a 0.12µm CMOS process.	ISCAS (1)	2003	DBLP DOI BibTeX RDF
24	Chiheb Rebai, Dominique Dallet, Philippe Marchegay	High order 1-bit digital sigma delta modulation for on chip analogue signal sources.	ISCAS (1)	2003	DBLP DOI BibTeX RDF
24	Peter Kiss, Jesús Arias Álvarez, Dandan Li	Stable high-order delta-sigma DACS.	ISCAS (1)	2003	DBLP DOI BibTeX RDF
24	Joost Engelfriet	The Delta Operation: From Strings to Trees to Strings.	Formal and Natural Computing	2002	DBLP DOI BibTeX RDF
24	Anas A. Hamoui, Kenneth W. Martin	Linearity enhancement of multibit Delta-Sigma modulators using pseudo data-weighted averaging.	ISCAS (3)	2002	DBLP DOI BibTeX RDF
24	Friedel Gerfers, Kian Min Soh, Maurits Ortmanns, Yiannos Manoli	Figure of merit based design strategy for low-power continuous-time Sigma-Delta modulators.	ISCAS (4)	2002	DBLP DOI BibTeX RDF
24	Martin Vogels, Kenneth Francken, Ewout Martens, Georges G. E. Gielen	Efficient time-domain simulation of continuous-time Delta-Sigma A/D converters using analytical integration.	ISCAS (4)	2002	DBLP DOI BibTeX RDF
24	Arun Rao, William McIntyre, J. Parry, Un-Ku Moon, Gabor C. Temes	Buck-boost switched-capacitor DC-DC voltage regulator using delta-sigma control loop.	ISCAS (4)	2002	DBLP DOI BibTeX RDF
24	Chee-Kian Ong, Kwang-Ting (Tim) Cheng	Self-Testing Second-Order Delta-Sigma Modulators Using Digital Stimulus.	VTS	2002	DBLP DOI BibTeX RDF
24	Yikui Dong, Ajoy Opal	An overview on computer-aided analysis techniques for sigma-delta modulators.	ISCAS (5)	2001	DBLP DOI BibTeX RDF
24	Martijn F. Snoeij, Ovidiu Bajdechi, Johan H. Huijsing	A 4th-order switched-capacitor sigma-delta A/D converter using a high-ripple Chebyshev loop filter.	ISCAS (1)	2001	DBLP DOI BibTeX RDF
24	Frank Dachselt, M. Gotz	Rational cycle decoding algorithm for the first-order delta-sigma modulator.	ISCAS (2)	2001	DBLP DOI BibTeX RDF
24	Jennifer Y. Dong, Ajoy Opal	Time-domain thermal noise simulation of switched capacitor circuitsand delta-sigma modulators.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2000	DBLP DOI BibTeX RDF
24	Theo J. Powell, James R. Pair, Melissa St. John, Doug Counce	Delta Iddq for Testing Reliability.	VTS	2000	DBLP DOI BibTeX RDF	reliability, Iddq
24	Takayuki Tachikawa, Makoto Takizawa 0001	Delta-Causality in Wide-Area Group Communications.	ICPADS	1997	DBLP DOI BibTeX RDF
24	Andreas Bauch, Thomas Kosch, Erik Maehle, Wolfgang Obelöer	The Software-Monitor DELTA-T and Its Use for Performance Measurements of Some Farming Variants on the Multi-Transputer System DAMP.	CONPAR	1992	DBLP DOI BibTeX RDF
24	Gregory T. Brauns, R. J. Bishop, Michael Steer, John J. Paulos, Sasan H. Ardalan	Table-based modeling of delta-sigma modulators using ZSIM.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	1990	DBLP DOI BibTeX RDF
24	Antonio Brogi, Roberto Gorrieri	A Distributed, Net Oriented Semantics for Delta Prolog.	TAPSOFT, Vol.1	1989	DBLP DOI BibTeX RDF
22	Indika Meedeniya	An incremental methodology for quantitative software architecture evaluation with probabilistic models.	ICSE (2)	2010	DBLP DOI BibTeX RDF	delta evaluation, incremental evaluation models, architecture evaluation, probabilistic properties
22	Ruey-Song Huang, Tzyy-Ping Jung, Scott Makeig	Tonic Changes in EEG Power Spectra during Simulated Driving.	HCI (16)	2009	DBLP DOI BibTeX RDF	ICA, EEG, driving, alertness, alpha, delta, reaction time, theta
22	Yanqin Xiao, Yansong Zhang, Shan Wang 0001, Hong Chen 0001	Incremental Computation for MEDIAN Cubes in What-If Analysis.	APWeb/WAIM	2009	DBLP DOI BibTeX RDF	delta cube, incremental computation, cube, what-if analysis
22	Andreas Zeller	Debugging debugging: acm sigsoft impact paper award keynote.	ESEC/SIGSOFT FSE	2009	DBLP DOI BibTeX RDF	delta debugging, automated debugging
22	Joshua E. Menke, Tony R. Martinez	A Bradley-Terry artificial neural network model for individual ratings in group competitions.	Neural Comput. Appl.	2008	DBLP DOI BibTeX RDF	Bradley-Terry model, Delta rule, Neural networks, Probability estimates, Paired comparisons
22	Yuval Kochman, Jan Østergaard, Ram Zamir	Noise-Shaped Predictive Coding for Multiple Descriptions of a Colored Gaussian Source.	DCC	2008	DBLP DOI BibTeX RDF	Delta-Sigma quantization, Predictive coding, Multiple Descriptions
22	Michal Pavlik, Michal Kuban, Radimir Vrba	Switched Current Flash Analog to Digital Converter.	ICONS	2008	DBLP DOI BibTeX RDF	Switched current, AD Converter, flash converter, Sigma Delta modulator
22	Lukas Fujcik, Radimir Vrba, Linus Michaeli, Jiri Haze	Digital Synchronization Utilizing Harmonic Signal Generator for Capacitive Pressure Sensor Measurement.	ICONS	2008	DBLP DOI BibTeX RDF	mixed analogdigital, sensors, sigma-delta modulation
22	Imran Rafiq Quadri, Pierre Boulet, Samy Meftali, Jean-Luc Dekeyser	Using an MDE Approach for Modeling of Interconnection Networks.	ISPAN	2008	DBLP DOI BibTeX RDF	UML2 Templates, SoC, MINs, NoC, MDE, MARTE, Delta Networks
22	Liangsuo Ma, Ah Chung Tsoi	A unified balanced approach to multichannel blind deconvolution.	Signal Image Video Process.	2007	DBLP DOI BibTeX RDF	Multichannel blind deconvolution, Delta operator, Balanced parametrization, Independent component analysis, State space
22	Muharrem Orkun Saglamdemir, Ömer Yetik, Selçuk Talay, Günhan Dündar	A coefficient optimization and architecture selection tool for SD modulators considering component non-idealities.	ACM Great Lakes Symposium on VLSI	2007	DBLP DOI BibTeX RDF	sigma-delta converters, design automation, mixed-signal circuits
22	Luís Rolíndez, Salvador Mir, Ahcène Bounceur, Jean-Louis Carbonéro	A BIST Scheme for SNDR Testing of SigmaDelta ADCs Using Sine-Wave Fitting.	J. Electron. Test.	2006	DBLP DOI BibTeX RDF	analogue BIST, analogue-to-digital converter, mixed-signal testing, sigma-delta modulation
22	Daniel Gruhl, Daniel N. Meredith, Jan Pieper, Alex Cozzi, Stephen Dill	The web beyond popularity: a really simple system for web scale RSS.	WWW	2006	DBLP DOI BibTeX RDF	Daily Delta, WebFountain, document routing, internet, RSS, crawler
22	Kihwan Eom, Seong-ho Kang	Learning method of the ADALINE using the fuzzy logic system.	Neural Comput. Appl.	2005	DBLP DOI BibTeX RDF	Widrow-Hoff delta rule, Inverted pendulum, Noise cancellation, Fuzzy logic system, ADALINE
22	Diego Vázquez, Gloria Huertas, África Luque, Manuel J. Barragan Asian, Gildas Léger, Adoración Rueda, José Luis Huertas	Sine-Wave Signal Characterization Using Square-Wave and SigmaDelta-Modulation: Application to Mixed-Signal BIST.	J. Electron. Test.	2005	DBLP DOI BibTeX RDF	BIST, analog testing, mixed-signal testing, sigma-delta modulation
22	Jue Wang 0001, Chenyu Wu, Ying-Qing Xu, Heung-Yeung Shum	Combining shape and physical modelsfor online cursive handwriting synthesis.	Int. J. Document Anal. Recognit.	2005	DBLP DOI BibTeX RDF	Handwriting synthesis, Handwriting segmentation, Delta log-normal model, Conditional sampling, Cursive script
22	Rachid Namane, Fatima Boumghar, Kadi Bouatouch	QSplat compression.	Afrigraph	2004	DBLP DOI BibTeX RDF	QSplat, relative delta encoding, interactivity, data compression, volume rendering, level of detail, Huffman coding, point-based rendering
22	M. Ali-Bakhshian, K. Sadeghi	A novel continuous-time common-mode feedback for low-voltage switched-OPAMP.	ISLPED	2004	DBLP DOI BibTeX RDF	CMFB, delta-sigma, switched-OPAMP, low-voltage, continuous-time
22	Claude Thibeault	Replacing IDDQ Testing: With Variance Reduction.	J. Electron. Test.	2003	DBLP DOI BibTeX RDF	(Delta) I DDQ testing, HBTP, test, variance reduction
22	L. Cassol, O. Betat, Luigi Carro, Marcelo Lubaszewski	The SigmaDelta-BIST Method Applied to Analog Filters.	J. Electron. Test.	2003	DBLP DOI BibTeX RDF	BIST, analog test, mixed signal testing, sigma-delta modulator
22	Marcus Alanen, Ivan Porres	Difference and Union of Models.	UML	2003	DBLP DOI BibTeX RDF	delta calculation, revision control, UML, metamodelling
22	Omid Oliaei	Oversampled gain-boosting.	ISLPED	2002	DBLP DOI BibTeX RDF	MOS amplifier, gain boosting, gain enhancement, switched-capacitor, bootstrapping, ADC, DAC, OTA, sigma-delta
22	Claude Thibeault	On the Adaptation of Viterbi Algorithm for Diagnosis of Multiple Bridging Faults.	IEEE Trans. Computers	2000	DBLP DOI BibTeX RDF	Delta ${rm I}_{DDQ}$, probabilistic signatures, diagnosis, Integrated circuits, bridging faults, multiple faults
22	Brian D. Alleyne, Isaac D. Scherson	On Evil Twin Networks and the Value of Limited Randomized Routing.	IEEE Trans. Parallel Distributed Syst.	2000	DBLP DOI BibTeX RDF	recirculating networks, Multistage interconnection networks (MINs), permutation routing, Clos networks, randomized routing, SIMD computers, Delta networks
22	Ethan Scarl, Kurt McCall	Model-based diagnosis in a power distribution testbed.	ECBS	1997	DBLP DOI BibTeX RDF	ro/spl delta/on model-based diagnosis shell, breadboard testbed, diagnostic algorithm, Space Station Module, software testbed, hardware testbed, Marshall Space Flight Center, expert system, power management, diagnostic expert systems, power distribution system, constraint-based modeling
22	Domingo Giménez, Robert A. van de Geijn, Vicente Hernández, Antonio M. Vidal	Exploiting the Symmetry on the Jacobi Method on a Mesh of Processors.	PDP	1996	DBLP DOI BibTeX RDF	parallel Jacobi method, symmetric eigenvalue problem, matrix symmetry, scalable Jacobi method, Intel Touchstone DELTA, parallel algorithms, scalability, distributed memory systems, eigenvalues and eigenfunctions, distributed memory parallel computers, Jacobian matrices
22	Gary S. H. Tan, Yong Meng Teo	Experiences in simulating a declarative multiprocessor.	Annual Simulation Symposium	1995	DBLP DOI BibTeX RDF	declarative multiprocessor simulation, declarative programming languages, Flagship parallel reduction machine, packet-based graph reduction model, executional units, timing characteristics, event-driven timing scheme, tightly-coupled processor-store pairs, performance evaluation, performance evaluation, parallel architectures, virtual machines, timing, parallel machines, synchronisation, synchronisation, parallel languages, functional languages, functional languages, functional simulator, parallel computer architectures, MIMD architecture, delta network
22	Aditya Agrawal, Magdy A. Bayoumi, Amr Elchouemi	A new ATM congestion control scheme for shared buffer switch architectures.	ICCCN	1995	DBLP DOI BibTeX RDF	pre-emptive congestion control scheme, shared buffer switch architectures, rate-based feedback scheme, guaranteed service traffic, continuous bit-rate traffic, leaky bucket mechanism, backward explicit congestion notification feedback scheme, mean inter-arrival time, buffer threshold throttle factor, cell reject throttle factor, rate reduction delta, transient behaviour, filter time, asynchronous transfer mode, ATM networks, simulation model, ATM switch, dynamic bandwidth allocation, best-effort traffic, variable bit-rate traffic, predictive scheme
22	James A. Lupo	Benchmarking UHGROMOS.	HICSS (5)	1995	DBLP DOI BibTeX RDF	GROMOS, parallel Fortran preprocessor, Pfortran, Intel Corporation, IBM Corporation, massively parallel processor machines, Intel iPSC/860, Caltech Intel DELTA, IBM SP1, UHGROMOS molecular dynamics program, test application, parallel performance analysis, parallel programming, benchmarking, FORTRAN, parallel machines, parallel machines, software performance evaluation, physics, parallel languages, software portability, physics computing, porting, Intel Paragon, program processors, molecular dynamics method
22	Jaeyoung Choi, Jack J. Dongarra	Scalable linear algebra software libraries for distributed memory concurrent computers.	FTDCS	1995	DBLP DOI BibTeX RDF	scalable linear algebra software libraries, distributed memory concurrent computers, core factorization routines, ScaLAPACK library, block cyclic data distribution, message passing communication, scalable software library, de facto standard kernels, Intel iPSC/860, Touchstone Delta, Paragon systems, parallel programming, message passing, software reusability, software libraries, parallel implementations, symbol manipulation, matrix operations, vector operations
22	Ghassan Z. Qadah, Lawrence J. Henschen, Jung J. Kim	Efficient Algorithms for the Instantiated Transitive Closure Queries.	IEEE Trans. Software Eng.	1991	DBLP DOI BibTeX RDF	instantiated transitive closure queries, delta -wavefront, super-TC, disk page, processed TC query, performance evaluation, performance evaluation, query languages, database theory, database theory, generic algorithm, wavefront, recursive queries
22	Jean Arlat, Martine Aguera, Louis Amat, Yves Crouzet, Jean-Charles Fabre, Jean-Claude Laprie, Eliane Martins, David Powell	Fault Injection for Dependability Validation: A Methodology and Some Applications.	IEEE Trans. Software Eng.	1990	DBLP DOI BibTeX RDF	dependability validation, fault-tolerance mechanisms, hardware/software prototype, validation-directed design process, general pin-level fault injection tool, MESSALINE, centralized computerized interlocking system, railway control applications, dependable communication system, ESPRIT Delta-4 Project, distributed system, fault tolerant computing, distributed processing, software tools, program verification, computer communications software, railways, fault-tolerant computing systems, validation methodology
21	Rajiv Misra, Chittaranjan A. Mandal	Rotation of CDS via Connected Domatic Partition in Ad Hoc Sensor Networks.	IEEE Trans. Mob. Comput.	2009	DBLP DOI BibTeX RDF
21	Manabu Hagiwara, Marc P. C. Fossorier	Comment on "Quasi-Cyclic Low Density Parity Check Codes From Circulant Permutation Matrices".	IEEE Trans. Inf. Theory	2009	DBLP DOI BibTeX RDF
21	Ting Wang 0006, Shicong Meng, Bhuvan Bamba, Ling Liu 0001, Calton Pu	A General Proximity Privacy Principle.	ICDE	2009	DBLP DOI BibTeX RDF
21	Cheol-Hong Moon, Woo-Chun Jang	Implementation of LED Array Color Temperature Controlled Lighting System Using RISC IP Core.	ICIC (1)	2009	DBLP DOI BibTeX RDF
21	Gokhan Sahin	Predictive Scheduling in Rate-Adaptive Multi-user Relay Channels with Reconfiguration Delays.	ICDCS Workshops	2009	DBLP DOI BibTeX RDF
21	Mingrui Wei, Elke A. Rundensteiner	Mode Aware Stream Query Processing.	SSDBM	2009	DBLP DOI BibTeX RDF
21	Edwin M. Umali, Yoshikazu Toyama, Yasushi Yamao	Power Spectral Analysis of the Envelope Pulse-Width Modulation (EPWM) Transmitter for High Efficiency Amplification of OFDM Signals.	VTC Spring	2008	DBLP DOI BibTeX RDF
21	Boaz Barak, Moritz Hardt, Ishay Haviv, Anup Rao 0001, Oded Regev 0001, David Steurer	Rounding Parallel Repetitions of Unique Games.	FOCS	2008	DBLP DOI BibTeX RDF
21	Xing Jin, Wanqing Tu, S.-H. Gary Chan	Traceroute-Based Topology Inference without Network Coordinate Estimation.	ICC	2008	DBLP DOI BibTeX RDF
21	Yang Xiao 0003, Susan Darling Urban	Recovery of Concurrent Processes in a Service Composition Environment Using Data Dependencies.	OTM Conferences (1)	2008	DBLP DOI BibTeX RDF	Service composition, recovery, data dependencies, concurrent execution
21	Zhile Zou, Ru Fang, Liang Liu, Qingbo Wang, Hao Wang	On Synchronizing with Web Service Evolution.	ICWS	2008	DBLP DOI BibTeX RDF