Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
14 | Erik Vanhatalo |
Multivariate process monitoring of an experimental blast furnace. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Qual. Reliab. Eng. Int. ![In: Qual. Reliab. Eng. Int. 26(5), pp. 495-508, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
14 | Wei-Jung Chien, Lina J. Karam |
BLAST-DVC: BitpLAne SelecTive distributed video coding. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Multim. Tools Appl. ![In: Multim. Tools Appl. 48(3), pp. 437-456, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
14 | Talapady Bhat |
Building Chemical Ontology for Semantic Web Using Substructures Created by Chem-BLAST. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Semantic Web Inf. Syst. ![In: Int. J. Semantic Web Inf. Syst. 6(3), pp. 22-37, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
14 | Like Fokkens, Sandra M. C. Botelho, Jos Boekhorst, Berend Snel |
Enrichment of homologs in insignificant BLAST hits by co-complex network alignment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BMC Bioinform. ![In: BMC Bioinform. 11, pp. 86, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
14 | Cheng Ling, Khaled Benkrid |
Design and implementation of a CUDA-compatible GPU-based core for gapped BLAST algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCS ![In: Conceptual Structures: From Information to Intelligence, 18th International Conference on Conceptual Structures, ICCS 2010, Kuching, Sarawak, Malaysia, July 26-30, 2010. Proceedings, pp. 495-504, 2010, Springer, 978-3-642-14196-6. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
14 | Bong-Hyun Kim, Qian Cong, Nick V. Grishin |
HangOut: generating clean PSI-BLAST profiles for domains with long insertions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Bioinform. ![In: Bioinform. 26(12), pp. 1564-1565, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
14 | Robert C. Edgar |
Search and clustering orders of magnitude faster than BLAST. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Bioinform. ![In: Bioinform. 26(19), pp. 2460-2461, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
14 | Lydia Sari, Gunawan Wibisono, Dadang Gunawan |
Performance of RCPC-Encoded V-BLAST MIMO In Nakagami-m Fading Channel ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1006.0834, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
14 | Victoria Kostina, Sergey Loyka |
Optimum Power and Rate Allocation for Coded V-BLAST: Average Optimization ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1010.2789, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
14 | Christine Niyizamwiyitira, Chul-Gyu Kang, Chang-Heon Oh |
Joint BLAST-STTC for MIMO-OFDM System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Inform. and Commun. Convergence Engineering ![In: J. Inform. and Commun. Convergence Engineering 8(4), pp. 387-392, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
14 | Hyo-Jin Lee, Dong-Min Shin, Kyeongcheol Yang |
Asymptotic Performance Analysis of Coded BLAST Architectures with Statistical Rate and Power Allocations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Commun. ![In: IEEE Trans. Commun. 58(8), pp. 2212-2218, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
14 | Enis Afgan, Purushotham V. Bangalore |
Exploiting performance characterization of BLAST in the grid. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Clust. Comput. ![In: Clust. Comput. 13(4), pp. 385-395, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
14 | Mats Aspnäs, Kimmo Mattila, Kristoffer Osowski, Jan Westerholm |
Code Optimization of the Subroutine to Remove Near Identical Matches in the Sequence Database Homology Search Tool PSI-BLAST. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comput. Biol. ![In: J. Comput. Biol. 17(6), pp. 819-823, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
14 | Lazaros Mavridis, David W. Ritchie |
3D-Blast: 3D Protein Structure Alignment, Comparison, and Classification Using Spherical Polar Fourier Correlations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Pacific Symposium on Biocomputing ![In: Biocomputing 2010: Proceedings of the Pacific Symposium, Kamuela, Hawaii, USA, 4-8 January 2010, pp. 281-292, 2010, World Scientific Publishing, 978-981-4295-29-1. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
14 | Steven D. Essinger, Gail L. Rosen |
Benchmarking BLAST Accuracy of Genus/Phyla Classification of Metagenomic Reads. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Pacific Symposium on Biocomputing ![In: Biocomputing 2010: Proceedings of the Pacific Symposium, Kamuela, Hawaii, USA, 4-8 January 2010, pp. 10-20, 2010, World Scientific Publishing, 978-981-4295-29-1. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
14 | Wenbai Chen, Xiaopin Zhang, Wei Li |
An scheme improved on iterative detection algorithm for V-BLAST. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WCNIS ![In: Proceedings of the IEEE International Conference on Wireless Communications, Networking and Information Security, WCNIS 2010, 25-27 June 2010, Beijing, China, pp. 151-154, 2010, IEEE, 978-1-4244-5850-9. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
14 | Christos Masouros, Emad Alsusa |
A dynamic symbol mapping technique for MIMO systems with V-BLAST detection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PIMRC ![In: Proceedings of the IEEE 21st International Symposium on Personal, Indoor and Mobile Radio Communications, PIMRC 2010, 26-29 September 2010, Istanbul, Turkey, pp. 576-581, 2010, IEEE. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
14 | Sinan Kahraman, Mehmet Ertugrul Çelebi |
Fast maximum-likelihood decoding for BLAST systems: Decomposed Matrix Structure technique. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PIMRC ![In: Proceedings of the IEEE 21st International Symposium on Personal, Indoor and Mobile Radio Communications, PIMRC 2010, 26-29 September 2010, Istanbul, Turkey, pp. 582-586, 2010, IEEE. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
14 | Eleftherios Kofidis, Athanasios A. Rontogiannis |
Adaptive BLAST decision-feedback equalizer for MIMO-FBMC/OQAM systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PIMRC ![In: Proceedings of the IEEE 21st International Symposium on Personal, Indoor and Mobile Radio Communications, PIMRC 2010, 26-29 September 2010, Istanbul, Turkey, pp. 841-846, 2010, IEEE. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
14 | Muhsin Hamdoon, Nader Zamani, Sreekanta Das |
Finite Element Simulation of a Plate under Blast Loading, Assessment of a Commercial Software. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MSV ![In: Proceedings of the 2010 International Conference on Modeling, Simulation & Visualization Methods, MSV 2010, July 12-15, 2010, Las Vegas Nevada, USA, pp. 49-54, 2010, CSREA Press, 1-60132-155-4. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
14 | Hufei Zhu, Wen Chen 0001, Bin Li |
Efficient Square-Root Algorithms for the Extended V-BLAST with Selective Per-Antenna Rate Control. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VTC Spring ![In: Proceedings of the 71st IEEE Vehicular Technology Conference, VTC Spring 2010, 16-19 May 2010, Taipei, Taiwan, pp. 1-5, 2010, IEEE. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
14 | Hufei Zhu, Wen Chen 0001, Bin Li |
Efficient Square-Root and Division Free Algorithms for Inverse LDLT Factorization and the Wide-Sense Givens Rotation with Application to V-BLAST. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VTC Fall ![In: Proceedings of the 72nd IEEE Vehicular Technology Conference, VTC Fall 2010, 6-9 September 2010, Ottawa, Canada, pp. 1-5, 2010, IEEE. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
14 | Shinya Sugiura, Sheng Chen 0001, Lajos Hanzo |
A Unified MIMO Architecture Subsuming Space Shift Keying, OSTBC, BLAST and LDC. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VTC Fall ![In: Proceedings of the 72nd IEEE Vehicular Technology Conference, VTC Fall 2010, 6-9 September 2010, Ottawa, Canada, pp. 1-5, 2010, IEEE. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
14 | Xin He, Tao Luo, Guangxin Yue |
Optimized Distributed BLAST for Cooperative Relay Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICC ![In: Proceedings of IEEE International Conference on Communications, ICC 2010, Cape Town, South Africa, 23-27 May 2010, pp. 1-5, 2010, IEEE, 978-1-4244-6402-9. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
14 | Qing Chang, Jing Yang 0001, Lin Liu 0001, Yuan Su, Jinbin Li, Youyong Zhu, Chengyun Li |
Chlorimuronethyl Resistance Selectable Marker Unsuited for the Transformation of Rice Blast Fungus (Magnaporthe Grisea). ![Search on Bibsonomy](Pics/bibsonomy.png) |
CCTA (1) ![In: Computer and Computing Technologies in Agriculture IV - 4th IFIP TC 12 Conference, CCTA 2010, Nanchang, China, October 22-25, 2010, Selected Papers, Part I, pp. 335-342, 2010, Springer, 978-3-642-18332-4. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
14 | Kaili Wang, Xuebing Han |
Self-study Control of Blast Furnace Material Flux Valve. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICICA (2) ![In: Information Computing and Applications - International Conference, ICICA 2010, Tangshan, China, October 15-18, 2010. Proceedings, Part II, pp. 413-419, 2010, Springer, 978-3-642-16338-8. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
14 | Klaus Neuhaus, Daniela Oelke, David Fürst, Siegfried Scherer, Daniel A. Keim |
Towards Automatic Detecting of Overlapping Genes - Clustered BLAST Analysis of Viral Genomes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EvoBIO ![In: Evolutionary Computation, Machine Learning and Data Mining in Bioinformatics, 8th European Conference, EvoBIO 2010, Istanbul, Turkey, April 7-9, 2010. Proceedings, pp. 228-239, 2010, Springer, 978-3-642-12210-1. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
14 | Ki-Woong Park, Chulmin Kim, Kyu Ho Park |
BLAST: Applying Streaming Ciphers Into Outsourced Cloud Storage. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICPADS ![In: 16th IEEE International Conference on Parallel and Distributed Systems, ICPADS 2010, Shanghai, China, December 8-10, 2010, pp. 431-437, 2010, IEEE Computer Society, 978-0-7695-4307-9. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
14 | Sheetal Rathi, S. Shirgaonkar, C. A. Dhote |
Text mining: applied for bomb blast detection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICWET ![In: Proceedings of the ICWET '10 International Conference & Workshop on Emerging Trends in Technology, Mumbai, Maharashtra, India, February 26 - 27, 2010, pp. 558-560, 2010, ACM, 978-1-60558-812-4. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
14 | Anna Wang 0001, Yuntao Hou, Yue Zhao, Fengyun Zhao |
Research on fault diagnosis method of blast furnace based on clustering combine SVMs dynamic pruned binary tree. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICNSC ![In: Proceedings of the IEEE International Conference on Networking, Sensing and Control, ICNSC 2010, Chicago, IL, USA, 10-12 April 2010, pp. 67-70, 2010, IEEE, 978-1-4244-6450-0. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
14 | Abhinav Mithal, Toma I. Hentea |
Computational model for estimation of refractory wear and skull deposition in blast furnace hearth wall. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IJCNN ![In: International Joint Conference on Neural Networks, IJCNN 2010, Barcelona, Spain, 18-23 July, 2010, pp. 1-5, 2010, IEEE, 978-1-4244-6916-1. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
14 | Yao-Jen Liang, Jin-Fu Chang, Da-shan Shiu |
Joint Carrier Frequency Offset Estimation and Signal Detection in MIMO BLAST Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Veh. Technol. ![In: IEEE Trans. Veh. Technol. 58(6), pp. 2783-2792, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
14 | Chao-Tung Yang, Tsu-Fen Han, Heng-Chuan Kan |
G-BLAST: a Grid-based solution for mpiBLAST on computational Grids. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Concurr. Comput. Pract. Exp. ![In: Concurr. Comput. Pract. Exp. 21(2), pp. 225-255, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
14 | Minh-Tuan Le, Van-Su Pham, Linh Mai, Giwan Yoon |
A low complexity branch-and-bound-based decoder for V-BLAST systems with PSK signals. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Signal Process. ![In: Signal Process. 89(2), pp. 197-205, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
14 | Mohammad M. Rashid, Ekram Hossain 0001, Vijay K. Bhargava |
Cross-layer analysis of downlink V-BLAST MIMO transmission exploiting multiuser diversity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Wirel. Commun. ![In: IEEE Trans. Wirel. Commun. 8(9), pp. 4568-4579, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
14 | Zhendong Luo, Dawei Huang |
Integrated MAP detection for V-BLAST systems without channel estimation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Wirel. Commun. ![In: IEEE Trans. Wirel. Commun. 8(7), pp. 3590-3596, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
14 | Cahit Bilim, Cengiz Duran Atis, Harun Tanyildizi, Okan Karahan |
Predicting the compressive strength of ground granulated blast furnace slag concrete using artificial neural network. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Adv. Eng. Softw. ![In: Adv. Eng. Softw. 40(5), pp. 334-340, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
14 | Xiaorong Jing, Tianqi Zhang, Zhengzhong Zhou |
Adaptive Group Detection Based on the Sort-Descending QR Decomposition for V-BLAST Architectures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEICE Trans. Commun. ![In: IEICE Trans. Commun. 92-B(10), pp. 3263-3266, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
14 | Christiam Camacho, George Coulouris, Vahram Avagyan, Ning Ma, Jason S. Papadopoulos, Kevin Bealer, Thomas L. Madden |
BLAST+: architecture and applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BMC Bioinform. ![In: BMC Bioinform. 10, pp. 421, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
14 | Meng-Ying (Brady) Tsai, Shahram Yousefi |
A New Iterative Joint Detection and Decoding Algorithm for V-BLAST Architecture. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Signal Process. Lett. ![In: IEEE Signal Process. Lett. 16(10), pp. 905-908, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
14 | Adel M. Benselama, Mame J.-P. William-Louis, François Monnoyer |
A 1D-3D mixed method for the numerical simulation of blast waves in confined geometries. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comput. Phys. ![In: J. Comput. Phys. 228(18), pp. 6796-6810, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
14 | Djelili Radji, Harry Leib |
Interference Cancellation Based Detection for V-BLAST With Diversity Maximizing Channel Partition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE J. Sel. Top. Signal Process. ![In: IEEE J. Sel. Top. Signal Process. 3(6), pp. 1000-1015, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
14 | Joseph M. Lancaster, Jeremy Buhler, Roger D. Chamberlain |
Acceleration of ungapped extension in Mercury BLAST. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Microprocess. Microsystems ![In: Microprocess. Microsystems 33(4), pp. 281-289, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
14 | HaiYou Guo, ZhiGang Zhou, HongLin Hu |
Transmit correlation effect on SIC-ZF receiver for V-BLAST system. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sci. China Ser. F Inf. Sci. ![In: Sci. China Ser. F Inf. Sci. 52(12), pp. 2290-2295, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
14 | Huajiong Lin, Youxi Tang, Lu Guan, Shihai Shao |
Successive interference cancellation (SIC) in V-BLAST systems with asynchronous transmission mode. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sci. China Ser. F Inf. Sci. ![In: Sci. China Ser. F Inf. Sci. 52(12), pp. 2317-2323, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
14 | Ankit Agrawal 0001, Xiaoqiu Huang 0001 |
PSIBLAST_PairwiseStatSig: reordering PSI-BLAST hits using pairwise statistical significance. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Bioinform. ![In: Bioinform. 25(8), pp. 1082-1083, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
14 | Victoria Kostina, Sergey Loyka |
Optimum Power and Rate Allocation for Coded V-BLAST ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/0902.0354, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP BibTeX RDF |
|
14 | Somsubhra Barik, Saif K. Mohammed, Ananthanarayanan Chockalingam, B. Sundar Rajan |
FRFD MIMO Systems: Precoded V-BLAST with Limited Feedback Versus Non-orthogonal STBC MIMO ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/0901.2768, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP BibTeX RDF |
|
14 | Ian Flood, Bryan T. Bewick, Robert J. Dinan, Hani A. Salim |
Modeling blast wave propagation using artificial neural network methods. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Adv. Eng. Informatics ![In: Adv. Eng. Informatics 23(4), pp. 418-423, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
14 | Ejanul Haque, Philip Broadbridge, P. L. Sachdev |
Expansion of high pressure gas into air - A more realistic blast wave model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Comput. Model. ![In: Math. Comput. Model. 50(11-12), pp. 1606-1621, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
14 | Sang-Rim Lee, Seokhwan Park, Sung Won Kim, Inkyu Lee |
Enhanced detection with new ordering schemes for V-BLAST systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Commun. ![In: IEEE Trans. Commun. 57(6), pp. 1648-1651, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
14 | Amlan Kundu 0002, Suvasini Panigrahi, Shamik Sural, Arun K. Majumdar |
BLAST-SSAHA Hybridization for Credit Card Fraud Detection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Dependable Secur. Comput. ![In: IEEE Trans. Dependable Secur. Comput. 6(4), pp. 309-315, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
14 | Meng-Ying (Brady) Tsai, Shahram Yousefi |
Improved iterative joint detection and decoding of coded V-BLAST systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Commun. Lett. ![In: IEEE Commun. Lett. 13(1), pp. 19-21, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
14 | Jun Wang 0005, Oliver Yu Wen, Shaoqian Li |
Soft-output MMSE V-BLAST detector under ML channel estimation and channel correlation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Commun. Lett. ![In: IEEE Commun. Lett. 13(2), pp. 103-105, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
14 | Cong Xiong, Xin Zhang 0001, Kai Wu, Dacheng Yang |
A simplified fixed-complexity sphere decoder for V-BLAST systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Commun. Lett. ![In: IEEE Commun. Lett. 13(8), pp. 582-584, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
14 | Jinho Choi 0001, Jeongseok Ha |
Rate optimization to minimize distortion for source-channel coded H-BLAST with SIC decoding. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Commun. Lett. ![In: IEEE Commun. Lett. 13(2), pp. 115-117, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
14 | Emanuel Kolb, Ondrej Sery, Roland Weiss |
Applicability of the BLAST Model Checker: An Industrial Case Study. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ershov Memorial Conference ![In: Perspectives of Systems Informatics, 7th International Andrei Ershov Memorial Conference, PSI 2009, Novosibirsk, Russia, June 15-19, 2009. Revised Papers, pp. 218-229, 2009, Springer, 978-3-642-11485-4. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
14 | Somsubhra Barik, Saif K. Mohammed, Ananthanarayanan Chockalingam, B. Sundar Rajan |
Full-rate precoding in V-BLAST with angle parameter feedback. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PIMRC ![In: Proceedings of the IEEE 20th International Symposium on Personal, Indoor and Mobile Radio Communications, PIMRC 2009, 13-16 September 2009, Tokyo, Japan, pp. 2539-2543, 2009, IEEE. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
14 | Kai Wu, Lin Sang, Cong Xiong, Xin Zhang 0001, Dacheng Yang |
Novel QRM-MLD algorithm for V-BLAST systems with permuted channel matrix. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PIMRC ![In: Proceedings of the IEEE 20th International Symposium on Personal, Indoor and Mobile Radio Communications, PIMRC 2009, 13-16 September 2009, Tokyo, Japan, pp. 2484-2488, 2009, IEEE. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
14 | George Parissis, George Xylomenos, Dimitris Gritzalis |
BLAST: Off-the-Shelf Hardware for Building an Efficient Hash-Based Cluster Storage System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NPC ![In: NPC 2009, Sixth IFIP International Conference on Network and Parallel Computing, Gold Coast, Australia, October 19-21, 2009, pp. 148-155, 2009, IEEE Computer Society, 978-0-7695-3837-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
structured peer-to-peer network, linux block device, distributed storage, dht |
14 | Mohieddine Missaoui, David R. C. Hill, Pierre Peyret |
BLASTOG: a Parallel BLAST-based Software for Functional Microarrays Probe Design using the EGEE Computing Grid. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GCA ![In: Proceedings of the 2009 International Conference on Grid Computing & Applications, GCA 2009, July 13-16, 2009, Las Vegas, Nevada, USA, pp. 126-132, 2009, CSREA Press, 1-60132-105-8. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP BibTeX RDF |
|
14 | Gilsang Yoon, Jeonghwan Lee, Insik Cho, Changwoo Seo, Changhyeon Chae, Nara Yang, Taejin Jung, Cheol Hong Kim, Intae Hwang, Cheolwoo You, Daeki Hong |
Throughput Improvement of Iterative Decoding Algorithm in the V-BLAST-AMC System with a STD Scheme. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICWN ![In: Proceedings of the 2009 International Conference on Wireless Networks, ICWN 2009, July 13-16, 2009, Las Vegas Nevada, USA, 2 Volumes, pp. 435-442, 2009, CSREA Press, 1-60132-113-9. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP BibTeX RDF |
|
14 | Zeeshan-ul-hassan Usmani, Fawzi A. Alghamdi, Daniel Kirk |
A Mediocre Choice - Phenomenological Models for Blast-wave Modeling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MSV ![In: Proceedings of the 2009 International Conference on Modeling, Simulation & Visualization Methods, MSV 2009, July 13-16, 2009, Las Vegas Nevada, USA, pp. 134-138, 2009, CSREA Press, 1-60132-120-1. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP BibTeX RDF |
|
14 | Kai Wu, Lin Sang, He Wang 0019, Cong Xiong, Dacheng Yang, Xin Zhang 0001 |
Detection Algorithm for V-BLAST Systems with Novel Interference Cancellation Technique. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VTC Spring ![In: Proceedings of the 69th IEEE Vehicular Technology Conference, VTC Spring 2009, 26-29 April 2009, Hilton Diagonal Mar, Barcelona, Spain, 2009, IEEE. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
14 | Dong-Min Shin, Hyo-Jin Lee, Kyeongcheol Yang |
Closed-Form Expressions of the V-BLAST Performance over Quadrature-Amplitude Modulation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VTC Spring ![In: Proceedings of the 69th IEEE Vehicular Technology Conference, VTC Spring 2009, 26-29 April 2009, Hilton Diagonal Mar, Barcelona, Spain, 2009, IEEE. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
14 | Tariq Al-Khasib, Lutz H.-J. Lampe, Hussein M. Alnuweiri |
Up-link Multi-user V-BLAST Optimal Detection Ordering with Service Differentiation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VTC Fall ![In: Proceedings of the 70th IEEE Vehicular Technology Conference, VTC Fall 2009, 20-23 September 2009, Anchorage, Alaska, USA, 2009, IEEE. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
14 | Panagiotis Afratis, Constantinos Galanakis, Euripides Sotiriades, Georgios-Grigorios Mplemenos, Grigorios Chrysos 0001, Ioannis Papaefstathiou, Dionisios N. Pnevmatikatos |
Design and implementation of a database filter for BLAST acceleration. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DATE ![In: Design, Automation and Test in Europe, DATE 2009, Nice, France, April 20-24, 2009, pp. 166-171, 2009, IEEE, 978-1-4244-3781-8. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
14 | Xinuo Chen, Stephen A. Jarvis, Jenny Shuangyan Liu |
ppBLAST: A Computational Service over Peer-to-Peer Network for BLAST. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AP2PS ![In: The First International Conference on Advances in P2P Systems, AP2PS 2009, 11-16 October 2009, Sliema, Malta, pp. 122-131, 2009, IEEE Computer Society, 978-0-7695-3831-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
14 | Hufei Zhu, Wen Chen 0001, Feng She |
Improved Fast Recursive Algorithms for V-BLAST and G-STBC with Novel Efficient Matrix Inversion. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICC ![In: Proceedings of IEEE International Conference on Communications, ICC 2009, Dresden, Germany, 14-18 June 2009, pp. 1-5, 2009, IEEE. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
14 | Victoria Kostina, Sergey Loyka |
Optimum Power and Rate Allocation for Coded V-BLAST. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICC ![In: Proceedings of IEEE International Conference on Communications, ICC 2009, Dresden, Germany, 14-18 June 2009, pp. 1-6, 2009, IEEE. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
14 | Cong Xiong, Xin Zhang 0001 |
Parallel Detection Algorithm with Selective Interference Cancellation for V-BLAST Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICC ![In: Proceedings of IEEE International Conference on Communications, ICC 2009, Dresden, Germany, 14-18 June 2009, pp. 1-5, 2009, IEEE. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
14 | Wei Liu 0030, Lingkun Kong, Soon Xin Ng, Jiandong Li 0001, Lajos Hanzo |
Near-Capacity Iteratively Decoded Markov-Chain Monte-Carlo Aided BLAST System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GLOBECOM ![In: Proceedings of the Global Communications Conference, 2009. GLOBECOM 2009, Honolulu, Hawaii, USA, 30 November - 4 December 2009, pp. 1-5, 2009, IEEE. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
14 | Zhiling Lin, Youjun Yue, Hui Zhao, Hongru Li |
Judging the States of Blast Furnace by ART2 Neural Network. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISNN (4) ![In: The Sixth International Symposium on Neural Networks, ISNN 2009, Wuhan, China, May 26-29, 2009, Proceedings, Part IV, pp. 857-864, 2009, Springer, 978-3-642-01215-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
14 | Cong Xiong, Xin Zhang 0001, He Wang 0019, Kai Wu, Li Chen 0024, Dacheng Yang |
Simplified generalized parallel interference cancellation algorithm for near-optimal V-BLAST detection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WCNC ![In: 2009 IEEE Wireless Communications and Networking Conference, WCNC 2009, Proceedings, Budapest, Hungary, 5-8 April 2009, pp. 134-138, 2009, IEEE, 978-1-4244-2947-9. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
14 | Haiwu He, Gilles Fedak, Bing Tang, Franck Cappello |
BLAST Application with Data-Aware Desktop Grid Middleware. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CCGRID ![In: 9th IEEE/ACM International Symposium on Cluster Computing and the Grid, CCGrid 2009, Shanghai, China, 18-21 May 2009, pp. 284-291, 2009, IEEE Computer Society, 978-0-7695-3622-4. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
14 | Samir N. Al-Ghadhban |
Performance evaluation of opportunistic round robin scheduling for V-BLAST users over MIMO channels. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICT ![In: 2009 International Conference on Telecommunications, ICT 2009, Marrakech, Morocco, May 25-27, 2009, pp. 82-86, 2009, IEEE, 978-1-4244-2936-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
14 | Sean Connell, Hui Ouyang, Riyi Shi |
Modeling Primary Blast Injury in Isolated Spinal Cord White Matter. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BMEI ![In: Proceedings of the 2nd International Conference on BioMedical Engineering and Informatics, BMEI 2009, October 17-19, 2009, Tianjin, China, pp. 1-4, 2009, IEEE, 978-1-4244-4132-7. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
14 | Danping Li, Hailin Zhang 0001 |
Partial OSIC Detection for V-BLAST Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PACCS ![In: 2009 Pacific-Asia Conference on Circuits, Communications and Systems, PACCS 2009, Chengdu, China, 16-17 May 2009, pp. 376-379, 2009, IEEE Computer Society, 978-0-7695-3614-9. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
14 | Amir Sarrafzadeh, Vahid Tabataba Vakili |
Iterative V-BLAST Detection with UCD Channel Decomposition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PACCS ![In: 2009 Pacific-Asia Conference on Circuits, Communications and Systems, PACCS 2009, Chengdu, China, 16-17 May 2009, pp. 15-18, 2009, IEEE Computer Society, 978-0-7695-3614-9. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
14 | Yu Gong, Wo-hua Zhang, Xian-yu Jin |
Computer Simulation of Dynamic Brittle Damage Process in Arch Dam due to Blast Load. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSIE (3) ![In: CSIE 2009, 2009 WRI World Congress on Computer Science and Information Engineering, March 31 - April 2, 2009, Los Angeles, California, USA, 7 Volumes, pp. 144-148, 2009, IEEE Computer Society, 978-0-7695-3507-4. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
14 | Z. Y. Zhou, H. P. Zhu, A. B. Yu, B. Wright, Paul Zulli |
Discrete particle simulation of gas-solid flow in a blast furnace. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Chem. Eng. ![In: Comput. Chem. Eng. 32(8), pp. 1760-1772, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
14 | Zhengyan Shi, Harry Leib |
Transmit Antenna Selected V-BLAST Systems With Power Allocation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Veh. Technol. ![In: IEEE Trans. Veh. Technol. 57(4), pp. 2293-2304, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
14 | Qiubin Gao, Xian-Da Zhang |
Maximizing the minimum SINR of V-BLAST system by power control. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Signal Process. ![In: Signal Process. 88(4), pp. 1046-1052, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
14 | Joonbeom Kim, Gordon L. Stüber, Ye (Geoffrey) Li |
Iterative Channel Estimators in V-BLAST OFDM Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Wirel. Commun. ![In: IEEE Trans. Wirel. Commun. 7(1), pp. 65-71, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
14 | Yi Jiang, Mahesh K. Varanasi |
Spatial Multiplexing Architectures with Jointly Designed Rate-Tailoring and Ordered BLAST Decoding - Part II: A Practical Method for Rate and Power Allocation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Wirel. Commun. ![In: IEEE Trans. Wirel. Commun. 7(8), pp. 3262-3271, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
14 | Mark G. Stewart, Michael D. Netherton |
Security risks and probabilistic risk assessment of glazing subject to explosive blast loading. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Reliab. Eng. Syst. Saf. ![In: Reliab. Eng. Syst. Saf. 93(4), pp. 627-638, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
14 | Xiaorong Jing, Zhengzhong Zhou, Tianqi Zhang |
A V-BLAST Detector Based on Modified Householder QRD over the Spatially Correlated Fading Channel. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEICE Trans. Commun. ![In: IEICE Trans. Commun. 91-B(11), pp. 3727-3731, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
14 | Hoiyoon Jung, Jongsub Cha, Hyuckjae Lee |
Efficient Transmit Power Allocation with Partial Feedback for Closed-Loop SQRD Based V-BLAST Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEICE Trans. Commun. ![In: IEICE Trans. Commun. 91-B(4), pp. 1219-1222, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
14 | Jongsub Cha, Hyoungsuk Jeon, Hyuckjae Lee |
Low Complexity Fano-Based Detection Algorithm with Iterative Structure for V-BLAST Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEICE Trans. Commun. ![In: IEICE Trans. Commun. 91-B(1), pp. 347-350, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
14 | Server Kasap, Khaled Benkrid, Ying Liu 0003 |
Design and Implementation of an FPGA-based Core for Gapped BLAST Sequence Alignment with the Two-Hit Method. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Eng. Lett. ![In: Eng. Lett. 16(3), pp. 443-452, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
14 | Jianguo Liu 0002, Luxi Yang |
Transmit Antenna Selection for V-BLAST MIMO System Based on Extended Channel Matrix Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Circuits Syst. Comput. ![In: J. Circuits Syst. Comput. 17(2), pp. 253-262, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
14 | Marek Mutwil, Jens Øbro, William G. T. Willats, Staffan Persson |
GeneCAT - novel webtools that combine BLAST and co-expression analyses. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Nucleic Acids Res. ![In: Nucleic Acids Res. 36(Web-Server-Issue), pp. 320-326, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
14 | Mark Johnson, Irena Zaretskaya, Yan Raytselis, Yuri Merezhuk, Scott D. McGinnis, Thomas L. Madden |
NCBI BLAST: a better web interface. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Nucleic Acids Res. ![In: Nucleic Acids Res. 36(Web-Server-Issue), pp. 5-9, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
14 | Marianne M. Lee, Michael K. Chan, Ralf Bundschuh |
Simple is beautiful: a straightforward approach to improve the delineation of true and false positives in PSI-BLAST searches. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Bioinform. ![In: Bioinform. 24(11), pp. 1339-1343, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
14 | Dariusz Przybylski, Burkhard Rost |
Powerful fusion: PSI-BLAST and consensus sequences. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Bioinform. ![In: Bioinform. 24(18), pp. 1987-1993, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
14 | Gabriel Moreno-Hagelsieb, Kristen Latimer |
Choosing BLAST options for better detection of orthologs as reciprocal best hits. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Bioinform. ![In: Bioinform. 24(3), pp. 319-324, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
14 | Craig E. Jones, Julian Schwerdt, Tessa Arwen Bretag, Ute Baumann, Alfred L. Brown |
GOSLING: a rule-based protein annotator using BLAST and GO. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Bioinform. ![In: Bioinform. 24(22), pp. 2628-2629, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
14 | Paeiz Azmi, Ali Akbar Mirzaei |
A Novel Adaptive Detection Scheme based on Parallel Interference Cancellation for V-BLAST System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Wirel. Pers. Commun. ![In: Wirel. Pers. Commun. 45(2), pp. 265-275, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
14 | Sergey Loyka, François Gagnon |
Amendment to "Performance Analysis of the V-BLAST Algorithm: An Analytical Approach." [1] ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/0811.2525, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
14 | Hélène Collavizza, Michel Rueher, Pascal Van Hentenryck |
Comparison between CPBPV, ESC/Java, CBMC, Blast, EUREKA and Why for Bounded Program Verification ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/0808.1508, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|