|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 312 occurrences of 239 keywords
|
|
|
Results
Found 609 publication records. Showing 609 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
111 | Barton P. Miller, Morgan Clark, Jeffrey K. Hollingsworth, Steven Kierstead, Sek-See Lim, Timothy Torzewski |
IPS-2: The Second Generation of a Parallel Program Measurement System. |
IEEE Trans. Parallel Distributed Syst. |
1990 |
DBLP DOI BibTeX RDF |
IPS-2, parallel program measurement system, performance measurement system, performance analysis techniques, program bottlenecks, interactive program analysis, automatic guidance techniques, Charlotte distributed operating system, 4.3BSD UNIX systems, DECstation, Sun 4, Sequent Symmetry multiprocessor, performance evaluation, parallel programs, parallel programming, semantics, graphical user interface, software tools, Unix, shared-memory systems, distributed programs, network operating systems, program diagnostics, VAX, design concepts, message systems, CPA |
74 | Matt Spear, Xiaoming Lu, Norman S. Matloff, Shyhtsun Felix Wu |
Inter-Profile Similarity (IPS): A Method for Semantic Analysis of Online Social Networks. |
Complex (1) |
2009 |
DBLP DOI BibTeX RDF |
Profile Similarity, Natural Language Processing, Semantic Analysis, Online Social Network |
66 | George Varghese, J. Andrew Fingerhut, Flavio Bonomi |
Detecting evasion attacks at high speeds without reassembly. |
SIGCOMM |
2006 |
DBLP DOI BibTeX RDF |
TCP reassembly, normalization, intrusion prevention systems, evasion attacks |
66 | Xinyou Zhang, Chengzhong Li, Wenbin Zheng |
Intrusion Prevention System Design. |
CIT |
2004 |
DBLP DOI BibTeX RDF |
|
66 | Jianwen Zhu, Wai Sum Mong |
Specification of Non-Functional Intellectual Property Components. |
DATE |
2003 |
DBLP DOI BibTeX RDF |
|
63 | Bita Gorjiara, Daniel Gajski |
A novel profile-driven technique for simultaneous power and code-size optimization of microcoded IPs. |
ICCD |
2007 |
DBLP DOI BibTeX RDF |
|
55 | Nicholas Weaver, Vern Paxson, José M. González |
The shunt: an FPGA-based accelerator for network intrusion prevention. |
FPGA |
2007 |
DBLP DOI BibTeX RDF |
FPGA, intrusion detection, hardware acceleration, NIC |
55 | Anirban Banerjee, Michalis Faloutsos, Laxmi N. Bhuyan |
The P2P War: Someone Is Monitoring Your Activities! |
Networking |
2007 |
DBLP DOI BibTeX RDF |
RIAA, User monitoring, Peer-to-peer networks, Gnutella |
55 | Dessislava Nikolova, Benny Van Houdt, Chris Blondia |
Dynamic Bandwidth Allocation Algorithms for Ethernet Passive Optical Networks with Threshold Reporting. |
Telecommun. Syst. |
2005 |
DBLP DOI BibTeX RDF |
Ethernet passive optical network (EPON), threshold reporting, dynamic bandwidth allocation |
52 | Simon P. Chung, Aloysius K. Mok |
The LAIDS/LIDS Framework for Systematic IPS Design. |
IWIA |
2006 |
DBLP DOI BibTeX RDF |
|
52 | Grace Nordin, Peter A. Milder, James C. Hoe, Markus Püschel |
Automatic generation of customized discrete fourier transform IPs. |
DAC |
2005 |
DBLP DOI BibTeX RDF |
design generator, FPGA, IP, discrete fourier transform |
52 | Kay Schröter, Diemo Urbig |
C-IPS: Specifying Decision Interdependencies in Negotiations. |
MATES |
2004 |
DBLP DOI BibTeX RDF |
|
52 | Diemo Urbig, Dagmar Monett Díaz, Kay Schröter |
The C-IPS Agent Architecture for Modeling Negotiating Social Agents. |
MATES |
2003 |
DBLP DOI BibTeX RDF |
|
49 | Cui-Qing Yang, Barton P. Miller |
Performance Measurement for Parallel and Distributed Programs: A Structured and Automatic Approach. |
IEEE Trans. Software Eng. |
1989 |
DBLP DOI BibTeX RDF |
automatic approach, performance measurement systems, performance information, automatic guidance techniques, program efficiency, performance evaluation, parallel programs, software reliability, program testing, distributed programs, hierarchical model, multiprocessing programs, IPS, performance problems |
45 | Reza Moraveji, Hamid Sarbazi-Azad, Maghsoud Abbaspour |
Optimal Placement of Frequently Accessed IPs in Mesh NoCs. |
Asia-Pacific Computer Systems Architecture Conference |
2007 |
DBLP DOI BibTeX RDF |
Latency model, IPs/Cores mapping, System on chip, Network on chip, Mesh, Power model |
44 | Muhammad Aqeel Wahlah, Kees Goossens |
Modeling reconfiguration in a FPGA with a hardwired network on chip. |
IPDPS |
2009 |
DBLP DOI BibTeX RDF |
|
44 | Soon Hin Khor, Akihiro Nakao |
Overfort: Combating DDoS with peer-to-peer DDoS puzzle. |
IPDPS |
2008 |
DBLP DOI BibTeX RDF |
|
44 | Benny Akesson, Kees Goossens, Markus Ringhofer |
Predator: a predictable SDRAM memory controller. |
CODES+ISSS |
2007 |
DBLP DOI BibTeX RDF |
predictability, system-on-chip, SDRAM, memory controller |
44 | Junhyung Um, Woo-Cheol Kwon, Sungpack Hong, Young-Taek Kim, Kyu-Myung Choi, Jeong-Taek Kong, Soo-Kwan Eo, Taewhan Kim |
A systematic IP and bus subsystem modeling for platform-based system design. |
DATE |
2006 |
DBLP DOI BibTeX RDF |
|
44 | Lin Yuan, Gang Qu 0001, Lahouari Ghouti, Ahmed Bouridane |
VLSI Design IP Protection: Solutions, New Challenges, and Opportunities. |
AHS |
2006 |
DBLP DOI BibTeX RDF |
|
44 | Naoki Tomono, Shunitsu Kohara, Jumpei Uchida, Yuichiro Miyaoka, Nozomu Togawa, Masao Yanagisawa, Tatsuo Ohtsuki |
A processor core synthesis system in IP-based SoC design. |
ASP-DAC |
2005 |
DBLP DOI BibTeX RDF |
|
44 | Geeng-Wei Lee, Juinn-Dar Huang, Jing-Yang Jou, Chun-Yao Wang |
Verification on Port Connections. |
ITC |
2004 |
DBLP DOI BibTeX RDF |
|
44 | Lin Yuan, Pushkin R. Pari, Gang Qu 0001 |
Soft IP Protection: Watermarking HDL Codes. |
Information Hiding |
2004 |
DBLP DOI BibTeX RDF |
|
44 | Ieroham S. Baruch, Alfredo del Carmen Martinez Q., Ruben Garrido, Boyka Nenkova |
Direct Adaptive Neural Control with Integral-Plus-State Action. |
AIMSA |
2002 |
DBLP DOI BibTeX RDF |
|
44 | Cynthia Dwork, Larry J. Stockmeyer |
Zero-Knowledge With Finite State Verifiers. |
CRYPTO |
1988 |
DBLP DOI BibTeX RDF |
|
44 | Riccardo De Benedictis, Matteo Castiglioni, Diodato Ferraioli, Vadim Malvone, Marco Maratea, Enrico Scala, Luciano Serafini, Ivan Serina, Elisa Tosello, Alessandro Umbrico, Mauro Vallati (eds.) |
Proceedings of the the Italian Workshop on Planning and Scheduling, RCRA Workshop on Experimental evaluation of algorithms for solving problems with combinatorial explosion, and SPIRIT Workshop on Strategies, Prediction, Interaction, and Reasoning in Italy (IPS-RCRA-SPIRIT 2023) co-located with 22nd International Conference of the Italian Association for Artificial Intelligence AIxIA 2023, November 7-9th, 2023, Rome, Italy. |
IPS-RCRA-SPIRIT@AI*IA |
2023 |
DBLP BibTeX RDF |
|
44 | Riccardo De Benedictis, Nicola Gatti 0001, Marco Maratea, Andrea Micheli, Aniello Murano, Enrico Scala, Luciano Serafini, Ivan Serina, Alessandro Umbrico, Mauro Vallati (eds.) |
Proceedings of the 10th Italian workshop on Planning and Scheduling (IPS 2022), RCRA Incontri E Confronti (RiCeRcA 2022), and the workshop on Strategies, Prediction, Interaction, and Reasoning in Italy (SPIRIT 2022) co-located with 21st International Conference of the Italian Association for Artificial Intelligence (AIxIA 2022), November 28 - December 2, 2022, University of Udine, Udine, Italy. |
IPS/RiCeRcA/SPIRIT@AI*IA |
2023 |
DBLP BibTeX RDF |
|
44 | Aniello Murano, Mimmo Parente, Silvia Stranieri |
A Multi-Agent Game for Sentiment Analysis (short paper). |
IPS-RCRA-SPIRIT@AI*IA |
2023 |
DBLP BibTeX RDF |
|
44 | Mattia Chiari, Alfonso Emilio Gerevini, Luca Putelli, Ivan Serina |
Goal Recognition with Deep Learning and Embedded Representation of State Traces. |
IPS-RCRA-SPIRIT@AI*IA |
2023 |
DBLP BibTeX RDF |
|
44 | Mikhail Soutchanski, Ryan Young |
Planning as Theorem Proving with Heuristics. |
IPS-RCRA-SPIRIT@AI*IA |
2023 |
DBLP BibTeX RDF |
|
44 | Marco Favorito |
Forward LTLf Synthesis: DPLL At Work. |
IPS-RCRA-SPIRIT@AI*IA |
2023 |
DBLP BibTeX RDF |
|
44 | Riccardo De Benedictis, Gloria Beraldo, Amedeo Cesta, Gabriella Cortellessa |
Investigating Domain-oriented Approaches to Optimization in Timeline-Based Planning. |
IPS-RCRA-SPIRIT@AI*IA |
2023 |
DBLP BibTeX RDF |
|
44 | Vittorio Bilò, Lucaleonardo Bove, Cosimo Vinci |
Utility-Sharing Games: How to Improve the Efficiency with Limited Subsidies (short paper) . |
IPS-RCRA-SPIRIT@AI*IA |
2023 |
DBLP BibTeX RDF |
|
44 | Daniela Cialfi |
The Economic Agent's Meta-Brain: a Biological-Economic Complex Agent-Based model (short paper). |
IPS-RCRA-SPIRIT@AI*IA |
2023 |
DBLP BibTeX RDF |
|
44 | Alberto Castellini, Davide Bragantini, Davide Rossignolo, Federico Segala, Alessandro Farinelli |
Tabular Model Learning in Monte Carlo Tree Search. |
IPS-RCRA-SPIRIT@AI*IA |
2023 |
DBLP BibTeX RDF |
|
44 | Giuseppe Agresta, Giovanni Amendola, Pietro Cofone, Marco Manna, Aldo Ricioppo |
Characterizing Nexus of Similarity between Entities. |
IPS-RCRA-SPIRIT@AI*IA |
2023 |
DBLP BibTeX RDF |
|
44 | Shaun Mathew, Mikhail Soutchanski |
Heuristic Planning for Hybrid Dynamical Systems with Constraint Logic Programming. |
IPS-RCRA-SPIRIT@AI*IA |
2023 |
DBLP BibTeX RDF |
|
44 | Giovanna Varricchio |
On Approximate Strategyproof Mechanisms for Hedonic Games and the Group Activity Selection Problem (short paper). |
IPS-RCRA-SPIRIT@AI*IA |
2023 |
DBLP BibTeX RDF |
|
44 | Angelo Ferrando 0001 |
Towards a Coalition Refinement Approach in the Strategic Verification of Multi-Agent Systems. |
IPS-RCRA-SPIRIT@AI*IA |
2023 |
DBLP BibTeX RDF |
|
44 | Davide Catta, Jean Leneutre, Vadim Malvone |
Reasoning About Dynamic Game Models Using Obstruction Logic (short paper). |
IPS-RCRA-SPIRIT@AI*IA |
2023 |
DBLP BibTeX RDF |
|
44 | Enrico Giunchiglia, Marco Maratea, Marco Mochi |
A Simple Proof-Theoretic Characterization of Stable Models. |
IPS-RCRA-SPIRIT@AI*IA |
2023 |
DBLP BibTeX RDF |
|
44 | Andrea Rafanelli, Stefania Costantini, Giovanni De Gasperis |
Experimenting an Approach to Neuro-Symbolic RL. |
IPS-RCRA-SPIRIT@AI*IA |
2023 |
DBLP BibTeX RDF |
|
44 | Vincenzo Auletta, Antonio Coppola, Diodato Ferraioli |
On the Impact of Social Media Recommendations on Consensus of Discrete Opinions (Short Version). |
IPS-RCRA-SPIRIT@AI*IA |
2023 |
DBLP BibTeX RDF |
|
44 | Alessandro Aloisio, Michele Flammini, Bojana Kodric, Cosimo Vinci |
Distance Polymatrix Coordination Games (short paper). |
IPS-RCRA-SPIRIT@AI*IA |
2023 |
DBLP BibTeX RDF |
|
44 | Riccardo De Benedictis, Marco Maratea, Andrea Micheli, Enrico Scala, Ivan Serina, Mauro Vallati, Alessandro Umbrico (eds.) |
Proceedings of the 9th Italian workshop on Planning and Scheduling (IPS'21) and the 28th International Workshop on "Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion" (RCRA'21) with CEUR-WS co-located with 20th International Conference of the Italian Association for Artificial Intelligence (AIxIA 2021), Milan, Italy (virtual), November 29th-30th, 2021. |
IPS-RCRA@AI*IA |
2022 |
DBLP BibTeX RDF |
|
44 | Angelo Ferrando 0001, Vadim Malvone |
Give Me a Hand: How to Use Model Checking for Multi-Agent Systems to Help Runtime Verification and Vice Versa (Short Paper). |
IPS/RiCeRcA/SPIRIT@AI*IA |
2022 |
DBLP BibTeX RDF |
|
44 | Aymeric Barbin, Federico Cerutti 0001, Alfonso Emilio Gerevini |
Addressing the Symbol Grounding Problem with Constraints in Neuro-Symbolic Planning (Short Paper). |
IPS/RiCeRcA/SPIRIT@AI*IA |
2022 |
DBLP BibTeX RDF |
|
44 | Sondes Morchedi, Prakash Jamakatel, Jane Jean Kiam |
Exploring the Unified Planning Framework for a More Integrated and Flexible Fault Flight Path Planning System (Short Paper). |
IPS/RiCeRcA/SPIRIT@AI*IA |
2022 |
DBLP BibTeX RDF |
|
44 | Dario Guidotti |
Verification of Neural Networks for Safety and Security-critical Domains. |
IPS/RiCeRcA/SPIRIT@AI*IA |
2022 |
DBLP BibTeX RDF |
|
44 | Lorenzo Serina, Mattia Chiari, Alfonso Emilio Gerevini, Luca Putelli, Ivan Serina |
A Preliminary Study on BERT applied to Automated Planning. |
IPS/RiCeRcA/SPIRIT@AI*IA |
2022 |
DBLP BibTeX RDF |
|
44 | Denise Angilica, Giovambattista Ianni, Francesca A. Lisi, Luca Pulina |
AI and Videogames: a "Drosophila" for Declarative Methods. |
IPS/RiCeRcA/SPIRIT@AI*IA |
2022 |
DBLP BibTeX RDF |
|
44 | Munyque Mittelmann |
Logics for Reasoning about Auctions (Short Paper). |
IPS/RiCeRcA/SPIRIT@AI*IA |
2022 |
DBLP BibTeX RDF |
|
44 | Luigi Bonassi, Enrico Scala, Alfonso Emilio Gerevini |
Planning with PDDL3 Qualitative Constraints for Cost-Optimal Solutions Through Compilation (Short Paper). |
IPS/RiCeRcA/SPIRIT@AI*IA |
2022 |
DBLP BibTeX RDF |
|
44 | Romina Eramo, Tiziana Fanni, Dario Guidotti, Laura Pandolfo, Luca Pulina, Katiuscia Zedda |
Verification of Neural Networks: Challenges and Perspectives in the AIDOaRt Project (Short Paper). |
IPS/RiCeRcA/SPIRIT@AI*IA |
2022 |
DBLP BibTeX RDF |
|
44 | Riccardo De Benedictis, Gloria Beraldo, Amedeo Cesta, Gabriella Cortellessa |
Branching and Pruning for Timeline-based Planning. |
IPS/RiCeRcA/SPIRIT@AI*IA |
2022 |
DBLP BibTeX RDF |
|
44 | Alessandro Burigana, Francesco Fabiano |
The Epistemic Planning Domain Definition Language (Short Paper). |
IPS/RiCeRcA/SPIRIT@AI*IA |
2022 |
DBLP BibTeX RDF |
|
44 | Antonio Di Stasio 0001 |
Explicit and Symbolic Approaches for Parity Games (Short Paper). |
IPS/RiCeRcA/SPIRIT@AI*IA |
2022 |
DBLP BibTeX RDF |
|
44 | Vincenzo Auletta, Diodato Ferraioli, Cosimo Vinci |
On Augmented Stochastic Submodular Optimization: Adaptivity, Multi-Rounds, Budgeted, and Robustness (Short Paper). |
IPS/RiCeRcA/SPIRIT@AI*IA |
2022 |
DBLP BibTeX RDF |
|
44 | Davide Catta, Jean Leneutre, Vadim Malvone |
Towards a Formal Verification of Attack Graphs. |
IPS/RiCeRcA/SPIRIT@AI*IA |
2022 |
DBLP BibTeX RDF |
|
44 | Laura Pandolfo, Lucia Cardone, Luisa Cutzu, Beatrice Seligardi, Giulia Simi |
Building the Semantic Portal of Italian Divagrafie (Short Paper). |
IPS/RiCeRcA/SPIRIT@AI*IA |
2022 |
DBLP BibTeX RDF |
|
44 | Marco Esposito, Leonardo Picchiami |
Intelligent Search for Personalized Cancer Therapy Synthesis: an Experimental Comparison. |
IPS-RCRA@AI*IA |
2021 |
DBLP BibTeX RDF |
|
44 | Angela Pappagallo |
Statistical Model Checking as an Effective Technology to Formally Analyze Industry-Relevant Cyber-Physical Systems. |
IPS-RCRA@AI*IA |
2021 |
DBLP BibTeX RDF |
|
44 | Riccardo Bertolucci, Carmine Dodaro, Giuseppe Galatà, Marco Maratea, Ivan Porro, Francesco Ricca |
Explaining ASP-based Operating Room Schedules. |
IPS-RCRA@AI*IA |
2021 |
DBLP BibTeX RDF |
|
44 | Leonardo Picchiami |
Automatic Synthesis of Stabilizing Controllers for Discrete Time Linear Hybrid Systems. |
IPS-RCRA@AI*IA |
2021 |
DBLP BibTeX RDF |
|
44 | Simone Caruso, Giuseppe Galatà, Marco Maratea, Marco Mochi, Ivan Porro |
Scheduling Pre-Operative Assessment Clinic via Answer Set Programming. |
IPS-RCRA@AI*IA |
2021 |
DBLP BibTeX RDF |
|
44 | Emanuele De Pellegrin, Ronald P. A. Petrick |
Plan Simulation with PDSim. |
IPS-RCRA@AI*IA |
2021 |
DBLP BibTeX RDF |
|
44 | Giuseppe Galatà, Marco Maratea, Marco Mochi, Victoria Morozan, Ivan Porro |
An ASP-based solution to the Operating Room Scheduling with care units. |
IPS-RCRA@AI*IA |
2021 |
DBLP BibTeX RDF |
|
44 | Gabriele Sartor, Davide Zollo, Marta Cialdea Mayer, Angelo Oddi, Riccardo Rasconi, Vieri Giuliano Santucci |
Autonomous Generation of Symbolic Knowledge via Option Discovery. |
IPS-RCRA@AI*IA |
2021 |
DBLP BibTeX RDF |
|
44 | Rakesh Shukla, Anjaneyulu Pasala, Srinivas Padmanabhuni (eds.) |
1st International Workshop on Software Engineering Research and Industrial Practices, SER&IPs 2014, Hyderabad, India, June 1, 2014 |
SER&IPs |
2014 |
DBLP BibTeX RDF |
|
44 | Sagar Sen |
Certus: glimpses of a centre for research-based innovation in software verification and validation. |
SER&IPs |
2014 |
DBLP DOI BibTeX RDF |
|
44 | Radhika D. Venkatasubramanyam, Sowmya G. R. |
Why is dynamic analysis not used as extensively as static analysis: an industrial study. |
SER&IPs |
2014 |
DBLP DOI BibTeX RDF |
|
44 | Veronika Bauer, Jonas Eckhardt, Benedikt Hauptmann, Manuel Klimek |
An exploratory study on reuse at google. |
SER&IPs |
2014 |
DBLP DOI BibTeX RDF |
|
44 | Thomas Zimmermann 0001 |
Confessions of an industrial researcher: a typical bollywood story (invited talk). |
SER&IPs |
2014 |
DBLP DOI BibTeX RDF |
|
44 | Bimlesh Wadhwa, Aditi Jaitly, Bharti Suri |
Making sense of academia-industry gap in the evolving cloud service brokerage. |
SER&IPs |
2014 |
DBLP DOI BibTeX RDF |
|
44 | Wolfgang Böhm 0002, Maximilian Junker, Andreas Vogelsang, Sabine Teufl, Ralf Pinger, Karsten Rahn |
A formal systems engineering approach in practice: an experience report. |
SER&IPs |
2014 |
DBLP DOI BibTeX RDF |
|
44 | Helen Sharp, Laura Plonka, Katie Taylor, Peggy Gregory |
Overcoming challenges in collaboration between research and practice: the agile research network. |
SER&IPs |
2014 |
DBLP DOI BibTeX RDF |
|
41 | Syed Suhaib, Deepak Mathaikutty, Sandeep K. Shukla |
A Trace-Based Framework for Verifiable GALS Composition of IPs. |
IEEE Trans. Very Large Scale Integr. Syst. |
2008 |
DBLP DOI BibTeX RDF |
|
41 | Deepak Mathaikutty, Sandeep K. Shukla |
MCF: A Metamodeling-Based Component Composition Framework - Composing SystemC IPs for Executable System Models. |
IEEE Trans. Very Large Scale Integr. Syst. |
2008 |
DBLP DOI BibTeX RDF |
|
41 | Nicola Bombieri, Nicola Deganello, Franco Fummi |
Integrating RTL IPs into TLM Designs Through Automatic Transactor Generation. |
DATE |
2008 |
DBLP DOI BibTeX RDF |
|
41 | Hilmi A. Lahoud, Xin Tang |
Information security labs in IDS/IPS for distance education. |
SIGITE Conference |
2006 |
DBLP DOI BibTeX RDF |
online labs, distance learning, remote labs |
41 | Zoran Duric |
IPS - Secure Internet Payment System. |
ITCC (1) |
2005 |
DBLP DOI BibTeX RDF |
|
41 | Arthur Segard, François Verdier |
SOC and RTOS: Managing IPs and Tasks Communications. |
FPL |
2004 |
DBLP DOI BibTeX RDF |
|
38 | Danton Diego Ferreira, Antônio Maurício Ferreira Leite Miranda de Sá, Augusto Santiago Cerqueira, José Manoel de Seixas |
ICA-Based Method for Quantifying EEG Event-Related Desynchronization. |
ICA |
2009 |
DBLP DOI BibTeX RDF |
ERD, ERS, ICA, EEG, ERP, IPS |
38 | Juan M. Estévez-Tapiador |
Book Review: Practical Intrusion Prevention. |
IEEE Distributed Syst. Online |
2006 |
DBLP DOI BibTeX RDF |
IPS, intrusion prevention systems |
38 | Slo-Li Chu, Li-Yu Lin, Ming-Dar Tsai, Kuniya Abe, Kazuhiro Sudo, Yukio Nakamura, Hideo Yokota |
CNN Based iPS Cell Formation Stage Classifier for Human iPS Cell Growth Status Prediction Using Time-lapse Microscopy Images. |
BIBE |
2020 |
DBLP DOI BibTeX RDF |
|
38 | Sacha Loitz |
A property checking methodology for weakly programmable system-on-chip IPs (Eine Methode zur Eigenschaftsprüfung von schwach programmierbaren System-on-Chip IPs). |
|
2014 |
RDF |
|
33 | Che-Kuang Lin, Lin-Shan Lee |
Improved Features and Models for Detecting Edit Disfluencies in Transcribing Spontaneous Mandarin Speech. |
IEEE Trans. Speech Audio Process. |
2009 |
DBLP DOI BibTeX RDF |
|
33 | Leonardo Trujillo, Gustavo Olague, Evelyne Lutton, Francisco Fernández de Vega |
Multiobjective design of operators that detect points of interest in images. |
GECCO |
2008 |
DBLP DOI BibTeX RDF |
interest point detection, multiobjective optimization |
33 | Abbas Eslami Kiasari, Shaahin Hessabi, Hamid Sarbazi-Azad |
PERMAP: A performance-aware mapping for application-specific SoCs. |
ASAP |
2008 |
DBLP DOI BibTeX RDF |
|
33 | Anand Rajaram, David Z. Pan |
Robust chip-level clock tree synthesis for SOC designs. |
DAC |
2008 |
DBLP DOI BibTeX RDF |
chip-level CTS, physical design, clock network |
33 | José M. González, Vern Paxson, Nicholas Weaver |
Shunting: a hardware/software architecture for flexible, high-performance network intrusion prevention. |
CCS |
2007 |
DBLP DOI BibTeX RDF |
nips, fpga, intrusion detection, hardware acceleration, intrusion prevention, nids |
33 | Subir K. Roy |
Top Level SOC Interconnectivity Verification Using Formal Techniques. |
MTV |
2007 |
DBLP DOI BibTeX RDF |
|
33 | Vu-Duc Ngo, June-Young Chang, Younghwan Bae, Hanjin Cho, Hae-Wook Choi |
Latency Optimization for NoC Design of H.264 Decoder Based on Self-similar Traffic Modeling. |
ISPA |
2007 |
DBLP DOI BibTeX RDF |
|
33 | Nacer-Eddine Zergainoh, Ludovic Tambour, Ahmed Amine Jerraya |
Automatic delay correction method for IP block-based design of VLSI dedicated digital signal processing systems: theoretical foundations and implementation. |
IEEE Trans. Very Large Scale Integr. Syst. |
2006 |
DBLP DOI BibTeX RDF |
|
33 | Kevin Hammerstrom, John E. Aldrich, Len Alves, Andrew Ho |
Recognition and Prevention of Computed Radiography Image Artifacts. |
J. Digit. Imaging |
2006 |
DBLP DOI BibTeX RDF |
cassette, imaging plate, image artifact, yellowing, delamination, quality control, Computed radiography |
33 | Jui-Feng Yeh, Chung-Hsien Wu |
Edit disfluency detection and correction using a cleanup language model and an alignment model. |
IEEE Trans. Speech Audio Process. |
2006 |
DBLP DOI BibTeX RDF |
|
33 | Sushant Sinha, Farnam Jahanian, Jignesh M. Patel |
WIND: Workload-Aware INtrusion Detection. |
RAID |
2006 |
DBLP DOI BibTeX RDF |
workload aware, adaptive algorithm, deep packet inspection, Intrusion detection and prevention |
33 | Pierre Bomel, Nabil Abdelli, Eric Martin 0001, Anne-Marie Fouilliart, Emmanuel Boutillon, Philippe Kajfasz |
DVB-DSNG Modem High Level Synthesis in an Optimized Latency Insensitive System Context. |
SAMOS |
2005 |
DBLP DOI BibTeX RDF |
|
33 | Vu-Duc Ngo, Huy Nam Nguyen, Hae-Wook Choi |
Designing On-Chip Network Based on Optimal Latency Criteria. |
ICESS |
2005 |
DBLP DOI BibTeX RDF |
|
33 | Pierre Fatrus Gabriel, Jean-Bernard Hayet, Justus H. Piater, Jacques G. Verly |
Object tracking using color interest points. |
AVSS |
2005 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #100 of 609 (100 per page; Change: ) Pages: [ 1][ 2][ 3][ 4][ 5][ 6][ 7][ >>] |
|