Search results for "DDDs"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
85	C.-J. Richard Shi, Sheldon X.-D. Tan	Compact representation and efficient generation of s-expandedsymbolic network functions for computer-aided analog circuit design.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2001	DBLP DOI BibTeX RDF
85	Jesper B. Møller, Jakob Lichtenberg, Henrik Reif Andersen, Henrik Hulgaard	Difference Decision Diagrams.	CSL	1999	DBLP DOI BibTeX RDF
79	María Alpuente, Moreno Falaschi, Alicia Villanueva	A Symbolic Model Checker for tccp Programs.	RISE	2004	DBLP DOI BibTeX RDF	Timed Concurrent Constraint Programs, DDDs, Model Checking, Lightweight formal methods
68	Michael Mealling	Dynamic Delegation Discovery System (DDDS) Part One: The Comprehensive DDDS.	RFC	2002	DBLP DOI BibTeX RDF
34	Scott O. Bradner, Lawrence Conroy, Kazunori Fujiwara	The E.164 to Uniform Resource Identifiers (URI) Dynamic Delegation Discovery System (DDDS) Application (ENUM).	RFC	2011	DBLP DOI BibTeX RDF
34	Jason Livingood, Penn Pfautz, Richard Stastny	The E.164 to Uniform Resource Identifiers (URI) Dynamic Delegation Discovery System (DDDS) Application for Infrastructure ENUM.	RFC	2009	DBLP DOI BibTeX RDF
34	Leslie Daigle	Domain-Based Application Service Location Using URIs and the Dynamic Delegation Discovery Service (DDDS).	RFC	2007	DBLP DOI BibTeX RDF
34	Leslie Daigle, Andrew Newton	Domain-Based Application Service Location Using SRV RRs and the Dynamic Delegation Discovery Service (DDDS).	RFC	2005	DBLP DOI BibTeX RDF
34	Patrik Fältström, Michael Mealling	The E.164 to Uniform Resource Identifiers (URI) Dynamic Delegation Discovery System (DDDS) Application (ENUM).	RFC	2004	DBLP DOI BibTeX RDF
34	Michael Mealling	Dynamic Delegation Discovery System (DDDS) Part Two: The Algorithm.	RFC	2002	DBLP DOI BibTeX RDF
34	Michael Mealling	Dynamic Delegation Discovery System (DDDS) Part Three: The Domain Name System (DNS) Database.	RFC	2002	DBLP DOI BibTeX RDF
34	Michael Mealling	Dynamic Delegation Discovery System (DDDS) Part Five: URI.ARPA Assignment Procedures.	RFC	2002	DBLP DOI BibTeX RDF
34	Michael Mealling	Dynamic Delegation Discovery System (DDDS) Part Four: The Uniform Resource Identifiers (URI).	RFC	2002	DBLP DOI BibTeX RDF
21	Sagar Chaki, Arie Gurfinkel, Ofer Strichman	Decision diagrams for linear arithmetic.	FMCAD	2009	DBLP DOI BibTeX RDF
21	Minghui Yang	Using data driven simulation to build inventory model.	WSC	2008	DBLP DOI BibTeX RDF
21	Huiying Yang, Ranga Vemuri	Efficient Symbolic Sensitivity based Parasitic-Inclusive Optimization in Layout Aware Analog Circuit Synthesis.	VLSI Design	2007	DBLP DOI BibTeX RDF
21	Sheldon X.-D. Tan, Weikun Guo, Zhenyu Qi	Hierarchical approach to exact symbolic analysis of large analog circuits.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2005	DBLP DOI BibTeX RDF
21	Huiying Yang, Anuradha Agarwal, Ranga Vemuri	Fast Analog Circuit Synthesis Using Multiparameter Sensitivity Analysis Based on Element-Coefficient Diagrams.	ISVLSI	2005	DBLP DOI BibTeX RDF
21	Huiying Yang, Mukesh Ranjan, Wim Verhaegen, Mengmeng Ding, Ranga Vemuri, Georges G. E. Gielen	Efficient symbolic sensitivity analysis of analog circuits using element-coefficient diagrams.	ASP-DAC	2005	DBLP DOI BibTeX RDF
21	Fuzhi Wang, Marta Z. Kwiatkowska	An MTBDD-Based Implementation of Forward Reachability for Probabilistic Timed Automata.	ATVA	2005	DBLP DOI BibTeX RDF
21	Sheldon X.-D. Tan, C.-J. Richard Shi	Efficient approximation of symbolic expressions for analog behavioral modeling and analysis.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2004	DBLP DOI BibTeX RDF
21	Sheldon X.-D. Tan, Weikun Guo, Zhenyu Qi	Hierarchical approach to exact symbolic analysis of large analog circuits.	DAC	2004	DBLP DOI BibTeX RDF	MEMS and/or RF design tools, behavioral modeling, analog, circuit simulation, symbolic analysis, mixed-signal
21	Jesper B. Møller	DDDLIB: A Library for Solving Quantified Difference Inequalities.	CADE	2002	DBLP DOI BibTeX RDF
21	Xiang-Dong Tan, C.-J. Richard Shi	Interpretable Symbolic Small-Signal Characterization of Large Analog Circuits using Determinant Decision Diagrams.	DATE	1999	DBLP DOI BibTeX RDF