|
|
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 |
141 | Richard Gerber 0001, Insup Lee 0001 |
A Layered Approach to Automating the Verification of Real-Time Systems. |
IEEE Trans. Software Eng. |
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 |
118 | Richard Gerber 0001, Insup Lee 0001 |
CCSR: A Calculus for Communicating Shared Resources. |
CONCUR |
1990 |
DBLP DOI BibTeX RDF |
|
53 | Richard Gerber 0001, Insup Lee 0001 |
Specification and Analysis of Resource-Bound Real-Time Systems. |
REX Workshop |
1991 |
DBLP DOI BibTeX RDF |
verification, Real-time, specification, programming languages, process algebras, configuration, proof systems |
39 | Kecheng Zheng, Juan Cheng, Yu Liu |
CCSR-Net: Unfolding Coupled Convolutional Sparse Representation for Multi-focus Image Fusion. |
PRCV (10) |
2023 |
DBLP DOI BibTeX RDF |
|
39 | Asma Musabah Alkalbani, Walayat Hussain, Jung-Yoon Kim |
A Centralised Cloud Services Repository (CCSR) Framework for Optimal Cloud Service Advertisement Discovery From Heterogenous Web Portals. |
IEEE Access |
2019 |
DBLP DOI BibTeX RDF |
|
39 | Patrice Brémond-Grégoire, Susan B. Davidson, Insup Lee 0001 |
CCSR 92: Calculus for Communicating Shared Resources with Dynamic Priorities. |
NAPAW |
1992 |
DBLP DOI BibTeX RDF |
|
31 | Jan 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. |
VTS |
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 |
26 | Ambareen Siraj, Rayford B. Vaughn, Susan Bridges |
Intrusion Sensor Data Fusion in an Intelligent Intrusion Detection System Architecture. |
HICSS |
2004 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #8 of 8 (100 per page; Change: )
|
|