Search results for "CCSR"

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