Search results for "AMS"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
134	François Pêcheux, Christophe Lallement, Alain Vachoux	VHDL-AMS and Verilog-AMS as alternative hardware description languages for efficient modeling of multidiscipline systems.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2005	DBLP DOI BibTeX RDF
106	Rajdeep Mukhopadhyay, Subrat Kumar Panda, Pallab Dasgupta, John Gough	Instrumenting AMS assertion verification on commercial platforms.	ACM Trans. Design Autom. Electr. Syst.	2009	DBLP DOI BibTeX RDF	OVL, SVA, integrated mixed signal design, verification library, simulation, Assertion
84	Alex Doboli, Ranga Vemuri	Behavioral modeling for high-level synthesis of analog and mixed-signal systems from VHDL-AMS.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2003	DBLP DOI BibTeX RDF
65	Rahul Bhattacharya, Santosh Biswas, Siddhartha Mukhopadhyay	FPGA based chip emulation system for test development and verification of analog and mixed signal circuits (abstract only).	FPGA	2010	DBLP DOI BibTeX RDF	ams testing, concurrent test development, behavioral modeling
62	Michel Vasilevski, François Pêcheux, Nicolas Beilleau, Hassan Aboushady, Karsten Einwich	Modeling and Refining Heterogeneous Systems With SystemC-AMS: Application to WSN.	DATE	2008	DBLP DOI BibTeX RDF
62	Orides Morandin Jr., Edilson R. R. Kato, G. Rodrigo Araújo, V. Luciano Sasso	A modeling strategy for control and interlocking of an AMS using Virtual Petri Nets.	SMC	2007	DBLP DOI BibTeX RDF
62	Mohamed H. Zaki, Ghiath Al Sammane, Sofiène Tahar, Guy Bois	Combining Symbolic Simulation and Interval Arithmetic for the Verification of AMS Designs.	FMCAD	2007	DBLP DOI BibTeX RDF
62	Junzhou Luo, Aibo Song, Ye Zhu, Xiaopeng Wang, Teng Ma, Zhiang Wu 0001, Yaobin Xu, Liang Ge	Grid Supporting Platform for AMS Data Processing.	ISPA Workshops	2005	DBLP DOI BibTeX RDF
62	J. A. López, Ginés Doménech, R. Ruiz, Tom J. Kazmierski	Automated high level synthesis of hardware building blocks present in ART-based neural networks, from VHDL-AMS descriptions.	ISCAS (4)	2002	DBLP DOI BibTeX RDF
60	Eduard Moser, Norbert Mittwollen	VHDL-AMS: The Missing Link in System Design - Experiments with Unified Modelling in Automotive Engineering.	DATE	1998	DBLP DOI BibTeX RDF	Mixed-Domain Modelling, Mixed-Domain Simulation, Automotive Engineering, VHDL-AMS
60	Patrick C. K. Hung, Kamalakar Karlapalem	A Paradigm for Security Enforcement in CapBasED-AMS.	CoopIS	1997	DBLP DOI BibTeX RDF	security enforcement paradigm, CapBasED-AMS, capability-based event-driven activity management system, activity execution, problem-solving agent, multiple interdependent tasks, task execution, unauthorized modification, pilferage, illegal privacy violation, specification-time data, compile-time data, run-time data, system infrastructure, secure match-making, security constraints, task coordination model, security resource control, role-based resource security model, security policies, task scheduling, security of data, security threats, unauthorized access
56	Jun-Song Wang, Zhiwei Gao 0001, Ning-Shou Xu	A Novel Associative Memory System Based Modeling and Prediction of TCP Network Traffic.	ISNN (1)	2007	DBLP DOI BibTeX RDF
54	David Walter, Scott Little, Nicholas Seegmiller, Chris J. Myers, Tomohiro Yoneda	Symbolic Model Checking of Analog/Mixed-Signal Circuits.	ASP-DAC	2007	DBLP DOI BibTeX RDF	analog/mixed-signal circuits, Boolean based symbolic model checking algorithm, VHDL-AMS description, labeled hybrid Petri nets, Boolean signals, temporal logic formulas, timed CTL, Boolean variables, Boolean function, binary decision diagram, hardware description language
51	Tom J. Kazmierski	A Formal Description of VHDL-AMS Analogue Systems.	DATE	1998	DBLP DOI BibTeX RDF
49	Alex Doboli, Nagu R. Dhanwada, Adrián Núñez-Aldana, Ranga Vemuri	A two-layer library-based approach to synthesis of analog systems from VHDL-AMS specifications.	ACM Trans. Design Autom. Electr. Syst.	2004	DBLP DOI BibTeX RDF	genetic algorithms, branch-and-bound, performance estimation, VHDL-AMS, Analog synthesis
49	C. T. Carr, T. Martin McGinnity, L. J. McDaid	Integration of UML and VHDL-AMS for analogue system modelling.	Formal Aspects Comput.	2004	DBLP DOI BibTeX RDF	Analogue, Automated mapping, UML, Circuits, VHDL-AMS
47	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
44	David Walter, Scott Little, Chris J. Myers	Bounded Model Checking of Analog and Mixed-Signal Circuits Using an SMT Solver.	ATVA	2007	DBLP DOI BibTeX RDF
44	Marisa Luisa López-Vallejo, Carlos Angel Iglesias, Juan Carlos López 0001	A Knowledge-based System for Hardware-Software Partitioning.	DATE	1998	DBLP DOI BibTeX RDF
43	B. Lorente, Raul Aragonés, Joan Oliver, Carles Ferrer 0001	Behavioural modelling and simulation for heterogeneous design applied to aerospace inertial microinstrumentation development.	SCSC	2007	DBLP BibTeX RDF	smart inertial sensors, UML, design methodology, behavioral modeling, distributed architecture, VHDL-AMS
42	Alex Fuerbach, Gayathri Bharathan, Toney Teddy-Fernández, Martin Ams	Fabrication of Gratings in Mid-Infrared Compatible Fibres via Femtosecond Laser Direct Inscription.	ICTON	2019	DBLP DOI BibTeX RDF
42	Martin Ams, Peter Ha, Shima Taheri, Simon Martin Clark, Michael J. Withford, Heriberto Bustamante, Jose Gonzalez, Louisa Vorreiter	Fibre optic temperature and humidity sensors for harsh wastewater environments.	ICST	2017	DBLP DOI BibTeX RDF
42	Alex Fuerbach, Sergei Antipov, Robert Williams, Martin Ams, Michael J. Withford	Femtosecond direct-writing of low-loss fibre Bragg gratings with arbitrary reflection and dispersion profiles.	ICTON	2015	DBLP DOI BibTeX RDF
42	Daniel Schoerling, Chris Van Kleeck, Farbod Fahimi, Charles Robert Koch, Alfons Ams, Peter Löber	Experimental test of a robust formation controller for marine unmanned surface vessels.	Auton. Robots	2010	DBLP DOI BibTeX RDF
42	Norhashimah Morad, Ams Zalzala	Genetic algorithms in integrated process planning and scheduling.	J. Intell. Manuf.	1999	DBLP DOI BibTeX RDF
42	Alfons Ams	Parameterschätzverfahren mit der L∞-Norm zur Systemidentifikation und -überwachung.		1988	RDF
39	Sri Chandra	Driving Analog Mixed Signal Verification through Verilog-AMS.	VLSI Design	2008	DBLP DOI BibTeX RDF
39	Marco Crepaldi, Mario R. Casu, Mariagrazia Graziano, Maurizio Zamboni	An effective AMS top-down methodology applied to the design of a mixed-signal UWB system-on-chip.	DATE	2007	DBLP DOI BibTeX RDF
39	Ginés Doménech-Asensi, José-Alejandro López Alcantud, Ramón Ruiz Merino	Description and Simulation of Bio-inspired Systems Using VHDL-AMS.	IWINAC (2)	2005	DBLP DOI BibTeX RDF
39	Fazrena A. Hamid, Tom J. Kazmierski	Synthesis and optimization of analog VLSI filters from VHDL-AMS parse trees.	ISCAS (1)	2002	DBLP DOI BibTeX RDF
39	Ashraf Salem	Semi-formal verification of VHDL-AMS descriptions.	ISCAS (5)	2002	DBLP DOI BibTeX RDF
39	Jochen Mades, Diana Estévez Schwarz, Manfred Glesner	A discrete algorithm for the regularization of hierarchical VHDL-AMS models.	ISCAS (5)	2002	DBLP DOI BibTeX RDF
39	Liyi Xiao, Bin Li, Yizheng Ye, Guoyong Huang, JinJun Guo, Peng Zhang	A mixed-signal simulator for VHDL-AMS.	ASP-DAC	2001	DBLP DOI BibTeX RDF
39	Karim S. Karim, Peyman Servati, N. Mohan, Arokia Nathan, John A. Rowlands	VHDL-AMS modeling and simulation of a passive pixel sensor in a-Si: H technology for medical imaging.	ISCAS (5)	2001	DBLP DOI BibTeX RDF
39	Eleanna Kafeza, Kamalakar Karlapalem	Speeding Up CapBasED-AMS Activities through Multi-Agent Scheduling.	MABS	2000	DBLP DOI BibTeX RDF
39	Shenggao Li, Brian Okoon, Mona Mostafa Hella, Mohammed Ismail 0001, Maya Rubeiz	The Implementation of a VHDL-AMS to SPICE Converter.	J. VLSI Signal Process.	1999	DBLP DOI BibTeX RDF
38	Mariagrazia Graziano, Massimo Ruo Roch	An Automotive CD-Player Electro-Mechanics Fault Simulation Using VHDL-AMS.	J. Electron. Test.	2008	DBLP DOI BibTeX RDF	Automotive electro-mechanical test, Fault simulation, VHDL-AMS
35	Martin Soika	Gitterkartenbasierte Fehlererkennung und Kalibrierung für Umgebungsensoren autonomer mobiler Systeme (AMS).	AMS	1996	DBLP DOI BibTeX RDF
34	Bethany A. Van Dort, Jonathan Penm, Angus Ritchie, Timothy J. Gray, Amrita Ronnachit, Melissa T. Baysari	Antimicrobial Stewardship (AMS) During COVID-19: Eyes and Ears on the AMS Team.	CSHI	2023	DBLP DOI BibTeX RDF
34	Vladimir A. Zivkovic, Michele Palazzi, Ming Chuen Alvan Lam, Mogens Isager	AMS Test Vector Generation using AMS Verification and IEEE P1687.2.	ETS	2022	DBLP DOI BibTeX RDF
34	Christoph Koller	Einsatz von AMS-Daten und mapmap.js zur Erstellung von interaktiven, thematischen Karten am Beispiel des WKO Fachkräfte-Radars / Use of AMS Data and mapmap.js for the Creation of Interactive, Thematic Maps Using the WKO Skilled WorkersRadar as an Example.	AGIT Journal Angew. Geoinformatik	2019	DBLP DOI BibTeX RDF
34	Antonio Anastasio Bruto da Costa, Shriya Dharade, Sudipa Mandal, Pallab Dasgupta	AMS-Miner: Mining AMS Assertions Using Interval Arithmetic.	VLSID	2018	DBLP DOI BibTeX RDF
34	Rodrigo Cortés Porto	Integration of SystemC-AMS Simulation Platforms into TTool. (Intégration de Plate-formes de Simulation SystemC-AMS dans TTool).		2018	RDF
34	Liliana Lilibeth Andrade Porras	Principles and implementation of a generic synchronization interface between SystemC AMS models of computation for the virtual prototyping of multi-disciplinary systems. (Principes et réalisation d'une interface de synchronisation interopérable entre modèles de calcul SystemC AMS pour le prototypage virtuel optimisé de systèmes multi-disciplines).		2016	RDF
34	Benoit Vernay	System-level modeling and simulation of microelectromechanical systems for multi-physics virtual prototyping in SystemC-AMS. (Modélisation et simulation haut-niveau de micro-systèmes électromécaniques pour le prototypage virtuel multi-physique en SystemC-AMS).		2016	RDF
34	Subhankar Mukherjee 0001, Pallab Dasgupta, Siddhartha Mukhopadhyay, Scott Little, John Havlicek, Srikanth Chandrasekaran	Synchronizing AMS Assertions with AMS Simulation: From Theory to Practice.	ACM Trans. Design Autom. Electr. Syst.	2012	DBLP DOI BibTeX RDF
34	Geng Zheng, Saraju P. Mohanty, Elias Kougianos, Oleg Garitselov	Verilog-AMS-PAM: verilog-AMS integrated with parasitic-aware metamodels for ultra-fast and layout-accurate mixed-signal design exploration.	ACM Great Lakes Symposium on VLSI	2012	DBLP DOI BibTeX RDF
34	Erik Markert, Sven Kühn, Jan Langer, Göran Herrmann, Ulrich Heinkel	Ein SystemC-AMS nach VHDL-AMS Konverter.	MBMV	2007	DBLP BibTeX RDF
34	Leran Wang, Chenxu Zhao, Tom J. Kazmierski	An Extension to VHDL-AMS for AMS Systems with Partial Differential Equations.	FDL	2007	DBLP BibTeX RDF
34	Martin Grohe, Johann A. Makowsky (eds.)	Model Theoretic Methods in Finite Combinatorics - AMS-ASL Joint Special Session, Washington, DC, USA, January 5-8, 2009.	AMS-ASL Joint Special Session	2011	DBLP BibTeX RDF
34	Jason P. Bell, Stanley N. Burris, Karen A. Yeats	Spectra and Systems of Equations.	AMS-ASL Joint Special Session	2009	DBLP BibTeX RDF
34	Andreas Blass	Partitions and Permutation Groups.	AMS-ASL Joint Special Session	2009	DBLP BibTeX RDF
34	Gregory L. Cherlin	Two Problems on Homogeneous Structures, Revisited.	AMS-ASL Joint Special Session	2009	DBLP BibTeX RDF
34	Tomer Kotek, Johann A. Makowsky, Boris Zilber	On Counting Generalized Colorings.	AMS-ASL Joint Special Session	2009	DBLP BibTeX RDF
34	Oleg Pikhurko, Oleg Verbitsky 0001	Logical Complexity of Graphs: A Survey.	AMS-ASL Joint Special Session	2009	DBLP BibTeX RDF
34	Eldar Fischer, Tomer Kotek, Johann A. Makowsky	Application of logic to combinatorial sequences and their recurrence relations.	AMS-ASL Joint Special Session	2009	DBLP BibTeX RDF
34	Martin Grohe, Marc Thurley	Counting Homomorphisms and Partition Functions.	AMS-ASL Joint Special Session	2009	DBLP BibTeX RDF
34	Assaf Hasson, Menachem Kojman, Alf Onshuus	On Symmetric Indivisibility of Countable Structures.	AMS-ASL Joint Special Session	2009	DBLP BibTeX RDF
34	Martin Grohe, Stephan Kreutzer	Methods for Algorithmic Meta Theorems.	AMS-ASL Joint Special Session	2009	DBLP BibTeX RDF
34	Jason P. Bell, Stanley N. Burris	Compton's Method for Proving Logical Limit Laws.	AMS-ASL Joint Special Session	2009	DBLP BibTeX RDF
34	Jan Hubicka, Jaroslav Nesetril	Some Examples of Universal and Generic Partial Orders.	AMS-ASL Joint Special Session	2009	DBLP BibTeX RDF
34	Dietrich Kuske	(Un)countable and (Non)effective Versions of Ramsey's Theorem.	AMS-ASL Joint Special Session	2009	DBLP BibTeX RDF
34	Manuel Bodirsky, Michael Pinsker	Reducts of Ramsey Structures.	AMS-ASL Joint Special Session	2009	DBLP BibTeX RDF
33	Vladimir Braverman, Rafail Ostrovsky	Zero-one frequency laws.	STOC	2010	DBLP DOI BibTeX RDF	data streams, randomized algorithms, theory of computation
33	Bin Zhao 0004, Fei Wang 0001, Changshui Zhang, Yangqiu Song	Active model selection for Graph-Based Semi-Supervised Learning.	ICASSP	2008	DBLP DOI BibTeX RDF
33	Amina Asghar, Naveed Iqbal Rao	Color Image Segmentation Using Multilevel Clustering Approach.	DICTA	2008	DBLP DOI BibTeX RDF
33	Yi-Xue Lei, Z.-M. Zeng	QoS-Aware MAP Selection Scheme Based on Average Handover Delay for Multimedia Services in Multi-level HMIPv6 Networks.	International Conference on Computational Science (4)	2007	DBLP DOI BibTeX RDF	Hierarchical Mobile IPv6 (HMIPv6), Mobility Anchor Point (MAP), handover delay, Quality of Service (QoS)
33	Naiqi Wu, MengChu Zhou, Gang Hu	On Petri Net Modeling of Automated ManufacturingSystems.	ICNSC	2007	DBLP DOI BibTeX RDF
33	Naiqi Wu, MengChu Zhou	Modeling and deadlock avoidance of automated manufacturing systems with multiple automated guided vehicles.	IEEE Trans. Syst. Man Cybern. Part B	2005	DBLP DOI BibTeX RDF
33	Robert Ennals, Richard Sharp, Alan Mycroft	Task Partitioning for Multi-core Network Processors.	CC	2005	DBLP DOI BibTeX RDF
33	Michela Dall'Agnol, Alberto Sillitti, Giancarlo Succi	Project Management and Agile Methodologies: A Survey.	XP	2004	DBLP DOI BibTeX RDF
33	Jürgen Tchorz, Birger Kollmeier	SNR estimation based on amplitude modulation analysis with applications to noise suppression.	IEEE Trans. Speech Audio Process.	2003	DBLP DOI BibTeX RDF
33	Jean Oudinot	The Most Complete Mixed-Signal Simulation Solution with ADVance MS.	PATMOS	2003	DBLP DOI BibTeX RDF
33	Mara Nikolaidou, D. Anastasiou, Dimosthenis Anagnostopoulos, Michael Hatzopoulos	Organising and Maintaining Dynamic Digital Collections.	ICADL	2002	DBLP DOI BibTeX RDF
33	Jacek Becla, Andrew Hanushevsky	Creating Large Scale Database Servers.	HPDC	2000	DBLP DOI BibTeX RDF
33	Kaushik Chakrabarti, Sharad Mehrotra	Efficient Concurrency Control in Multidimensional Access Methods.	SIGMOD Conference	1999	DBLP DOI BibTeX RDF
28	Yves Joannon, Vincent Beroulle, Chantal Robach, Smail Tedjini, Jean-Louis Carbonéro	Qualification of behavioral level design validation for AMS & RF SoCs.	VLSI-SoC	2007	DBLP DOI BibTeX RDF
28	Felix Breitenecker, Nikolas Popper	Structure of Simulation Systems for Structural-Dynamic Systems.	Asia International Conference on Modelling and Simulation	2007	DBLP DOI BibTeX RDF
28	Kaiping Zeng, Sorin A. Huss	Architecture refinements by code refactoring of behavioral VHDL-AMS models.	ISCAS	2006	DBLP DOI BibTeX RDF
28	Ming-Ta Hsieh, Gerald E. Sobelman	Modeling and verification of high-speed wired links with Verilog-AMS.	ISCAS	2006	DBLP DOI BibTeX RDF
28	Kaiping Zeng, Sorin A. Huss	RAMS: A VHDL-AMS Code Refactoring Tool Supporting High Level Analog Synthesis.	ISVLSI	2005	DBLP DOI BibTeX RDF
28	Vandana Pursnani Janeja, Vijayalakshmi Atluri, Ahmed Gomaa, Nabil R. Adam, Christof Bornhövd, Tao Lin	DM-AMS: employing data mining techniques for alert management.	DG.O	2005	DBLP BibTeX RDF
28	Hamid Reza Ghasemi, Zainalabedin Navabi	An Effective VHDL-AMS Simulation Algorithm with Event Partitioning.	VLSI Design	2005	DBLP DOI BibTeX RDF
28	Xueqin Yang, Changxing Pei, Changhua Zhu, Yan Li	AMS Based Reconstruction Algorithm with Two-dimensional Threshold for IP Traceback.	PDCAT	2005	DBLP DOI BibTeX RDF
28	B. Hecker, M. Chavassieux, M. Laflutte, E. Beguin, L. Lagasse, Jean Oudinot	VHDL-AMS Library Development for Pacemaker Applications.	DATE	2004	DBLP DOI BibTeX RDF
28	Alain Vachoux, Christoph Grimm 0001, Karsten Einwich	Towards Analog and Mixed-Signal SOC Design with SystemC-AMS.	DELTA	2004	DBLP DOI BibTeX RDF
28	Alain Vachoux, Christoph Grimm 0001, Karsten Einwich	SystemC-AMS Requirements, Design Objectives and Rationale.	DATE	2003	DBLP DOI BibTeX RDF
28	Rami Ahola, Daniel Wallner, Marius Sida	Bluetooth Transceiver Design with VHDL-AMS.	DATE	2003	DBLP DOI BibTeX RDF
28	Jian-Yi Wu, Steven B. Bibyk	Robust design with virtual tests of mixed-signal circuits in VHDL-AMS.	ISCAS (5)	2002	DBLP DOI BibTeX RDF
28	Eleanna Kafeza, Kamalakar Karlapalem	Speeding Up Electronic Commerce Activities Using CapBasED-AMS.	WECWIS	2000	DBLP DOI BibTeX RDF
28	Alex Doboli, Ranga Vemuri	A VHDL-AMS Compiler and Architecture Generator for Behavioral Synthesis of Analog Systems.	DATE	1999	DBLP DOI BibTeX RDF
28	Jianzhong Li 0003, James S. K. Ang, Xuejun Tong, Michel Tueni	AMS: A Declarative Formalism for Hierarchical Representation of Procedural Knowledge.	IEEE Trans. Knowl. Data Eng.	1994	DBLP DOI BibTeX RDF	declarative formalism, Activity Manager System, domain-independent formalism, AMS, knowledge hierarchies, abstract entities, knowledge reusability, MOPA, knowledge representation, knowledge representation, abstraction, software reusability, abstract data types, activity network, hierarchical representation, procedural knowledge
27	Jochen Mades, Manfred Glesner	Regularization of hierarchical VHDL-AMS models using bipartite graphs.	DAC	2002	DBLP DOI BibTeX RDF	structural solvability, regularization, bipartite graphs, VHDL-AMS, DAEs
27	Peter T. Breuer, Natividad Martínez Madrid, Jonathan P. Bowen, Robert B. France, Maria M. Larrondo-Petrie, Carlos Delgado Kloos	Reasoning about VHDL and VHDL-AMS using Denotational Semantics.	DATE	1999	DBLP DOI BibTeX RDF	mixed-signal simulation, Language design, Language semantics, VHDL-AMS
27	Nihal J. Godambe, C.-J. Richard Shi	Behavioral level noise modeling and jitter simulation of phase-locked loops with faults using VHDL-AMS.	VTS	1997	DBLP DOI BibTeX RDF	behavioral level noise modeling, jitter simulation, mixed-signal hardware description language, phase-locked loops, voltage-controlled oscillator, power supply noise, phase noise, VHDL-AMS, catastrophic faults, top down design, integrated circuit noise
22	Peter A. N. Bosman	The anticipated mean shift and cluster registration in mixture-based EDAs for multi-objective optimization.	GECCO	2010	DBLP DOI BibTeX RDF	multi-objective optimization, estimation of distribution algorithms, anticipation, mixture distribution
22	Keyi Xing, MengChu Zhou, Huixia Liu, Feng Tian 0002	Optimal Petri-Net-Based Polynomial-Complexity Deadlock-Avoidance Policies for Automated Manufacturing Systems.	IEEE Trans. Syst. Man Cybern. Part A	2009	DBLP DOI BibTeX RDF
22	Benjamín Cruz, Ricardo Barrón, Humberto Sossa	A New Unsupervised Learning for Clustering Using Geometric Associative Memories.	CIARP	2009	DBLP DOI BibTeX RDF
22	Liming Lu, Mun Choon Chan, Ee-Chien Chang	A general model of probabilistic packet marking for IP traceback.	AsiaCCS	2008	DBLP DOI BibTeX RDF	probabilistic packet marking (PPM), random packet marking (RPM), network security, entropy, DDoS, IP traceback
22	Luís Moniz Pereira, Alexandre Miguel Pinto	Approved Models for Normal Logic Programs.	LPAR	2007	DBLP DOI BibTeX RDF