Search results for "EDA"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
18	Matthew A. Smith, Lars A. Schreiner, Erich Barke, Volker Meyer zu Bexten	Algorithms for automatic length compensation of busses in analog integrated circuits.	ISPD	2007	DBLP DOI BibTeX RDF	analog routing, length compensation, net bundles, paired nets, virtual terminals, routing, EDA, RF, bus routing, IC-layout
18	Xavier Llorà, Kumara Sastry, Tian-Li Yu 0001, David E. Goldberg	Do not match, inherit: fitness surrogates for genetics-based machine learning techniques.	GECCO	2007	DBLP DOI BibTeX RDF	DSMGA, fitness estimation, surrogate fitness, xeCCS, learning classifier system, EDA, genetics-based machine learning
18	Tejaswi Gowda, Sarma B. K. Vrudhula, Goran Konjevod	Combinational equivalence checking for threshold logic circuits.	ACM Great Lakes Symposium on VLSI	2007	DBLP DOI BibTeX RDF	nano devices, EDA, equivalence checking, threshold logic
18	Christopher Songer	Embedded systems and the kitchen sink.	IEEE Des. Test Comput.	2006	DBLP DOI BibTeX RDF	sensor networks, embedded systems, EDA, SoC design, embedded applications, networked embedded systems
18		CEDA Currents.	IEEE Des. Test Comput.	2006	DBLP DOI BibTeX RDF	CEDA, technical council, EDA, electronic design automation
18	Kartikeya Mayaram	CEDA Currents.	IEEE Des. Test Comput.	2006	DBLP DOI BibTeX RDF	CEDA, technical council, EDA, electronic design automation
18		CEDA Currents.	IEEE Des. Test Comput.	2006	DBLP DOI BibTeX RDF	CEDA, technical council, EDA, electronic design automation
18	Grant Martin	Wireless, ESL, DFM, and Power on Stage at 42nd DAC.	IEEE Des. Test Comput.	2005	DBLP DOI BibTeX RDF	DAC 2005, electronic system level (ESL) design, DAC 2006, wireless, EDA, SoC design
18	Rajesh K. Gupta 0001	Going 3D: Silicon and D&T.	IEEE Des. Test Comput.	2005	DBLP DOI BibTeX RDF	vertical stacking, wireless, EDA, cell phone, 3D integration, International Test Conference
18	Vladimir Hahanov	2005 IEEE East-West Design and Test Workshop.	IEEE Des. Test Comput.	2005	DBLP DOI BibTeX RDF	EWDTW 2005, formal verification, fault diagnosis, debug, BIST, EDA, system-level modeling
18	Lars A. Schreiner, Markus Olbrich, Erich Barke, Volker Meyer zu Bexten	Routing of analog busses with parasitic symmetry.	ISPD	2005	DBLP DOI BibTeX RDF	analog routing, net bundles, paired nets, virtual terminals, routing, EDA, RF, bus routing, IC-layout
18	Andrew Chang 0001, William J. Dally	Explaining the gap between ASIC and custom power: a custom perspective.	DAC	2005	DBLP DOI BibTeX RDF	custom circuits, normalized metrics, low power, energy efficiency, ASIC, EDA, technology scaling
18	Erik H. Volkerink, Ajay Khoche, Subhasish Mitra	Packet-Based Input Test Data Compression Techniques.	ITC	2002	DBLP DOI BibTeX RDF	RLE, Golomb-Rice, Compression, BIST, LFSR, EDA, ATE, Huffman
18	Ajay J. Daga, Loa Mize, Subramanyam Sripada, Chris Wolff, Qiuyang Wu	Automated timing model generation.	DAC	2002	DBLP DOI BibTeX RDF	EDA, static timing analysis, model generation
18	Sy Wong, Gertrude Levine	Kernel Ada to Unify Hardware and Software Design.	SIGAda	1998	DBLP DOI BibTeX RDF	Ada, Ada, VHDL, EDA, hardware description language, HDL
18	Kai Kuikkaniemi, Toni Laitinen, Marko Turpeinen, Timo Saari, Ilkka Kosunen, Niklas Ravaja	The influence of implicit and explicit biofeedback in first-person shooter games.	CHI	2010	DBLP DOI BibTeX RDF	explicit biofeedback, implicit biofeedback, games, affective computing, playing, biofeedback, biosignals
18	Hyeonjae Jeon, Kwangjin Park, Hyunseung Choo	Sink-oriented dynamic location service for shortest path relay with energy efficient global grid.	SAC	2009	DBLP DOI BibTeX RDF	data dissemination protocol, wireless sensor networks, protocol, energy efficiency, mobile sink, location-based routing
18	Dolores Torres, Eunice Ponce de León, Aurora Torres Soto, Carlos Alberto Ochoa Ortíz Zezzatti, Elva Díaz	Hybridization of Evolutionary Mechanisms for Feature Subset Selection in Unsupervised Learning.	MICAI	2009	DBLP DOI BibTeX RDF	Hybridized Evolutionary Mechanisms, Genetic Algorithm, Unsupervised Learning, Feature Subset Selection, Univariate Marginal Distribution Algorithm
18	Matthias Wieland 0001, Daniel Martin 0001, Oliver Kopp, Frank Leymann	SOEDA: A Method for Specification and Implementation of Applications on a Service-Oriented Event-Driven Architecture.	BIS	2009	DBLP DOI BibTeX RDF	MDA, transformation, BPEL, EPC, Complex events
18	Peter A. N. Bosman, Jörn Grahl, Dirk Thierens	AMaLGaM IDEAs in noisy black-box optimization benchmarking.	GECCO (Companion)	2009	DBLP DOI BibTeX RDF	evolutionary computation, benchmarking, black-box optimization
18	Petr Posik	BBOB-benchmarking a simple estimation of distribution algorithm with cauchy distribution.	GECCO (Companion)	2009	DBLP DOI BibTeX RDF	evolutionary computation, benchmarking, local search, estimation-of-distribution algorithms, black-box optimization, cauchy distribution
18	Peter A. N. Bosman, Jörn Grahl, Dirk Thierens	AMaLGaM IDEAs in noiseless black-box optimization benchmarking.	GECCO (Companion)	2009	DBLP DOI BibTeX RDF	evolutionary computation, benchmarking, black-box optimization
18	Peter A. N. Bosman	On empirical memory design, faster selection of bayesian factorizations and parameter-free gaussian EDAs.	GECCO	2009	DBLP DOI BibTeX RDF	learning, evolutionary algorithms, memory, estimation of distribution algorithms, numerical optimization
18	Miroslav N. Velev, Ping Gao 0002	Efficient SAT-based techniques for Design of Experiments by using static variable ordering.	ISQED	2009	DBLP DOI BibTeX RDF
18	Anke K. Hutzschenreuter, Peter A. N. Bosman, Han La Poutré	Evolutionary Multiobjective Optimization for Dynamic Hospital Resource Management.	EMO	2009	DBLP DOI BibTeX RDF
18	Patrick Groeneveld, Rob A. Rutenbar, Jed W. Pitera, Erik C. Carlson, Jinsong Chen	Oil fields, hedge funds, and drugs.	DAC	2009	DBLP DOI BibTeX RDF	financial market analysis, oil field discovery, Monte Carlo methods, drug discovery
18	Pier Luca Lanzi, Luigi Nichetti, Kumara Sastry, Davide Voltini, David E. Goldberg	Real-Coded Extended Compact Genetic Algorithm Based on Mixtures of Models.	Linkage in Evolutionary Computation	2008	DBLP DOI BibTeX RDF
18	Roberto Santana 0001, Pedro Larrañaga, José Antonio Lozano 0001	Adaptive Estimation of Distribution Algorithms.	Adaptive and Multilevel Metaheuristics	2008	DBLP DOI BibTeX RDF	adaptive probabilistic model, Estimation of distribution algorithm, SAT
18	João Marques-Silva 0001, Jordi Planes	Algorithms for Maximum Satisfiability using Unsatisfiable Cores.	DATE	2008	DBLP DOI BibTeX RDF
18	Sachin G. Deshpande	High quality video streaming using content-aware adaptive frame scheduling with explicit deadline adjustment.	ACM Multimedia	2008	DBLP DOI BibTeX RDF	adaptive streaming, frame deadline, frame scheduling, rd optimal streaming
18	Joel R. Phillips, Kurt Keutzer, Michael Wrinn	Architecting parallel programs.	ICCAD	2008	DBLP DOI BibTeX RDF
18	Mark Hauschild, Martin Pelikan, Kumara Sastry, David E. Goldberg	Using previous models to bias structural learning in the hierarchical BOA.	GECCO	2008	DBLP DOI BibTeX RDF	probabilistic model, estimation of distribution algorithms, prior knowledge, hierarchical boa, model complexity, learning from experience
18	Luis Vargas, Jean Bacon, Ken Moody	Event-Driven Database Information Sharing.	BNCOD	2008	DBLP DOI BibTeX RDF
18	Xiuqin Wang, Guangsheng Ma, Hao Wang	A Novel Method for All Solutions SAT Problem.	SNPD	2008	DBLP DOI BibTeX RDF	All Solutions, Observability Don't Cares, Circuit Structure, Boolean Satisfiability
18	Li Ma, Xin Li 0002, Yongyan Wang, Hongan Wang	An Approach to Handle Overload in Real-Time Data Stream Management System.	FSKD (3)	2008	DBLP DOI BibTeX RDF
18	Alicia Strang, David Potts, Shankar Hemmady	A Holistic Approach to SoC Verification.	ISQED	2008	DBLP DOI BibTeX RDF	holistic verification, verification management, right-brained thinking, verification, debug, SoC, visualization environments
18	Andreas Kuehlmann, Anjan Bose, David E. Corman, Rob A. Rutenbar, Robert M. Manning, Anna Newman	Verifying really complex systems: on earth and beyond.	DAC	2008	DBLP DOI BibTeX RDF	Mars Exploration Rover, bald lemurs, rendering software, space vehicles, verification, computer animation, power grids, avionics
18	Uwe Aickelin, Jingpeng Li 0001	An estimation of distribution algorithm for nurse scheduling.	Ann. Oper. Res.	2007	DBLP DOI BibTeX RDF	Bayesian network, Estimation of distribution algorithms, Nurse scheduling
18	Fadi A. Aloul, Arathi Ramani, Karem A. Sakallah, Igor L. Markov	Solution and Optimization of Systems of Pseudo-Boolean Constraints.	IEEE Trans. Computers	2007	DBLP DOI BibTeX RDF	Pseudo Boolean (PB), Max-ONE, Global Routing, Conjunctive Normal Form (CNF), Backtrack Search, Integer Linear Programming (ILP), Max-SAT, Boolean Satisfiability (SAT)
18	Chia-Jui Hsu, Ming-Yung Ko, Shuvra S. Bhattacharyya, Suren Ramasubbu, José Luis Pino	Efficient simulation of critical synchronous dataflow graphs.	ACM Trans. Design Autom. Electr. Syst.	2007	DBLP DOI BibTeX RDF	simulation, Scheduling, synchronous dataflow
18	Tianshi Chen 0002, Ke Tang 0001, Guoliang Chen 0001, Xin Yao 0001	On the analysis of average time complexity of estimation of distribution algorithms.	IEEE Congress on Evolutionary Computation	2007	DBLP DOI BibTeX RDF
18	Ramón Sagarna, Andrea Arcuri, Xin Yao 0001	Estimation of distribution algorithms for testing object oriented software.	IEEE Congress on Evolutionary Computation	2007	DBLP DOI BibTeX RDF
18	Giner Alor-Hernández, Rubén Posada-Gómez, Juan Miguel Gómez-Berbís, María Antonieta Abud-Figueroa	A Web Service-Based Brokering Service for e-Procurement in Supply Chains.	GPC	2007	DBLP DOI BibTeX RDF	Web Services, Service-Oriented Architecture, Event-Driven Architecture
18	Naser MohammadZadeh, Morteza NajafVand, Shaahin Hessabi, Maziar Goudarzi	Implementation of a jpeg object-oriented ASIP: a case study on a system-level design methodology.	ACM Great Lakes Symposium on VLSI	2007	DBLP DOI BibTeX RDF	ODYSSEY, embedded systems, ASIP, JPEG
18	Aashish Phansalkar, Ajay Joshi, Lizy Kurian John	Analysis of redundancy and application balance in the SPEC CPU2006 benchmark suite.	ISCA	2007	DBLP DOI BibTeX RDF	microprocessor performance counters, clustering, benchmark, SPEC
18	Lauren Sarno, Ron Wilson, Soo-Kwan Eo, Laurent Lestringand, John Goodenough 0001, Guri Stark, Serge Leef, Dave Witt	IP Exchange: I'll Show You Mine if You Show Me Yours.	DAC	2007	DBLP BibTeX RDF
18	Nikolaos Andrikos, Luciano Lavagno, Davide Pandini, Christos P. Sotiriou	A Fully-Automated Desynchronization Flow for Synchronous Circuits.	DAC	2007	DBLP DOI BibTeX RDF
18	Domagoj Babic, Jesse D. Bingham, Alan J. Hu	B-Cubing: New Possibilities for Efficient SAT-Solving.	IEEE Trans. Computers	2006	DBLP DOI BibTeX RDF	SAT, Boolean satisfiability, search space pruning
18	Lech Józwiak, Dominik Gawlowski, Aleksander Slusarczyk	Multi-objective Optimal Controller Synthesis for Heterogeneous Embedded Systems.	ICSAMOS	2006	DBLP DOI BibTeX RDF
18	Xin Du, Yueqiao Li, Datong Xie, Lishan Kang	A New Algorithm of Automatic Programming: GEGEP.	SEAL	2006	DBLP DOI BibTeX RDF	Gene Estimated Gene Expression Programming, Genetic Programming, Estimation of Distribution Algorithm, Gene Expression Programming
18	Yu Zhang, Shude Zhou, Tangwen Yang, Zengqi Sun	Optimal Motion Generation of Flexible Macro-micro Manipulator Systems Using Estimation of Distribution Algorithm.	SEAL	2006	DBLP DOI BibTeX RDF
18	Christophe Alexandre, Marek Sroka, Hugo Clément, Christian Masson	Zephyr: A Static Timing Analyzer Integrated in a Trans-hierarchical Refinement Design Flow.	PATMOS	2006	DBLP DOI BibTeX RDF
18	Jonathan L. Shapiro	Diversity Loss in General Estimation of Distribution Algorithms.	PPSN	2006	DBLP DOI BibTeX RDF
18	Mamdouh Ibrahim, Opher Etzion	Workshop on event driven architecture.	OOPSLA Companion	2006	DBLP DOI BibTeX RDF
18	Lingyun Hu, Changjiu Zhou, Zengqi Sun	Estimating Probability Distribution with Q-learning for Biped Gait Generation and Optimization.	IROS	2006	DBLP DOI BibTeX RDF
18	Satoru Ito	Challenging device innovation.	ASP-DAC	2006	DBLP DOI BibTeX RDF
18	Bin Li 0025, Xianji Wang, Run-tian Zhong, Zhenquan Zhuang	Continuous Optimization based-on Boosting Gaussian Mixture Model.	ICPR (1)	2006	DBLP DOI BibTeX RDF
18	Ad M. G. Peeters	Clockless IC design using handshake technology.	ISPD	2006	DBLP DOI BibTeX RDF
18	Kun Tong, Jinian Bian, Haili Wang	Universal data model platform: the data-centric evolution for system level codesign.	CSCWD	2006	DBLP DOI BibTeX RDF
18	Feng Liu, Juan Liu 0007, Jing Feng, Huaibei Zhou	Estimation Distribution of Algorithm for Fuzzy Clustering Gene Expression Data.	ICNC (2)	2006	DBLP DOI BibTeX RDF
18	Zhaohui Fu, Sharad Malik	Solving the minimum-cost satisfiability problem using SAT based branch-and-bound search.	ICCAD	2006	DBLP DOI BibTeX RDF	MinCostSAT, optimization, branch-and-bound, Boolean satisfiability
18	Anand Pramod Kulkarni, Thomas J. Grebinski	mTest: An Industry-Wide Database of VLSI Layouts for Quality Control.	ISQED	2006	DBLP DOI BibTeX RDF
18	Charles C. Chiang, Jamil Kawa	Three DFM Challenges: Random Defects, Thickness Variation, and Printability Variation.	APCCAS	2006	DBLP DOI BibTeX RDF
18	Chia-Jui Hsu, Suren Ramasubbu, Ming-Yung Ko, José Luis Pino, Shuvra S. Bhattacharyya	Efficient simulation of critical synchronous dataflow graphs.	DAC	2006	DBLP DOI BibTeX RDF	simulation, scheduling, synchronous dataflow
18	Zhihong Liu, Bruce McGaughy, James Z. Ma	Design tools for reliability analysis.	DAC	2006	DBLP DOI BibTeX RDF	design-in reliability, reliability simulation, HCI, EM, NBTI
18	Vasco M. Manquinho, João Marques-Silva 0001	Effective Lower Bounding Techniques for Pseudo-Boolean Optimization.	DATE	2005	DBLP DOI BibTeX RDF
18	Reza Rastegar, Mohammad Reza Meybodi	A Study on the Global Convergence Time Complexity of Estimation of Distribution Algorithms.	RSFDGrC (1)	2005	DBLP DOI BibTeX RDF
18	Atsushi Kurokawa, Masaharu Yamamoto, Nobuto Ono, Tetsuro Kage, Yasuaki Inoue, Hiroo Masuda	Capacitance and Yield Evaluations Using a 90-nm Process Technology Based on the Dense Power-Ground Interconnect Architecture.	ISQED	2005	DBLP DOI BibTeX RDF
18	Fadi A. Aloul, Arathi Ramani, Igor L. Markov, Karem A. Sakallah	ShatterPB: symmetry-breaking for pseudo-Boolean formulas.	ASP-DAC	2004	DBLP DOI BibTeX RDF
18	Wolfgang Nebel	Predictable design of low power systems by pre-implementation estimation and optimization.	ASP-DAC	2004	DBLP DOI BibTeX RDF
18	Sergey Malinchik, Eric Bonabeau	Exploratory Data Analysis with Interactive Evolution.	GECCO (2)	2004	DBLP DOI BibTeX RDF	data mining, exploratory data analysis, Interactive evolutionary computation
18	Jörn Grahl, Franz Rothlauf	PolyEDA: Combining Estimation of Distribution Algorithms and Linear Inequality Constraints.	GECCO (1)	2004	DBLP DOI BibTeX RDF
18	William Adams, Warren A. Hunt Jr., Damir Jamsek	Verisym: Verifying Circuits by Symbolic Simulation.	Formal Methods Syst. Des.	2003	DBLP DOI BibTeX RDF	circuit extraction, formal property checking, memory verification, symbolic simulation
18	João Marques-Silva 0001, Luís Guerra e Silva	Solving Satisfiability in Combinational Circuits.	IEEE Des. Test Comput.	2003	DBLP DOI BibTeX RDF
18	Hanning Zhou, Thomas S. Huang	Tracking Articulated Hand Motion with Eigen Dynamics Analysis.	ICCV	2003	DBLP DOI BibTeX RDF
18	Pierluigi Daglio, Carlo Roma	A Fully Qualified Top-Down and Bottom-Up Mixed-Signal Design Flow for Non Volatile Memories Technologies.	DATE	2003	DBLP DOI BibTeX RDF
18	Daniel Geist	The PSL/Sugar Specification Language A Language for all Seasons.	CHARME	2003	DBLP DOI BibTeX RDF
18	Onur Dikmen, H. Levent Akin, Ethem Alpaydin	Estimating Distributions in Genetic Algorithms.	ISCIS	2003	DBLP DOI BibTeX RDF
18	David L. Dill, Patrick Lincoln	Evolution as Design Engineer.	CMSB	2003	DBLP DOI BibTeX RDF
18	Daniel Fan, Steve Roehling, Rusty Carruth	Case Study - Using STIL as Test Pattern Language.	ITC	2003	DBLP DOI BibTeX RDF
18	John Ferguson	The Glue in a Confident SoC Flow.	IWSOC	2003	DBLP DOI BibTeX RDF	manufacturing requirements, gold standard, single tool flow, design-to-silicon, designstyle independence, confident data transfer, Integration
18	Marco Laumanns, Jiri Ocenasek	Bayesian Optimization Algorithms for Multi-objective Optimization.	PPSN	2002	DBLP DOI BibTeX RDF
18	Fadi A. Aloul, Arathi Ramani, Igor L. Markov, Karem A. Sakallah	Generic ILP versus specialized 0-1 ILP: an update.	ICCAD	2002	DBLP DOI BibTeX RDF
18	Kate Moore	Resel filtering to aid visualisation within an exploratory data analysis system.	J. Geogr. Syst.	2000	DBLP DOI BibTeX RDF
18	Elias N. Malamas, Athanasios G. Malamos, Theodora A. Varvarigou	Fast Implementation of Binary Morphological Operations on Hardware-Efficient Systolic Architectures.	J. VLSI Signal Process.	2000	DBLP DOI BibTeX RDF
18	Joonyoung Kim, Jesse Whittemore, Karem A. Sakallah, João P. Marques Silva	On Applying Incremental Satisfiability to Delay Fault Testing.	DATE	2000	DBLP DOI BibTeX RDF
18	Wonjae L. Kang, Brad Potts, Ray Hokinson, John Riley, David Doman, Frank Cano, N. S. Nagaraj, Noel Durrant	Enabling DIR(Designing-In-Reliability) through CAD Capabilities.	ISQED	2000	DBLP DOI BibTeX RDF	SEMATECH, design-in-reliability, reliability, Design tools
18	Sharad Malik, D. K. Arvind 0001, Edward A. Lee, Phil Koopman, Alberto L. Sangiovanni-Vincentelli, Wayne H. Wolf	Embedded systems education (panel abstract).	DAC	2000	DBLP DOI BibTeX RDF
18	K. C. Chang 0001, C. A. Lomasney	Obsolete integrated circuit replacement methodology using advanced electronic design automation technology.	ISCAS (1)	1999	DBLP DOI BibTeX RDF
18	S. Grout, G. Ledenbach, R. G. Bushroe, P. Fisher, Donald Cottrell, David Mallis, S. DasGupta, Joseph Morrell, Amrich Chokhavtia	CHDStd - application support for reusable hierarchical interconnect timing views.	ISPD	1998	DBLP DOI BibTeX RDF
17	Igor L. Markov	Master numerical tasks with ease.	IEEE Des. Test Comput.	2010	DBLP DOI BibTeX RDF	EDA software, signal processing, numerical analysis
17	B. K. Mishra 0001, Sandhya Save	Novel CAD Design Methodology for Two Stage Opamp with Noise-Power Balance.	ICSAP	2010	DBLP DOI BibTeX RDF	Analog circuit designs methodologies, Analog design automation, Op-amps, AMS, Simulated Annealing, CAD, SoC, ASIC, SPICE, EDA tools
17	Hiroshi Dempo	QOS evaluations of distributed event orchestration system.	DEBS	2009	DBLP DOI BibTeX RDF	performance, event driven architecture (EDA), publish/subscribe systems
17	Yongquan Yin, Xiang Liu, Jianchun Wang	Application of Environmental Carrying Capacity in Regional Environmental Impact Assessment: A Case Study on Shandong Rencheng Economic.	ESIAT (2)	2009	DBLP DOI BibTeX RDF	environmental carrying capacity (ECC), regional environmental impact assessment (REIA), economic development area (EDA), South-to-North water diversion
17	Mi Zhang, Guang Hu, Shi-liang Tu, ZhiLei Chai	Dynamic Electronic Design Automation concept, benefit and framework.	ICIS	2009	DBLP DOI BibTeX RDF	dynamic EDA, system-level design language, reflection, dynamicity, Python, introspection
17	Steve Golson, Pete Churchill	Flow engineering for physical implementation: theory and practice.	DAC	2008	DBLP DOI BibTeX RDF	EDA interoperability, design methodology, physical design, integrated circuit design, flow
17	Heiko Klarl, Markus Preitsameter	Securing Service-Oriented and Event-Driven Architectures Results of an Evaluation of Enterprise Security Frameworks.	SCW	2006	DBLP DOI BibTeX RDF	Securing business processes, Security, Service Oriented Architecture (SOA), Event Driven Architecture (EDA), Model driven security
17	Alexander B. Smirnov, Alexander Taubin, Ming Su, Mark G. Karpovsky	An Automated Fine-Grain Pipelining Using Domino Style Asynchronous Library.	ACSD	2005	DBLP DOI BibTeX RDF	asynchronous EDA, QDI, synthesis, ASIC, HDL
17	Lech Józwiak	Quality-Driven System-on-a-Chip Design.	ISQED	2000	DBLP DOI BibTeX RDF	quality-driven design, design methodologies, design methods, system-on-a-chip, design reuse, design modeling, design exploration, design validation, EDA tools
16	Yushan Li, Satoshi Fujita	A Synergistic Elixir-EDA-MQTT Framework for Advanced Smart Transportation Systems.	Future Internet	2024	DBLP DOI BibTeX RDF