The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for CCSR with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1990-2023 (8)
Publication types (Num. hits)
article(2) inproceedings(6)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 36 occurrences of 34 keywords

Results
Found 8 publication records. Showing 8 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
141Richard Gerber 0001, Insup Lee 0001 A Layered Approach to Automating the Verification of Real-Time Systems. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 1992 DBLP  DOI  BibTeX  RDF CSR Application Language, high-level language constructs, periodic processes, configuration schema, CCSR process algebra, resource-based computation model, prioritized transition system, reachability analyzer, CCSR semantics, exception state, multisensor robot example, calculus of communicating systems, real-time systems, real-time systems, verification, formal specification, formal verification, specification, exception handling, exception handling, interrupts, correctness, deadlines, high level languages, timeouts, communication links, system resources, layered approach
118Richard Gerber 0001, Insup Lee 0001 CCSR: A Calculus for Communicating Shared Resources. Search on Bibsonomy CONCUR The full citation details ... 1990 DBLP  DOI  BibTeX  RDF
53Richard Gerber 0001, Insup Lee 0001 Specification and Analysis of Resource-Bound Real-Time Systems. Search on Bibsonomy REX Workshop The full citation details ... 1991 DBLP  DOI  BibTeX  RDF verification, Real-time, specification, programming languages, process algebras, configuration, proof systems
39Kecheng Zheng, Juan Cheng, Yu Liu CCSR-Net: Unfolding Coupled Convolutional Sparse Representation for Multi-focus Image Fusion. Search on Bibsonomy PRCV (10) The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
39Asma Musabah Alkalbani, Walayat Hussain, Jung-Yoon Kim A Centralised Cloud Services Repository (CCSR) Framework for Optimal Cloud Service Advertisement Discovery From Heterogenous Web Portals. Search on Bibsonomy IEEE Access The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
39Patrice Brémond-Grégoire, Susan B. Davidson, Insup Lee 0001 CCSR 92: Calculus for Communicating Shared Resources with Dynamic Priorities. Search on Bibsonomy NAPAW The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
31Jan Arild Tofte, Chee-Kian Ong, Jiun-Lang Huang, Kwang-Ting (Tim) Cheng Characterization of a Pseudo-Random Testing Technique for Analog and Mixed-Signal Built-in-Self-Test. Search on Bibsonomy VTS The full citation details ... 2000 DBLP  DOI  BibTeX  RDF cross-correlation signature register, CCSR, implicit functional testing, harmonic distortion, THD, classification, synthesis, noise, BIST, convex hull, polygon, discrimination, analog test, cross-correlation, mixed-signal, pseudo-random, pseudo-random, labview, impulse response, performance parameter, analog BIST
26Ambareen Siraj, Rayford B. Vaughn, Susan Bridges Intrusion Sensor Data Fusion in an Intelligent Intrusion Detection System Architecture. Search on Bibsonomy HICSS The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #8 of 8 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license