|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 772 occurrences of 403 keywords
|
|
|
Results
Found 2215 publication records. Showing 2215 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
72 | JoAnn M. Paul |
Programmers' views of SoCs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CODES+ISSS ![In: Proceedings of the 1st IEEE/ACM/IFIP International Conference on Hardware/Software Codesign and System Synthesis, CODES+ISSS 2003, Newport Beach, CA, USA, October 1-3, 2003, pp. 156-181, 2003, ACM, 1-58113-742-7. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
heterogeneous multiprocessing, programmers' views, systems-on-chips (SoCs), networks on chip, design languages |
67 | Claudia Kretzschmar, Christian Galke, Heinrich Theodor Vierhaus |
A Hierarchical Self Test Scheme for SoCs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IOLTS ![In: 10th IEEE International On-Line Testing Symposium (IOLTS 2004), 12-14 July 2004, Funchal, Madeira Island, Portugal, pp. 37-44, 2004, IEEE Computer Society, 0-7695-2180-0. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
63 | Claus Atzenbeck, David L. Hicks |
Socs: increasing social and group awareness for Wikis by example of Wikipedia. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. Sym. Wikis ![In: Proceedings of the 2008 International Symposium on Wikis, 2008, Porto, Portugal, September 8-10, 2008, 2008, ACM, 978-1-60558-128-6. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
collaboration, coordination, Web 2.0, wiki, Wikipedia, hypermedia, Socs, social awareness, group awareness |
58 | Anuja Sehgal, Sule Ozev, Krishnendu Chakrabarty |
Test infrastructure design for mixed-signal SOCs with wrapped analog cores. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Very Large Scale Integr. Syst. ![In: IEEE Trans. Very Large Scale Integr. Syst. 14(3), pp. 292-304, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
54 | Letícia Maria Veiras Bolzani, Paolo Bernardi, Matteo Sonza Reorda |
An optimized hybrid approach to provide fault detection and correction in SoCs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBCCI ![In: Proceedings of the 20th Annual Symposium on Integrated Circuits and Systems Design, SBCCI 2007, Copacabana, Rio de Janeiro, Brazil, September 3-6, 2007, pp. 342-347, 2007, ACM, 978-1-59593-816-9. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
fault correction, SoCs, fault detection, hybrid approach |
49 | Tomokazu Yoneda, Kimihiko Masuda, Hideo Fujiwara |
Power-constrained test scheduling for multi-clock domain SoCs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DATE ![In: Proceedings of the Conference on Design, Automation and Test in Europe, DATE 2006, Munich, Germany, March 6-10, 2006, pp. 297-302, 2006, European Design and Automation Association, Leuven, Belgium, 3-9810801-1-4. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
multi-clock domain SoC, power consumption, test scheduling, test access mechanism |
49 | Krishnendu Chakrabarty, Vikram Iyengar, Mark D. Krasniewski |
Test planning for modular testing of hierarchical SOCs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. ![In: IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 24(3), pp. 435-448, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
49 | Anuja Sehgal, Fang Liu 0029, Sule Ozev, Krishnendu Chakrabarty |
Test Planning for Mixed-Signal SOCs with Wrapped Analog Cores. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DATE ![In: 2005 Design, Automation and Test in Europe Conference and Exposition (DATE 2005), 7-11 March 2005, Munich, Germany, pp. 50-55, 2005, IEEE Computer Society, 0-7695-2288-2. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
49 | Anuja Sehgal, Sule Ozev, Krishnendu Chakrabarty |
A Flexible Design Methodology for Analog Test Wrappers in Mixed-Signal SOCs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCD ![In: 23rd International Conference on Computer Design (ICCD 2005), 2-5 October 2005, San Jose, CA, USA, pp. 137-142, 2005, IEEE Computer Society, 0-7695-2451-6. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
49 | Hans G. Kerkhoff, Jarkko J. M. Huijts |
Testing of a Highly Reconfigurable Processor Core for Dependable Data Streaming Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DELTA ![In: 4th IEEE International Symposium on Electronic Design, Test and Applications, DELTA 2008, Hong Kong, January 23-25, 2008, pp. 38-44, 2008, IEEE Computer Society, 978-0-7695-3110-6. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
reconfigurable multi-processor-cores SoC, embedded system test, dependable SoCs, ATPG, Design-for-Test, self-repair |
45 | H. Bernhard Pogge |
The next chip challenge: effective methods for viable mixed technology SoCs. ![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. 84-87, 2002, ACM, 1-58113-461-4. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
SoCs (System on a Chip), chip fabrication methods, chip subsector concepts, chip/packing integration |
45 | Alex Fukunaga, Akihiro Kishimoto |
Abstracts of Papers Presented at SoCS 2017 in the Previously Published Paper Track. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOCS ![In: Proceedings of the Tenth International Symposium on Combinatorial Search, SOCS 2017, 16-17 June 2017, Pittsburgh, Pennsylvania, USA., pp. 176-178, 2017, AAAI Press. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
45 | |
SoCS 2014 Organization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOCS ![In: Proceedings of the Seventh Annual Symposium on Combinatorial Search, SOCS 2014, Prague, Czech Republic, 15-17 August 2014., 2014, AAAI Press, 978-1-57735-676-9. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
45 | Malte Helmert, Gabriele Röger |
SoCS 2013 Organization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOCS ![In: Proceedings of the Sixth Annual Symposium on Combinatorial Search, SOCS 2013, Leavenworth, Washington, USA, July 11-13, 2013., 2013, AAAI Press, 978-1-57735-584-7. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
45 | |
SoCS 2010 Organization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOCS ![In: Proceedings of the Third Annual Symposium on Combinatorial Search, SOCS 2010, Stone Mountain, Atlanta, Georgia, USA, July 8-10, 2010, 2010, AAAI Press. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
44 | Paolo Bernardi, Letícia Maria Veiras Bolzani, Alberto Manzone, Massimo Osella, Massimo Violante, Matteo Sonza Reorda |
Software-Based On-Line Test of Communication Peripherals in Processor-Based Systems for Automotive Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MTV ![In: Seventh International Workshop on Microprocessor Test and Verification (MTV 2006), Common Challenges and Solutions, 4-5 December 2006, Austin, Texas, USA, pp. 3-8, 2006, IEEE Computer Society, 978-0-7695-2839-7. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
44 | Xuan-Tu Tran, Jean Durupt, François Bertrand, Vincent Beroulle, Chantal Robach |
A DFT Architecture for Asynchronous Networks-on-Chip. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ETS ![In: 11th European Test Symposium, ETS 2006, Southhampton, UK, May 21-24, 2006, pp. 219-224, 2006, IEEE Computer Society, 0-7695-2566-0. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
41 | Lyl M. Ciganda, Francesco Abate, Paolo Bernardi, M. Bruno, Matteo Sonza Reorda |
An enhanced FPGA-based low-cost tester platform exploiting effective test data compression for SoCs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DDECS ![In: Proceedings of the 2009 IEEE Symposium on Design and Diagnostics of Electronic Circuits and Systems, DDECS 2009, April 15-17, 2009, Liberec, Czech Republic, pp. 258-263, 2009, IEEE Computer Society, 978-1-4244-3341-4. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
41 | Andreas Lankes, Thomas Wild, Johannes Zeppenfeld |
System Level Simulation of Autonomic SoCs with TAPES. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ARCS ![In: Architecture of Computing Systems - ARCS 2008, 21st International Conference, Dresden, Germany, February 25-28, 2008, Proceedings, pp. 9-22, 2008, Springer, 978-3-540-78152-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
41 | Andreas Apostolakis, Mihalis Psarakis, Dimitris Gizopoulos, Antonis M. Paschalis |
A Functional Self-Test Approach for Peripheral Cores in Processor-Based SoCs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IOLTS ![In: 13th IEEE International On-Line Testing Symposium (IOLTS 2007), 8-11 July 2007, Heraklion, Crete, Greece, pp. 271-276, 2007, IEEE Computer Society, 0-7695-2918-6. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
41 | Andrew B. T. Hopkins, Klaus D. McDonald-Maier |
Trace algorithms for deeply integrated complex and hybrid SoCs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AHS ![In: Second NASA/ESA Conference on Adaptive Hardware and Systems (AHS 2007), August 5-8, 2007, University of Edinburgh, Scotland, United Kingdom, pp. 641-646, 2007, IEEE Computer Society, 0-7695-2866-X. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
41 | Prabhat Mishra 0001, Aviral Shrivastava, Nikil D. Dutt |
Architecture description language (ADL)-driven software toolkit generation for architectural exploration of programmable SOCs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Design Autom. Electr. Syst. ![In: ACM Trans. Design Autom. Electr. Syst. 11(3), pp. 626-658, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
programmable architecture, design space exploration, Architecture description language, embedded processor, retargetable compilation |
41 | Amir Nahir, Avi Ziv, Roy Emek, Tal Keidar, Nir Ronen |
Scheduling-based test-case generation for verification of multimedia SoCs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DAC ![In: Proceedings of the 43rd Design Automation Conference, DAC 2006, San Francisco, CA, USA, July 24-28, 2006, pp. 348-351, 2006, ACM, 1-59593-381-6. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
test generation, system on a chip, functional verification |
41 | Marco Alberti 0001, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello, Paolo Torroni |
The SOCS Computational Logic Approach to the Specification and Verification of Agent Societies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Global Computing ![In: Global Computing, IST/FET International Workshop, GC 2004, Rovereto, Italy, March 9-12, 2004, Revised Selected Papers, pp. 314-339, 2004, Springer, 3-540-24101-9. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
41 | Vikram Iyengar, Sandeep Kumar Goel, Erik Jan Marinissen, Krishnendu Chakrabarty |
Test Resource Optimization for Multi-Site Testing of SOCs Under ATE Memory Depth Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITC ![In: Proceedings IEEE International Test Conference 2002, Baltimore, MD, USA, October 7-10, 2002, pp. 1159-1168, 2002, IEEE Computer Society, 0-7803-7543-2. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
37 | Salvador Mir, Benoît Charlot, Gabriela Nicolescu, Philippe Coste, Fabien Parrain, Nacer-Eddine Zergainoh, Bernard Courtois, Ahmed Amine Jerraya, Márta Rencz |
Towards design and validation of mixed-technology SOCs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Great Lakes Symposium on VLSI ![In: Proceedings of the 10th ACM Great Lakes Symposium on VLSI 2000, Chicago, Illinois, USA, March 2-4, 2000, pp. 29-33, 2000, ACM, 1-58113-251-4. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
design, verification, MEMS, SOCs, architecture exploration, HDLs, cosimulation |
35 | Pradip A. Thaker |
Holistic verification: myth or magic bullet? ![Search on Bibsonomy](Pics/bibsonomy.png) |
DAC ![In: Proceedings of the 46th Design Automation Conference, DAC 2009, San Francisco, CA, USA, July 26-31, 2009, pp. 204-208, 2009, ACM, 978-1-60558-497-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
SoC verification, mixed-signal verification, power management verification, emulation |
35 | Andreas Apostolakis, Mihalis Psarakis, Dimitris Gizopoulos, Antonis M. Paschalis |
Functional Processor-Based Testing of Communication Peripherals in Systems-on-Chip. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Very Large Scale Integr. Syst. ![In: IEEE Trans. Very Large Scale Integr. Syst. 15(8), pp. 971-975, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
35 | Subir K. Roy |
Top Level SOC Interconnectivity Verification Using Formal Techniques. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MTV ![In: Eighth International Workshop on Microprocessor Test and Verification (MTV 2007), Common Challenges and Solutions, 5-6 December 2007, Austin, Texas, USA, pp. 63-70, 2007, IEEE Computer Society, 978-0-7695-3241-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
35 | Feng Liu, Vipin Chaudhary |
A Practical OpenMP Compiler for System on Chips. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WOMPAT ![In: OpenMP Shared Memory Parallel Programming, International Workshop on OpenMP Applications and Tools, WOMPAT 2003, Toronto, Canada, June 26-27, 2003, Proceedings, pp. 54-68, 2003, Springer, 3-540-40435-X. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
32 | Sandeep Kumar Goel, Erik Jan Marinissen, Anuja Sehgal, Krishnendu Chakrabarty |
Testing of SoCs with Hierarchical Cores: Common Fallacies, Test Access Optimization, and Test Scheduling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 58(3), pp. 409-423, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
32 | Xiaoxia Wu, Yibo Chen, Krishnendu Chakrabarty, Yuan Xie 0001 |
Test-access mechanism optimization for core-based three-dimensional SOCs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCD ![In: 26th International Conference on Computer Design, ICCD 2008, 12-15 October 2008, Lake Tahoe, CA, USA, Proceedings, pp. 212-218, 2008, IEEE Computer Society, 978-1-4244-2657-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
32 | Abbas Eslami Kiasari, Shaahin Hessabi, Hamid Sarbazi-Azad |
PERMAP: A performance-aware mapping for application-specific SoCs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASAP ![In: 19th IEEE International Conference on Application-Specific Systems, Architectures and Processors, ASAP 2008, July 2-4, 2008, Leuven, Belgium, pp. 73-78, 2008, IEEE Computer Society, 978-1-4244-1897-8. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
32 | Sudarshan Bahukudumbi, Krishnendu Chakrabarty |
Wafer-Level Modular Testing of Core-Based SoCs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Very Large Scale Integr. Syst. ![In: IEEE Trans. Very Large Scale Integr. Syst. 15(10), pp. 1144-1154, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
32 | Théodore Marescaux, Erik Brockmeyer, Henk Corporaal |
The Impact of Higher Communication Layers on NoC Supported MP-SoCs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NOCS ![In: First International Symposium on Networks-on-Chips, NOCS 2007, 7-9 May 2007, Princeton, New Jersey, USA, Proceedings, pp. 107-116, 2007, IEEE Computer Society, 978-0-7695-2773-4. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
32 | Chandan Giri, Soumojit Sarkar, Santanu Chattopadhyay |
A genetic algorithm based heuristic technique for power constrained test scheduling in core-based SOCs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VLSI-SoC ![In: IFIP VLSI-SoC 2007, IFIP WG 10.5 International Conference on Very Large Scale Integration of System-on-Chip, Atlanta, GA, USA, 15-17 October 2007, pp. 320-323, 2007, IEEE. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
32 | Andreas Lankes, Thomas Wild, Johannes Zeppenfeld |
Power Estimation of Time Variant SoCs with TAPES. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DSD ![In: Tenth Euromicro Conference on Digital System Design: Architectures, Methods and Tools (DSD 2007), 29-31 August 2007, Lübeck, Germany, pp. 261-264, 2007, IEEE Computer Society, 0-7695-2978-X. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
32 | Chandan Giri, Soumojit Sarkar, Santanu Chattopadhyay |
Test Scheduling for Core-Based SOCs Using Genetic Algorithm Based Heuristic Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICIC (2) ![In: Advanced Intelligent Computing Theories and Applications. With Aspects of Artificial Intelligence, Third International Conference on Intelligent Computing, ICIC 2007, Qingdao, China, August 21-24, 2007, Proceedings, pp. 1032-1041, 2007, Springer, 978-3-540-74201-2. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
wrapper design, test scheduling, test access mechanism, SOC testing |
32 | Paolo Bernardi, Letícia Maria Veiras Bolzani, Matteo Sonza Reorda |
A Hybrid Approach to Fault Detection and Correction in SoCs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IOLTS ![In: 13th IEEE International On-Line Testing Symposium (IOLTS 2007), 8-11 July 2007, Heraklion, Crete, Greece, pp. 107-112, 2007, IEEE Computer Society, 0-7695-2918-6. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
32 | Wim Vanderbauwhede |
Separation of Data flow and Control flow in Reconfigurable Multi-core SoCs using the Gannet Service-based Architecture. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AHS ![In: Second NASA/ESA Conference on Adaptive Hardware and Systems (AHS 2007), August 5-8, 2007, University of Edinburgh, Scotland, United Kingdom, pp. 326-333, 2007, IEEE Computer Society, 0-7695-2866-X. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
32 | Qiang Xu 0001, Nicola Nicolici |
Multifrequency TAM design for hierarchical SOCs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. ![In: IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 25(1), pp. 181-196, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
32 | Tiehan Lv, Jiang Xu 0001, Wayne H. Wolf, I. Burak Özer, Jörg Henkel, Srimat T. Chakradhar |
A Methodology for Architectural Design of Multimedia Multiprocessor SoCs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Des. Test Comput. ![In: IEEE Des. Test Comput. 22(1), pp. 18-26, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
32 | Tomokazu Yoneda, Hisakazu Takakuwa, Hideo Fujiwara |
Power-Constrained Area and Time Co-Optimization for SoCs Based on Consecutive Testability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Asian Test Symposium ![In: 14th Asian Test Symposium (ATS 2005), 18-21 December 2005, Calcutta, India, pp. 150-155, 2005, IEEE Computer Society, 0-7695-2481-8. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
system-on-chip, power consumption, test scheduling, test access mechanism, consecutive testability |
32 | Tero Kangas, Jouni Riihimäki, Erno Salminen, Vesa Lahtinen, Heikki Orsila, Kimmo Kuusilinna, Timo D. Hämäläinen |
A Communication-Centric Design Flow for HIBI-Based SoCs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAMOS ![In: Computer Systems: Architectures, Modeling, and Simulation, Third and Fourth International Workshops, SAMOS 2003 and SAMOS 2004, Samos, Greece, July 21-23, 2003 and July 19-21, 2004, Proceedings, pp. 474-483, 2004, Springer, 3-540-22377-0. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
32 | Mounir Benabdenbi, Alain Greiner, François Pêcheux, Emmanuel Viaud, Matthieu Tuna |
STEPS: Experimenting a New Software-Based Strategy for Testing SoCs Containing P1500-Compliant IP Cores. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DATE ![In: 2004 Design, Automation and Test in Europe Conference and Exposition (DATE 2004), 16-20 February 2004, Paris, France, pp. 712-713, 2004, IEEE Computer Society, 0-7695-2085-5. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
32 | Ambar A. Gadkari, S. Ramesh 0001, Rubin A. Parekhji |
CESC: a visual formalism for specification and verification of SoCs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Great Lakes Symposium on VLSI ![In: Proceedings of the 14th ACM Great Lakes Symposium on VLSI 2004, Boston, MA, USA, April 26-28, 2004, pp. 354-357, 2004, ACM, 1-58113-853-9. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
verification, specification, visual languages, system-level design |
32 | Anuja Sehgal, Sule Ozev, Krishnendu Chakrabarty |
TAM Optimization for Mixed-Signal SOCs using Analog Test Wrappers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCAD ![In: 2003 International Conference on Computer-Aided Design, ICCAD 2003, San Jose, CA, USA, November 9-13, 2003, pp. 95-99, 2003, IEEE Computer Society / ACM, 1-58113-762-1. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
32 | Vikram Iyengar, Krishnendu Chakrabarty, Mark D. Krasniewski, Gopind N. Kumar |
Design and Optimization of Multi-level TAM Architectures for Hierarchical SOCs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VTS ![In: 21st IEEE VLSI Test Symposium (VTS 2003), 27 April - 1 May 2003, Napa Valley, CA, USA, pp. 299-312, 2003, IEEE Computer Society, 0-7695-1924-5. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
32 | Rohit Kapur, Thomas W. Williams |
Manufacturing Test of SoCs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Asian Test Symposium ![In: 11th Asian Test Symposium (ATS 2002), 18-20 November 2002, Guam, USA, pp. 317-319, 2002, IEEE Computer Society, 0-7695-1825-7. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
32 | Ahmed Amine Jerraya, Sungjoo Yoo, Aimen Bouchhima, Gabriela Nicolescu |
Validation in a Component-Based Design Flow for Multicore SoCs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSS ![In: Proceedings of the 15th International Symposium on System Synthesis (ISSS 2002), October 2-4, 2002, Kyoto, Japan, pp. 162-167, 2002, ACM / IEEE Computer Society, 1-58113-576-9. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
validation, SoC, abstraction levels, component-based design, cosimulation |
32 | Erik Jan Marinissen, Vikram Iyengar, Krishnendu Chakrabarty |
A Set of Benchmarks fo Modular Testing of SOCs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ITC ![In: Proceedings IEEE International Test Conference 2002, Baltimore, MD, USA, October 7-10, 2002, pp. 519-528, 2002, IEEE Computer Society, 0-7803-7543-2. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
31 | Yves Joannon, Vincent Beroulle, Chantal Robach, Smail Tedjini, Jean-Louis Carbonéro |
Decreasing Test Qualification Time in AMS and RF Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Des. Test Comput. ![In: IEEE Des. Test Comput. 25(1), pp. 29-37, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
AMS and RF SoCs, parametric fault injection, behavioral modeling, fault-based test, design validation, VHDL-AMS, qualification |
31 | Albrecht Mayer, Harry Siebert, Klaus D. McDonald-Maier |
Boosting Debugging Support for Complex Systems on Chip. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Computer ![In: Computer 40(4), pp. 76-81, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
debugging support, embedded systems, SoCs |
31 | Rajesh K. Gupta 0001 |
On-chip networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Des. Test Comput. ![In: IEEE Des. Test Comput. 22(5), pp. 393, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
integration, SoCs, networks on chips, on-chip interconnects |
31 | André Ivanov, Giovanni De Micheli |
Guest Editors' Introduction: The Network-on-Chip Paradigm in Practice and Research. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Des. Test Comput. ![In: IEEE Des. Test Comput. 22(5), pp. 399-403, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
micronetworks, networks on chips, multiprocessor SoCs, on-chip interconnection network, on-chip communication, infrastructure IP |
31 | Giovanni De Micheli |
Reliable communication in systems on chips. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DAC ![In: Proceedings of the 41th Design Automation Conference, DAC 2004, San Diego, CA, USA, June 7-11, 2004, pp. 77, 2004, ACM, 1-58113-828-8. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
VLSI, networking, SoCs |
31 | Roman Barták, Wheeler Ruml, Oren Salzman (eds.) |
Sixteenth International Symposium on Combinatorial Search, SOCS 2023, July 14-16, 2023, Prague, Czech Republic ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOCS ![AAAI Press The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP BibTeX RDF |
|
31 | |
Frontmatter. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOCS ![In: Sixteenth International Symposium on Combinatorial Search, SOCS 2023, July 14-16, 2023, Prague, Czech Republic, 2023, AAAI Press. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
31 | David Fairbairn |
Multi-Agent Path-Finding and Algorithmic Graph Theory (Student Abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOCS ![In: Sixteenth International Symposium on Combinatorial Search, SOCS 2023, July 14-16, 2023, Prague, Czech Republic, pp. 190-191, 2023, AAAI Press. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
31 | Francesco Percassi, Enrico Scala, Mauro Vallati |
On the Notion of Fixability of PDDL+ Plans [Extended Abstract]. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOCS ![In: Sixteenth International Symposium on Combinatorial Search, SOCS 2023, July 14-16, 2023, Prague, Czech Republic, pp. 177-178, 2023, AAAI Press. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
31 | Thomas K. Nobes |
Pipe-Routing and Pathfinding in 3D (Student Abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOCS ![In: Sixteenth International Symposium on Combinatorial Search, SOCS 2023, July 14-16, 2023, Prague, Czech Republic, pp. 194-195, 2023, AAAI Press. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
31 | Shohin Mukherjee, Maxim Likhachev |
GePA*SE: Generalized Edge-Based Parallel A* for Slow Evaluations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOCS ![In: Sixteenth International Symposium on Combinatorial Search, SOCS 2023, July 14-16, 2023, Prague, Czech Republic, pp. 153-157, 2023, AAAI Press. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
31 | Andrii Nyporko, Lukás Chrpa |
Towards an Effective Framework Combining Planning and Scheduling [Extended Abstract]. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOCS ![In: Sixteenth International Symposium on Combinatorial Search, SOCS 2023, July 14-16, 2023, Prague, Czech Republic, pp. 173-174, 2023, AAAI Press. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
31 | Tzvika Geft |
Fine-Grained Complexity Analysis of Multi-Agent Path Finding on 2D Grids. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOCS ![In: Sixteenth International Symposium on Combinatorial Search, SOCS 2023, July 14-16, 2023, Prague, Czech Republic, pp. 20-28, 2023, AAAI Press. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
31 | Michael Katz 0001, Junkyu Lee 0001, Shirin Sohrabi |
Generating SAS+ Planning Tasks of Specified Causal Structure. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOCS ![In: Sixteenth International Symposium on Combinatorial Search, SOCS 2023, July 14-16, 2023, Prague, Czech Republic, pp. 29-37, 2023, AAAI Press. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
31 | Michael Katz 0001, Junkyu Lee 0001 |
K∗ and Partial Order Reduction for Top-Quality Planning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOCS ![In: Sixteenth International Symposium on Combinatorial Search, SOCS 2023, July 14-16, 2023, Prague, Czech Republic, pp. 143-147, 2023, AAAI Press. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
31 | Marco Dalla, Benjamin Provan-Bessell, Andrea Visentin, Barry O'Sullivan |
SAT Feature Analysis for Machine Learning Classification Tasks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOCS ![In: Sixteenth International Symposium on Combinatorial Search, SOCS 2023, July 14-16, 2023, Prague, Czech Republic, pp. 138-142, 2023, AAAI Press. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
31 | Lior Siag, Shahaf S. Shperberg, Ariel Felner, Nathan R. Sturtevant |
Comparing Front-to-Front and Front-to-End Heuristics in Bidirectional Search. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOCS ![In: Sixteenth International Symposium on Combinatorial Search, SOCS 2023, July 14-16, 2023, Prague, Czech Republic, pp. 158-162, 2023, AAAI Press. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
31 | Enrico Saccon |
Multi-Agent Open Framework: Developing a Holistic System to Solve MAPF (Student Abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOCS ![In: Sixteenth International Symposium on Combinatorial Search, SOCS 2023, July 14-16, 2023, Prague, Czech Republic, pp. 198-199, 2023, AAAI Press. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
31 | Jonathan Morag, Roni Stern, Ariel Felner |
Adapting to Planning Failures in Lifelong Multi-Agent Path Finding. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOCS ![In: Sixteenth International Symposium on Combinatorial Search, SOCS 2023, July 14-16, 2023, Prague, Czech Republic, pp. 47-55, 2023, AAAI Press. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
31 | Shizhe Zhao, Daniel Harabor, Peter J. Stuckey |
Reducing Redundant Work in Jump Point Search. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOCS ![In: Sixteenth International Symposium on Combinatorial Search, SOCS 2023, July 14-16, 2023, Prague, Czech Republic, pp. 128-136, 2023, AAAI Press. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
31 | Stephen Wissow |
Searching with Distributional Heuristics (Student Abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOCS ![In: Sixteenth International Symposium on Combinatorial Search, SOCS 2023, July 14-16, 2023, Prague, Czech Republic, pp. 208-209, 2023, AAAI Press. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
31 | Shao-Hung Chan, Roni Stern, Ariel Felner, Sven Koenig |
Greedy Priority-Based Search for Suboptimal Multi-Agent Path Finding. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOCS ![In: Sixteenth International Symposium on Combinatorial Search, SOCS 2023, July 14-16, 2023, Prague, Czech Republic, pp. 11-19, 2023, AAAI Press. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
31 | Zhongqiang Ren, Sivakumar Rathinam, Howie Choset |
Search Algorithms for Multi-Agent Teamwise Cooperative Path Finding [Extended Abstract]. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOCS ![In: Sixteenth International Symposium on Combinatorial Search, SOCS 2023, July 14-16, 2023, Prague, Czech Republic, pp. 181-182, 2023, AAAI Press. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
31 | Marc-Emmanuel Coupvent des Graviers, Kevin Osanlou, Christophe Guettier, Tristan Cazenave |
Hybrid Search with Graph Neural Networks for Constraint-Based Navigation Planning [Extended Abstract]. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOCS ![In: Sixteenth International Symposium on Combinatorial Search, SOCS 2023, July 14-16, 2023, Prague, Czech Republic, pp. 171-172, 2023, AAAI Press. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
31 | Han Zhang 0018, Oren Salzman, Ariel Felner, T. K. Satish Kumar, Shawn Skyler, Carlos Hernández Ulloa, Sven Koenig |
Towards Effective Multi-Valued Heuristics for Bi-objective Shortest-Path Algorithms via Differential Heuristics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOCS ![In: Sixteenth International Symposium on Combinatorial Search, SOCS 2023, July 14-16, 2023, Prague, Czech Republic, pp. 101-109, 2023, AAAI Press. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
31 | David Vainshtein, Yaakov Sherma, Kiril Solovey, Oren Salzman |
Terraforming - Environment Manipulation during Disruptions for Multi-Agent Pickup and Delivery. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOCS ![In: Sixteenth International Symposium on Combinatorial Search, SOCS 2023, July 14-16, 2023, Prague, Czech Republic, pp. 92-100, 2023, AAAI Press. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
31 | Chao Lei, Nir Lipovetzky, Krista A. Ehinger |
Novelty and Lifted Helpful Actions in Generalized Planning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOCS ![In: Sixteenth International Symposium on Combinatorial Search, SOCS 2023, July 14-16, 2023, Prague, Czech Republic, pp. 148-152, 2023, AAAI Press. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
31 | Ruth Helen Bergin, Marco Dalla, Andrea Visentin, Barry O'Sullivan, Gregory M. Provan |
Using Machine Learning Classifiers in SAT Branching [Extended Abstract]. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOCS ![In: Sixteenth International Symposium on Combinatorial Search, SOCS 2023, July 14-16, 2023, Prague, Czech Republic, pp. 169-170, 2023, AAAI Press. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
31 | Takumi Shimoda, Alex Fukunaga |
Improved Exploration of the Bench Transition System in Parallel Greedy Best First Search. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOCS ![In: Sixteenth International Symposium on Combinatorial Search, SOCS 2023, July 14-16, 2023, Prague, Czech Republic, pp. 74-82, 2023, AAAI Press. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
31 | Oleg Tarakanov |
Complete Search of Sliding Tile Puzzles on a Personal Computer [Extended Abstract]. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOCS ![In: Sixteenth International Symposium on Combinatorial Search, SOCS 2023, July 14-16, 2023, Prague, Czech Republic, pp. 187-188, 2023, AAAI Press. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
31 | Eyal Weiss 0001 |
A Generalization of the Shortest Path Problem to Graphs with Multiple Edge-Cost Estimates (Student Abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOCS ![In: Sixteenth International Symposium on Combinatorial Search, SOCS 2023, July 14-16, 2023, Prague, Czech Republic, pp. 206-207, 2023, AAAI Press. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
31 | Václav Sobotka, Hana Rudová |
Real-World Pickup and Delivery Problem with Transfers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOCS ![In: Sixteenth International Symposium on Combinatorial Search, SOCS 2023, July 14-16, 2023, Prague, Czech Republic, pp. 83-91, 2023, AAAI Press. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
31 | Devin Wild Thomas |
Domain Specific Situated Planning (Student Abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOCS ![In: Sixteenth International Symposium on Combinatorial Search, SOCS 2023, July 14-16, 2023, Prague, Czech Republic, pp. 204-205, 2023, AAAI Press. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
31 | Ryo Kuroiwa 0002 |
Domain-Independent Dynamic Programming (Student Abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOCS ![In: Sixteenth International Symposium on Combinatorial Search, SOCS 2023, July 14-16, 2023, Prague, Czech Republic, pp. 192-193, 2023, AAAI Press. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
31 | Thomas K. Nobes, Daniel Harabor, Michael Wybrow, Stuart D. C. Walsh |
Voxel Benchmarks for 3D Pathfinding: Sandstone, Descent, and Industrial Plants. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOCS ![In: Sixteenth International Symposium on Combinatorial Search, SOCS 2023, July 14-16, 2023, Prague, Czech Republic, pp. 56-64, 2023, AAAI Press. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
31 | Junkyu Lee 0001, Michael Katz 0001, Shirin Sohrabi |
On K* Search for Top-K Planning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOCS ![In: Sixteenth International Symposium on Combinatorial Search, SOCS 2023, July 14-16, 2023, Prague, Czech Republic, pp. 38-46, 2023, AAAI Press. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
31 | Adittyo Paul, Ying Feng, Jiaoyang Li 0001 |
A Fast Rescheduling Algorithm for Real-Time Multi-Robot Coordination [Extended Abstract]. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOCS ![In: Sixteenth International Symposium on Combinatorial Search, SOCS 2023, July 14-16, 2023, Prague, Czech Republic, pp. 175-176, 2023, AAAI Press. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
31 | Shawn Skyler, Shahaf S. Shperberg, Dor Atzmon, Ariel Felner, Oren Salzman, Shao-Hung Chan, Han Zhang 0018, Sven Koenig, William Yeoh 0001, Carlos Hernández Ulloa |
Must-Expand Nodes in Multi-Objective Search [Extended Abstract]. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOCS ![In: Sixteenth International Symposium on Combinatorial Search, SOCS 2023, July 14-16, 2023, Prague, Czech Republic, pp. 183-184, 2023, AAAI Press. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
31 | Bojie Shen |
Tracking Progress in Multi-Agent Path Finding (Student Abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOCS ![In: Sixteenth International Symposium on Combinatorial Search, SOCS 2023, July 14-16, 2023, Prague, Czech Republic, pp. 200-201, 2023, AAAI Press. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
31 | Hanlan Yang, Shohin Mukherjee, Maxim Likhachev |
A-ePA*SE: Anytime Edge-Based Parallel A* for Slow Evaluations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOCS ![In: Sixteenth International Symposium on Combinatorial Search, SOCS 2023, July 14-16, 2023, Prague, Czech Republic, pp. 163-167, 2023, AAAI Press. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
31 | Alison Paredes |
Structural Bias in Heuristic Search (Student Abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOCS ![In: Sixteenth International Symposium on Combinatorial Search, SOCS 2023, July 14-16, 2023, Prague, Czech Republic, pp. 196-197, 2023, AAAI Press. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
31 | Yue Zhang, Daniel Harabor, Pierre Le Bodic, Peter J. Stuckey |
Efficient Multi Agent Path Finding with Turn Actions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOCS ![In: Sixteenth International Symposium on Combinatorial Search, SOCS 2023, July 14-16, 2023, Prague, Czech Republic, pp. 119-127, 2023, AAAI Press. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
31 | Adi Botea, Vadim Bulitko |
Core Expansion in Optimization Crosswords. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOCS ![In: Sixteenth International Symposium on Combinatorial Search, SOCS 2023, July 14-16, 2023, Prague, Czech Republic, pp. 2-10, 2023, AAAI Press. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
31 | Jirí Svancara, Etienne Tignon, Roman Barták, Torsten Schaub, Philipp Wanko, Roland Kaminski |
Multi-Agent Pathfinding with Predefined Paths: To Wait, or Not to Wait, That Is the Question [Extended Abstract]. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOCS ![In: Sixteenth International Symposium on Combinatorial Search, SOCS 2023, July 14-16, 2023, Prague, Czech Republic, pp. 185-186, 2023, AAAI Press. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
31 | Conny Olz, Pascal Bercher |
A Look-Ahead Technique for Search-Based HTN Planning: Reducing the Branching Factor by Identifying Inevitable Task Refinements. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOCS ![In: Sixteenth International Symposium on Combinatorial Search, SOCS 2023, July 14-16, 2023, Prague, Czech Republic, pp. 65-73, 2023, AAAI Press. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
31 | Wiktor Piotrowski, Yoni Sher, Sachin Grover, Roni Stern, Shiwali Mohan |
Heuristic Search for Physics-Based Problems: Angry Birds in PDDL+ [Extended Abstract]. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOCS ![In: Sixteenth International Symposium on Combinatorial Search, SOCS 2023, July 14-16, 2023, Prague, Czech Republic, pp. 179-180, 2023, AAAI Press. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
31 | Xiaodi Zhang 0002, Alban Grastien |
Improvements to CPCES. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOCS ![In: Sixteenth International Symposium on Combinatorial Search, SOCS 2023, July 14-16, 2023, Prague, Czech Republic, pp. 110-118, 2023, AAAI Press. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
31 | Václav Sobotka |
Uncertainty and Dynamicity in Real-World Vehicle Routing (Student Abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOCS ![In: Sixteenth International Symposium on Combinatorial Search, SOCS 2023, July 14-16, 2023, Prague, Czech Republic, pp. 202-203, 2023, AAAI Press. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
31 | Lukás Chrpa, Alessandro Saetti (eds.) |
Proceedings of the Fifteenth International Symposium on Combinatorial Search, SOCS 2022, Vienna, Austria, July 21-23, 2022 ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOCS ![AAAI Press, 1-57735-873-2 The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
Displaying result #1 - #100 of 2215 (100 per page; Change: ) Pages: [ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ >>] |
|