|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 7 occurrences of 7 keywords
|
|
|
Results
Found 24 publication records. Showing 24 according to the selection in the facets
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. ![In: IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 20(7), pp. 813-827, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
85 | Jesper B. Møller, Jakob Lichtenberg, Henrik Reif Andersen, Henrik Hulgaard |
Difference Decision Diagrams. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: Computer Science Logic, 13th International Workshop, CSL '99, 8th Annual Conference of the EACSL, Madrid, Spain, September 20-25, 1999, Proceedings, pp. 111-125, 1999, Springer, 3-540-66536-6. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
79 | María Alpuente, Moreno Falaschi, Alicia Villanueva |
A Symbolic Model Checker for tccp Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RISE ![In: Rapid Integration of Software Engineering Techniques, First International Workshop, RISE 2004, Luxembourg-Kirchberg, Luxembourg, November 26, 2004, Revised Selected Papers, pp. 45-56, 2004, Springer, 3-540-25812-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RFC ![In: RFC 3401, pp. 1-6, October 2002. The full citation details ...](Pics/full.jpeg) |
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). ![Search on Bibsonomy](Pics/bibsonomy.png) |
RFC ![In: RFC 6116, pp. 1-22, March 2011. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RFC ![In: RFC 5526, pp. 1-5, April 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
34 | Leslie Daigle |
Domain-Based Application Service Location Using URIs and the Dynamic Delegation Discovery Service (DDDS). ![Search on Bibsonomy](Pics/bibsonomy.png) |
RFC ![In: RFC 4848, pp. 1-10, April 2007. The full citation details ...](Pics/full.jpeg) |
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). ![Search on Bibsonomy](Pics/bibsonomy.png) |
RFC ![In: RFC 3958, pp. 1-25, January 2005. The full citation details ...](Pics/full.jpeg) |
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). ![Search on Bibsonomy](Pics/bibsonomy.png) |
RFC ![In: RFC 3761, pp. 1-18, April 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
34 | Michael Mealling |
Dynamic Delegation Discovery System (DDDS) Part Two: The Algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RFC ![In: RFC 3402, pp. 1-17, October 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
34 | Michael Mealling |
Dynamic Delegation Discovery System (DDDS) Part Three: The Domain Name System (DNS) Database. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RFC ![In: RFC 3403, pp. 1-14, October 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
34 | Michael Mealling |
Dynamic Delegation Discovery System (DDDS) Part Five: URI.ARPA Assignment Procedures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RFC ![In: RFC 3405, pp. 1-10, October 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
34 | Michael Mealling |
Dynamic Delegation Discovery System (DDDS) Part Four: The Uniform Resource Identifiers (URI). ![Search on Bibsonomy](Pics/bibsonomy.png) |
RFC ![In: RFC 3404, pp. 1-18, October 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
21 | Sagar Chaki, Arie Gurfinkel, Ofer Strichman |
Decision diagrams for linear arithmetic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: Proceedings of 9th International Conference on Formal Methods in Computer-Aided Design, FMCAD 2009, 15-18 November 2009, Austin, Texas, USA, pp. 53-60, 2009, IEEE, 978-1-4244-4966-8. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
21 | Minghui Yang |
Using data driven simulation to build inventory model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WSC ![In: Proceedings of the 2008 Winter Simulation Conference, Global Gateway to Discovery, WSC 2008, InterContinental Hotel, Miami, Florida, USA, December 7-10, 2008, pp. 2595-2599, 2008, WSC, 978-1-4244-2708-6. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
21 | Huiying Yang, Ranga Vemuri |
Efficient Symbolic Sensitivity based Parasitic-Inclusive Optimization in Layout Aware Analog Circuit Synthesis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VLSI Design ![In: 20th International Conference on VLSI Design (VLSI Design 2007), Sixth International Conference on Embedded Systems (ICES 2007), 6-10 January 2007, Bangalore, India, pp. 201-206, 2007, IEEE Computer Society, 0-7695-2762-0. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
21 | Sheldon X.-D. Tan, Weikun Guo, Zhenyu Qi |
Hierarchical approach to exact symbolic analysis of large analog circuits. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. ![In: IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 24(8), pp. 1241-1250, 2005. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISVLSI ![In: 2005 IEEE Computer Society Annual Symposium on VLSI (ISVLSI 2005), New Frontiers in VLSI Design, 11-12 May 2005, Tampa, FL, USA, pp. 71-76, 2005, IEEE Computer Society, 0-7695-2365-X. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASP-DAC ![In: Proceedings of the 2005 Conference on Asia South Pacific Design Automation, ASP-DAC 2005, Shanghai, China, January 18-21, 2005, pp. 230-235, 2005, ACM Press, 0-7803-8737-6. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
21 | Fuzhi Wang, Marta Z. Kwiatkowska |
An MTBDD-Based Implementation of Forward Reachability for Probabilistic Timed Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis, Third International Symposium, ATVA 2005, Taipei, Taiwan, October 4-7, 2005, Proceedings, pp. 385-399, 2005, Springer, 3-540-29209-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. ![In: IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 23(6), pp. 907-918, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
21 | Sheldon X.-D. Tan, Weikun Guo, Zhenyu Qi |
Hierarchical approach to exact symbolic analysis of large analog circuits. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DAC ![In: Proceedings of the 41th Design Automation Conference, DAC 2004, San Diego, CA, USA, June 7-11, 2004, pp. 860-863, 2004, ACM, 1-58113-828-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CADE ![In: Automated Deduction - CADE-18, 18th International Conference on Automated Deduction, Copenhagen, Denmark, July 27-30, 2002, Proceedings, pp. 129-133, 2002, Springer, 3-540-43931-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DATE ![In: 1999 Design, Automation and Test in Europe (DATE '99), 9-12 March 1999, Munich, Germany, pp. 448-453, 1999, IEEE Computer Society / ACM, 0-7695-0078-1. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #24 of 24 (100 per page; Change: )
|
|