Search results for "PSL"

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