|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 19147 occurrences of 8085 keywords
|
|
|
Results
Found 17930 publication records. Showing 17926 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
44 | Hagit Attiya, Danny Hendler |
Time and Space Lower Bounds for Implementations Using k-CAS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Parallel Distributed Syst. ![In: IEEE Trans. Parallel Distributed Syst. 21(2), pp. 162-173, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
Compare&swap (CAS), k-compare&swap (k-CAS), conditional synchronization primitives, queue, collect, stack, counter, round complexity |
41 | Victor Luchangco, Mark Moir, Nir Shavit |
Nonblocking k -Compare-Single-Swap. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theory Comput. Syst. ![In: Theory Comput. Syst. 44(1), pp. 39-66, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Synchronization, Shared memory multiprocessors, Compare-and-swap |
41 | Philippe Raipin Parvédy, Michel Raynal |
Reliable Compare & Swap for Fault-Tolerant Synchronization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WORDS ![In: 8th IEEE International Workshop on Object-Oriented Real-Time Dependable Systems (WORDS 2003), 15-17 January 2003, Guadalajara, Mexico, pp. 50-55, 2003, IEEE Computer Society, 0-7695-1929-6. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
Compare&Swap, Fault-Tolerance, Graceful Degradation, Crash Failure, Wait-free Synchronization, Omission Failure |
36 | Chien-Hua Shann, Ting-Lu Huang, Cheng Chen |
A Practical Nonblocking Queue Algorithm Using Compare-and-Swap. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICPADS ![In: Seventh International Conference on Parallel and Distributed Systems, ICPADS 2000, Iwate, Japan, July 4-7, 2000, pp. 470-475, 2000, IEEE Computer Society, 0-7695-0568-6. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
concurrent queue, compare-and-swap, linearizability, nonblocking |
36 | Sundeep Prakash, Yann-Hang Lee, Theodore Johnson |
A Nonblocking Algorithm for Shared Queues Using Compare-and-Swap. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 43(5), pp. 548-559, 1994. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
nonblocking algorithm, shared queues, FIFO queue algorithm, nonblocking queue, performance, data structures, data structure, queueing theory, queue, compare-and-swap, concurrent objects |
34 | Michele Compare, Federico Antonello, Luca Pinciroli, Enrico Zio |
A general model for life-cycle cost analysis of Condition-Based Maintenance enabled by PHM capabilities. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Reliab. Eng. Syst. Saf. ![In: Reliab. Eng. Syst. Saf. 224, pp. 108499, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
34 | Sabrina Verga, Michele Compare, Enrico Zio, Guglielmo Carra, Marco Farina, Ilaria Righetto, Vittorio Sala |
Estimation Of The Lower Heating Value Of Solid Recovered Fuel Based On Swir Hyper-Spectral Images And Machine Learning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WHISPERS ![In: 12th Workshop on Hyperspectral Imaging and Signal Processing: Evolution in Remote Sensing, WHISPERS 2022, Rome, Italy, September 13-16, 2022, pp. 1-5, 2022, IEEE, 978-1-6654-7069-8. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
34 | Alessandro Mancuso, Michele Compare, Ahti Salo, Enrico Zio |
Optimal Prognostics and Health Management-driven inspection and maintenance strategies for industrial systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Reliab. Eng. Syst. Saf. ![In: Reliab. Eng. Syst. Saf. 210, pp. 107536, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
34 | Michele Compare, Piero Baraldi, Enrico Zio |
Challenges to IoT-Enabled Predictive Maintenance for Industry 4.0. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Internet Things J. ![In: IEEE Internet Things J. 7(5), pp. 4585-4597, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
34 | Michele Compare, Piero Baraldi, Paolo Marelli, Enrico Zio |
Partially observable Markov decision processes for optimal operations of gas transmission networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Reliab. Eng. Syst. Saf. ![In: Reliab. Eng. Syst. Saf. 199, pp. 106893, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
34 | Michele Compare, Piero Baraldi, I. Bani, Enrico Zio, D. Mc Donnell |
Industrial equipment reliability estimation: A Bayesian Weibull regression model with covariate selection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Reliab. Eng. Syst. Saf. ![In: Reliab. Eng. Syst. Saf. 200, pp. 106891, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
34 | Chiara Remondi, Angelo Compare, Giorgio A. Tasca, Andrea Greco, Luca Pievani, Barbara Poletti, Agostino Brugnera |
Insecure Attachment and Technology Addiction Among Young Adults: The Mediating Role of Impulsivity, Alexithymia, and General Psychological Distress. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Cyberpsychology Behav. Soc. Netw. ![In: Cyberpsychology Behav. Soc. Netw. 23(11), pp. 761-767, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
34 | Alessandro Mancuso, Michele Compare, Ahti Salo, Enrico Zio |
Portfolio optimization of safety measures for the prevention of time-dependent accident scenarios. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Reliab. Eng. Syst. Saf. ![In: Reliab. Eng. Syst. Saf. 190, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
34 | Michele Compare, Luca Bellani, Enrico Zio |
Optimal allocation of prognostics and health management capabilities to improve the reliability of a power transmission network. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Reliab. Eng. Syst. Saf. ![In: Reliab. Eng. Syst. Saf. 184, pp. 164-180, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
34 | Michele Compare, Luca Bellani, Enrico Zio |
Availability Model of a PHM-Equipped Component. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Reliab. ![In: IEEE Trans. Reliab. 66(2), pp. 487-501, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
34 | Michele Compare, Piero Baraldi, I. Bani, Enrico Zio, D. Mc Donnell |
Development of a Bayesian multi-state degradation model for up-to-date reliability estimations of working industrial components. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Reliab. Eng. Syst. Saf. ![In: Reliab. Eng. Syst. Saf. 166, pp. 25-40, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
34 | Alessandro Mancuso, Michele Compare, Ahti Salo, Enrico Zio |
Portfolio optimization of safety measures for reducing risks in nuclear systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Reliab. Eng. Syst. Saf. ![In: Reliab. Eng. Syst. Saf. 167, pp. 20-29, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
34 | Michele Compare, Luca Bellani, Enrico Zio |
Reliability model of a component equipped with PHM capabilities. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Reliab. Eng. Syst. Saf. ![In: Reliab. Eng. Syst. Saf. 168, pp. 4-11, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
34 | Francesco Cannarile, Michele Compare, Enrico Zio |
A Fault Diagnostic Tool Based on a First Principle Model Simulator. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IMBSA ![In: Model-Based Safety and Assessment - 5th International Symposium, IMBSA 2017, Trento, Italy, September 11-13, 2017, Proceedings, pp. 179-193, 2017, Springer, 978-3-319-64118-8. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
34 | Michele Compare, Fabio Martini, Sara Mattafirri, Fausto Carlevaro, Enrico Zio |
Semi-Markov Model for the Oxidation Degradation Mechanism in Gas Turbine Nozzles. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Reliab. ![In: IEEE Trans. Reliab. 65(2), pp. 574-581, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
34 | Alessandro Mancuso, Michele Compare, Ahti Salo, Enrico Zio, T. Laakso |
Risk-based optimization of pipe inspections in large underground networks with imprecise information. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Reliab. Eng. Syst. Saf. ![In: Reliab. Eng. Syst. Saf. 152, pp. 228-238, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
34 | Masoud Naseri, Piero Baraldi, Michele Compare, Enrico Zio |
Availability assessment of oil and gas processing plants operating under dynamic Arctic weather conditions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Reliab. Eng. Syst. Saf. ![In: Reliab. Eng. Syst. Saf. 152, pp. 66-82, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
34 | Michele Compare, Enrico Zio |
Genetic Algorithms in the Framework of Dempster-Shafer Theory of Evidence for Maintenance Optimization Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Reliab. ![In: IEEE Trans. Reliab. 64(2), pp. 645-660, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
34 | Xingyu Wu, Xia Mao, Lijiang Chen, Yu-Li Xue, Angelo Compare |
Point Context: An Effective Shape Descriptor for RST-invariant Trajectory Recognition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1501.05432, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP BibTeX RDF |
|
34 | Michele Compare, Fabio Martini, Enrico Zio |
Genetic algorithms for condition-based maintenance optimization under uncertainty. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Eur. J. Oper. Res. ![In: Eur. J. Oper. Res. 244(2), pp. 611-623, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
34 | Michele Compare, Enrico Zio |
Predictive Maintenance by Risk Sensitive Particle Filtering. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Reliab. ![In: IEEE Trans. Reliab. 63(1), pp. 134-143, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
34 | Piero Baraldi, Michele Compare, Enrico Zio |
Uncertainty treatment in expert information systems for maintenance policy assessment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Soft Comput. ![In: Appl. Soft Comput. 22, pp. 297-310, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
34 | Jizheng Yi, Xia Mao, Lijiang Chen, Yu-Li Xue, Angelo Compare |
Facial expression recognition considering individual differences in facial structure and texture. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IET Comput. Vis. ![In: IET Comput. Vis. 8(5), pp. 429-440, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
34 | Suzhen Yuan, Xia Mao, Yu-Li Xue, Lijiang Chen, Qingxu Xiong, Angelo Compare |
SQR: a simple quantum representation of infrared images. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Quantum Inf. Process. ![In: Quantum Inf. Process. 13(6), pp. 1353-1379, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
34 | Xingyu Wu, Xia Mao, Lijiang Chen, Yu-Li Xue, Angelo Compare |
View-Invariant Gesture Recognition Using Nonparametric Shape Descriptor. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICPR ![In: 22nd International Conference on Pattern Recognition, ICPR 2014, Stockholm, Sweden, August 24-28, 2014, pp. 544-549, 2014, IEEE Computer Society, 978-1-4799-5208-3. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
34 | Piero Baraldi, Michele Compare, Enrico Zio |
Component Ranking by Birnbaum Importance in Presence of Epistemic Uncertainty in Failure Event Probabilities. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Reliab. ![In: IEEE Trans. Reliab. 62(1), pp. 37-48, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
34 | Piero Baraldi, Michele Compare, Enrico Zio |
Maintenance policy performance assessment in presence of imprecision based on Dempster-Shafer Theory of Evidence. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Sci. ![In: Inf. Sci. 245, pp. 112-131, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
34 | Piero Baraldi, A. Balestrero, Michele Compare, L. Benetrix, A. Despujols, Enrico Zio |
A Modeling Framework for Maintenance Optimization of Electrical Components Based on Fuzzy Logic and Effective Age. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Qual. Reliab. Eng. Int. ![In: Qual. Reliab. Eng. Int. 29(3), pp. 385-405, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
34 | Enrico Zio, Michele Compare |
Evaluating maintenance policies by quantitative modeling and analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Reliab. Eng. Syst. Saf. ![In: Reliab. Eng. Syst. Saf. 109, pp. 53-65, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
34 | Lijiang Chen, Xia Mao, Pengfei Wei, Angelo Compare |
Speech Emotional Features Extraction Based on Electroglottograph. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Neural Comput. ![In: Neural Comput. 25(12), pp. 3294-3317, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
34 | Jizheng Yi, Xia Mao, Yu-Li Xue, Angelo Compare |
Facial Expression Recognition Based on t-SNE and AdaboostM2. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GreenCom/iThings/CPScom ![In: 2013 IEEE International Conference on Green Computing and Communications (GreenCom) and IEEE Internet of Things (iThings) and IEEE Cyber, Physical and Social Computing (CPSCom), Beijing, China, August 20-23, 2013, pp. 1744-1749, 2013, IEEE, 978-0-7695-5046-6. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
34 | Lijiang Chen, Xia Mao, Pengfei Wei, Angelo Compare |
Speech Synthesis Research Based on EGG. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GreenCom/iThings/CPScom ![In: 2013 IEEE International Conference on Green Computing and Communications (GreenCom) and IEEE Internet of Things (iThings) and IEEE Cyber, Physical and Social Computing (CPSCom), Beijing, China, August 20-23, 2013, pp. 1799-1803, 2013, IEEE, 978-0-7695-5046-6. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
34 | Xingyu Wu, Xia Mao, Lijiang Chen, Angelo Compare |
Combined Motion and Region-Based 3D Tracking in Active Depth Image Sequence. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GreenCom/iThings/CPScom ![In: 2013 IEEE International Conference on Green Computing and Communications (GreenCom) and IEEE Internet of Things (iThings) and IEEE Cyber, Physical and Social Computing (CPSCom), Beijing, China, August 20-23, 2013, pp. 1734-1739, 2013, IEEE, 978-0-7695-5046-6. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
34 | Vincenzo Compare, Marilena Cozzolino, Paolo Mauriello, Domenico Patella |
Resistivity Probability Tomography Imaging at the Castle of Zena, Italy. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EURASIP J. Image Video Process. ![In: EURASIP J. Image Video Process. 2009, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
34 | Daniela Colangelo, Daniele Compare, Paola Inverardi, Patrizio Pelliccione |
Reducing Software Architecture Models Complexity: A Slicing and Abstraction Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORTE ![In: Formal Techniques for Networked and Distributed Systems - FORTE 2006, 26th IFIP WG 6.1 International Conference, Paris, France, September 26-29, 2006., pp. 243-258, 2006, Springer, 3-540-46219-8. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
34 | Daniele Compare, Antonio D'Onofrio, Antinisca Di Marco, Paola Inverardi |
Automated Performance Validation of Software Design: An Industrial Experience. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASE ![In: 19th IEEE International Conference on Automated Software Engineering (ASE 2004), 20-25 September 2004, Linz, Austria, pp. 298-301, 2004, IEEE Computer Society, 0-7695-2131-2. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
34 | Daniele Compare, Paola Inverardi, Patrizio Pelliccione, Alessandra Sebastiani |
Integrating Model-Checking Architectural Analysis and Validation in a Real Software Life-Cycle. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FME ![In: FME 2003: Formal Methods, International Symposium of Formal Methods Europe, Pisa, Italy, September 8-14, 2003, Proceedings, pp. 114-132, 2003, Springer, 3-540-40828-2. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
model checking, software development process, Architectural analysis, models consistency |
34 | Daniele Compare, Paola Inverardi, Alexander L. Wolf |
Uncovering Architectural Mismatch in Component Behavior. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sci. Comput. Program. ![In: Sci. Comput. Program. 33(2), pp. 101-131, 1999. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
34 | Paola Inverardi, Daniele Compare |
Modelling Interoperability by CHAM: A Case Study. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COORDINATION ![In: Coordination Languages and Models, First International Conference, COORDINATION '96, Cesena, Italy, April 15-17, 1996, Proceedings, pp. 428-431, 1996, Springer, 3-540-61052-9. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
33 | Jean-Christophe Filliâtre, Andrei Paskevich, Aaron Stump |
The 2nd Verified Software Competition: Experience Report. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPARE ![In: Proceedings of the 1st International Workshop on Comparative Empirical Evaluation of Reasoning Systems, Manchester, United Kingdom, June 30, 2012, pp. 36-49, 2012, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
33 | Vladimir Klebanov, Bernhard Beckert, Armin Biere, Geoff Sutcliffe (eds.) |
Proceedings of the 1st International Workshop on Comparative Empirical Evaluation of Reasoning Systems, Manchester, United Kingdom, June 30, 2012 ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPARE ![CEUR-WS.org The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
33 | Roberto Bruttomesso, Alberto Griggio |
Broadening the Scope of SMT-COMP: the Application Track. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPARE ![In: Proceedings of the 1st International Workshop on Comparative Empirical Evaluation of Reasoning Systems, Manchester, United Kingdom, June 30, 2012, pp. 18-27, 2012, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
33 | Zheng Cheng, Rosemary Monahan, James F. Power |
A Simple Complexity Measurement for Software Verification and Software Testing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPARE ![In: Proceedings of the 1st International Workshop on Comparative Empirical Evaluation of Reasoning Systems, Manchester, United Kingdom, June 30, 2012, pp. 28-31, 2012, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
33 | Olivier Roussel |
Behind the Scene of Solvers Competitions: the "evaluation" Experience. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPARE ![In: Proceedings of the 1st International Workshop on Comparative Empirical Evaluation of Reasoning Systems, Manchester, United Kingdom, June 30, 2012, pp. 66-77, 2012, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
33 | Florian Merz 0001, Carsten Sinz, Stephan Falke 0001 |
Challenges in Comparing Software Verification Tools for C. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPARE ![In: Proceedings of the 1st International Workshop on Comparative Empirical Evaluation of Reasoning Systems, Manchester, United Kingdom, June 30, 2012, pp. 60-65, 2012, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
33 | Marieke Huisman, Vladimir Klebanov, Rosemary Monahan |
On the Organisation of Program Verification Competitions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPARE ![In: Proceedings of the 1st International Workshop on Comparative Empirical Evaluation of Reasoning Systems, Manchester, United Kingdom, June 30, 2012, pp. 50-59, 2012, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
33 | Pascal Cuoq, Florent Kirchner, Boris Yakobowski |
Benchmarking Static Analyzers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPARE ![In: Proceedings of the 1st International Workshop on Comparative Empirical Evaluation of Reasoning Systems, Manchester, United Kingdom, June 30, 2012, pp. 32-35, 2012, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
33 | Bernhard Beckert, Sarah Grebing |
Evaluating the Usability of Interactive Verification Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPARE ![In: Proceedings of the 1st International Workshop on Comparative Empirical Evaluation of Reasoning Systems, Manchester, United Kingdom, June 30, 2012, pp. 3-17, 2012, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
33 | Leonardo Mendonça de Moura |
Regression Tests and the Inventor's Dilemma. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPARE ![In: Proceedings of the 1st International Workshop on Comparative Empirical Evaluation of Reasoning Systems, Manchester, United Kingdom, June 30, 2012, pp. 1, 2012, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
33 | Aaron Stump, Geoff Sutcliffe, Cesare Tinelli |
Introducing StarExec: a Cross-Community Infrastructure for Logic Solving. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPARE ![In: Proceedings of the 1st International Workshop on Comparative Empirical Evaluation of Reasoning Systems, Manchester, United Kingdom, June 30, 2012, pp. 2, 2012, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
29 | Hans-Juergen Boehm |
An almost non-blocking stack. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PODC ![In: Proceedings of the Twenty-Third Annual ACM Symposium on Principles of Distributed Computing, PODC 2004, St. John's, Newfoundland, Canada, July 25-28, 2004, pp. 40-49, 2004, ACM, 1-58113-802-4. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
interrupt handler, signal handler, stack, memory allocation, lock-free, compare-and-swap, non-blocking, linked list |
29 | Sergey Zagoruyko, Nikos Komodakis |
Deep compare: A study on using convolutional neural networks to compare image patches. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Vis. Image Underst. ![In: Comput. Vis. Image Underst. 164, pp. 38-55, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
29 | Celso C. Ribeiro, Isabel Rosseti |
tttplots-compare: a perl program to compare time-to-target plots or general runtime distributions of randomized algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Optim. Lett. ![In: Optim. Lett. 9(3), pp. 601-614, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
29 | George Papadakis 0001, Ekaterini Ioannou, Claudia Niederée, Themis Palpanas, Wolfgang Nejdl |
To compare or not to compare: making entity resolution more efficient. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SWIM ![In: Proceedings of the International Workshop on Semantic Web Information Management, SWIM 2011, Athens, Greece, June 12, 2011, pp. 3, 2011, ACM, 978-1-4503-0651-5. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
29 | Yoshinobu Kano, William A. Baumgartner Jr., Luke McCrohon, Sophia Ananiadou, K. Bretonnel Cohen, Lawrence Hunter, Jun'ichi Tsujii |
U-Compare: share and compare text mining tools with UIMA. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Bioinform. ![In: Bioinform. 25(15), pp. 1997-1998, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
26 | João Pedro Barreto 0002, Paulo Ferreira 0001 |
Efficient Locally Trackable Deduplication in Replicated Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Middleware ![In: Middleware 2009, ACM/IFIP/USENIX, 10th International Middleware Conference, Urbana, IL, USA, November 30 - December 4, 2009. Proceedings, pp. 103-122, 2009, Springer, 978-3-642-10444-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
compare-by-hash, data replication, distributed file systems, delta encoding, Data deduplication |
26 | Ori Shalev, Nir Shavit |
Split-ordered lists: Lock-free extensible hash tables. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. ACM ![In: J. ACM 53(3), pp. 379-405, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
non-blocking synchronization, hash table, compare-and-swap, Concurrent data structures |
26 | Faith E. Fich, Danny Hendler, Nir Shavit |
On the inherent weakness of conditional synchronization primitives. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PODC ![In: Proceedings of the Twenty-Third Annual ACM Symposium on Principles of Distributed Computing, PODC 2004, St. John's, Newfoundland, Canada, July 25-28, 2004, pp. 80-87, 2004, ACM, 1-58113-802-4. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
load-linked, store-conditional, test-and-set, lower bounds, compare-and-swap, wait-freedom, synchronization primitives |
26 | Simon Doherty, David Detlefs, Lindsay Groves, Christine H. Flood, Victor Luchangco, Paul Alan Martin, Mark Moir, Nir Shavit, Guy L. Steele Jr. |
DCAS is not a silver bullet for nonblocking algorithm design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPAA ![In: SPAA 2004: Proceedings of the Sixteenth Annual ACM Symposium on Parallelism in Algorithms and Architectures, June 27-30, 2004, Barcelona, Spain, pp. 216-224, 2004, ACM, 1-58113-840-7. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
DCAS, double-compare-and-swap, multiprocessors, lock-free, concurrent data structures, linked lists, nonblocking synchronization |
26 | Ori Shalev, Nir Shavit |
Split-ordered lists: lock-free extensible hash tables. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PODC ![In: Proceedings of the Twenty-Second ACM Symposium on Principles of Distributed Computing, PODC 2003, Boston, Massachusetts, USA, July 13-16, 2003, pp. 102-111, 2003, ACM, 1-58113-708-7. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
Non-blocking Synchronization, Real-Time, Hash Table, Compare-and-Swap, Concurrent Data Structures |
24 | Edya Ladan-Mozes, Nir Shavit |
An optimistic approach to lock-free FIFO queues. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Distributed Comput. ![In: Distributed Comput. 20(5), pp. 323-341, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Synchronization, Lock-free, CAS, Compare and swap, Non-blocking, Concurrent data structures, FIFO queue |
24 | Panagiota Fatourou, Nikolaos D. Kallimanis |
Time-optimal, space-efficient single-scanner snapshots & multi-scanner snapshots using CAS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PODC ![In: Proceedings of the Twenty-Sixth Annual ACM Symposium on Principles of Distributed Computing, PODC 2007, Portland, Oregon, USA, August 12-15, 2007, pp. 33-42, 2007, ACM, 978-1-59593-616-5. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
linearizable objects, single-scanner, wait-free implementations, distributed algorithms, asynchronous, snapshots, compare-and-swap (CAS) |
22 | Huixin Zhang, Kerui Wu, Wenyi Liu |
The Solving Methods of Storing Data Lost in Testing System at the Power Breaking Off Time. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFITA (3) ![In: International Forum on Information Technology and Applications, IFITA 2009, Chengdu, China, 15-17 May 2009, pp. 675-677, 2009, IEEE Computer Society, 978-0-7695-3600-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
lose, storage, compare |
22 | Claude Évéquoz |
Practical, Fast and Simple Concurrent FIFO Queues Using Single Word Synchronization Primitives. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ada-Europe ![In: Reliable Software Technologies - Ada-Europe 2008, 13th Ada-Europe International Conference on Reliable Software Technologies, Venice, Italy, June 16-20, 2008. Proceedings, pp. 59-72, 2008, Springer, 978-3-540-68621-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Concurrent queue, load-linked/store-conditional (LL/SC), lock-free, compare-and-swap (CAS), non-blocking |
22 | Moshe Hoffman, Ori Shalev, Nir Shavit |
The Baskets Queue. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OPODIS ![In: Principles of Distributed Systems, 11th International Conference, OPODIS 2007, Guadeloupe, French West Indies, December 17-20, 2007. Proceedings, pp. 401-414, 2007, Springer, 978-3-540-77095-4. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Synchronization, Lock-free, CAS, Compare and Swap, Non-blocking, Concurrent Data Structures, FIFO queue |
22 | Simon Doherty, Maurice Herlihy, Victor Luchangco, Mark Moir |
Bringing practical lock-free synchronization to 64-bit applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PODC ![In: Proceedings of the Twenty-Third Annual ACM Symposium on Principles of Distributed Computing, PODC 2004, St. John's, Newfoundland, Canada, July 25-28, 2004, pp. 31-39, 2004, ACM, 1-58113-802-4. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
64-bit-clean software, freelists, load-linked/store-conditional (LL/SC), population-oblivious, space-adaptive, multiprocessors, memory management, queues, lock-free, compare-and-swap (CAS), nonblocking synchronization, 64-bit architectures |
22 | V. S. Gierenz, Oliver Weiss, Tobias G. Noll, I. Carew, Jonathan J. Ashley, Razmik Karabed |
A 550 Mb/s Radix-4 Bit-level Pipelined 16-State 0.25-mu m CMOS Viterbi Decoder. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASAP ![In: 12th IEEE International Conference on Application-Specific Systems, Architectures, and Processors (ASAP 2000), 10-12 July 2000, Boston, MA, USA, pp. 195-, 2000, IEEE Computer Society, 0-7695-0716-6. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
disk-drive read channels, high-speed Viterbi decoder, radix-4 add-compare-select, bit-level pipelining, full-custom macros, datapath generator assisted design, 0.25 micron, 550 MHz, CMOS technology, redundant number representations |
22 | Miroslaw Kutylowski, Krzysztof Lorys, Brigitte Oesterdiekhoff, Rolf Wanka |
Fast and Feasible Periodic Sorting Networks of Constant Depth ![Search on Bibsonomy](Pics/bibsonomy.png) |
FOCS ![In: 35th Annual Symposium on Foundations of Computer Science, Santa Fe, New Mexico, USA, 20-22 November 1994, pp. 369-380, 1994, IEEE Computer Society, 0-8186-6580-7. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
d-dimensional mesh, periodic sorting networks, constant depth, compare-exchange operations, AKS network, Batcher's networks, comparator network, layout area |
22 | Yehuda Afek, Gideon Stupp |
Synchronization power depends on the register size (Preliminary Version) ![Search on Bibsonomy](Pics/bibsonomy.png) |
FOCS ![In: 34th Annual Symposium on Foundations of Computer Science, Palo Alto, California, USA, 3-5 November 1993, pp. 196-205, 1993, IEEE Computer Society, 0-8186-4370-6. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
synchronization registers, register size, machine instructions, multiprocessors, space complexity, multiprocessor architectures, compare and swap, synchronization primitives, complexity hierarchy |
22 | Gloria Kissin |
Upper and Lower Bounds on Switching Energy in VLSI. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. ACM ![In: J. ACM 38(1), pp. 222-254, 1991. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
1-switchable functions, AND function, CID VLSI circuit, OR functions, USM, circuit scheme, compare functions, parity function, switching energy, uniswitch, energy-efficient, embedding, energy consumption, layout, average-case analysis, addition, upper and lower bounds |
21 | Biplav Srivastava, Pietro Mazzoleni |
An APQC-PCF based framework to compare service offerings in business transformation projects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 2010 ACM Symposium on Applied Computing (SAC), Sierre, Switzerland, March 22-26, 2010, pp. 73-78, 2010, ACM, 978-1-60558-639-7. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
21 | Timothy L. Harris, Keir Fraser, Ian A. Pratt |
A Practical Multi-word Compare-and-Swap Operation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DISC ![In: Distributed Computing, 16th International Conference, DISC 2002, Toulouse, France, October 28-30, 2002 Proceedings, pp. 265-279, 2002, Springer, 3-540-00073-9. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
21 | E. Shen, J. B. Kuo |
0.8 V CMOS content-addressable-memory (CAM) cell circuit with a fast tag-compare capability using bulk PMOS dynamic-threshold (BP-DTMOS) technique based on standard CMOS technology for low-voltage VLSI systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISCAS (4) ![In: Proceedings of the 2002 International Symposium on Circuits and Systems, ISCAS 2002, Scottsdale, Arizona, USA, May 26-29, 2002, pp. 583-586, 2002, IEEE, 0-7803-7448-7. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
21 | Cheuk Yiu Ip, Daniel Lapadat, Leonard Sieger, William C. Regli |
Using shape distributions to compare solid models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Symposium on Solid Modeling and Applications ![In: Seventh ACM Symposium on Solid Modeling and Applications, Max-Planck-Institut für Informatik, Saarbrücken, Germany, June 17-21, 2002, pp. 273-280, 2002, ACM, 1-58113-506-8. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
3D search, solid model databases, shape matching, shape recognition |
19 | Juan Moreno García, José Jesús Castro-Schez, Luis Jiménez 0001 |
A New Method to Compare Dynamical Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFSA (1) ![In: Foundations of Fuzzy Logic and Soft Computing, 12th International Fuzzy Systems Association World Congress, IFSA 2007, Cancun, Mexico, June 18-21, 2007, Proceedings, pp. 533-542, 2007, Springer, 978-3-540-72917-4. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
19 | Umit Ayvaz, Murat Dere, Yao Ming Tiah |
Using the MANA agent-based simulation tool to evaluate and compare the effectiveness of ground-based and airborne communications jammers in countering the IED threat to ground convoys. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SpringSim (2) ![In: Proceedings of the 2007 Spring Simulation Multiconference, SpringSim 2007, Norfolk, Virginia, USA, March 25-29, 2007, Volume 2, pp. 113-118, 2007, SCS/ACM, 1-56555-313-6. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP BibTeX RDF |
Counter-IED, MANA, communications jammers, nearly orthogonal Latin hypercube, IED |
19 | Xin Hou, Xutang Zhang, Wenjian Liu |
Using Enhanced Shape Distributions to Compare CAD Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PCM ![In: Advances in Multimedia Information Processing - PCM 2007, 8th Pacific Rim Conference on Multimedia, Hong Kong, China, December 11-14, 2007, Proceedings, pp. 385-388, 2007, Springer, 978-3-540-77254-5. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
polygonal-mesh simplification, shape distribution, shape retrieval |
19 | Gengshen Du, Jim McElroy, Günther Ruhe |
A family of empirical studies to compare informal and optimization-based planning of software releases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISESE ![In: 2006 International Symposium on Empirical Software Engineering (ISESE 2006), September 21-22, 2006, Rio de Janeiro, Brazil, pp. 212-221, 2006, ACM, 1-59593-218-6. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
family of empirical studies, decision support, release planning |
19 | Eduardo B. Fernández, Nelly A. Delessy |
Using Patterns to Understand and Compare Web Services Security Products and Standards. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AICT/ICIW ![In: Advanced International Conference on Telecommunications and International Conference on Internet and Web Applications and Services (AICT/ICIW 2006), 19-25 February 2006, Guadeloupe, French Caribbean, pp. 157, 2006, IEEE Computer Society, 0-7695-2522-9. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
19 | Håkan Sundell, Philippas Tsigas |
Lock-Free and Practical Doubly Linked List-Based Deques Using Single-Word Compare-and-Swap. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OPODIS ![In: Principles of Distributed Systems, 8th International Conference, OPODIS 2004, Grenoble, France, December 15-17, 2004, Revised Selected Papers, pp. 240-255, 2004, Springer, 3-540-27324-7. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
19 | Victor Luchangco, Mark Moir, Nir Shavit |
Nonblocking k-compare-single-swap. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPAA ![In: SPAA 2003: Proceedings of the Fifteenth Annual ACM Symposium on Parallelism in Algorithms and Architectures, June 7-9, 2003, San Diego, California, USA (part of FCRC 2003), pp. 314-323, 2003, ACM, 1-58113-661-7. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
multiprocessors, concurrent data structures, linked lists, nonblocking synchronization, obstruction-freedom |
19 | Demos Anastasakis, Robert F. Damiano, Hi-Keung Tony Ma, Ted Stanion |
A practical and efficient method for compare-point matching. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DAC ![In: Proceedings of the 39th Design Automation Conference, DAC 2002, New Orleans, LA, USA, June 10-14, 2002, pp. 305-310, 2002, ACM, 1-58113-461-4. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
combinational verification, latch mapping, equivalence checking |
17 | Celso C. Ribeiro, Isabel Rosseti, Reinaldo Vallejos Campos |
On the Use of Run Time Distributions to Evaluate and Compare Stochastic Local Search Algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SLS ![In: Engineering Stochastic Local Search Algorithms. Designing, Implementing and Analyzing Effective Heuristics, Second International Workshop, SLS 2009, Brussels, Belgium, September 3-4, 2009. Proceedings, pp. 16-30, 2009, Springer, 978-3-642-03750-4. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
17 | M. Oya Çinar |
Eye Tracking Method to Compare the Usability of University Web Sites: A Case Study. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HCI (10) ![In: Human Centered Design, First International Conference, HCD 2009, Held as Part of HCI International 2009, San Diego, CA, USA, July 19-24, 2009, Proceedings, pp. 671-678, 2009, Springer, 978-3-642-02805-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
computer interface design, HCI, usability, Eye tracking, design evaluation |
17 | François-Xavier Standaert, François Koeune, Werner Schindler |
How to Compare Profiled Side-Channel Attacks?. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACNS ![In: Applied Cryptography and Network Security, 7th International Conference, ACNS 2009, Paris-Rocquencourt, France, June 2-5, 2009. Proceedings, pp. 485-498, 2009, 978-3-642-01956-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
17 | Efstathios Katranaras, Muhammad Ali Imran 0001, Costas Tzaras |
Framework to compare the uplink capacity of the cellular systems with variable inter site distance. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PIMRC ![In: Proceedings of the IEEE 19th International Symposium on Personal, Indoor and Mobile Radio Communications, PIMRC 2008, 15-18 September 2008, Cannes, French Riviera, France, pp. 1-5, 2008, IEEE. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
17 | Jean-Daniel Cryans, Alain April, Alain Abran |
Criteria to Compare Cloud Computing with Current Database Technology. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWSM/Metrikon/Mensura ![In: Software Process and Product Measurement, International Conferences: IWSM 2008, Metrikon 2008, and Mensura 2008, Munich, Germany, November 18-19, 2008. Proceedings, pp. 114-126, 2008, Springer, 978-3-540-89402-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Bigtable, HBase, Cloud Computing, Hadoop |
17 | François-Xavier Standaert, Cédric Archambeau |
Using Subspace-Based Template Attacks to Compare and Combine Power and Electromagnetic Information Leakages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CHES ![In: Cryptographic Hardware and Embedded Systems - CHES 2008, 10th International Workshop, Washington, D.C., USA, August 10-13, 2008. Proceedings, pp. 411-425, 2008, Springer, 978-3-540-85052-6. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
17 | Mirko D'Onofrio, Niccolò Faccioli, Roberto Malagò, Giulia Zamboni, Roberto Pozzi Mucelli |
Standardize and Compare Contrast-enhanced Ultrasonographic Digital Images Obtained with Different Technologies: How to Overcome the Subjectivity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Digit. Imaging ![In: J. Digit. Imaging 20(3), pp. 256-262, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
focal liver lesion, adobe photoshop, standardization, Ultrasound, contrast-enhanced |
17 | Chih-Yang Lin, Yu-Tai Ching, Yun-Liang Yang |
Automatic Method to Compare the Lanes in Gel Electrophoresis Images. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Inf. Technol. Biomed. ![In: IEEE Trans. Inf. Technol. Biomed. 11(2), pp. 179-189, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
17 | Azzedine Boukerche, Alba Cristina Magalhaes Alves de Melo, Edans Flavius de Oliveira Sandes, Mauricio Ayala-Rincón |
An exact parallel algorithm to compare very long biological sequences in clusters of workstations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Clust. Comput. ![In: Clust. Comput. 10(2), pp. 187-202, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Biological sequence comparison, Parallel algorithm |
17 | Jiahui Liu, Earl Wagner, Larry Birnbaum |
Compare&contrast: using the web to discover comparable cases for news stories. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WWW ![In: Proceedings of the 16th International Conference on World Wide Web, WWW 2007, Banff, Alberta, Canada, May 8-12, 2007, pp. 541-550, 2007, ACM, 978-1-59593-654-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
comparable case, knowledge discovery, query formulation, intelligent information retrieval |
17 | Lorin Hochstein, Victor R. Basili |
An empirical study to compare two parallel programming models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SPAA ![In: SPAA 2006: Proceedings of the 18th Annual ACM Symposium on Parallelism in Algorithms and Architectures, Cambridge, Massachusetts, USA, July 30 - August 2, 2006, pp. 114, 2006, ACM, 1-59593-452-9. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
parallel programming, empirical study, MPI, message-passing, productivity, HPC, PRAM, effort, XMT |
17 | Hannah Bast, Ingmar Weber |
Don't Compare Averages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WEA ![In: Experimental and Efficient Algorithms, 4th InternationalWorkshop, WEA 2005, Santorini Island, Greece, May 10-13, 2005, Proceedings, pp. 67-76, 2005, Springer, 3-540-25920-1. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
17 | Kin F. Li, Yali Wang, Shojiro Nishio, Wei Yu |
A Formal Approach to Evaluate and Compare Internet Search Engines: A Case Study on Searching the Chinese Web. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APWeb ![In: Web Technologies Research and Development - APWeb 2005, 7th Asia-Pacific Web Conference, Shanghai, China, March 29 - April 1, 2005, Proceedings, pp. 195-206, 2005, Springer, 3-540-25207-X. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #100 of 17926 (100 per page; Change: ) Pages: [ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ >>] |
|