|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 145 occurrences of 104 keywords
|
|
|
Results
Found 262 publication records. Showing 262 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
21 | Chris Cummins, Sebastian Pauli |
Congruence Subgroups of PSL(2, Z) of Genus Less than or Equal to 24. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Exp. Math. ![In: Exp. Math. 12(2), pp. 243-255, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
21 | Michael Grüninger, Christopher Menzel |
The Process Specification Language (PSL) Theory and Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AI Mag. ![In: AI Mag. 24(3), pp. 63-74, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
21 | Anne-Françoise Cutting-Decelle, Robert I. M. Young, Chimay J. Anumba, Andrew N. Baldwin, N. M. Bouchlaghem |
The Application of PSL to Product Design Across Construction and Manufacturing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Concurr. Eng. Res. Appl. ![In: Concurr. Eng. Res. Appl. 11(1), pp. 65-75, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
21 | Michael Grüninger |
Applications of PSL to Semantic Web Services. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SWDB ![In: Proceedings of SWDB'03, The first International Workshop on Semantic Web and Databases, Co-located with VLDB 2003, Humboldt-Universität, Berlin, Germany, September 7-8, 2003, pp. 217-230, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP BibTeX RDF |
|
21 | Denis Xavier Charles |
A Note on Subgroup Membership Problem for PSL(2,p). ![Search on Bibsonomy](Pics/bibsonomy.png) |
Electron. Colloquium Comput. Complex. ![In: Electron. Colloquium Comput. Complex. TR01, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP BibTeX RDF |
|
21 | Masato Tomiyama |
Characterization of the Group Association Scheme of PSL(2, 7). ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comb. Theory, Ser. A ![In: J. Comb. Theory, Ser. A 88(2), pp. 306-341, 1999. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
21 | Philip M. Marden Jr., Ethan V. Munson |
PSL: An Alternate Approach to Style Sheet Languages for the World Wide Web. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Univers. Comput. Sci. ![In: J. Univers. Comput. Sci. 4(10), pp. 792-806, 1998. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
21 | Philip M. Marden Jr., Ethan V. Munson |
PSL: An Alternate Approach to Style Sheets for the Web. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WebNet ![In: Proceedings of WebNet 98 - World Conference on the WWW and Internet & Intranet, Orlando, Florida, USA, November 7-12, 1998, 1998, AACE, 1-880094-31-2. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP BibTeX RDF |
|
21 | Dragan Marusic, Raffaele Scapellato |
A class of graphs arising from the action of PSL(2, q2) on cosets of PGL(2, q). ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discret. Math. ![In: Discret. Math. 134(1-3), pp. 99-110, 1994. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
21 | Dennis A. Hejhal, Barry N. Rackner |
On the Topography of Maass Waveforms for PSL(2, Z). ![Search on Bibsonomy](Pics/bibsonomy.png) |
Exp. Math. ![In: Exp. Math. 1(4), pp. 275-305, 1992. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
21 | Dragan Marusic, Raffaele Scapellato |
A class of non-Cayley vertex- transitive graphs associated with PSL(2, p). ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discret. Math. ![In: Discret. Math. 109(1-3), pp. 161-170, 1992. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
21 | Paul D. McDaniel |
Using PSL/PSA to Model Information System Planning for The United States Department of the Army Headquarters. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CA(i)SE ![In: Proceedings of the First Nordic Conference on Advanced Systems Engineering, CA(i)SE'89, Stockholm, Sweden, May 9-11, 1989 (republished at CEUR-WS.org in 2013), 1989, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP BibTeX RDF |
|
21 | Patricia Vanden Cruyce |
Geometries Related to PSL(2, 19). ![Search on Bibsonomy](Pics/bibsonomy.png) |
Eur. J. Comb. ![In: Eur. J. Comb. 6(2), pp. 163-173, 1985. The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP DOI BibTeX RDF |
|
21 | Daniela B. Nikolova |
On Some Laws in PSL(2, q). ![Search on Bibsonomy](Pics/bibsonomy.png) |
European Conference on Computer Algebra (2) ![In: EUROCAL '85, European Conference on Computer Algebra, Linz, Austria, April 1-3, 1985, Proceedings Volume 2: Research Contributions, pp. 245, 1985, Springer, 3-540-15984-3. The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP DOI BibTeX RDF |
|
21 | Martin L. Griss, Eric Benson, Gerald Q. Maguire Jr. |
PSL: A Portable LISP System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Symposium on LISP and Functional Programming ![In: Proceedings of the 1982 ACM Symposium on LISP and Functional Programming, LFP 1980, Pittsburgh, PA, USA, August 15-18, 1982., pp. 88-97, 1982, ACM, 0-89791-082-6. The full citation details ...](Pics/full.jpeg) |
1982 |
DBLP DOI BibTeX RDF |
|
21 | R. J. Thomas, J. A. Kirkham |
Structured Systems Analysis and the Problem Statement Language (PSL)(8) as a combined methodology in the teaching of System Analysis and Design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Annual Conference ![In: Proceedings of the ACM 1981 Annual Conference, Los Angeles, CA, USA, November 9-11, 1981., pp. 96-100, 1981, ACM, 0-89791-049-4. The full citation details ...](Pics/full.jpeg) |
1981 |
DBLP DOI BibTeX RDF |
|
21 | Norman L. Johnson, T. G. Ostrom |
The Translation Planes of Order 16 That Admit PSL(2, 7). ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comb. Theory, Ser. A ![In: J. Comb. Theory, Ser. A 26(2), pp. 127-134, 1979. The full citation details ...](Pics/full.jpeg) |
1979 |
DBLP DOI BibTeX RDF |
|
21 | Donald J. Reifer |
Experience with PSL/PSA (Abstract of presentation). ![Search on Bibsonomy](Pics/bibsonomy.png) |
AFIPS National Computer Conference ![In: American Federation of Information Processing Societies: 1978 National Computer Conference, June 5-8, 1978, Anaheim, CA, USA, pp. 630, 1978, AFIPS Press. The full citation details ...](Pics/full.jpeg) |
1978 |
DBLP BibTeX RDF |
|
21 | Daniel Teichroew, Ernest A. Hershey III |
PSL/PSA: A Computer Aided Technique for Structured Documentation and Analysis of Information Processing Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 3(1), pp. 41-48, 1977. The full citation details ...](Pics/full.jpeg) |
1977 |
DBLP DOI BibTeX RDF |
|
21 | Daniel Teichroew, Ernest A. Hershey III |
PSL/PSA: A Computer-Aided Technique for Structured Documentation and Analysis of Information Processing Systems (Abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSE ![In: Proceedings of the 2nd International Conference on Software Engineering, San Francisco, California, USA, October 13-15, 1976., pp. 2, 1976, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
1976 |
DBLP BibTeX RDF |
|
14 | Antonio Cossidente |
Some constructions on the Hermitian surface. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Des. Codes Cryptogr. ![In: Des. Codes Cryptogr. 51(2), pp. 123-129, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Mathematics Subject Classifications (2000) 51E20, 51E12 |
14 | Christian Dax, Felix Klaedtke, Stefan Leue |
Specification Languages for Stutter-Invariant Regular Properties. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis, 7th International Symposium, ATVA 2009, Macao, China, October 14-16, 2009. Proceedings, pp. 244-254, 2009, Springer, 978-3-642-04760-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
14 | Bernd Finkbeiner, Lars Kuhtz |
Monitor Circuits for LTL with Bounded and Unbounded Future. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RV ![In: Runtime Verification, 9th International Workshop, RV 2009, Grenoble, France, June 26-28, 2009. Selected Papers, pp. 60-75, 2009, Springer, 978-3-642-04693-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
14 | Daniel Schwartz-Narbonne, Carven Chan, Yogesh S. Mahajan, Sharad Malik |
Supporting RTL flow compatibility in a microarchitecture-level design framework. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CODES+ISSS ![In: Proceedings of the 7th International Conference on Hardware/Software Codesign and System Synthesis, CODES+ISSS 2009, Grenoble, France, October 11-16, 2009, pp. 343-352, 2009, ACM, 978-1-60558-628-1. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
microarchitecture level, transactions, formal models, hierarchical design, hardware resources |
14 | Michael Siegel, Adriana Maggiore, Christian Pichler |
Untwist your brain: efficient debugging and diagnosis of complex assertions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DAC ![In: Proceedings of the 46th Design Automation Conference, DAC 2009, San Francisco, CA, USA, July 26-31, 2009, pp. 644-647, 2009, ACM, 978-1-60558-497-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
SystemVerilog assertions, debugging, assertions, fault localization, functional verification, root cause analysis |
14 | Laurence Pierre, Luca Ferro |
A Tractable and Fast Method for Monitoring SystemC TLM Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 57(10), pp. 1346-1356, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
14 | Naiyong Jin, Huibiao Zhu |
ASERE: Assuring the Satisfiability of Sequential Extended Regular Expressions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISoLA ![In: Leveraging Applications of Formal Methods, Verification and Validation, Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, 2008. Proceedings, pp. 237-251, 2008, Springer, 978-3-540-88478-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Alternating Automata, Memoryful Synchronization, Satisfiability |
14 | Ling Cen, Wee Ser, Zhu Liang Yu, Susanto Rahardja |
An improved genetic algorithm for aperiodic array synthesis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICASSP ![In: Proceedings of the IEEE International Conference on Acoustics, Speech, and Signal Processing, ICASSP 2008, March 30 - April 4, 2008, Caesars Palace, Las Vegas, Nevada, USA, pp. 2465-2468, 2008, IEEE, 1-4244-1484-9. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
14 | Roderick Bloem, Stefan J. Galler, Barbara Jobstmann, Nir Piterman, Amir Pnueli, Martin Weiglhofer |
Interactive presentation: Automatic hardware synthesis from specifications: a case study. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DATE ![In: 2007 Design, Automation and Test in Europe Conference and Exposition, DATE 2007, Nice, France, April 16-20, 2007, pp. 1188-1193, 2007, EDA Consortium, San Jose, CA, USA, 978-3-9810801-2-4. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
14 | Malay K. Ganai, Aarti Gupta |
Efficient BMC for Multi-Clock Systems with Clocked Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASP-DAC ![In: Proceedings of the 12th Conference on Asia South Pacific Design Automation, ASP-DAC 2007, Yokohama, Japan, January 23-26, 2007, pp. 310-315, 2007, IEEE Computer Society, 1-4244-0629-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
OpenCores multiclock system benchmarks, clocked specifications, multiphased clocks, level-sensitive latches, SAT-based bounded model checking, synchronous multiclock systems, clocked LTL properties, clock modeling schemes, clock constraints, loop-checks, gated clocks |
14 | Fei Xie, Huaiyu Liu |
Unified Property Specification for Hardware/Software Co-Verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPSAC (1) ![In: 31st Annual International Computer Software and Applications Conference, COMPSAC 2007, Beijing, China, July 24-27, 2007. Volume 1, pp. 483-490, 2007, IEEE Computer Society, 978-0-7695-2870-0. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
14 | Lyes Benalycherif, Anthony McIsaac, Neil Dunlop |
Structured Approach to Property Specification and Verification of HW IP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE International Workshop on Rapid System Prototyping ![In: 18th IEEE International Workshop on Rapid System Prototyping (RSP 2007), 28-30 May 2007, Porto Alegre, RS, Brazil, pp. 161-166, 2007, IEEE Computer Society, 978-0-7695-2834-2. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
14 | Dana Fisman |
On the Characterization of Until as a Fixed Point Under Clocked Semantics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Haifa Verification Conference ![In: Hardware and Software: Verification and Testing, Third International Haifa Verification Conference, HVC 2007, Haifa, Israel, October 23-25, 2007, Proceedings, pp. 19-33, 2007, Springer, 978-3-540-77964-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
14 | Feng Chen 0004, Hongji Yang, Bing Qiao, William Cheng-Chung Chu |
A Formal Model Driven Approach to Dependable Software Evolution. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPSAC (1) ![In: 30th Annual International Computer Software and Applications Conference, COMPSAC 2006, Chicago, Illinois, USA, September 17-21, 2006. Volume 1, pp. 205-214, 2006, IEEE Computer Society, 0-7695-2655-1. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Formal Method, Model Driven Architecture (MDA), Software Evolution, Model Transformation, Software Reengineering, Wide Spectrum Language (WSL) |
14 | Deni Torres Román, Joaquín Cortez González, Raul Ernesto Gonzalez-Torres |
Improving the Digital Design with Semi-formal Specification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONIELECOMP ![In: 16th International Conference on Electronics, Communications, and Computers (CONIELECOMP 2006), 27 February 2005 - 1 March 2006, Cholula, Puebla, Mexico, pp. 55, 2006, IEEE Computer Society, 0-7695-2505-9. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
semiformal specification, model checking tools, assertions, properties, Assertion based verification |
14 | Roy Armoni, Dmitry Korchemny, Andreas Tiemeyer, Moshe Y. Vardi, Yael Zbar |
Deterministic Dynamic Monitors for Linear-Time Assertions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FATES/RV ![In: Formal Approaches to Software Testing and Runtime Verification, First Combined International Workshops, FATES 2006 and RV 2006, Seattle, WA, USA, August 15-16, 2006, Revised Selected Papers, pp. 163-177, 2006, Springer, 3-540-49699-8. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
14 | Ke Xu, Ying Liu, Cheng Wu |
Guided Reasoning of Complex E-Business Process with Business Bug Patterns. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICEBE ![In: 2006 IEEE International Conference on e-Business Engineering (ICEBE 2006), 24-26 October 2006, Shanghai, China, pp. 195-202, 2006, IEEE Computer Society, 0-7695-2645-4. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
14 | Katell Morin-Allory, Laurent Fesquet, Dominique Borrione |
Asynchronous Assertion Monitors for multi-Clock Domain System Verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE International Workshop on Rapid System Prototyping ![In: 17th IEEE International Workshop on Rapid System Prototyping (RSP 2006), 14-16 June 2006, Chania, Crete, Greece, pp. 98-102, 2006, IEEE Computer Society, 0-7695-2580-6. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
14 | Arjeh M. Cohen, Hans Cuypers, Ralf Gramlich |
Local Recognition Of Non-Incident Point-Hyperplane Graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comb. ![In: Comb. 25(3), pp. 271-296, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
Mathematics Subject Classification (2000): 05C25, 20D06, 20E42, 51E25 |
14 | Nicola Bombieri, Andrea Fedeli, Franco Fummi |
Extended abstract: on the property-based verification in SoC design flow founded on transaction level modeling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMOCODE ![In: 3rd ACM & IEEE International Conference on Formal Methods and Models for Co-Design (MEMOCODE 2005), 11-14 July 2005, Verona, Italy, Proceedings, pp. 239-240, 2005, IEEE Computer Society, 0-7803-9227-2. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
14 | Michael Pellauer, Mieszko Lis, Don Baltus, Rishiyur S. Nikhil |
Synthesis of synchronous assertions with guarded atomic actions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMOCODE ![In: 3rd ACM & IEEE International Conference on Formal Methods and Models for Co-Design (MEMOCODE 2005), 11-14 July 2005, Verona, Italy, Proceedings, pp. 15-24, 2005, IEEE Computer Society, 0-7803-9227-2. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
14 | Laali Elkhalifa, Raman Adaikkalavan, Sharma Chakravarthy |
InfoFilter: a system for expressive pattern specification and detection over text streams. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 2005 ACM Symposium on Applied Computing (SAC), Santa Fe, New Mexico, USA, March 13-17, 2005, pp. 1084-1088, 2005, ACM, 1-58113-964-0. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
14 | Ali Habibi, Sofiène Tahar |
Design for Verification of SystemC Transaction Level Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DATE ![In: 2005 Design, Automation and Test in Europe Conference and Exposition (DATE 2005), 7-11 March 2005, Munich, Germany, pp. 560-565, 2005, IEEE Computer Society, 0-7695-2288-2. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
14 | Eduard Cerny, Ashvin Dsouza, Kevin Harer, Pei-Hsin Ho, Hi-Keung Tony Ma |
Supporting sequential assumptions in hybrid verification. ![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. 1035-1038, 2005, ACM Press, 0-7803-8737-6. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
14 | Sean D. Cochrane, Keith Case, Robert I. M. Young, Jenny A. Harding, Samir Dani |
Knowledge Sharing Between Design and Manufacture. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KES (4) ![In: Knowledge-Based Intelligent Information and Engineering Systems, 9th International Conference, KES 2005, Melbourne, Australia, September 14-16, 2005, Proceedings, Part IV, pp. 221-227, 2005, Springer, 3-540-28897-X. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
14 | Shoham Ben-David, Dana Fisman, Sitvanit Ruah |
The Safety Simple Subset. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Haifa Verification Conference ![In: Hardware and Software Verification and Testing, First International Haifa Verification Conference, Haifa, Israel, November 13-16, 2005, Revised Selected Papers, pp. 14-29, 2005, Springer, 3-540-32604-9. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
14 | Anssi Yli-Jyrä, Jyrki Niemi |
Pivotal Synchronization Languages: A Framework for Alignments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSMNLP ![In: Finite-State Methods and Natural Language Processing, 5th International Workshop, FSMNLP 2005, Helsinki, Finland, September 1-2, 2005. Revised Papers, pp. 271-282, 2005, Springer, 3-540-35467-0. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
14 | Reinhard Laue |
Resolvable t-Designs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Des. Codes Cryptogr. ![In: Des. Codes Cryptogr. 32(1-3), pp. 277-301, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
group action, visualization, t-design, resolvable |
14 | Xi Chen 0024, Harry Hsieh, Felice Balarin, Yosinori Watanabe |
Logic of constraints: a quantitative performance and functional constraint formalism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. ![In: IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 23(8), pp. 1243-1255, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
14 | Ali Habibi, Asif Iqbal Ahmed, Otmane Aït Mohamed, Sofiène Tahar |
On the Design and Verification Methodology of the Look-Aside Interface. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DATE ![In: 2004 Design, Automation and Test in Europe Conference and Exposition (DATE 2004), 16-20 February 2004, Paris, France, pp. 290-295, 2004, IEEE Computer Society, 0-7695-2085-5. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
14 | Yasushi Umezawa, Takeshi Shimizu |
A Formal Verification Methodology for Checking Data Integrity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DATE ![In: 2004 Design, Automation and Test in Europe Conference and Exposition (DATE 2004), 16-20 February 2004, Paris, France, pp. 284-289, 2004, IEEE Computer Society, 0-7695-2085-5. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
14 | Kausik Datta, Partha Pratim Das |
Assertion Based Verification Using HDVL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VLSI Design ![In: 17th International Conference on VLSI Design (VLSI Design 2004), with the 3rd International Conference on Embedded Systems Design, 5-9 January 2004, Mumbai, India, pp. 319-, 2004, IEEE Computer Society, 0-7695-2072-3. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
14 | Grant Martin |
SystemC and the Future of Design Languages: Opportunities for Users and Research. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBCCI ![In: Proceedings of the 16th Annual Symposium on Integrated Circuits and Systems Design, SBCCI 2003, Sao Paulo, Brazil, September 8-11, 2003, pp. 61, 2003, IEEE Computer Society, 0-7695-2009-X. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
14 | Charalampos Vassiliou, Panagiotis Kanellis, Drakoulis Martakos |
Information Exchange for Effective Knowledge Management: A Translation Service Using Process Specification Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DEXA Workshops ![In: 11th International Workshop on Database and Expert Systems Applications (DEXA'00), 6-8 September 2000, Greenwich, London, UK, pp. 1115-1122, 2000, IEEE Computer Society, 0-7695-0680-1. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
effective knowledge management, translation service, process specification language, ontologies, data structure, business data processing, information exchange, data semantics, business network |
14 | Eliane Martins, Selma B. Sabião, Ana Maria Ambrosio |
ConData: A Tool for Automating Specification-based Test Case Generation for Communication Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HICSS ![In: 33rd Annual Hawaii International Conference on System Sciences (HICSS-33), 4-7 January, 2000, Maui, Hawaii, USA, pp. 8012-, 2000, IEEE Computer Society, 0-7695-0493-0. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
communications protocol testing, EFSM-based testing, logic programming |
14 | Fei Yuan, Ajoy Opal |
Distortion analysis of periodically switched nonlinear circuits. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISCAS (5) ![In: Proceedings of the 1999 International Symposium on Circuits and Systems, ISCAS 1999, Orlando, Florida, USA, May 30 - June 2, 1999, pp. 499-502, 1999, IEEE, 0-7803-5471-0. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
14 | Alexander B. Romanovsky |
Abstract Object State and Version Recovery in N-Version Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TOOLS (29) ![In: TOOLS Europe 1999: 29th International Conference on Technology of Object-Oriented Languages and Systems, 7-10 June 1999, Nancy, France, pp. 86-95, 1999, IEEE Computer Society, 0-7695-0275-X. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
faulty version recovery, abstract object state, fault tolerance, metaobject protocol, software diversity |
14 | Abdul Waheed, Vincent F. Melfi, Diane T. Rover |
A model for instrumentation system management in concurrent computer systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HICSS (2) ![In: 28th Annual Hawaii International Conference on System Sciences (HICSS-28), January 3-6, 1995, Kihei, Maui, Hawaii, USA, pp. 442-443, 1995, IEEE Computer Society, 0-8186-6945-4. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
parallel application software development, performance related parameter space, run-time tools, performance tuning aids, performance specification, speed characteristics, Portrayal Specification Language, performance evaluation, parallel programming, reverse engineering, monitoring, software tools, specification languages, performance prediction, data flow analysis, software performance evaluation, dataflow, parallel applications, control flow, program diagnostics, execution trace, program execution |
14 | Hassan Rajaei, Rassul Ayani |
Design Issues in Parallel Simulation Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Des. Test Comput. ![In: IEEE Des. Test Comput. 10(4), pp. 52-63, 1993. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
14 | Gene Cooperman, Larry Finkelstein, N. Sarawagi |
Applications of Cayley Graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAECC ![In: Applied Algebra, Algebraic Algorithms and Error-Correcting Codes, 8th International Symposium, AAECC-8, Tokyo, Japan, August 20-24, 1990, Proceedings, pp. 367-378, 1990, Springer, 3-540-54195-0. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
14 | Kathleen O'Neil Lossau |
KAOS (abstract only): a knowledge aided operator's system for the VM operator's console. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Conference on Computer Science ![In: Proceedings of the 15th ACM Annual Conference on Computer Science, St. Louis, Missouri, USA, February 16-19, 1987, pp. 412, 1987, ACM, 0-89791-218-7. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
14 | Martin L. Griss, Eric Benson, Anthony C. Hearn |
Current Status of a Portable Lisp Compiler. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGPLAN Symposium on Compiler Construction ![In: Proceedings of the SIGPLAN '82 Symposium on Compiler Construction, Boston, Massachusetts, USA, June 23-25, 1982, pp. 276-283, 1982, ACM, 0-89791-074-5. The full citation details ...](Pics/full.jpeg) |
1982 |
DBLP DOI BibTeX RDF |
LISP |
Displaying result #201 - #262 of 262 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3] |
|