|
|
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. |
Exp. Math. |
2003 |
DBLP DOI BibTeX RDF |
|
21 | Michael Grüninger, Christopher Menzel |
The Process Specification Language (PSL) Theory and Applications. |
AI Mag. |
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. |
Concurr. Eng. Res. Appl. |
2003 |
DBLP DOI BibTeX RDF |
|
21 | Michael Grüninger |
Applications of PSL to Semantic Web Services. |
SWDB |
2003 |
DBLP BibTeX RDF |
|
21 | Denis Xavier Charles |
A Note on Subgroup Membership Problem for PSL(2,p). |
Electron. Colloquium Comput. Complex. |
2001 |
DBLP BibTeX RDF |
|
21 | Masato Tomiyama |
Characterization of the Group Association Scheme of PSL(2, 7). |
J. Comb. Theory, Ser. A |
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. |
J. Univers. Comput. Sci. |
1998 |
DBLP DOI BibTeX RDF |
|
21 | Philip M. Marden Jr., Ethan V. Munson |
PSL: An Alternate Approach to Style Sheets for the Web. |
WebNet |
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). |
Discret. Math. |
1994 |
DBLP DOI BibTeX RDF |
|
21 | Dennis A. Hejhal, Barry N. Rackner |
On the Topography of Maass Waveforms for PSL(2, Z). |
Exp. Math. |
1992 |
DBLP DOI BibTeX RDF |
|
21 | Dragan Marusic, Raffaele Scapellato |
A class of non-Cayley vertex- transitive graphs associated with PSL(2, p). |
Discret. Math. |
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. |
CA(i)SE |
1989 |
DBLP BibTeX RDF |
|
21 | Patricia Vanden Cruyce |
Geometries Related to PSL(2, 19). |
Eur. J. Comb. |
1985 |
DBLP DOI BibTeX RDF |
|
21 | Daniela B. Nikolova |
On Some Laws in PSL(2, q). |
European Conference on Computer Algebra (2) |
1985 |
DBLP DOI BibTeX RDF |
|
21 | Martin L. Griss, Eric Benson, Gerald Q. Maguire Jr. |
PSL: A Portable LISP System. |
Symposium on LISP and Functional Programming |
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. |
ACM Annual Conference |
1981 |
DBLP DOI BibTeX RDF |
|
21 | Norman L. Johnson, T. G. Ostrom |
The Translation Planes of Order 16 That Admit PSL(2, 7). |
J. Comb. Theory, Ser. A |
1979 |
DBLP DOI BibTeX RDF |
|
21 | Donald J. Reifer |
Experience with PSL/PSA (Abstract of presentation). |
AFIPS National Computer Conference |
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. |
IEEE Trans. Software Eng. |
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). |
ICSE |
1976 |
DBLP BibTeX RDF |
|
14 | Antonio Cossidente |
Some constructions on the Hermitian surface. |
Des. Codes Cryptogr. |
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. |
ATVA |
2009 |
DBLP DOI BibTeX RDF |
|
14 | Bernd Finkbeiner, Lars Kuhtz |
Monitor Circuits for LTL with Bounded and Unbounded Future. |
RV |
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. |
CODES+ISSS |
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. |
DAC |
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. |
IEEE Trans. Computers |
2008 |
DBLP DOI BibTeX RDF |
|
14 | Naiyong Jin, Huibiao Zhu |
ASERE: Assuring the Satisfiability of Sequential Extended Regular Expressions. |
ISoLA |
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. |
ICASSP |
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. |
DATE |
2007 |
DBLP DOI BibTeX RDF |
|
14 | Malay K. Ganai, Aarti Gupta |
Efficient BMC for Multi-Clock Systems with Clocked Specifications. |
ASP-DAC |
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. |
COMPSAC (1) |
2007 |
DBLP DOI BibTeX RDF |
|
14 | Lyes Benalycherif, Anthony McIsaac, Neil Dunlop |
Structured Approach to Property Specification and Verification of HW IP. |
IEEE International Workshop on Rapid System Prototyping |
2007 |
DBLP DOI BibTeX RDF |
|
14 | Dana Fisman |
On the Characterization of Until as a Fixed Point Under Clocked Semantics. |
Haifa Verification Conference |
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. |
COMPSAC (1) |
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. |
CONIELECOMP |
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. |
FATES/RV |
2006 |
DBLP DOI BibTeX RDF |
|
14 | Ke Xu, Ying Liu, Cheng Wu |
Guided Reasoning of Complex E-Business Process with Business Bug Patterns. |
ICEBE |
2006 |
DBLP DOI BibTeX RDF |
|
14 | Katell Morin-Allory, Laurent Fesquet, Dominique Borrione |
Asynchronous Assertion Monitors for multi-Clock Domain System Verification. |
IEEE International Workshop on Rapid System Prototyping |
2006 |
DBLP DOI BibTeX RDF |
|
14 | Arjeh M. Cohen, Hans Cuypers, Ralf Gramlich |
Local Recognition Of Non-Incident Point-Hyperplane Graphs. |
Comb. |
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. |
MEMOCODE |
2005 |
DBLP DOI BibTeX RDF |
|
14 | Michael Pellauer, Mieszko Lis, Don Baltus, Rishiyur S. Nikhil |
Synthesis of synchronous assertions with guarded atomic actions. |
MEMOCODE |
2005 |
DBLP DOI BibTeX RDF |
|
14 | Laali Elkhalifa, Raman Adaikkalavan, Sharma Chakravarthy |
InfoFilter: a system for expressive pattern specification and detection over text streams. |
SAC |
2005 |
DBLP DOI BibTeX RDF |
|
14 | Ali Habibi, Sofiène Tahar |
Design for Verification of SystemC Transaction Level Models. |
DATE |
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. |
ASP-DAC |
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. |
KES (4) |
2005 |
DBLP DOI BibTeX RDF |
|
14 | Shoham Ben-David, Dana Fisman, Sitvanit Ruah |
The Safety Simple Subset. |
Haifa Verification Conference |
2005 |
DBLP DOI BibTeX RDF |
|
14 | Anssi Yli-Jyrä, Jyrki Niemi |
Pivotal Synchronization Languages: A Framework for Alignments. |
FSMNLP |
2005 |
DBLP DOI BibTeX RDF |
|
14 | Reinhard Laue |
Resolvable t-Designs. |
Des. Codes Cryptogr. |
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. |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. |
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. |
DATE |
2004 |
DBLP DOI BibTeX RDF |
|
14 | Yasushi Umezawa, Takeshi Shimizu |
A Formal Verification Methodology for Checking Data Integrity. |
DATE |
2004 |
DBLP DOI BibTeX RDF |
|
14 | Kausik Datta, Partha Pratim Das |
Assertion Based Verification Using HDVL. |
VLSI Design |
2004 |
DBLP DOI BibTeX RDF |
|
14 | Grant Martin |
SystemC and the Future of Design Languages: Opportunities for Users and Research. |
SBCCI |
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. |
DEXA Workshops |
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. |
HICSS |
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. |
ISCAS (5) |
1999 |
DBLP DOI BibTeX RDF |
|
14 | Alexander B. Romanovsky |
Abstract Object State and Version Recovery in N-Version Programming. |
TOOLS (29) |
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. |
HICSS (2) |
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. |
IEEE Des. Test Comput. |
1993 |
DBLP DOI BibTeX RDF |
|
14 | Gene Cooperman, Larry Finkelstein, N. Sarawagi |
Applications of Cayley Graphs. |
AAECC |
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. |
ACM Conference on Computer Science |
1987 |
DBLP DOI BibTeX RDF |
|
14 | Martin L. Griss, Eric Benson, Anthony C. Hearn |
Current Status of a Portable Lisp Compiler. |
SIGPLAN Symposium on Compiler Construction |
1982 |
DBLP DOI BibTeX RDF |
LISP |
Displaying result #201 - #262 of 262 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3] |
|