Search results for "TRON"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
124	Hideyuki Takada, Ken Sakamura	Compact, low-cost, but real-time distributed computing for computer augmented environments.	FTDCS	1995	DBLP DOI BibTeX RDF	building management systems, compact low-cost real-time distributed computing, TRON Project, highly functionally distributed systems, low-cost distributed computing systems, standard real-time kernel specification, small-scale embedded systems, low-cost real-time LAN, TRON-concept Computer Augmented Building, real-time systems, distributed processing, local area networks, intelligent control, embedded computers, operating system kernels, home automation, computer augmented environments
110	Tai-Wen Yue, Mei-Ching Chen	Q'tron Neural Networks for Constraint Satisfaction.	HIS	2004	DBLP DOI BibTeX RDF
89	Tai-Wen Yue, Zou-Chung Lee	Sudoku Solver by Q'tron Neural Networks.	ICIC (1)	2006	DBLP DOI BibTeX RDF
89	Tai-Wen Yue, Mei-Ching Chen	Associativity, Auto-reversibility and Question-Answering on Q'tron Neural Networks.	ICIC (1)	2005	DBLP DOI BibTeX RDF
68	Tai-Wen Yue, Zou Zhong Lee	A Q'tron Neural-Network Approach to Solve the Graph Coloring Problems.	ICTAI (1)	2007	DBLP DOI BibTeX RDF
63	Tai-Wen Yue, Suchen Chiang	The General Neural-Network Paradigm for Visual Cryptography.	IWANN (1)	2001	DBLP DOI BibTeX RDF
52	Alan Clements 0001	TRON project 1989: Sakamura, K (Ed.) (Proceedings of the sixth TRON Project Symposium) Springer-Verlag, Tokyo, Japan (1989) pp 324.	Microprocess. Microsystems	1991	DBLP DOI BibTeX RDF
47	M. Abdelsalam Hassan, Keishi Sakanushi, Yoshinori Takeuchi, Masaharu Imai	RTK-Spec TRON: A Simulation Model of an ITRON Based RTOS Kernel in SystemC.	DATE	2005	DBLP DOI BibTeX RDF
47	Kim Guldstrand Larsen, Marius Mikucionis, Brian Nielsen, Arne Skou	Testing real-time embedded software using UPPAAL-TRON: an industrial case study.	EMSOFT	2005	DBLP DOI BibTeX RDF	real-time systems, embedded systems, black-box testing, online testing, control software
42	James D. Mooney	The CTRON Approach to Operating System Support for Software Portability.	ACM SIGOPS Oper. Syst. Rev.	1992	DBLP DOI BibTeX RDF	CTRON
31	Ken Sakamura	Challenges in the age of ubiquitous computing: a case study of T-Engine, an open development platform for embedded systems.	ICSE	2006	DBLP DOI BibTeX RDF	T-Engine, T-Kernel, TRON, eTRON, realtime embedded systems, uID, distributed systems, ubiquitous computing, context-awareness
26	Salma Afifi, Febin Sunny, Mahdi Nikdast, Sudeep Pasricha	TRON: Transformer Neural Network Acceleration with Non-Coherent Silicon Photonics.	CoRR	2023	DBLP DOI BibTeX RDF
26	Salma Afifi, Febin Sunny, Mahdi Nikdast, Sudeep Pasricha	TRON: Transformer Neural Network Acceleration with Non-Coherent Silicon Photonics.	ACM Great Lakes Symposium on VLSI	2023	DBLP DOI BibTeX RDF
26	Mingi Jeon, Jay Lee, Sang-Ki Ko	Modular Reinforcement Learning for Playing the Game of Tron.	IEEE Access	2022	DBLP DOI BibTeX RDF
26	Jiawei Yang, Hongxu Huang, Yiwen Zhang, Jiahong Dai, Hoay Beng Gooi	Tron Blockchain Based Pricing Scheme for Energy Trading Considering Carbon Emissions Taxes.	ISGT Asia	2022	DBLP DOI BibTeX RDF
26	Jidong Lv, Ehsan Ahmad, Tao Tang 0004	Non-Deterministic Delay Behavior Testing of Chinese Train Control System Using UPPAAL-TRON.	IEEE Intell. Transp. Syst. Mag.	2021	DBLP DOI BibTeX RDF
26	Anirudh Vemula, J. Andrew Bagnell	TRON: A Fast Solver for Trajectory Optimization with Non-Smooth Cost Functions.	CoRR	2020	DBLP BibTeX RDF
26	Anirudh Vemula, J. Andrew Bagnell	Tron: A Fast Solver for Trajectory Optimization with Non-Smooth Cost Functions.	CDC	2020	DBLP DOI BibTeX RDF
26	Huawei Li, Zhihuai Li, Na Tian	Resource Bottleneck Analysis of the Blockchain Based on Tron's TPS.	ICNC-FSKD	2019	DBLP DOI BibTeX RDF
26	Kehang Chen, Jidong Lv, Jia Huang, Haonan Guo, Shuai Su, Tao Tang 0004	Online Conformance Testing of CBTC On-board ATO Functions Based on UPPAAL-TRON Framework.	ITSC	2019	DBLP DOI BibTeX RDF
26	Stefan J. L. Knegt, Madalina M. Drugan, Marco A. Wiering	Learning from Monte Carlo Rollouts with Opponent Models for Playing Tron.	ICAART (Revised Selected Papers)	2018	DBLP DOI BibTeX RDF
26	Stefan J. L. Knegt, Madalina M. Drugan, Marco A. Wiering	Opponent Modelling in the Game of Tron using Reinforcement Learning.	ICAART (2)	2018	DBLP DOI BibTeX RDF
26	Daniel Hoske, Jonathan Rollin, Torsten Ueckerdt, Stefan Walzer	Playing weighted Tron on trees.	Discret. Math.	2015	DBLP DOI BibTeX RDF
26	Jeremy Pierce-Mayer, Osvaldo Peinado	DTN-O-Tron: A system for the user-guided semi-autonomous generation and distribution of CGR contact plans.	WiSEE	2015	DBLP DOI BibTeX RDF
26	Siobhan Magee, Fionn Tynan-O'Mahony, Martin de Jode, Mark Hartswood, Eric Laurier, Chris Speed	The Haggle-O-Tron: Re-inventing Economic Transactions in Secondhand Retail.	Creativity & Cognition	2015	DBLP DOI BibTeX RDF
26	Daniel Hoske, Jonathan Rollin, Torsten Ueckerdt, Stefan Walzer	Playing weighted Tron on Trees.	CoRR	2014	DBLP BibTeX RDF
26	Chris Speed, Mark Hartswood, Eric Laurier, Siobhan Magee, Martin de Jode, Andrew Hudson-Smith	The Haggle-O-Tron: design intervention in secondhand retail.	Conference on Designing Interactive Systems (Companion Volume)	2014	DBLP DOI BibTeX RDF
26	Ken Sakamura	Smart Living Environment: Ubiquitous Computing Approach Based on TRON Architecture.	Handbook of Ambient Assisted Living	2012	DBLP DOI BibTeX RDF
26	Pierre Perick, David Lupien St-Pierre, Francis Maes, Damien Ernst	Comparison of different selection strategies in Monte-Carlo Tree Search for the game of Tron.	CIG	2012	DBLP DOI BibTeX RDF
26	Tillmann Miltzow	Tron, a Combinatorial Game on Abstract Graphs.	FUN	2012	DBLP DOI BibTeX RDF
26	Tillmann Miltzow	Tron, a combinatorial Game on abstract Graphs	CoRR	2011	DBLP BibTeX RDF
26	Carsten Rütz, Julien Schmaltz	An Experience Report on an Industrial Case-Study about Timed Model-Based Testing with UPPAAL-TRON.	ICST Workshops	2011	DBLP DOI BibTeX RDF
26	Spyridon Samothrakis, David Robles, Simon M. Lucas	A UCT agent for Tron: Initial investigations.	CIG	2010	DBLP DOI BibTeX RDF
26	M. Abdelsalam Hassan, Keishi Sakanushi, Yoshinori Takeuchi, Masaharu Imai	RTK-Spec TRON: A Simulation Model of an ITRON Based RTOS Kernel in SystemC	CoRR	2007	DBLP BibTeX RDF
26	Tai-Wen Yue, Suchen Chiang	The semipublic encryption for visual cryptography using Q'tron neural networks.	J. Netw. Comput. Appl.	2007	DBLP DOI BibTeX RDF
26	Sabrina Elizondo	Pepsi "Dance Tron".	SIGGRAPH Computer Animation Festival	2007	DBLP DOI BibTeX RDF
26	Tai-Wen Yue, Suchen Chiang	The Semipublic Encryption for Visual Cryptography Using Q'tron Neural Networks.	Australian Conference on Artificial Intelligence	2004	DBLP DOI BibTeX RDF
26	Ghassen Ben Brahim, Bilal Khan 0002, Abdella Battou, Mohsen Guizani, Ghulam M. Chaudhry	TRON: the toolkit for routing in optical networks.	GLOBECOM	2001	DBLP DOI BibTeX RDF
26	Osamu Gotoh	Homology-based gene structure prediction: simplified matching algorithm using a translated codon (tron) and improved accuracy by allowing for long gaps.	Bioinform.	2000	DBLP DOI BibTeX RDF
26	Ken Sakamura	The TRON Project.	Inf. Softw. Technol.	1996	DBLP DOI BibTeX RDF
26	Jayanta Basak, Sankar K. Pal	X-tron: an incremental connectionist model for category perception.	IEEE Trans. Neural Networks	1995	DBLP DOI BibTeX RDF
26	Andrew Berman, Virgil Bourassa, Erik Selberg	TRON: Process-Specific File Protection for the UNIX Operating System.	USENIX	1995	DBLP BibTeX RDF
26	Susumu Narita, Fumio Arakawa, Kunio Uchiyama, Ikuya Kawasaki	Design Methodology for GMICROTM/500 TRON Microprocessor.	ICCD	1993	DBLP DOI BibTeX RDF
26	Shumpei Kawasaki, Mitsuru Watabe, Shigeki Morinaga	A floating-point VLSI chip for the TRON architecture: an architecture for reliable numerical programming.	IEEE Micro	1989	DBLP DOI BibTeX RDF
26	Ken Sakamura, Tatsuya Enomoto	32-bit microprocessors based on the TRON specification.	Microprocess. Microsystems	1989	DBLP DOI BibTeX RDF
26	Yasuyuki Nozuyama, Akira Nishimura, Jun Iwamura	Design for testability of a 32-bit TRON microprocessor.	Microprocess. Microsystems	1989	DBLP DOI BibTeX RDF
26	Ken Sakamura	The TRON project.	Microprocess. Microsystems	1989	DBLP DOI BibTeX RDF
26	James D. Mooney	Tron: a view from the USA.	Microprocess. Microsystems	1989	DBLP DOI BibTeX RDF
26	Ian Hay, J. McCulloch, C. Litchfield	TRON-compatible 16/32-bit microprocessor.	Microprocess. Microsystems	1989	DBLP DOI BibTeX RDF
26	Jim Ready	TRON architecture faces a challenging US market.	Microprocess. Microsystems	1989	DBLP DOI BibTeX RDF
26	Alan Clements 0001	TRON project 1988: open-architecture computer systems: Sakamura, K (Ed.) Springer-Verlag, Heidelberg, FRG (1988) DM 148.00 pp 395.	Microprocess. Microsystems	1989	DBLP DOI BibTeX RDF
26	Jim Farrell	TRON: a lack of technical understanding outside Japan.	Microprocess. Microsystems	1989	DBLP DOI BibTeX RDF
26	Alan Clements 0001	TRON Project 1987: Open-architecture computer systems: Sakamura, K (ed.) Springer-Verlag, Tokyo, Japan (1987) pp 312.	Microprocess. Microsystems	1989	DBLP DOI BibTeX RDF
26	Ken Sakamura, Royichi Sano, Kazuhiko Honma	Introducing Tobus: the system bus in the TRON architecture.	IEEE Micro	1988	DBLP DOI BibTeX RDF
26	Tom Shimizu, Toyohiko Yoshida, Yuichi Saitoh, Masahito Matsuo, Tatsuya Enomoto	A 32-bit Microprocessor Based on the TRON Architecture: Design of the GMICRO/100.	COMPCON	1988	DBLP DOI BibTeX RDF
26	Ken Sakamura	The Tron Project.	IEEE Micro	1987	DBLP DOI BibTeX RDF
26	Ken Sakamura	Architecture of the TRON VLSI CPU.	IEEE Micro	1987	DBLP DOI BibTeX RDF
26	Dawei Zhang 0005, Roberto Tron	Safe and Stable Teleoperation of Quadrotor UAVs under Haptic Shared Autonomy.	CoRR	2024	DBLP DOI BibTeX RDF
26	Liangting Wu, Roberto Tron	IKSPARK: An Inverse Kinematics Solver using Semidefinite Relaxation and Rank Minimization.	CoRR	2024	DBLP DOI BibTeX RDF
26	Akua Dickson, Christos G. Cassandras, Roberto Tron	Spline Trajectory Tracking and Obstacle Avoidance for Mobile Agents via Convex Optimization.	CoRR	2024	DBLP DOI BibTeX RDF
26	Mahroo Bahreinian, Mehdi Kermanshah, Roberto Tron	Designing Robust Linear Output Feedback Controller based on CLF-CBF framework via Linear~Programming(LP-CLF-CBF).	CoRR	2024	DBLP DOI BibTeX RDF
26	Zili Wang, Sean B. Andersson, Roberto Tron	Lyapunov Neural Network with Region of Attraction Search.	CoRR	2024	DBLP DOI BibTeX RDF
26	Ziqi Yang, Roberto Tron	Enhancing Security in Multi-Robot Systems through Co-Observation Planning, Reachability Analysis, and Network Flow.	CoRR	2024	DBLP DOI BibTeX RDF
26	Danyang Li, Roberto Tron	Multi-class Temporal Logic Neural Networks.	CoRR	2024	DBLP DOI BibTeX RDF
26	Wenliang Liu, Danyang Li, Erfan Aasi, Roberto Tron, Calin Belta	Interpretable Generative Adversarial Imitation Learning.	CoRR	2024	DBLP DOI BibTeX RDF
26	Femke B. Gelderblom, Tron V. Tronstad, Torbjørn Svendsen, Tor André Myrvoll	On the Predictive Power of Objective Intelligibility Metrics for the Subjective Performance of Deep Complex Convolutional Recurrent Speech Enhancement Networks.	IEEE ACM Trans. Audio Speech Lang. Process.	2024	DBLP DOI BibTeX RDF
26	Mehdi Kermanshah, Calin Belta, Roberto Tron	Control-Based Planning over Probability Mass Function Measurements via Robust Linear Programming.	CoRR	2023	DBLP DOI BibTeX RDF
26	Michael E. Napoli, Roberto Tron	Distance-coupling as an Approach to Position and Formation Control.	CoRR	2023	DBLP DOI BibTeX RDF
26	Guang Yang 0018, Mingyu Cai, Ahmad Ahmad, Calin Belta, Roberto Tron	Efficient LQR-CBF-RRT*: Safe and Optimal Motion Planning.	CoRR	2023	DBLP DOI BibTeX RDF
26	Ahmad Ahmad, Cristian-Ioan Vasile, Roberto Tron, Calin Belta	Robustness Measures and Monitors for Time Window Temporal Logic.	CoRR	2023	DBLP DOI BibTeX RDF
26	Kacper Wardega, Max von Hippel, Roberto Tron, Cristina Nita-Rotaru, Wenchao Li 0001	Byzantine Resilience at Swarm Scale: A Decentralized Blocklist Protocol from Inter-robot Accusations.	CoRR	2023	DBLP DOI BibTeX RDF
26	Kacper Wardega, Max von Hippel, Roberto Tron, Cristina Nita-Rotaru, Wenchao Li 0001	HoLA Robots: Mitigating Plan-Deviation Attacks in Multi-Robot Systems with Co-Observations and Horizon-Limiting Announcements.	CoRR	2023	DBLP DOI BibTeX RDF
26	Felix James Pacis, Adrian Ambrus, Sergey Alyaev, Rasool Khosravanian, Tron Golder Kristiansen, Tomasz Wiktorski	Improving predictive models for rate of penetration in real drilling operations through transfer learning.	J. Comput. Sci.	2023	DBLP DOI BibTeX RDF
26	Mahroo Bahreinian, Roberto Tron	Localization Verifiability Under Outlier Measurements With Linear Programming.	IEEE Trans. Control. Netw. Syst.	2023	DBLP DOI BibTeX RDF
26	Arman Karimian, Roberto Tron	Essential Matrix Estimation using Convex Relaxations in Orthogonal Space.	ICCV	2023	DBLP DOI BibTeX RDF
26	Zili Wang, Drew Threatt, Sean B. Andersson, Roberto Tron	Do More with Less: Single-Model, Multi-Goal Architectures for Resource-Constrained Robots.	IROS	2023	DBLP DOI BibTeX RDF
26	Mela C. Coffey, Dawei Zhang 0005, Roberto Tron, Alyssa Pierson	Reactive and Safe Co-Navigation with Haptic Guidance.	IROS	2023	DBLP DOI BibTeX RDF
26	Danyang Li, Mingyu Cai, Cristian-Ioan Vasile, Roberto Tron	Learning Signal Temporal Logic through Neural Network for Interpretable Classification.	ACC	2023	DBLP DOI BibTeX RDF
26	Mehdi Kermanshah, Nguyen Nguyen, Calin Belta, Roberto Tron	Robust Filtering based on Complex Cell Networks from the Visual Cortex.	ACC	2023	DBLP DOI BibTeX RDF
26	Liangting Wu, Roberto Tron	An SDP Optimization Formulation for the Inverse Kinematics Problem.	CDC	2023	DBLP DOI BibTeX RDF
26	Ahmad Ahmad, Cristian-Ioan Vasile, Roberto Tron, Calin Belta	Robustness Measures and Monitors for Time Window Temporal Logic.	CDC	2023	DBLP DOI BibTeX RDF
26	Manfred Klenner, Dylan Massey, Susanna Tron	An Italian Verb Lexicon for Sentiment Inference.	CLiC-it	2023	DBLP BibTeX RDF
26	Kacper Wardega, Max von Hippel, Roberto Tron, Cristina Nita-Rotaru, Wenchao Li 0001	Byzantine Resilience at Swarm Scale: A Decentralized Blocklist Protocol from Inter-robot Accusations.	AAMAS	2023	DBLP BibTeX RDF
26	Kacper Wardega, Max von Hippel, Roberto Tron, Cristina Nita-Rotaru, Wenchao Li 0001	HoLA Robots: Mitigating Plan-Deviation Attacks in Multi-Robot Systems with Co-Observations and Horizon-Limiting Announcements.	AAMAS	2023	DBLP BibTeX RDF
26	Arman Karimian, Roberto Tron	Bearing-Only Navigation With Field of View Constraints.	IEEE Control. Syst. Lett.	2022	DBLP DOI BibTeX RDF
26	Merlin Bardin, Pierre Rousselot-Pailley, Thierry Tron, Viviane Robert	Investigation of dirigent like domains from bacterial genomes.	BMC Bioinform.	2022	DBLP DOI BibTeX RDF
26	Kevin Leahy 0001, Zachary Serlin, Cristian-Ioan Vasile, Andrew Schoer, Austin M. Jones, Roberto Tron, Calin Belta	Scalable and Robust Algorithms for Task-Based Coordination From High-Level Specifications (ScRATCHeS).	IEEE Trans. Robotics	2022	DBLP DOI BibTeX RDF
26	Zili Wang, Sean B. Andersson, Roberto Tron	Bearing-Based Formation Control with Optimal Motion Trajectory.	CoRR	2022	DBLP DOI BibTeX RDF
26	Danyang Li, Mingyu Cai, Cristian-Ioan Vasile, Roberto Tron	Learning Signal Temporal Logic through Neural Network for Interpretable Classification.	CoRR	2022	DBLP DOI BibTeX RDF
26	Mahroo Bahreinian, Marc Mitjans, Roy Xing, Roberto Tron	Sample-Based Output-Feedback Navigation with Bearing Measurements.	CoRR	2022	DBLP DOI BibTeX RDF
26	Max H. Cohen, Calin Belta, Roberto Tron	Robust Control Barrier Functions for Nonlinear Control Systems with Uncertainty: A Duality-based Approach.	CoRR	2022	DBLP DOI BibTeX RDF
26	Logan E. Beaver, Roberto Tron, Christos G. Cassandras	A Graph-Based Approach to Generate Energy-Optimal Robot Trajectories in Polygonal Environments.	CoRR	2022	DBLP DOI BibTeX RDF
26	Ahmad Ahmad, Calin Belta, Roberto Tron	Adaptive Sampling-based Motion Planning with Control Barrier Functions.	CoRR	2022	DBLP DOI BibTeX RDF
26	Alvise de Faveri Tron, Stefano Longari, Michele Carminati, Mario Polino, Stefano Zanero	CANflict: Exploiting Peripheral Conflicts for Data-Link Layer Attacks on Automotive Networks.	CoRR	2022	DBLP DOI BibTeX RDF
26	Marc Mitjans, David M. Levine, Louis N. Awad, Roberto Tron	Koopman pose predictions for temporally consistent human walking estimations.	CoRR	2022	DBLP DOI BibTeX RDF
26	Tron Omland, Pantelimon Stanica	Permutation rotation-symmetric Sboxes, liftings and affine equivalence.	CoRR	2022	DBLP DOI BibTeX RDF
26	Eliot Tron, Nicolas Couellan, Stéphane Puechmorel	Canonical foliations of neural networks: application to robustness.	CoRR	2022	DBLP DOI BibTeX RDF
26	Mahroo Bahreinian, Roberto Tron	Output-Feedback Path Planning with Robustness to State-Dependent Errors.	CoRR	2022	DBLP DOI BibTeX RDF
26	Huynh van Ngai, Huu Tron Nguyen, Nguyen Van Vu, Michel Théra	Variational Analysis of Paraconvex Multifunctions.	J. Optim. Theory Appl.	2022	DBLP DOI BibTeX RDF
26	Tron Omland, Pantelimon Stanica	Permutation rotation-symmetric Sboxes, liftings and affine equivalence.	IACR Cryptol. ePrint Arch.	2022	DBLP BibTeX RDF