|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 27 occurrences of 26 keywords
|
|
|
Results
Found 69 publication records. Showing 69 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
153 | René Schiefer, Peter van der Stok |
VIPER: a tool for the visualisation of parallel programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PDP ![In: 3rd Euromicro Workshop on Parallel and Distributed Processing (PDP '95), January 25-27, 1995, San Remo, Italy, pp. 540-546, 1995, IEEE Computer Society, 0-8186-7031-2. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
VIPER, Mona Lisa parallel programming paradigm, typed paradigm, high level primitives, animation view, parallel programming, parallel programs, debugging, computer animation, data visualisation, data visualisation, data exchange, program debugging, behavioural analysis |
101 | M. Pauli, M. C. Ertem, E. Heidhausen |
Quick Response Airborne Deployment of Viper Muzzle Flash Detection and Location System During DC Sniper Attacks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AIPR ![In: 32nd Applied Image Pattern Recognition Workshop (AIPR 2003), Image Data Fusion, 15-17 October 2003, Washington, DC, USA, Proceedings, pp. 221-225, 2003, IEEE Computer Society, 0-7695-2029-4. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
101 | Tej Arora, Tony Leung, Karl N. Levitt, E. Thomas Schubert, Phillip J. Windley |
Report on the UCD Microcoded Viper Verification Project. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HUG ![In: Higher Order Logic Theorem Proving and its Applications, 6th International Workshop, HUG '93, Vancouver, BC, Canada, August 11-13, 1993, Proceedings, pp. 239-252, 1993, Springer, 3-540-57826-9. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
94 | Ricky W. Butler |
Formal Methods at NASA Langley. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TPHOLs ![In: Theorem Proving in Higher Order Logics, 15th International Conference, TPHOLs 2002, Hampton, VA, USA, August 20-23, 2002, Proceedings, pp. 1-2, 2002, Springer, 3-540-44039-9. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
75 | Pradeep Shenoy, Jayant R. Haritsa, S. Sudarshan 0001, Gaurav Bhalotia, Mayank Bawa, Devavrat Shah |
Turbo-charging Vertical Mining of Large Databases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGMOD Conference ![In: Proceedings of the 2000 ACM SIGMOD International Conference on Management of Data, May 16-18, 2000, Dallas, Texas, USA., pp. 22-33, 2000, ACM, 1-58113-217-4. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
64 | Michal Adamaszek, Piotr Chrzastowski-Wachtel, Anna Niewiarowska |
VIPER, a Student-Friendly Visual Interpreter of Pascal. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSEP ![In: Informatics Education - Supporting Computational Thinking, Third International Conference on Informatics in Secondary Schools - Evolution and Perspectives, ISSEP 2008, Torun, Poland, July 1-4, 2008, Proceedings, pp. 192-203, 2008, Springer, 978-3-540-69923-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
56 | Kai Simon, Georg Lausen, Harold Boley |
From HTML documents to web tables and rules. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICEC ![In: Proceedings of the 8th International Conference on Electronic Commerce: The new e-commerce - Innovations for Conquering Current Barriers, Obstacles and Limitations to Conducting Successful Business on the Internet, 2006, Fredericton, New Brunswick, Canada, August 13-16, 2006, pp. 125-131, 2006, ACM, 1-59593-392-1. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
data record alignment, data extraction, rule-based languages |
56 | Kai Simon, Thomas Hornung 0001, Georg Lausen |
Learning Rules to Pre-process Web Data for Automatic Integration. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RuleML ![In: Rules and Rule Markup Languages for the Semantic Web, Second International Conference, RuleML 2006, Athens, Georgia, USA, November 10-11, 2006, Proceedings, pp. 107-116, 2006, IEEE Computer Society, 0-7695-2652-7. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
56 | Mark M. Chang, Brett Browning, Gordon F. Wyeth |
ViperRoos 2000. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RoboCup ![In: RoboCup 2000: Robot Soccer World Cup IV, pp. 527-530, 2000, Springer, 3-540-42185-8. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
52 | Roana Rodrigues, Oto A. Vale, Laura Alonso Alemany |
As bases de dados verbais ADESSE e ViPEr: uma análise constrastiva das construções locativas em espanhol e em português (The verbal databases ADESSE and ViPEr: a contrastive analysis of locative constructs in Spanish and Portuguese)[In Portuguese]. ![Search on Bibsonomy](Pics/bibsonomy.png) |
STIL ![In: Proceedings of the 11th Brazilian Symposium in Information and Human Language Technology, STIL 2017, Uberlândia, Brazil, October 2-5, 2017, pp. 266-273, 2017, Sociedade Brasileira de Computação. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
51 | Yatin Vasant Hoskote, Jacob A. Abraham, Donald S. Fussell |
Automated verification of temporal properties specified as state machines in VHDL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Great Lakes Symposium on VLSI ![In: 5th Great Lakes Symposium on VLSI (GLS-VLSI '95), March 16-18, 1995, The State University of New York at Buffalo, USA, pp. 100-105, 1995, IEEE Computer Society, 0-8186-7035-5. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
automated verification methodology, correctness specifications, Viper microprocessor, Mealy FSM, compatible states, formal specification, formal verification, high level synthesis, finite state machines, VHDL, sequential circuits, state machines, hardware description languages, microprocessor chips, synchronous sequential circuit, temporal properties, liveness properties |
45 | Colm Rooney, Rem W. Collier, Gregory M. P. O'Hare |
VIPER: A VIsual Protocol EditoR. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COORDINATION ![In: Coordination Models and Languages, 6th International Conference, COORDINATION 2004, Pisa, Italy, February 24-27, 2004, Proceedings, pp. 279-293, 2004, Springer, 3-540-21044-X. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
45 | Stefan Agamanolis, V. Michael Bove Jr. |
Viper: A Framework for Responsive Television. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Multim. ![In: IEEE Multim. 10(3), pp. 88-98, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
Automated video editing, responsive media, personalization, video annotation, interactive storytelling, content description |
45 | Santanu Dutta, Rune Jensen, Alf Rieckmann |
Viper: A Multiprocessor SOC for Advanced Set-Top Box and Digital TV Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Des. Test Comput. ![In: IEEE Des. Test Comput. 18(5), pp. 21-31, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
38 | Mark M. Chang, Brett Browning, Gordon F. Wyeth |
ViperRoos: Developing a Low Cost Local Vision Team for the Small Size League. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RoboCup ![In: RoboCup 2001: Robot Soccer World Cup V, pp. 305-311, 2001, Springer, 3-540-43912-9. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
38 | David S. Doermann, David Mihalcik |
Tools and Techniques for Video Performance Evaluation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICPR ![In: 15th International Conference on Pattern Recognition, ICPR'00, Barcelona, Spain, September 3-8, 2000., pp. 4167-4170, 2000, IEEE Computer Society, 0-7695-0750-6. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
26 | Alen Sabu, Changxi Liu, Trevor E. Carlson |
Viper: Utilizing Hierarchical Program Structure to Accelerate Multi-Core Simulation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Access ![In: IEEE Access 12, pp. 17669-17678, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
26 | Juliana Castro-Amorim, Ana Oliveira, Ashis K. Mukherjee, Maria João Ramos, Pedro Alexandrino Fernandes |
Unraveling the Reaction Mechanism of Russell's Viper Venom Factor X Activator: A Paradigm for the Reactivity of Zinc Metalloproteinases? ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Chem. Inf. Model. ![In: J. Chem. Inf. Model. 63(13), pp. 4056-4069, July 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
26 | Hengkai Ye, Song Liu, Zhechang Zhang, Hong Hu 0004 |
VIPER: Spotting Syscall-Guard Variables for Data-Only Attacks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
USENIX Security Symposium ![In: 32nd USENIX Security Symposium, USENIX Security 2023, Anaheim, CA, USA, August 9-11, 2023, pp. 1397-1414, 2023, USENIX Association. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP BibTeX RDF |
|
26 | Ben Stephenson |
Nifty Assignment: Viper. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WCCCE ![In: Proceedings of the 25th Western Canadian Conference on Computing Education, WCCCE 2023, Vancouver, BC, Canada, May 4-5, 2023, pp. 17:1-17:2, 2023, ACM. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
26 | Zhuocheng Shang, Ahmed Eldawy |
Viper: Interactive Exploration of Large Satellite Data✱✱. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSTD ![In: Proceedings of the 18th International Symposium on Spatial and Temporal Data, SSTD 2023, Calgary, AB, Canada, August 23-25, 2023, pp. 141-150, 2023, ACM. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
26 | Jian Zhang, Ye Ji, Shuai Mu 0001, Cheng Tan 0005 |
Viper: A Fast Snapshot Isolation Checker. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EuroSys ![In: Proceedings of the Eighteenth European Conference on Computer Systems, EuroSys 2023, Rome, Italy, May 8-12, 2023, pp. 654-671, 2023, ACM, 978-1-4503-9487-1. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
26 | Thanh Nguyen-Tang, Raman Arora |
VIPeR: Provably Efficient Algorithm for Offline RL with Neural Function Approximation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLR ![In: The Eleventh International Conference on Learning Representations, ICLR 2023, Kigali, Rwanda, May 1-5, 2023, 2023, OpenReview.net. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP BibTeX RDF |
|
26 | Lorenzo Vaiani, Moreno La Quatra, Luca Cagliero, Paolo Garza |
ViPER: Video-based Perceiver for Emotion Recognition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MuSe @ ACM Multimedia ![In: MuSe@MM 2022: Proceedings of the 3rd International on Multimodal Sentiment Analysis Workshop and Challenge, Lisboa, Portugal, 10 October 2022, pp. 67-73, 2022, ACM, 978-1-4503-9484-0. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
26 | Thomas J. Czubryt, Carson K. Leung, Adam G. M. Pazdor |
Q-VIPER: Quantitative Vertical Bitwise Algorithm to Mine Frequent Patterns. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DaWaK ![In: Big Data Analytics and Knowledge Discovery - 24th International Conference, DaWaK 2022, Vienna, Austria, August 22-24, 2022, Proceedings, pp. 219-233, 2022, Springer, 978-3-031-12669-7. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
26 | Matteo Toscani, Anna Metzger |
A Database of Vibratory Signals from Free Haptic Exploration of Natural Material Textures and Perceptual Judgments (ViPer): Analysis of Spectral Statistics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EuroHaptics ![In: Haptics: Science, Technology, Applications - 13th International Conference on Human Haptic Sensing and Touch Enabled Computer Applications, EuroHaptics 2022, Hamburg, Germany, May 22-25, 2022, Proceedings, pp. 319-327, 2022, Springer, 978-3-031-06248-3. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
26 | Alexander Arntz, Agostino Di Dia, Tim Riebner, Carolin Straßmann, Stefanie Völker, Sabrina C. Eimler |
VIPER: A Virtual Platform to Experience Robots. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AIVR ![In: IEEE International Conference on Artificial Intelligence and Virtual Reality, AIVR 2022, Virtual Conference, December 12-14, 2022, pp. i-iii, 2022, IEEE, 978-1-6654-5725-5. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
26 | Lawrence Benson, Hendrik Makait, Tilmann Rabl |
Viper: An Efficient Hybrid PMem-DRAM Key-Value Store. (PDF / PS) ![Search on Bibsonomy](Pics/bibsonomy.png) |
Proc. VLDB Endow. ![In: Proc. VLDB Endow. 14(9), pp. 1544-1556, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
26 | Chris "Mac" McEniry |
Simplifying Repetitive Command Line Flags with viper. ![Search on Bibsonomy](Pics/bibsonomy.png) |
login Usenix Mag. ![In: login Usenix Mag. 45(1), 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
26 | Alireza Ansaripour, Milad Heydariaan, Omprakash Gnawali, Kyungki Kim |
ViPER: Vehicle Pose Estimation using Ultra-WideBand Radios. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DCOSS ![In: 16th International Conference on Distributed Computing in Sensor Systems, DCOSS 2020, Marina del Rey, CA, USA, May 25-27, 2020, pp. 120-127, 2020, IEEE, 978-1-7281-4351-4. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
26 | Chyi-Ren Dow, Duc Binh Nguyen, Syuan Cheng, Po-Yu Lai, Shiow-Fen Hwang |
VIPER: an adaptive guidance and notification service system in internet of vehicles. ![Search on Bibsonomy](Pics/bibsonomy.png) |
World Wide Web ![In: World Wide Web 22(4), pp. 1669-1697, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
26 | Baptiste Angles, Daniel Rebain, Miles Macklin, Brian Wyvill, Loic Barthe, John P. Lewis, Javier von der Pahlen, Shahram Izadi, Julien P. C. Valentin, Sofien Bouaziz, Andrea Tagliasacchi |
VIPER: Volume Invariant Position-based Elastic Rods. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Proc. ACM Comput. Graph. Interact. Tech. ![In: Proc. ACM Comput. Graph. Interact. Tech. 2(2), pp. 19:1-19:26, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
26 | Baptiste Angles, Daniel Rebain, Miles Macklin, Brian Wyvill, Loic Barthe, John P. Lewis, Javier von der Pahlen, Shahram Izadi, Julien P. C. Valentin, Sofien Bouaziz, Andrea Tagliasacchi |
VIPER: Volume Invariant Position-based Elastic Rods. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1906.05260, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
26 | Gaurav Rajavendra Reddy, Mohammad-Mahdi Bidmeshki, Yiorgos Makris |
VIPER: A Versatile and Intuitive Pattern GenERator for Early Design Space Exploration. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITC ![In: IEEE International Test Conference, ITC 2019, Washington, DC, USA, November 9-15, 2019, pp. 1-7, 2019, IEEE, 978-1-7281-4823-6. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
26 | MacIntosh Cornwell, Mahesh Vangala, Len Taing, Zachary Herbert, Johannes Köster, Bo Li, Hanfei Sun, Taiwen Li, Jian Zhang, Xintao Qiu, Matthew Pun, Rinath Jeselsohn, Myles Brown, Xiaole Shirley Liu, Henry W. Long |
VIPER: Visualization Pipeline for RNA-seq, a Snakemake workflow for efficient and complete RNA-seq analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BMC Bioinform. ![In: BMC Bioinform. 19(1), pp. 135:1-135:14, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
26 | Marius Wöste, Martin Dugas |
VIPER: a web application for rapid expert review of variant calls. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Bioinform. ![In: Bioinform. 34(11), pp. 1928-1929, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
26 | Ivan Walulya, Dimitris Palyvos-Giannas, Yiannis Nikolakopoulos, Vincenzo Gulisano, Marina Papatriantafilou, Philippas Tsigas |
Viper: A module for communication-layer determinism and scaling in low-latency stream processing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Future Gener. Comput. Syst. ![In: Future Gener. Comput. Syst. 88, pp. 297-308, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
26 | Peter Müller 0001 |
The Binomial Heap Verification Challenge in Viper. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Principled Software Development ![In: Principled Software Development - Essays Dedicated to Arnd Poetzsch-Heffter on the Occasion of his 60th Birthday, pp. 203-219, 2018, Springer, 978-3-319-98046-1. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
26 | Christopher Husmann, Konstantinos Nikitopoulos |
ViPer MIMO: Increasing Large MIMO Efficiency via Practical Vector-Perturbation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GLOBECOM ![In: IEEE Global Communications Conference, GLOBECOM 2018, Abu Dhabi, United Arab Emirates, December 9-13, 2018, pp. 1-6, 2018, IEEE, 978-1-5386-4727-1. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
26 | Peter Müller 0001, Malte Schwerhoff, Alexander J. Summers |
Viper: A Verification Infrastructure for Permission-Based Reasoning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Dependable Software Systems Engineering ![In: Dependable Software Systems Engineering, pp. 104-125, 2017, IOS Press, 978-1-61499-809-9. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
26 | Ivan Walulya, Yiannis Nikolakopoulos, Vincenzo Gulisano, Marina Papatriantafilou, Philippas Tsigas |
Viper: Communication-Layer Determinism and Scaling in Low-Latency Stream Processing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Euro-Par Workshops ![In: Euro-Par 2017: Parallel Processing Workshops - Euro-Par 2017 International Workshops, Santiago de Compostela, Spain, August 28-29, 2017, Revised Selected Papers, pp. 129-140, 2017, Springer, 978-3-319-75177-1. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
26 | Peter Müller 0001, Malte Schwerhoff, Alexander J. Summers |
Viper: A Verification Infrastructure for Permission-Based Reasoning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VMCAI ![In: Verification, Model Checking, and Abstract Interpretation - 17th International Conference, VMCAI 2016, St. Petersburg, FL, USA, January 17-19, 2016. Proceedings, pp. 41-62, 2016, Springer, 978-3-662-49121-8. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
26 | Matthijs van Leeuwen, Lara Cardinaels |
VIPER - Visual Pattern Explorer. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECML/PKDD (3) ![In: Machine Learning and Knowledge Discovery in Databases - European Conference, ECML PKDD 2015, Porto, Portugal, September 7-11, 2015, Proceedings, Part III, pp. 333-336, 2015, Springer, 978-3-319-23460-1. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
26 | Trevor Paterson, Martin Graham 0001, Jessie B. Kennedy, Andy Law |
VIPER: a visualisation tool for exploring inheritance inconsistencies in genotyped pedigrees. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BMC Bioinform. ![In: BMC Bioinform. 13(S-8), pp. S5, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
26 | Andrea Pellegrini, Joseph L. Greathouse, Valeria Bertacco |
Viper: Virtual pipelines for enhanced reliability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISCA ![In: 39th International Symposium on Computer Architecture (ISCA 2012), June 9-13, 2012, Portland, OR, USA, pp. 344-355, 2012, IEEE Computer Society, 978-1-4673-0475-7. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
26 | Yanlin Li, Jonathan M. McCune, Adrian Perrig |
VIPER: verifying the integrity of PERipherals' firmware. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CCS ![In: Proceedings of the 18th ACM Conference on Computer and Communications Security, CCS 2011, Chicago, Illinois, USA, October 17-21, 2011, pp. 3-16, 2011, ACM, 978-1-4503-0948-6. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
26 | Trevor Paterson, Martin Graham 0001, Jessie B. Kennedy, Andy Law |
Evaluating the VIPER pedigree visualisation: Detecting inheritance inconsistencies in genotyped pedigrees. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BioVis ![In: 2011 IEEE Symposium on Biological Data Visualization, BioVis 2011, Providence, RI, USA, October 23-24, 2011, pp. 119-126, 2011, IEEE Computer Society, 978-1-4673-0003-2. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
26 | Jean-Luc Béchennec, Mikaël Briday, Sébastien Faucou, Florent Pavin, Fabien Juif |
ViPER: a lightweight approach to the simulation of distributed and embedded software. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SimuTools ![In: 3rd International Conference on Simulation Tools and Techniques, SIMUTools '10, Malaga, Spain - March 16 - 18, 2010, pp. 74, 2010, ICST/ACM, 978-963-9799-87-5. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
26 | Kai Florian Simon |
ViPER: visual perception based information extraction of structured web content. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2009 |
RDF |
|
26 | Matthew E. Monroe, Nikola Tolic, Navdeep Jaitly, Jason L. Shaw, Joshua N. Adkins, Richard D. Smith |
VIPER: an advanced software package to support high-throughput LC-MS peptide identification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Bioinform. ![In: Bioinform. 23(15), pp. 2021-2023, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
26 | Paolo Cencioni, Roberto Di Pietro |
VIPER: A vehicle-to-infrastructure communication privacy enforcement protocol. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MASS ![In: IEEE 4th International Conference on Mobile Adhoc and Sensor Systems, MASS 2007, 8-11 October 2007, Pisa, Italy, pp. 1-6, 2007, IEEE Computer Society, 978-1-4244-1454-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
26 | Manfred Päßler, Matthias Nicola |
Native XML-Unterstützung in DB2 Viper. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Datenbank-Spektrum ![In: Datenbank-Spektrum 17, pp. 42-, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP BibTeX RDF |
|
26 | Kai Simon, Georg Lausen |
ViPER: augmenting automatic information extraction with visual perceptions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CIKM ![In: Proceedings of the 2005 ACM CIKM International Conference on Information and Knowledge Management, Bremen, Germany, October 31 - November 5, 2005, pp. 381-388, 2005, ACM, 1-59593-140-6. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
data record alignment, data extraction, visual features |
26 | Michael Catalan, Sharon Bailey, Jim Alzheimer, Daniel P. Niebuhr |
Lessons Learned from Pit Viper Integration into Hanford Tank Farm Reality. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICRA ![In: Proceedings of the 2002 IEEE International Conference on Robotics and Automation, ICRA 2002, May 11-15, 2002, Washington, DC, USA, pp. 3479-3484, 2002, IEEE, 0-7803-7273-5. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
26 | Davide Avagnina, Letizia Lo Presti, Paolo Mulassano |
The viper algorithm: A new approach for detection using 2D-adaptive sampling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUSIPCO ![In: 10th European Signal Processing Conference, EUSIPCO 2000, Tampere, Finland, September 4-8, 2000, pp. 1-4, 2000, IEEE, 978-952-1504-43-3. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP BibTeX RDF |
|
26 | Andreas Disch, Philip Jacob 0002, Michael Münchhofen |
Viper - A 3D-Modeling and Visualization Toolkit for Web-Based Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Networks ![In: Comput. Networks 30(1-7), pp. 626-628, 1998. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
26 | Hoon Chang, Jacob A. Abraham |
VIPER: An Efficient Vigorously Sensitizable Path Extractor. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DAC ![In: Proceedings of the 30th Design Automation Conference. Dallas, Texas, USA, June 14-18, 1993., pp. 112-117, 1993, ACM Press, 0-89791-577-1. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
26 | Max P. Halbert |
Selfchecking computer module based on the Viper microprocessor. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Microprocess. Microsystems ![In: Microprocess. Microsystems 12(5), pp. 264-270, 1988. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
|
19 | Parke Godfrey, Jarek Gryz, Andrzej Hoppe, Wenbin Ma, Calisto Zuzarte |
Query Rewrites with Views for XML in DB2. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDE ![In: Proceedings of the 25th International Conference on Data Engineering, ICDE 2009, March 29 2009 - April 2 2009, Shanghai, China, pp. 1339-1350, 2009, IEEE Computer Society, 978-0-7695-3545-6. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
19 | Florian Schmedding, Max Schwaibold, Kai Simon |
Pattern-Based Annotation of HTML-Streams. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESWC ![In: The Semantic Web: Research and Applications, 6th European Semantic Web Conference, ESWC 2009, Heraklion, Crete, Greece, May 31-June 4, 2009, Proceedings, pp. 893-897, 2009, Springer, 978-3-642-02120-6. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
19 | Thomas Hornung 0001, Kai Simon, Georg Lausen |
Information Gathering in a Dynamic World. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPSWR ![In: Principles and Practice of Semantic Web Reasoning, 4th International Workshop, PPSWR 2006, Budva, Montenegro, June 10-11, 2006, Revised Selected Papers, pp. 237-241, 2006, Springer, 3-540-39586-5. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
19 | Peter S. March, Ross C. Taylor, Chetan Kapoor, Delbert Tesar |
Decision Making for Remote Robotic Operations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICRA ![In: Proceedings of the 2004 IEEE International Conference on Robotics and Automation, ICRA 2004, April 26 - May 1, 2004, New Orleans, LA, USA, pp. 2764-2769, 2004, IEEE. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
19 | Tino Lourens |
TiViPE - Tino's Visual Programming Environment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPSAC ![In: 28th International Computer Software and Applications Conference (COMPSAC 2004), Design and Assessment of Trustworthy Software-Based Systems, 27-30 September 2004, Hong Kong, China, Proceedings, pp. 10-15, 2004, IEEE Computer Society, 0-7695-2209-2. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
19 | Gareth J. F. Jones, Declan Groves, Anna Khasin, Adenike M. Lam-Adesina, Bart Mellebeek, Andy Way |
Dublin City University at CLEF 2004: Experiments with the ImageCLEF St. Andrew's Collection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CLEF ![In: Multilingual Information Access for Text, Speech and Images, 5th Workshop of the Cross-Language Evaluation Forum, CLEF 2004, Bath, UK, September 15-17, 2004, Revised Selected Papers, pp. 653-663, 2004, Springer, 3-540-27420-0. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
19 | Vladimir Y. Mariano, Junghye Min, Jin Hyeong Park, Rangachar Kasturi, David Mihalcik, Huiping Li, David S. Doermann, Thomas Drayer |
Performance Evaluation of Object Detection Algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICPR (3) ![In: 16th International Conference on Pattern Recognition, ICPR 2002, Quebec, Canada, August 11-15, 2002., pp. 965-969, 2002, IEEE Computer Society, 0-7695-1695-5. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
19 | Henning Müller, Wolfgang Müller 0001, David McG. Squire |
Automated Benchmarking In Content-Based Image Retrieval. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICME ![In: Proceedings of the 2001 IEEE International Conference on Multimedia and Expo, ICME 2001, August 22-25, 2001, Tokyo, Japan, 2001, IEEE Computer Society, 0-7695-1198-8. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
19 | Sabine Rathmayer |
A Tool for On-line Visualization and Interactive Steering of Parallel HPC Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPPS ![In: 11th International Parallel Processing Symposium (IPPS '97), 1-5 April 1997, Geneva, Switzerland, Proceedings, pp. 181-186, 1997, IEEE Computer Society, 0-8186-7792-9. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
19 | Jeffrey J. Joyce, Carl-Johan H. Seger |
The HOL-Voss System: Model-Checking inside a General-Purpose Theorem-Prover. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HUG ![In: Higher Order Logic Theorem Proving and its Applications, 6th International Workshop, HUG '93, Vancouver, BC, Canada, August 11-13, 1993, Proceedings, pp. 185-198, 1993, Springer, 3-540-57826-9. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
19 | David R. Cheriton |
Sirpent: A High-Performance Internetworking Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGCOMM ![In: Proceedings of the ACM Symposium on Communications Architectures & Protocols, SIGCOMM 1989, Austin, TX, USA, September 19-22, 1989, pp. 158-169, 1989, ACM, 0-89791-332-9. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #69 of 69 (100 per page; Change: )
|
|