Search results for "FMA"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
132	Fred G. Gustavson, José E. Moreira, Robert F. Enenkel	The fused multiply-add instruction leads to algorithms for extended-precision floating point: applications to java and high-performance computing.	CASCON	1999	DBLP BibTeX RDF	Java
114	Eric Quinnell, Earl E. Swartzlander Jr., Carl Lemonds	Bridge Floating-Point Fused Multiply-Add Design.	IEEE Trans. Very Large Scale Integr. Syst.	2008	DBLP DOI BibTeX RDF
114	Yevgen Voronenko, Markus Püschel	Mechanical Derivation of Fused Multiply-Add Algorithms for Linear Transforms.	IEEE Trans. Signal Process.	2007	DBLP DOI BibTeX RDF
83	Yohta Yamamoto, Kenji Kure, Takayoshi Iwai, Takefumi Kanda, Koichi Suzumori	Flexible displacement sensor using piezoelectric polymer for intelligent FMA.	IROS	2007	DBLP DOI BibTeX RDF
76	Mahmoud A. Manzoul, Jia-Yuan Han	Realization of a multi-valued inner product step processor using CCD's (abstract only).	ACM Conference on Computer Science	1987	DBLP DOI BibTeX RDF
67	Su-Shing Chen	Fusion of Multimedia Information in Biomedicine.	PCM	2007	DBLP DOI BibTeX RDF	CBO, FMA, Ontology, information fusion, GO
61	Manuela-Luminita Bujorianu, Michael Fisher 0001 (eds.)	Proceedings FM-09 Workshop on Formal Methods for Aerospace, FMA 2009, Eindhoven, The Netherlands, 3rd November 2009.	FMA	2009	DBLP DOI BibTeX RDF
61	Julien Forget, Frédéric Boniol, David Lesens, Claire Pagetti	Implementing Multi-Periodic Critical Systems: from Design to Code Generation	FMA	2009	DBLP DOI BibTeX RDF
61	Piotr Kordy, Rom Langerak, Jan Willem Polderman	Re-verification of a Lip Synchronization Protocol using Robust Reachability	FMA	2009	DBLP DOI BibTeX RDF
61	Mariken H. C. Everdij, Henk A. P. Blom	Bisimulation Relations Between Automata, Stochastic Differential Equations and Petri Nets	FMA	2009	DBLP DOI BibTeX RDF
61	Gopinadh Sirigineedi, Antonios Tsourdos, Brian A. White, Rafal Zbikowski	Modelling and Verification of Multiple UAV Mission Using SMV	FMA	2009	DBLP DOI BibTeX RDF
61	Loïc Besnard, Thierry Gautier, Julien Ouy, Jean-Pierre Talpin, Jean-Paul Bodeveix, Alexandre Cortier, Marc Pantel, Martin Strecker, Gérald Garcia, Ana-Elena Rugina, Jérémy Buisson, Fabien Dagnat	Polychronous Interpretation of Synoptic, a Domain Specific Modeling Language for Embedded Flight-Software	FMA	2009	DBLP DOI BibTeX RDF
61	Emil Vassev, Mike Hinchey	Developing Experimental Models for NASA Missions with ASSL	FMA	2009	DBLP DOI BibTeX RDF
61	Louise A. Dennis, Michael Fisher 0001, Nicholas Lincoln, Alexei Lisitsa 0001, Sandor M. Veres	Agent Based Approaches to Engineering Autonomous Space Software	FMA	2009	DBLP DOI BibTeX RDF
61	Mircea Lazar	Flexible Lyapunov Functions and Applications to Fast Mechatronic Systems	FMA	2009	DBLP DOI BibTeX RDF
61	Alessandro Cimatti, Marco Roveri, Angelo Susi, Stefano Tonetta	Formalization and Validation of Safety-Critical Requirements	FMA	2009	DBLP DOI BibTeX RDF
61	Howard Barringer, Alex Groce, Klaus Havelund, Margaret H. Smith	An Entry Point for Formal Methods: Specification and Analysis of Event Logs	FMA	2009	DBLP DOI BibTeX RDF
58	Zichu Qi, Qi Guo 0001, Ge Zhang 0007, Xiangku Li, Weiwu Hu	Design of Low-Cost High-Performance Floating-Point Fused Multiply-Add with Reduced Power.	VLSI Design	2010	DBLP DOI BibTeX RDF	FMA, dual-path FMA, low-power design
57	Shuichi Wakimoto, Keiko Ogura, Koichi Suzumori, Yasutaka Nishioka	Miniature soft hand with curling rubber pneumatic actuators.	ICRA	2009	DBLP DOI BibTeX RDF
57	Yun Ji Na, Il Seok Ko, Gun Heui Han	A Design of the Flexible Mobile Agents Based on Web.	ICCSA (5)	2006	DBLP DOI BibTeX RDF	Security, Mobile Agent, Intelligent Agent, Flexibility
57	Barry Smith 0001, José L. V. Mejino Jr., Stefan Schulz 0001, Anand Kumar 0005, Cornelius Rosse	Anatomical Information Science.	COSIT	2005	DBLP DOI BibTeX RDF
48	Keith Rennolls	A Partial Ontology for Forest Inventory and Mensuration.	DEXA Workshops	2005	DBLP DOI BibTeX RDF	restricted, caltalogue, e-IO, FIM, FSCTK, FMA, ontology, thesaurus, vocabulary
38	António L. Furtado 0001, Marco A. Casanova, Karin Koogan Breitman, Simone Diniz Junqueira Barbosa	A Frame Manipulation Algebra for ER Logical Stage Modelling.	ER	2009	DBLP DOI BibTeX RDF	abstract data types, Frames, algebra, semi-structured data
38	Jae Keun Park, Sung Je Hong, Jong Kim 0001	Mobile Multicast Routing Protocol Using Prediction of Dwelling Time of a Mobile Host.	ICN (2)	2005	DBLP DOI BibTeX RDF
29	Keith Rennolls	An Architectural Design for a Forest Information and Communications Portal (FICP).	DEXA Workshops	2005	DBLP DOI BibTeX RDF	EFIS, NEFIS, incommensurate, FSCTK, FMA, FICP, communication, metadata, system, conversion, information, portal, platform, data, harmonization, forest, catalogue
26	Geunhyuk Youk, Jihyong Oh, Munchurl Kim	FMA-Net: Flow-Guided Dynamic Filtering and Iterative Feature Refinement with Multi-Attention for Joint Video Super-Resolution and Deblurring.	CoRR	2024	DBLP DOI BibTeX RDF
26	Syed Ismail Abdul Lathif, J. Cruz Antony, V. Noel Jeygar Robert, D. Aishwarya	Optimize and analysis of drilling PMSM using hybrid technique based on BN, FFT, FCE, and FMA for risk assessment.	J. Intell. Fuzzy Syst.	2023	DBLP DOI BibTeX RDF
26	Hongbing Tan, Gan Tong, Libo Huang, Liquan Xiao, Nong Xiao	Multiple-Mode-Supporting Floating-Point FMA Unit for Deep Learning Processors.	IEEE Trans. Very Large Scale Integr. Syst.	2023	DBLP DOI BibTeX RDF
26	John Osorio Ríos, Adrià Armejach, Eric Petit 0002, Greg Henry, Marc Casas	A BF16 FMA is All You Need for DNN Training.	IEEE Trans. Emerg. Top. Comput.	2022	DBLP DOI BibTeX RDF
26	John Osorio Ríos, Adrià Armejach, Eric Petit 0002, Greg Henry, Marc Casas	A BF16 FMA is All You Need for DNN Training.	ARITH	2022	DBLP DOI BibTeX RDF
26	Yiwen Sun, Yulu Wang, Kun Fu 0002, Zheng Wang 0010, Ziang Yan, Changshui Zhang, Jieping Ye	FMA-ETA: Estimating Travel Time Entirely Based on FFN with Attention.	ICASSP	2021	DBLP DOI BibTeX RDF
26	Tomoya Akabe, Renyuan Zhang, Yasuhiko Nakashima	Speeding Up of CGRAs by Reshaping and Stochastic FMA.	CANDAR (Workshops)	2021	DBLP DOI BibTeX RDF
26	Sandra Jean, Aneesh Raveendran, A. David Selvakumar, Gagandeep Kaur, Shankar G. Dharani, Shashikala Gunderao Pattanshetty, Vivian Desalphine	P-FMA: A Novel Parameterized Posit Fused Multiply-Accumulate Arithmetic Processor.	VLSID	2021	DBLP DOI BibTeX RDF
26	Nikhil Kapoor, Chun Yuan, Jonas Löhdefink, Roland Zimmermann 0002, Serin Varghese, Fabian Hüger, Nico M. Schmidt, Peter Schlicht, Tim Fingscheidt	A Self-Supervised Feature Map Augmentation (FMA) Loss and Combined Augmentations Finetuning to Efficiently Improve the Robustness of CNNs.	CoRR	2020	DBLP BibTeX RDF
26	Yiwen Sun, Yulu Wang, Kun Fu 0002, Zheng Wang 0010, Ziang Yan, Changshui Zhang, Jieping Ye	FMA-ETA: Estimating Travel Time Entirely Based on FFN With Attention.	CoRR	2020	DBLP BibTeX RDF
26	Nikhil Kapoor, Chun Yuan, Jonas Löhdefink, Roland Zimmermann 0002, Serin Varghese, Fabian Hüger, Nico M. Schmidt, Peter Schlicht, Tim Fingscheidt	A Self-Supervised Feature Map Augmentation (FMA) Loss and Combined Augmentations Finetuning to Efficiently Improve the Robustness of CNNs.	CSCS	2020	DBLP DOI BibTeX RDF
26	Hotaka Yagi, Emiko Ishiwata, Hidehiko Hasegawa	Acceleration of Interactive Multiple Precision Arithmetic Toolbox MuPAT Using FMA, SIMD, and OpenMP.	PARCO	2019	DBLP DOI BibTeX RDF
26	Claude-Pierre Jeannerod, Peter Kornerup, Nicolas Louvet, Jean-Michel Muller	Error bounds on complex floating-point multiplication with an FMA.	Math. Comput.	2017	DBLP DOI BibTeX RDF
26	Michaël Defferrard, Kirell Benzi, Pierre Vandergheynst, Xavier Bresson	FMA: A Dataset For Music Analysis.		2017	DOI RDF
26	Michaël Defferrard, Kirell Benzi, Pierre Vandergheynst, Xavier Bresson	FMA: A Dataset for Music Analysis.	ISMIR	2017	DBLP BibTeX RDF
26	Christoph Quirin Lauter	An efficient software implementation of correctly rounded operations extending FMA: A + b + c and a × b + c × d.	ACSSC	2017	DBLP DOI BibTeX RDF
26	Susumu Yamada, Toshiyuki Imamura, Takuya Ina, Narimasa Sasa, Yasuhiro Idomura, Masahiko Machida	Quadruple-Precision BLAS Using Bailey's Arithmetic with FMA Instruction: Its Performance and Applications.	IPDPS Workshops	2017	DBLP DOI BibTeX RDF
26	Kirell Benzi, Michaël Defferrard, Pierre Vandergheynst, Xavier Bresson	FMA: A Dataset For Music Analysis.	CoRR	2016	DBLP BibTeX RDF
26	Akira Wada, Hidehiro Kametani, Koichi Suzumori, Shuichi Wakimoto	Development of a Hose-Free FMA Driven by a Built-In Gas/Liquid Chemical Reactor.	Int. J. Autom. Technol.	2016	DBLP DOI BibTeX RDF
26	Lucy Lu Wang, Eli Grunblatt, Mark Whipple	Auditing tree-like organ systems in the FMA using network motifs.	AMIA	2016	DBLP BibTeX RDF
26	Yasar Khan, Muntazir Mehdi, Alokkumar Jha, Saleem Raza, André Freitas, Marggie Jones, Ratnesh Sahay	Extending inner-ear anatomical concepts in the Foundational Model of Anatomy (FMA) ontology.	BIBE	2015	DBLP DOI BibTeX RDF
26	Jean Charlet, Laurent Mazuel, Gunnar Declerck, Patrick Miroux, Pierre Gayet	Décrire les maladies localisées et la physiopathologie pour une ontologie des urgences : un algorithme générique à partir de la FMA.	IC	2014	DBLP BibTeX RDF
26	Guangyu Dong, Kai Lin, Keqiu Li, Huayong Luo, Xiangwen Zhang	FMA-RRSS: Fingerprint Matching Algorithm Based on Relative Received Signal Strength in Indoor Wi-Fi Positioning.	CSE	2014	DBLP DOI BibTeX RDF
26	Jean Charlet, Laurent Mazuel, Gunnar Declerck, Patrick Miroux, Pierre Gayet	Describing Localized Diseases in Medical Ontology: An FMA-based Algorithm.	MIE	2014	DBLP DOI BibTeX RDF
26	Lingyun Luo, José L. V. Mejino Jr., Guo-Qiang Zhang 0001	An analysis of FMA using structural self-bisimilarity.	J. Biomed. Informatics	2013	DBLP DOI BibTeX RDF
26	Claude-Pierre Jeannerod, Nicolas Louvet, Jean-Michel Muller	On the Componentwise Accuracy of Complex Floating-Point Division with an FMA.	IEEE Symposium on Computer Arithmetic	2013	DBLP DOI BibTeX RDF
26	Jeff Z. Pan, Yuan Ren 0001, Nophadol Jekjantuk, Jhonatan Garcia	Reasoning the FMA Ontologies with TrOWL.	ORE	2013	DBLP BibTeX RDF
26	Libo Huang, Sheng Ma, Li Shen 0007, Zhiying Wang 0003, Nong Xiao	Low-Cost Binary128 Floating-Point FMA Unit Design with SIMD Support.	IEEE Trans. Computers	2012	DBLP DOI BibTeX RDF
26	Christopher Harrison, Devin Cook, Robert McGraw, John A. Hamilton Jr.	Constructing a Cloud-Based IDS by Merging VMI with FMA.	TrustCom	2012	DBLP DOI BibTeX RDF
26	Guo-Qiang Zhang 0001, Lingyun Luo, Chimezie Thomas-Ogbuji, Cliff A. Joslyn, José Leonardo Villaraza Mejino Jr., Satya Sanket Sahoo	An Analysis of Multi-type Relational Interactions in FMA Using Graph Motifs with Disjointness Constraints.	AMIA	2012	DBLP BibTeX RDF
26	Zekeriya Uykan	Stabilizing Relaxed Nonlinear FMA Yields a (Combinatorial) Optimizer.	ICONIP (1)	2012	DBLP DOI BibTeX RDF
26	Sylvie Boldo, Jean-Michel Muller	Exact and Approximated Error of the FMA.	IEEE Trans. Computers	2011	DBLP DOI BibTeX RDF
26	Sameh Galal, Mark Horowitz	Latency Sensitive FMA Design.	IEEE Symposium on Computer Arithmetic	2011	DBLP DOI BibTeX RDF
26	Christine Golbreich, Julien Grosjean, Stéfan Jacques Darmoni	The FMA in OWL 2.	AIME	2011	DBLP DOI BibTeX RDF
26	Nicolas Louvet, Jean-Michel Muller, Adrien Panhaleux	Newton-Raphson algorithms for floating-point division using an FMA.	ASAP	2010	DBLP DOI BibTeX RDF
26	Huanying Helen Gu, Duo Helen Wei, José L. V. Mejino Jr., Gai Elhanan	Relationship auditing of the FMA ontology.	J. Biomed. Informatics	2009	DBLP DOI BibTeX RDF
26	Kresimir Petrinec, Eric Savitsky, Adam Stark	The FMA Database Browser: A Key Component of an Interactive Image Visualization Pipeline.	MMVR	2009	DBLP DOI BibTeX RDF
26	Sylvie Boldo, Guillaume Melquiond	Emulation of a FMA and Correctly Rounded Sums: Proved Algorithms Using Rounding to Odd.	IEEE Trans. Computers	2008	DBLP DOI BibTeX RDF	Verification, Computer arithmetic
26	José L. V. Mejino Jr., Daniel L. Rubin, James F. Brinkley	FMA-RadLex: An Application Ontology of Radiological Anatomy derived from the Foundational Model of Anatomy Reference Ontology.	AMIA	2008	DBLP BibTeX RDF
26	Kenji Kure, Takefumi Kanda, Koichi Suzumori, Shuichi Wakimoto	Intelligent FMA using Flexible Displacement Sensor with Paste Injection.	ICRA	2006	DBLP DOI BibTeX RDF
26	Alan Au, Xiang Li, John H. Gennari	Differences Among Cell-structure Ontologies: FMA, GO, & CCO.	AMIA	2006	DBLP BibTeX RDF
26	Olivier Bodenreider, Songmao Zhang	Comparing the Representation of Anatomy in the FMA and SNOMED CT.	AMIA	2006	DBLP BibTeX RDF
26	Jaafar Alghazo, Nazeih Botros	Modeling and Synthesis of a Modified Floating Point Fused Multiply-Add (FMA) Arithmetic Unit Using VHDL and FPGAs.	CDES	2005	DBLP BibTeX RDF
26	L. J. M. Carrera, J. A. M. Nijhof, Ramjee Prasad	A proposal of a new MAC layer for FMA 1.	PIMRC	1998	DBLP DOI BibTeX RDF
26	Eric Jui-Lin Lu, Daniel I. Okunbor	An Efficient Load Balancing Technique for Parallel FMA in Message Passing Environment.	PPSC	1997	DBLP BibTeX RDF
26	Koichi Suzumori	FMA hand.	Adv. Robotics	1993	DBLP DOI BibTeX RDF
19	Heiner Stuckenschmidt, Christine Parent, Stefano Spaccapietra	Introduction to Part II.	Modular Ontologies	2009	DBLP DOI BibTeX RDF
19	Manuel Möller, Sven Regel, Michael Sintek	RadSem: Semantic Annotation and Retrieval for Medical Images.	ESWC	2009	DBLP DOI BibTeX RDF
19	Jetendr Shamdasani, Tamas Hauer, Peter Bloodsworth, Andrew Branson, Mohammed Odeh, Richard McClatchey	Semantic Matching Using the UMLS.	ESWC	2009	DBLP DOI BibTeX RDF
19	Boris Motik, Bernardo Cuenca Grau, Ulrike Sattler	Structured objects in owl: representation and reasoning.	WWW	2008	DBLP DOI BibTeX RDF	structured objects, description logics, owl
19	Xiang Sean Zhou, Sonja Zillner, Manuel Möller, Michael Sintek, Yiqiang Zhan, Arun Krishnan, Alok Gupta	Semantics and CBIR: a medical imaging perspective.	CIVR	2008	DBLP DOI BibTeX RDF	ontology, semantics, image retrieval, medical image analysis
19	Nahid Saberi, Mark Coates	Minimum Rejection Scheduling in All-Photonic Networks.	BROADNETS	2006	DBLP DOI BibTeX RDF
19	Silvia M. Müller, Christian Jacobi 0002, Hwa-Joon Oh, Kevin D. Tran, Scott R. Cottier, Brad W. Michael, Hiroo Nishikawa, Yonetaro Totsuka, Tatsuya Namatame, Naoka Yano, Takashi Machida, Sang H. Dhong	The Vector Floating-Point Unit in a Synergistic Processor Element of a CELL Processor.	IEEE Symposium on Computer Arithmetic	2005	DBLP DOI BibTeX RDF
19	Hiroshi Saito, Kenshu Seto, Yoshihisa Kojima, Satoshi Komatsu, Masahiro Fujita	Engineering Changes in Field Modifiable Architectures.	MEMOCODE	2003	DBLP DOI BibTeX RDF
19	Ren-Cang Li, Sylvie Boldo, Marc Daumas	Theorems on Efficient Argument Reductions.	IEEE Symposium on Computer Arithmetic	2003	DBLP DOI BibTeX RDF
19	Mikio Takeuchi, Hideaki Komatsu, Toshio Nakatani	A new speculation technique to optimize floating-point performance while preserving bit-by-bit reproducibility.	ICS	2003	DBLP DOI BibTeX RDF	bit-by-bit reproducibility, floating-point speculation, fused multiply-add, reassociation, striding, Java, prefetching, accuracy, instruction-level parallelism, software pipelining, just-in-time compiler, loop unrolling, privatization, IA-64, IEEE 754
19	Masahiro Fujita, Satoshi Komatsu, Hiroshi Saito, Kenshu Seto, Thanyapat Sakunkonchak, Yoshihisa Kojima	Field Modifiable Architecture with FPGAs and its Design/Verification/Debugging Methodologies.	HICSS	2003	DBLP DOI BibTeX RDF
19	Jin Park, Young-Joo Suh, Shin-Gak Kang	Supporting Mobile Multicast in Mobile Networks by Considering Host Mobility.	IDMS/PROMS	2002	DBLP DOI BibTeX RDF
19	Ajay Naini, Atul Dhablania, Warren James, Debjit Das Sarma	1-GHz HAL SPARC64 Dual Floating Point Unit with RAS Features.	IEEE Symposium on Computer Arithmetic	2001	DBLP DOI BibTeX RDF