Search results for "Socs"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
72	JoAnn M. Paul	Programmers' views of SoCs.	CODES+ISSS	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.	IOLTS	2004	DBLP DOI BibTeX RDF
63	Claus Atzenbeck, David L. Hicks	Socs: increasing social and group awareness for Wikis by example of Wikipedia.	Int. Sym. Wikis	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.	IEEE Trans. Very Large Scale Integr. Syst.	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.	SBCCI	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.	DATE	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.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	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.	DATE	2005	DBLP DOI BibTeX RDF
49	Anuja Sehgal, Sule Ozev, Krishnendu Chakrabarty	A Flexible Design Methodology for Analog Test Wrappers in Mixed-Signal SOCs.	ICCD	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.	DELTA	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.	DAC	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.	SOCS	2017	DBLP DOI BibTeX RDF
45		SoCS 2014 Organization.	SOCS	2014	DBLP DOI BibTeX RDF
45	Malte Helmert, Gabriele Röger	SoCS 2013 Organization.	SOCS	2013	DBLP DOI BibTeX RDF
45		SoCS 2010 Organization.	SOCS	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.	MTV	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.	ETS	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.	DDECS	2009	DBLP DOI BibTeX RDF
41	Andreas Lankes, Thomas Wild, Johannes Zeppenfeld	System Level Simulation of Autonomic SoCs with TAPES.	ARCS	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.	IOLTS	2007	DBLP DOI BibTeX RDF
41	Andrew B. T. Hopkins, Klaus D. McDonald-Maier	Trace algorithms for deeply integrated complex and hybrid SoCs.	AHS	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.	ACM Trans. Design Autom. Electr. Syst.	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.	DAC	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.	Global Computing	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.	ITC	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.	ACM Great Lakes Symposium on VLSI	2000	DBLP DOI BibTeX RDF	design, verification, MEMS, SOCs, architecture exploration, HDLs, cosimulation
35	Pradip A. Thaker	Holistic verification: myth or magic bullet?	DAC	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.	IEEE Trans. Very Large Scale Integr. Syst.	2007	DBLP DOI BibTeX RDF
35	Subir K. Roy	Top Level SOC Interconnectivity Verification Using Formal Techniques.	MTV	2007	DBLP DOI BibTeX RDF
35	Feng Liu, Vipin Chaudhary	A Practical OpenMP Compiler for System on Chips.	WOMPAT	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.	IEEE Trans. Computers	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.	ICCD	2008	DBLP DOI BibTeX RDF
32	Abbas Eslami Kiasari, Shaahin Hessabi, Hamid Sarbazi-Azad	PERMAP: A performance-aware mapping for application-specific SoCs.	ASAP	2008	DBLP DOI BibTeX RDF
32	Sudarshan Bahukudumbi, Krishnendu Chakrabarty	Wafer-Level Modular Testing of Core-Based SoCs.	IEEE Trans. Very Large Scale Integr. Syst.	2007	DBLP DOI BibTeX RDF
32	Théodore Marescaux, Erik Brockmeyer, Henk Corporaal	The Impact of Higher Communication Layers on NoC Supported MP-SoCs.	NOCS	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.	VLSI-SoC	2007	DBLP DOI BibTeX RDF
32	Andreas Lankes, Thomas Wild, Johannes Zeppenfeld	Power Estimation of Time Variant SoCs with TAPES.	DSD	2007	DBLP DOI BibTeX RDF
32	Chandan Giri, Soumojit Sarkar, Santanu Chattopadhyay	Test Scheduling for Core-Based SOCs Using Genetic Algorithm Based Heuristic Approach.	ICIC (2)	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.	IOLTS	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.	AHS	2007	DBLP DOI BibTeX RDF
32	Qiang Xu 0001, Nicola Nicolici	Multifrequency TAM design for hierarchical SOCs.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	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.	IEEE Des. Test Comput.	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.	Asian Test Symposium	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.	SAMOS	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.	DATE	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.	ACM Great Lakes Symposium on VLSI	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.	ICCAD	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.	VTS	2003	DBLP DOI BibTeX RDF
32	Rohit Kapur, Thomas W. Williams	Manufacturing Test of SoCs.	Asian Test Symposium	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.	ISSS	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.	ITC	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.	IEEE Des. Test Comput.	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.	Computer	2007	DBLP DOI BibTeX RDF	debugging support, embedded systems, SoCs
31	Rajesh K. Gupta 0001	On-chip networks.	IEEE Des. Test Comput.	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.	IEEE Des. Test Comput.	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.	DAC	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	SOCS	2023	DBLP BibTeX RDF
31		Frontmatter.	SOCS	2023	DBLP DOI BibTeX RDF
31	David Fairbairn	Multi-Agent Path-Finding and Algorithmic Graph Theory (Student Abstract).	SOCS	2023	DBLP DOI BibTeX RDF
31	Francesco Percassi, Enrico Scala, Mauro Vallati	On the Notion of Fixability of PDDL+ Plans [Extended Abstract].	SOCS	2023	DBLP DOI BibTeX RDF
31	Thomas K. Nobes	Pipe-Routing and Pathfinding in 3D (Student Abstract).	SOCS	2023	DBLP DOI BibTeX RDF
31	Shohin Mukherjee, Maxim Likhachev	GePASE: Generalized Edge-Based Parallel A for Slow Evaluations.	SOCS	2023	DBLP DOI BibTeX RDF
31	Andrii Nyporko, Lukás Chrpa	Towards an Effective Framework Combining Planning and Scheduling [Extended Abstract].	SOCS	2023	DBLP DOI BibTeX RDF
31	Tzvika Geft	Fine-Grained Complexity Analysis of Multi-Agent Path Finding on 2D Grids.	SOCS	2023	DBLP DOI BibTeX RDF
31	Michael Katz 0001, Junkyu Lee 0001, Shirin Sohrabi	Generating SAS+ Planning Tasks of Specified Causal Structure.	SOCS	2023	DBLP DOI BibTeX RDF
31	Michael Katz 0001, Junkyu Lee 0001	K∗ and Partial Order Reduction for Top-Quality Planning.	SOCS	2023	DBLP DOI BibTeX RDF
31	Marco Dalla, Benjamin Provan-Bessell, Andrea Visentin, Barry O'Sullivan	SAT Feature Analysis for Machine Learning Classification Tasks.	SOCS	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.	SOCS	2023	DBLP DOI BibTeX RDF
31	Enrico Saccon	Multi-Agent Open Framework: Developing a Holistic System to Solve MAPF (Student Abstract).	SOCS	2023	DBLP DOI BibTeX RDF
31	Jonathan Morag, Roni Stern, Ariel Felner	Adapting to Planning Failures in Lifelong Multi-Agent Path Finding.	SOCS	2023	DBLP DOI BibTeX RDF
31	Shizhe Zhao, Daniel Harabor, Peter J. Stuckey	Reducing Redundant Work in Jump Point Search.	SOCS	2023	DBLP DOI BibTeX RDF
31	Stephen Wissow	Searching with Distributional Heuristics (Student Abstract).	SOCS	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.	SOCS	2023	DBLP DOI BibTeX RDF
31	Zhongqiang Ren, Sivakumar Rathinam, Howie Choset	Search Algorithms for Multi-Agent Teamwise Cooperative Path Finding [Extended Abstract].	SOCS	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].	SOCS	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.	SOCS	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.	SOCS	2023	DBLP DOI BibTeX RDF
31	Chao Lei, Nir Lipovetzky, Krista A. Ehinger	Novelty and Lifted Helpful Actions in Generalized Planning.	SOCS	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].	SOCS	2023	DBLP DOI BibTeX RDF
31	Takumi Shimoda, Alex Fukunaga	Improved Exploration of the Bench Transition System in Parallel Greedy Best First Search.	SOCS	2023	DBLP DOI BibTeX RDF
31	Oleg Tarakanov	Complete Search of Sliding Tile Puzzles on a Personal Computer [Extended Abstract].	SOCS	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).	SOCS	2023	DBLP DOI BibTeX RDF
31	Václav Sobotka, Hana Rudová	Real-World Pickup and Delivery Problem with Transfers.	SOCS	2023	DBLP DOI BibTeX RDF
31	Devin Wild Thomas	Domain Specific Situated Planning (Student Abstract).	SOCS	2023	DBLP DOI BibTeX RDF
31	Ryo Kuroiwa 0002	Domain-Independent Dynamic Programming (Student Abstract).	SOCS	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.	SOCS	2023	DBLP DOI BibTeX RDF
31	Junkyu Lee 0001, Michael Katz 0001, Shirin Sohrabi	On K* Search for Top-K Planning.	SOCS	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].	SOCS	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].	SOCS	2023	DBLP DOI BibTeX RDF
31	Bojie Shen	Tracking Progress in Multi-Agent Path Finding (Student Abstract).	SOCS	2023	DBLP DOI BibTeX RDF
31	Hanlan Yang, Shohin Mukherjee, Maxim Likhachev	A-ePASE: Anytime Edge-Based Parallel A for Slow Evaluations.	SOCS	2023	DBLP DOI BibTeX RDF
31	Alison Paredes	Structural Bias in Heuristic Search (Student Abstract).	SOCS	2023	DBLP DOI BibTeX RDF
31	Yue Zhang, Daniel Harabor, Pierre Le Bodic, Peter J. Stuckey	Efficient Multi Agent Path Finding with Turn Actions.	SOCS	2023	DBLP DOI BibTeX RDF
31	Adi Botea, Vadim Bulitko	Core Expansion in Optimization Crosswords.	SOCS	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].	SOCS	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.	SOCS	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].	SOCS	2023	DBLP DOI BibTeX RDF
31	Xiaodi Zhang 0002, Alban Grastien	Improvements to CPCES.	SOCS	2023	DBLP DOI BibTeX RDF
31	Václav Sobotka	Uncertainty and Dynamicity in Real-World Vehicle Routing (Student Abstract).	SOCS	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	SOCS	2022	DBLP BibTeX RDF