The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for interleaving with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1971-1984 (17) 1985-1987 (18) 1988 (15) 1989-1990 (30) 1991 (26) 1992 (17) 1993 (26) 1994 (18) 1995-1996 (46) 1997 (32) 1998 (30) 1999 (34) 2000 (42) 2001 (53) 2002 (65) 2003 (57) 2004 (74) 2005 (110) 2006 (118) 2007 (98) 2008 (139) 2009 (94) 2010 (51) 2011 (40) 2012 (45) 2013 (46) 2014 (46) 2015 (60) 2016 (47) 2017 (43) 2018 (54) 2019 (45) 2020 (43) 2021 (47) 2022 (48) 2023 (56) 2024 (14)
Publication types (Num. hits)
article(652) book(1) data(1) incollection(3) inproceedings(1180) phdthesis(7)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 874 occurrences of 646 keywords

Results
Found 1844 publication records. Showing 1844 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
17Tohru Kondo, Kouji Nishimura, Reiji Aibara Implementation and Evaluation of the Robust High-Quality Video Transfer System on the Broadband Internet. Search on Bibsonomy SAINT The full citation details ... 2004 DBLP  DOI  BibTeX  RDF broadband Internet, dynamic redundancy, Forward Error Correction, interleaving, multimedia transmission
17Guang Yang 0004, Alberto L. Sangiovanni-Vincentelli, Yosinori Watanabe, Felice Balarin Separation of concerns: overhead in modeling and efficient simulation techniques. Search on Bibsonomy EMSOFT The full citation details ... 2004 DBLP  DOI  BibTeX  RDF interleaving concurrency, orthogonalization of conerns, simulation, platform-based design
17Jude A. Rivers, Gary S. Tyson, Edward S. Davidson, Todd M. Austin On High-Bandwidth Data Cache Design for Multi-Issue Processors. Search on Bibsonomy MICRO The full citation details ... 1997 DBLP  DOI  BibTeX  RDF Locality-Based Interleaving, Multiporting, High-Bandwidth Data Supply, Multi-Bank Caches
17Rakesh D. Barve, Edward F. Grove, Jeffrey Scott Vitter Application-Controlled Paging for a Shared Cache (Extended Abstract). Search on Bibsonomy FOCS The full citation details ... 1995 DBLP  DOI  BibTeX  RDF application-controlled paging, application processes, worst-case interleaving, global paging performance, shared memory systems, cache storage, shared cache, page fault, paged storage
17Gurindar S. Sohi High-Bandwidth Interleaved Memories for Vector Processors-A Simulation Study. Search on Bibsonomy IEEE Trans. Computers The full citation details ... 1993 DBLP  DOI  BibTeX  RDF high bandwidth interleaved memories, alternate interleaving schemes, vector processing systems, parallel processing, computer architecture, storage management, buffering, simulation study, access patterns, vector processors
17Daniel C. McCrackin Eliminating Interlocks in Deeply Pipelined Processors by Delay Enforced Multistreaming. Search on Bibsonomy IEEE Trans. Computers The full citation details ... 1991 DBLP  DOI  BibTeX  RDF deeply pipelined processors, delay enforced multistreaming, data dependency problem, jump problem, interdispatch delay, stream dispatching algorithms, modified fixed delay, encoded delay with fixed minimum, pipeline processing, processor architecture, interleaving, interlocks
17Wolfgang Reisig A strong part of concurrency. Search on Bibsonomy European Workshop on Applications and Theory of Petri Nets The full citation details ... 1986 DBLP  DOI  BibTeX  RDF interleaving sequences, concurrency, fairness, priority, conflict, confusion
17Lionel M. Ni, Kai Hwang 0001 Vector-Reduction Techniques for Arithmetic Pipelines. Search on Bibsonomy IEEE Trans. Computers The full citation details ... 1985 DBLP  DOI  BibTeX  RDF Arithmetic pipelines, multiple vector processing, vector reduction, matrix algebra, VLSI architecture, interleaving
17Dileep Bhandarkar Some Performance Issues in Multiprocessor System Design. Search on Bibsonomy IEEE Trans. Computers The full citation details ... 1977 DBLP  DOI  BibTeX  RDF memory interleaving, performance, multiprocessors, Memory interference
16Albrecht Schmidt 0001 Engineering interactive ubiquitous computing systems. Search on Bibsonomy EICS The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
16Yisong Yue, Yue Gao 0005, Olivier Chapelle, Ya Zhang 0002, Thorsten Joachims Learning more powerful test statistics for click-based retrieval evaluation. Search on Bibsonomy SIGIR The full citation details ... 2010 DBLP  DOI  BibTeX  RDF retrieval evaluation, implicit feedback, click-through data
16Hsiu-Ming Chang 0001, Jiun-Lang Huang, Ding-Ming Kwai, Kwang-Ting (Tim) Cheng, Cheng-Wen Wu An error tolerance scheme for 3D CMOS imagers. Search on Bibsonomy DAC The full citation details ... 2010 DBLP  DOI  BibTeX  RDF image sensor, error tolerance, 3D IC
16Dmitry G. Korzun, Andrei V. Gurtov A local equilibrium model for P2P resource ranking. Search on Bibsonomy SIGMETRICS Perform. Evaluation Rev. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
16Bill Lin 0001, Jun (Jim) Xu, Nan Hua, Hao Wang 0006, Haiquan (Chuck) Zhao A randomized interleaved DRAM architecture for the maintenance of exact statistics counters. Search on Bibsonomy SIGMETRICS Perform. Evaluation Rev. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
16Sipat Triukose, Zhihua Wen, Michael Rabinovich Content delivery networks: how big is big enough? Search on Bibsonomy SIGMETRICS Perform. Evaluation Rev. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
16Alma Riska, Erik Riedel Evaluation of disk-level workloads at different time scales. Search on Bibsonomy SIGMETRICS Perform. Evaluation Rev. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
16David G. Kirkpatrick Hyperbolic Dovetailing. Search on Bibsonomy ESA The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
16Parikshit Gopalan, Venkatesan Guruswami, Prasad Raghavendra List decoding tensor products and interleaved codes. Search on Bibsonomy STOC The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Johnson bound, generalized hamming weights, interleaved codes, linear transformations, list decoding, tensor products
16Marek Olszewski, Jason Ansel, Saman P. Amarasinghe Kendo: efficient deterministic multithreading in software. Search on Bibsonomy ASPLOS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF deterministic multithreading, parallel programming, debugging, multicore, determinism
16Ling-Jyh Chen, Chen-Hung Yu, Cheng-Long Tseng, Hao-Hua Chu, Cheng-Fu Chou A content-centric framework for effective data dissemination in opportunistic networks. Search on Bibsonomy IEEE J. Sel. Areas Commun. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
16Jing-Ming Guo, Soo-Chang Pei, Hua Lee Paired Subimage Matching Watermarking Method on Ordered Dither Images and Its High-Quality Progressive Coding. Search on Bibsonomy IEEE Trans. Multim. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
16Jae Hyun Baek, Sung Dae Kim, Myung Hoon Sunwoo SPOCS: Application Specific Signal Processor for OFDM Communication Systems. Search on Bibsonomy J. Signal Process. Syst. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF ASSP, Communications, FFT, DSP, OFDM, Application-Specific Instruction-Set Processor (ASIP), Bit manipulation
16Katsutoshi Kusume, Gerhard Bauch 0001 Simple construction of multiple interleavers: cyclically shifting a single interleaver. Search on Bibsonomy IEEE Trans. Commun. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
16Jinhui Chen, Dirk T. M. Slock Optimum end-to-end distortion of interleaved transmission via a Rayleigh MIMO channel. Search on Bibsonomy PIMRC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
16Sarvani S. Vakkalanka, Ganesh Gopalakrishnan, Robert M. Kirby Dynamic Verification of MPI Programs with Reductions in Presence of Split Operations and Relaxed Orderings. Search on Bibsonomy CAV The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
16Hany E. Ramadan, Christopher J. Rossbach, Emmett Witchel Dependence-aware transactional memory for increased concurrency. Search on Bibsonomy MICRO The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
16Sayaka Shida, Yuichiro Shibata, Kiyoshi Oguri, Duncan A. Buell An optimization method of DMA transfer for a general purpose reconfigurable machine. Search on Bibsonomy FPL The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
16Oleg Kiselyov, William E. Byrd, Daniel P. Friedman, Chung-chieh Shan Pure, Declarative, and Constructive Arithmetic Relations (Declarative Pearl). Search on Bibsonomy FLOPS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
16Pavel Parízek, Frantisek Plásil Modeling of Component Environment in Presence of Callbacks and Autonomous Activities. Search on Bibsonomy TOOLS (46) The full citation details ... 2008 DBLP  DOI  BibTeX  RDF modeling of environment behavior, autonomous activities, Assume-guarantee reasoning, behavior protocols, callbacks
16Devang Jariwala, John Lillis RBI: Simultaneous Placement and Routing Optimization Technique. Search on Bibsonomy IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
16Monica Nicoli, Simone Ferrara, Umberto Spagnolini Soft-Iterative Channel Estimation: Methods and Performance Analysis. Search on Bibsonomy IEEE Trans. Signal Process. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
16Zheng-Hua Tan, Paul Dalsgaard, Børge Lindberg Exploiting Temporal Correlation of Speech for Error Robust and Bandwidth Flexible Distributed Speech Recognition. Search on Bibsonomy IEEE Trans. Speech Audio Process. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
16Duncan P. Brumby, Dario D. Salvucci, Andrew Howes An empirical investigation into dual-task trade-offs while driving and dialing. Search on Bibsonomy BCS HCI (2) The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
16Gerhard Bauch 0001, Katsutoshi Kusume Simple construction of multiple interleavers for concatenated zigzag codes. Search on Bibsonomy IWCMC The full citation details ... 2007 DBLP  DOI  BibTeX  RDF zigzag codes, interleaver, iterative decoding
16Anders Pettersson, Daniel Sundmark, Henrik Thane, Dag Nyström Shared Data Analysis for Multi-Tasking Real-Time System Testing. Search on Bibsonomy SIES The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
16Yong Fang, Lu Yu 0003 Block-Interleaved Error-Resilient Entropy Coding. Search on Bibsonomy ISCAS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
16Baofeng Li, Yong Dou FIDP: A Novel Architecture for Lifting-Based 2D DWT in JPEG2000. Search on Bibsonomy MMM (2) The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
16Avijit Dutta, Nur A. Touba Multiple Bit Upset Tolerant Memory Using a Selective Cycle Avoidance Based SEC-DED-DAEC Code. Search on Bibsonomy VTS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
16Jianmin Jiang, Jinzhao Wu, Hongping Shu Symmetry in Process Algebra. Search on Bibsonomy TASE The full citation details ... 2007 DBLP  DOI  BibTeX  RDF behavioral equivalences, Process algebra, symmetry, permutation groups
16Kai Yang 0001, Xiaodong Wang 0001 A multicarrier interleave-division uwb system. Search on Bibsonomy IEEE Trans. Wirel. Commun. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
16Gerhard Bauch 0001, Javed Shamim Malik Cyclic delay diversity with bit-interleaved coded modulation in orthogonal frequency division multiple access. Search on Bibsonomy IEEE Trans. Wirel. Commun. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
16Sathish Gopalakrishnan, Marco Caccamo, Chi-Sheng Shih 0001, Chang-Gun Lee, Lui Sha Finite-horizon scheduling of radar dwells with online template construction. Search on Bibsonomy Real Time Syst. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Radar dwell scheduling, Finite horizon, Real-time scheduling, Energy constraints
16Chang-Gun Lee, Phil-Su Kang, Chi-Sheng Shih 0001, Lui Sha Schedulability Envelope for Real-Time Radar Dwell Scheduling. Search on Bibsonomy IEEE Trans. Computers The full citation details ... 2006 DBLP  DOI  BibTeX  RDF radar dwell, schedulability envelope, finite-time guarantee, online admission control, real-time scheduling, Phased-array radar
16Joseph Boutros, Gilles Zémor On quasi-cyclic interleavers for parallel turbo codes. Search on Bibsonomy IEEE Trans. Inf. Theory The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
16Ben Milner, Alastair Bruce James Robust speech recognition over mobile and IP networks in burst-like packet loss. Search on Bibsonomy IEEE Trans. Speech Audio Process. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
16Le Liu 0001, Fumiyuki Adachi Chip-interleaved Multi-rate CDMA with 2-dimensional OVSF Spreading. Search on Bibsonomy VTC Spring The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
16Paolo Baldan, Stefan Haar, Barbara König 0001 Distributed Unfolding of Petri Nets. Search on Bibsonomy FoSSaCS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
16Peter Niebert, Doron A. Peled Efficient Model Checking for LTL with Partial Order Snapshots. Search on Bibsonomy TACAS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
16Michael Gschwind Chip multiprocessing and the cell broadband engine. Search on Bibsonomy Conf. Computing Frontiers The full citation details ... 2006 DBLP  DOI  BibTeX  RDF compute-transfer parallelism (CTP), cell broadband engine, memory-level parallelism (MLP), chip multiprocessing, heterogeneous chip multiprocessor
16Youjip Won, Seungheon Yang, Sooyong Kang Harmonic data placement: file system support for scalable streaming. Search on Bibsonomy MMM The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
16Tzvika Hartman, Elad Verbin Matrix Tightness: A Linear-Algebraic Framework for Sorting by Transpositions. Search on Bibsonomy SPIRE The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
16Sheng-Tzong Cheng, Jian-Liang Lin Reliable Video Transmission Techniques for Wireless MPEG-4 Streaming Systems. Search on Bibsonomy PRDC The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
16Qiang Guo, Wanhai Chen, Xingzhou Zhang, Zheng Li, Di Guan Signal Sorting Based on SVC & K-Means Clustering in ESM Systems. Search on Bibsonomy ICONIP (2) The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
16Danijela Cabric, Ahmed M. Eltawil, Hanli Zou, Sumit Mohan, Babak Daneshrad Wireless field trial results of a high hopping rate FHSS-FSK testbed. Search on Bibsonomy IEEE J. Sel. Areas Commun. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
16Toni Jussila, Keijo Heljanko, Ilkka Niemelä BMC via on-the-fly determinization. Search on Bibsonomy Int. J. Softw. Tools Technol. Transf. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF Verification, Labeled transition system, Bounded model checking
16Jung-Tao Liu, Saul B. Gelfand Optimized decision-feedback equalization for convolutional coding with reduced delay. Search on Bibsonomy IEEE Trans. Commun. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
16Jong-Ru Guo, Chao You, Michael Chu, Okan Erdogan, Russell P. Kraft, John F. McDonald 0001 A High Speed Reconfigurable Gate Array for Gigahertz Applications. Search on Bibsonomy ISVLSI The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
16Bhavani Raskutti, Alan Herschtal Predicting the product purchase patterns of corporate customers. Search on Bibsonomy KDD The full citation details ... 2005 DBLP  DOI  BibTeX  RDF SVM applications, area under ROC, learning from few positive examples, upsell
16Sangoh Jeong, Robert M. Gray Minimum Distortion Color Image Retrieval Based on Lloyd-Clustered Gauss Mixtures. Search on Bibsonomy DCC The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
16Ventzislav Nikov, Svetla Nikova On a Relation Between Verifiable Secret Sharing Schemes and a Class of Error-Correcting Codes. Search on Bibsonomy WCC The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
16Jin Young Lee, Hayder Radha Evaluation of the Interleaved Source Coding (ISC) Under Packet Correlation. Search on Bibsonomy ICME The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
16Ashok Kumar 0001, J. Luis Tecpanecatl-Xihuitl, Magdy A. Bayoumi Low complexity decimation filter for multi-standard digital receivers. Search on Bibsonomy ISCAS (1) The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
16Takuma Ishida, Shogo Muramatsu, Hisakazu Kikuchi Lossless implementation of Motion JPEG2000 integrated with invertible deinterlacing. Search on Bibsonomy ISCAS (6) The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
16Zhiyuan Yan, Dilip V. Sarwate, Zhongzhi Liu Area-efficient systolic architectures for inversions over GF(2m). Search on Bibsonomy ISCAS (6) The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
16Xiuli Sun, Jinzhao Wu Operational Semantics for Real-Time Processes with Action Refinement. Search on Bibsonomy SEFM The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
16Jinwha Yang, Edward J. Delp Markov random field estimation of lost DCT coefficients in JPEG due to packet errors. Search on Bibsonomy ICIP The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
16Toshiyuki Sakamoto, Daming Wei, Kazuhide Hamao A Study of ECG Telemonitoring System Using Mobile Internet Connections. Search on Bibsonomy CIT The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
16Sungshik Koh, Chung Hwa Kim Cropping, Rotation and Scaling Invariant LBX Interleaved Voice-in-Image Watermarking. Search on Bibsonomy AIS The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
16Mariano Pérez, Marcos Fernández 0001, Ricardo Olanda Non-interleaved Quadtree Node Codification. Search on Bibsonomy ADVIS The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
16Pierpaolo Degano, Fabio Gadducci, Corrado Priami Causality and Replication in Concurrent Processes. Search on Bibsonomy Ershov Memorial Conference The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
16Seok-Jun Lee, Naresh R. Shanbhag, Andrew C. Singer A low-power VLSI architecture for turbo decoding. Search on Bibsonomy ISLPED The full citation details ... 2003 DBLP  DOI  BibTeX  RDF MAP decoder, low power architecture, turbo decoding
16Chang-Hung Lee, Ming-Syan Chen Processing Distributed Mobile Queries with Interleaved Remote Mobile Joins. Search on Bibsonomy IEEE Trans. Computers The full citation details ... 2002 DBLP  DOI  BibTeX  RDF remote mobile joins, query scheduling, mobile computing, Distributed query processing
16Mira Balaban, Steffen Jurk Effect Preservation as a Means for Achieving Update Consistency. Search on Bibsonomy FQAS The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
16Bonnie E. John, Alonso H. Vera, Michael Matessa, Michael Freed, Roger W. Remington Automating CPM-GOMS. Search on Bibsonomy CHI The full citation details ... 2002 DBLP  DOI  BibTeX  RDF Apex, task/user modeling, tool support for usability evaluation, GOMS
16Rob J. van Glabbeek, Ursula Goltz Refinement of actions and equivalence notions for concurrent systems. Search on Bibsonomy Acta Informatica The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
16William E. Wright An Efficient Video-on-Demand Model. Search on Bibsonomy Computer The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
16Yinyi Lin, Y. J. Wang, T. H. Fan Compaction of ordered dithered images with arithmetic coding. Search on Bibsonomy IEEE Trans. Image Process. The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
16Xiaoyi Tang, Avideh Zakhor Matching pursuits multiple description coding for wireless video. Search on Bibsonomy ICIP (1) The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
16Vladimir Levin, Hüsnü Yenigün SDLcheck: A Model Checking Tool. Search on Bibsonomy CAV The full citation details ... 2001 DBLP  BibTeX  RDF
16John A. Trono Comments on "Tagged Semaphores". Search on Bibsonomy ACM SIGOPS Oper. Syst. Rev. The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
16Alexis Vartanian, Jean-Luc Béchennec, Nathalie Drach-Temam The Best Distribution for a Parallel OpenGL 3D Engine with Texture Caches. Search on Bibsonomy HPCA The full citation details ... 2000 DBLP  DOI  BibTeX  RDF texture mapping, Cache memories, parallel rendering, multiprocessing, application specific architecture
16Johan Garcia 0001, Anna Brunström A Robust JPEG Coder for a Partially Reliable Transport Service. Search on Bibsonomy IDMS The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
16Michaela Huhn, Peter Niebert, Frank Wallner Verification Based on Local States. Search on Bibsonomy TACAS The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
16Michaela Huhn, Peter Niebert Towards Automata for Branching Time and Partial Order. Search on Bibsonomy CONCUR The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
16Nadia Busi, Roberto Gorrieri A Petri Net Semantics for pi-Calculus. Search on Bibsonomy CONCUR The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
16Akhil Kumar 0001 A Study of Spatial Clustering techniques. Search on Bibsonomy DEXA The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
16Shinichiro Haruyama, Martin D. F. Wong, Donald S. Fussell Topological channel routing [VLSI]. Search on Bibsonomy IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
16Rocco De Nicola, Gian-Luigi Ferrari 0002 Observational Logics and Concurrency Models. Search on Bibsonomy FSTTCS The full citation details ... 1990 DBLP  DOI  BibTeX  RDF
16Bruce Martin Concurrent programming vs. concurrency control: shared events or shared data. Search on Bibsonomy OOPSLA/ECOOP Workshop on Object-based Concurrent Programming The full citation details ... 1988 DBLP  DOI  BibTeX  RDF
16Ursula Goltz On Representing CCS Programs by Finite Petri Nets. Search on Bibsonomy MFCS The full citation details ... 1988 DBLP  DOI  BibTeX  RDF
16Ludmila Cherkasova On Models and Algebras for Concurrent Processes. Search on Bibsonomy MFCS The full citation details ... 1988 DBLP  DOI  BibTeX  RDF
16Shmuel Katz, Doron A. Peled An efficient verification method for parallel and distributed programs. Search on Bibsonomy REX Workshop The full citation details ... 1988 DBLP  DOI  BibTeX  RDF Proof lattices, Verification, Temporal logic, Partial order semantics, Execution sequences
16Jennifer Widom, Prakash Panangaden Expressiveness Bounds for Completness in Trace-Based Network Proof Systems. Search on Bibsonomy CAAP The full citation details ... 1988 DBLP  DOI  BibTeX  RDF
14Mustafa Anil Resat, Armed Tusha, Seda Dogan Tusha, Serdar Özyurt, Hüseyin Arslan Error performance enhancement and complexity reduction in OFDM systems via coordinate interleaving under practical impairments. Search on Bibsonomy Turkish J. Electr. Eng. Comput. Sci. The full citation details ... 2024 DBLP  DOI  BibTeX  RDF
14Guowang Liu, Honglin Ouyang, Yingda Zhu, Bin Zhang Novel Shielding Technology and Interleaving Technology Realizes EMI CM Noise Suppression Base on Cascaded Power Module. Search on Bibsonomy IEEE Trans. Ind. Electron. The full citation details ... 2024 DBLP  DOI  BibTeX  RDF
14Krisma Asmoro, I Nyoman Apraz Ramatryana, Soo Young Shin Reconfigurable Intelligent Surface-Assisted NOMA With Coordinate Reflector Interleaving Under Rician Fading Channel. Search on Bibsonomy IEEE Access The full citation details ... 2024 DBLP  DOI  BibTeX  RDF
14Lidiane Costa da Silva, Eduardo Maroñas Monks, Adenauer Corrêa Yamin, Renata Reiser, Benjamín René Callejas Bedregal ωA-IvE methodology: Admissible interleaving entropy methods applied to video streaming traffic classification. Search on Bibsonomy Int. J. Approx. Reason. The full citation details ... 2024 DBLP  DOI  BibTeX  RDF
14Víctor M. Milián Sánchez, Miguel Enrique Iglesias Martínez, Jose Guerra Carmenate, Juan Carlos Castro-Palacio, Eduardo Balvis Outeiriño, Pedro Fernández de Córdoba, Francisco Misael Muñoz-Pérez, Juan A. Monsoriu, Sarira Sahu Spectral Analysis of Anomalous Capacitance Measurements in Interleaving Structures: Study of Frequency Distribution in Photomultipliers. Search on Bibsonomy Symmetry The full citation details ... 2024 DBLP  DOI  BibTeX  RDF
14Liang Chang 0002, Hang Lu, Chenglong Li, Xin Zhao, Zhicheng Hu, Jun Zhou 0017, Xiaowei Li 0001 General Purpose Deep Learning Accelerator Based on Bit Interleaving. Search on Bibsonomy IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. The full citation details ... 2024 DBLP  DOI  BibTeX  RDF
14Taesu Kim, Jongho Lee, Daehyun Ahn, Sarang Kim, Jiwoong Choi, Minkyu Kim, Hyungjun Kim QUICK: Quantization-aware Interleaving and Conflict-free Kernel for efficient LLM inference. Search on Bibsonomy CoRR The full citation details ... 2024 DBLP  DOI  BibTeX  RDF
Displaying result #201 - #300 of 1844 (100 per page; Change: )
Pages: [<<][1][2][3][4][5][6][7][8][9][10][11][12][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license