|
|
|
|
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.  |
PDP  |
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. |
AIPR |
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. |
HUG |
1993 |
DBLP DOI BibTeX RDF |
|
| 94 | Ricky W. Butler |
Formal Methods at NASA Langley. |
TPHOLs |
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. |
SIGMOD Conference |
2000 |
DBLP DOI BibTeX RDF |
|
| 64 | Michal Adamaszek, Piotr Chrzastowski-Wachtel, Anna Niewiarowska |
VIPER, a Student-Friendly Visual Interpreter of Pascal. |
ISSEP |
2008 |
DBLP DOI BibTeX RDF |
|
| 56 | Kai Simon, Georg Lausen, Harold Boley |
From HTML documents to web tables and rules. |
ICEC |
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. |
RuleML |
2006 |
DBLP DOI BibTeX RDF |
|
| 56 | Mark M. Chang, Brett Browning, Gordon F. Wyeth |
ViperRoos 2000. |
RoboCup |
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]. |
STIL |
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. |
Great Lakes Symposium on VLSI |
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. |
COORDINATION |
2004 |
DBLP DOI BibTeX RDF |
|
| 45 | Stefan Agamanolis, V. Michael Bove Jr. |
Viper: A Framework for Responsive Television. |
IEEE Multim. |
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. |
IEEE Des. Test Comput. |
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. |
RoboCup |
2001 |
DBLP DOI BibTeX RDF |
|
| 38 | David S. Doermann, David Mihalcik |
Tools and Techniques for Video Performance Evaluation. |
ICPR |
2000 |
DBLP DOI BibTeX RDF |
|
| 26 | Alen Sabu, Changxi Liu, Trevor E. Carlson |
Viper: Utilizing Hierarchical Program Structure to Accelerate Multi-Core Simulation. |
IEEE Access |
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? |
J. Chem. Inf. Model. |
2023 |
DBLP DOI BibTeX RDF |
|
| 26 | Hengkai Ye, Song Liu, Zhechang Zhang, Hong Hu 0004 |
VIPER: Spotting Syscall-Guard Variables for Data-Only Attacks. |
USENIX Security Symposium |
2023 |
DBLP BibTeX RDF |
|
| 26 | Ben Stephenson |
Nifty Assignment: Viper. |
WCCCE |
2023 |
DBLP DOI BibTeX RDF |
|
| 26 | Zhuocheng Shang, Ahmed Eldawy |
Viper: Interactive Exploration of Large Satellite Data✱✱. |
SSTD |
2023 |
DBLP DOI BibTeX RDF |
|
| 26 | Jian Zhang, Ye Ji, Shuai Mu 0001, Cheng Tan 0005 |
Viper: A Fast Snapshot Isolation Checker. |
EuroSys |
2023 |
DBLP DOI BibTeX RDF |
|
| 26 | Thanh Nguyen-Tang, Raman Arora |
VIPeR: Provably Efficient Algorithm for Offline RL with Neural Function Approximation. |
ICLR |
2023 |
DBLP BibTeX RDF |
|
| 26 | Lorenzo Vaiani, Moreno La Quatra, Luca Cagliero, Paolo Garza |
ViPER: Video-based Perceiver for Emotion Recognition. |
MuSe @ ACM Multimedia |
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. |
DaWaK |
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. |
EuroHaptics |
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. |
AIVR |
2022 |
DBLP DOI BibTeX RDF |
|
| 26 | Lawrence Benson, Hendrik Makait, Tilmann Rabl |
Viper: An Efficient Hybrid PMem-DRAM Key-Value Store. (PDF / PS) |
Proc. VLDB Endow. |
2021 |
DBLP DOI BibTeX RDF |
|
| 26 | Chris "Mac" McEniry |
Simplifying Repetitive Command Line Flags with viper. |
login Usenix Mag. |
2020 |
DBLP BibTeX RDF |
|
| 26 | Alireza Ansaripour, Milad Heydariaan, Omprakash Gnawali, Kyungki Kim |
ViPER: Vehicle Pose Estimation using Ultra-WideBand Radios. |
DCOSS |
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. |
World Wide Web |
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. |
Proc. ACM Comput. Graph. Interact. Tech. |
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. |
CoRR |
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. |
ITC |
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. |
BMC Bioinform. |
2018 |
DBLP DOI BibTeX RDF |
|
| 26 | Marius Wöste, Martin Dugas |
VIPER: a web application for rapid expert review of variant calls. |
Bioinform. |
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. |
Future Gener. Comput. Syst. |
2018 |
DBLP DOI BibTeX RDF |
|
| 26 | Peter Müller 0001 |
The Binomial Heap Verification Challenge in Viper. |
Principled Software Development |
2018 |
DBLP DOI BibTeX RDF |
|
| 26 | Christopher Husmann, Konstantinos Nikitopoulos |
ViPer MIMO: Increasing Large MIMO Efficiency via Practical Vector-Perturbation. |
GLOBECOM |
2018 |
DBLP DOI BibTeX RDF |
|
| 26 | Peter Müller 0001, Malte Schwerhoff, Alexander J. Summers |
Viper: A Verification Infrastructure for Permission-Based Reasoning. |
Dependable Software Systems Engineering |
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. |
Euro-Par Workshops |
2017 |
DBLP DOI BibTeX RDF |
|
| 26 | Peter Müller 0001, Malte Schwerhoff, Alexander J. Summers |
Viper: A Verification Infrastructure for Permission-Based Reasoning. |
VMCAI |
2016 |
DBLP DOI BibTeX RDF |
|
| 26 | Matthijs van Leeuwen, Lara Cardinaels |
VIPER - Visual Pattern Explorer. |
ECML/PKDD (3) |
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. |
BMC Bioinform. |
2012 |
DBLP DOI BibTeX RDF |
|
| 26 | Andrea Pellegrini, Joseph L. Greathouse, Valeria Bertacco |
Viper: Virtual pipelines for enhanced reliability. |
ISCA |
2012 |
DBLP DOI BibTeX RDF |
|
| 26 | Yanlin Li, Jonathan M. McCune, Adrian Perrig |
VIPER: verifying the integrity of PERipherals' firmware. |
CCS |
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. |
BioVis |
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. |
SimuTools |
2010 |
DBLP DOI BibTeX RDF |
|
| 26 | Kai Florian Simon |
ViPER: visual perception based information extraction of structured web content. |
|
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. |
Bioinform. |
2007 |
DBLP DOI BibTeX RDF |
|
| 26 | Paolo Cencioni, Roberto Di Pietro |
VIPER: A vehicle-to-infrastructure communication privacy enforcement protocol. |
MASS |
2007 |
DBLP DOI BibTeX RDF |
|
| 26 | Manfred Päßler, Matthias Nicola |
Native XML-Unterstützung in DB2 Viper. |
Datenbank-Spektrum |
2006 |
DBLP BibTeX RDF |
|
| 26 | Kai Simon, Georg Lausen |
ViPER: augmenting automatic information extraction with visual perceptions. |
CIKM |
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. |
ICRA |
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. |
EUSIPCO |
2000 |
DBLP BibTeX RDF |
|
| 26 | Andreas Disch, Philip Jacob 0002, Michael Münchhofen |
Viper - A 3D-Modeling and Visualization Toolkit for Web-Based Applications. |
Comput. Networks |
1998 |
DBLP DOI BibTeX RDF |
|
| 26 | Hoon Chang, Jacob A. Abraham |
VIPER: An Efficient Vigorously Sensitizable Path Extractor. |
DAC |
1993 |
DBLP DOI BibTeX RDF |
|
| 26 | Max P. Halbert |
Selfchecking computer module based on the Viper microprocessor. |
Microprocess. Microsystems |
1988 |
DBLP DOI BibTeX RDF |
|
| 19 | Parke Godfrey, Jarek Gryz, Andrzej Hoppe, Wenbin Ma, Calisto Zuzarte |
Query Rewrites with Views for XML in DB2. |
ICDE |
2009 |
DBLP DOI BibTeX RDF |
|
| 19 | Florian Schmedding, Max Schwaibold, Kai Simon |
Pattern-Based Annotation of HTML-Streams. |
ESWC |
2009 |
DBLP DOI BibTeX RDF |
|
| 19 | Thomas Hornung 0001, Kai Simon, Georg Lausen |
Information Gathering in a Dynamic World. |
PPSWR |
2006 |
DBLP DOI BibTeX RDF |
|
| 19 | Peter S. March, Ross C. Taylor, Chetan Kapoor, Delbert Tesar |
Decision Making for Remote Robotic Operations. |
ICRA |
2004 |
DBLP DOI BibTeX RDF |
|
| 19 | Tino Lourens |
TiViPE - Tino's Visual Programming Environment. |
COMPSAC |
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. |
CLEF |
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. |
ICPR (3) |
2002 |
DBLP DOI BibTeX RDF |
|
| 19 | Henning Müller, Wolfgang Müller 0001, David McG. Squire |
Automated Benchmarking In Content-Based Image Retrieval. |
ICME |
2001 |
DBLP DOI BibTeX RDF |
|
| 19 | Sabine Rathmayer |
A Tool for On-line Visualization and Interactive Steering of Parallel HPC Applications. |
IPPS |
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. |
HUG |
1993 |
DBLP DOI BibTeX RDF |
|
| 19 | David R. Cheriton |
Sirpent: A High-Performance Internetworking Approach. |
SIGCOMM |
1989 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #69 of 69 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license