Search results for "SCCS"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
177	John M. Mizel	Using SCCS to Manage APL2 Development Projects.	APL	1992	DBLP DOI BibTeX RDF	SCCS, APL
67	Byung-Do Yang, Lee-Sup Kim	A low power charge sharing ROM using dummy bit lines.	ISCAS (5)	2003	DBLP DOI BibTeX RDF
61	Hsiao-Hwa Chen, Yi-Ning Chang	A New Pilot-Added CDMA Multiuser Detection Scheme - SCCS Detector & Its Performance in Multipath Channels.	ISCC	2003	DBLP DOI BibTeX RDF	CDMA, mobile communication, channel estimation, multiuser detection
61	Gérard Boudol, Ilaria Castellani	Permutation of transitions: An event structure semantics for CCS and SCCS.	REX Workshop	1988	DBLP DOI BibTeX RDF	pomset-labelled transition systems, process algebras, event structures
50	Manuel Arenaz, Juan Touriño, Ramon Doallo	XARK: An extensible framework for automatic recognition of computational kernels.	ACM Trans. Program. Lang. Syst.	2008	DBLP DOI BibTeX RDF	Automatic kernel recognition, demand-driven algorithms, gated single assignment, use-def chains, symbolic analysis, strongly connected component
50	P. C. Fencott, Andy Galloway, Mike A. Lockyer, S. J. O'Brien, S. Pearson	Formalising the Semantics of Ward/Mellor SA/RT Essential Models using a Process Algebra.	FME	1994	DBLP DOI BibTeX RDF
50	Costas Courcoubetis, Susanne Graf, Joseph Sifakis	An Algebra of Boolean Processes.	CAV	1991	DBLP DOI BibTeX RDF
49	A. V. S. Rajan, S. Bavan, Geetha Abeysinghe	Semantics for the Specification of Asynchronous Communicating Systems (SACS).	SCSS (1)	2007	DBLP DOI BibTeX RDF	Calculus of Communicating Systems (CCS), Synchronous Calculus of Communicating Systems (SCCS), Structured Operational Semantics (SOS), Labelled Transition System (LTS), bisimulation
44	Jie Han, Yong Yu 0001, Guowei Liu, Gui-Rong Xue	An Algorithm for Enumerating SCCs in Web Graph.	APWeb	2005	DBLP DOI BibTeX RDF
44	Uno Holmer	Interpreting Broadcast Communication in SCCS.	CONCUR	1993	DBLP DOI BibTeX RDF
44	Irène Guessarian	A characterization of fair computations of finite state SCCS processes.	Formal Properties of Finite Automata and Applications	1988	DBLP DOI BibTeX RDF
44	Irène Guessarian, Wafaa Niar-Dinedane	An Automaton Characterization of Fairness in SCCS.	STACS	1988	DBLP DOI BibTeX RDF
44	Colin Sterling	A Complete Modal Proof System for a Subset of SCCS.	TAPSOFT, Vol.1	1985	DBLP DOI BibTeX RDF
34	P. Seetha Ramaiah, M. Ben Swarup, K. Raja Kumar	Conceptual Modeling for Safety Critical Computer Systems.	SNPD	2008	DBLP DOI BibTeX RDF	system design methodology, conceptual modeling, safety-critical systems
34	Chao Wang 0001, Roderick Bloem, Gary D. Hachtel, Kavita Ravi, Fabio Somenzi	Compositional SCC Analysis for Language Emptiness.	Formal Methods Syst. Des.	2006	DBLP DOI BibTeX RDF	language emptiness, model checking, BDD, LTL, abstraction refinement
34	David Haccoun, Christian Cardinal	High-rate punctured convolutional self-doubly orthogonal codes for iterative threshold decoding.	IEEE Trans. Commun.	2005	DBLP DOI BibTeX RDF
34	Shuichi Nishioka, Yuri Yaguchi, Takahiro Hamada, Makoto Onizuka, Masashi Yamamuro	XML-Based e-Barter System for Circular Supply Exchange.	DEXA	2005	DBLP DOI BibTeX RDF
34	Manuel Arenaz, Juan Touriño, Ramon Doallo	A GSA-based compiler infrastructure to extract parallelism from complex loops.	ICS	2003	DBLP DOI BibTeX RDF	GSA, loop-level kernel recognition, parallelizing compilers, strongly connected components
34	Manuel Arenaz, Juan Touriño, Ramon Doallo	A Compiler Framework to Detect Parallelism in Irregular Codes.	LCPC	2001	DBLP DOI BibTeX RDF
34	Aiguo Xie, Peter A. Beerel	Implicit enumeration of strongly connected components and anapplication to formal verification.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2000	DBLP DOI BibTeX RDF
34	Sujit Dey, Srimat T. Chakradhar	Design of testable sequential circuits by repositioning flip-flops.	J. Electron. Test.	1995	DBLP DOI BibTeX RDF	cycle-breaking, flip-flop minimization, sequential redundancy, design for testability, sequential circuits, retiming, partial scan, strongly connected components, redundant fault
34	Frits W. Vaandrager	Expressive Results for Process Algebras.	REX Workshop	1992	DBLP DOI BibTeX RDF	process graphs, effective process graphs, effective operational semantics, trace equivalence, action transducers, process algebra, expressiveness, labeled transition systems, PC, structural operational semantics, bisimulation equivalence
27	Anna Blume Jakobsen, Rasmus Skibdahl Melanchton Jørgensen, Jaco van de Pol, Andreas Pavlogiannis	Fast Symbolic Computation of Bottom SCCs.	TACAS (3)	2024	DBLP DOI BibTeX RDF
27	Li Chen, Rasmus Kyng, Yang P. Liu, Simon Meierhans, Maximilian Probst Gutenberg	Almost-Linear Time Algorithms for Incremental Graphs: Cycle Detection, SCCs, s-t Shortest Path, and Minimum-Cost Flow.	CoRR	2023	DBLP DOI BibTeX RDF
27	Arnd Hartmanns, Bram Kohlen, Peter Lammich	Fast Verified SCCs for Probabilistic Model Checking.	ATVA (1)	2023	DBLP DOI BibTeX RDF
27	Jielin Qiu, Jiacheng Zhu, Mengdi Xu, Franck Dernoncourt, Trung Bui, Zhaowen Wang, Bo Li 0026, Ding Zhao, Hailin Jin	SCCS: Semantics-Consistent Cross-domain Summarization via Optimal Transport Alignment.	ACL (Findings)	2023	DBLP DOI BibTeX RDF
27	Menghai Pan, Yanhua Li, Zhi-Li Zhang, Jun Luo 0007	SCCS: Smart Cloud Commuting System With Shared Autonomous Vehicles.	IEEE Trans. Big Data	2022	DBLP DOI BibTeX RDF
27	Nikola Benes, Lubos Brim, Samuel Pastva, David Safránek	Computing Bottom SCCs Symbolically Using Transition Guided Reduction.	CAV (1)	2021	DBLP DOI BibTeX RDF
27	Huiming Lv, Zhiyuan Shao, Lang Li, Xuanhua Shi, Hai Jin 0001	A task-based approach for finding SCCs in real-world graphs on external memory.	Concurr. Comput. Pract. Exp.	2017	DBLP DOI BibTeX RDF
27	Jonathan C. Badger, Eric R. LaRose, Ross Kleiman, Richard L. Berg, James G. Linneman, Richard Hansen, David Page, Peggy L. Peissig	SCCS for Detection of Differences in Brand and Generic Adverse Drug Events.	CRI	2017	DBLP BibTeX RDF
27	Anatoliy O. Melnyk, Viktor Melnyk, Andriy Kit	UNIX-like operating system extension for real-time FPGA-based SCCS support.	IDAACS	2017	DBLP DOI BibTeX RDF
27	Reza Beiranvand	Analysis of a Switched-Capacitor Converter Above its Resonant Frequency to Overcome Voltage Regulation Issue of Resonant SCCs.	IEEE Trans. Ind. Electron.	2016	DBLP DOI BibTeX RDF
27	Huiming Lv, Zhiyuan Shao, Xuanhua Shi, Hai Jin 0001	Finding SCCs in Real-World Graphs on External Memory: A Task-Based Approach.	ISPDC	2016	DBLP DOI BibTeX RDF
27	Zhiwei Zhang, Jeffrey Xu Yu, Lu Qin 0001, Lijun Chang, Xuemin Lin 0001	I/O efficient: computing SCCs in massive graphs.	VLDB J.	2015	DBLP DOI BibTeX RDF
27	Zhiwei Zhang, Lu Qin 0001, Jeffrey Xu Yu	Contract & Expand: I/O Efficient SCCs Computing.	ICDE	2014	DBLP DOI BibTeX RDF
27	Beishui Liao, Liyun Lei, Jianhua Dai	Computing Preferred Labellings by Exploiting SCCs and Most Sceptically Rejected Arguments.	TAFA	2013	DBLP DOI BibTeX RDF
27	Zhiwei Zhang, Jeffrey Xu Yu, Lu Qin 0001, Lijun Chang, Xuemin Lin 0001	I/O efficient: computing SCCs in massive graphs.	SIGMOD Conference	2013	DBLP DOI BibTeX RDF
27	Pablo Reble, Carsten Clauss, Michael Riepen, Stefan Lankes, Thomas Bemmerl	Connecting the Cloud: Transparent and Flexible Communication for a Cluster of Intel SCCs.	MARC@RWTH	2012	DBLP BibTeX RDF
27	Ngoc Duy Pham, Trong Duc Le, Kwangjin Park, Hyunseung Choo	SCCS: Spatiotemporal clustering and compressing schemes for efficient data collection applications in WSNs.	Int. J. Commun. Syst.	2010	DBLP DOI BibTeX RDF
27	Jiri Barnat, Pavel Moravec 0002	Parallel Algorithms for Finding SCCs in Implicitly Given Graphs.	FMICS/PDMC	2006	DBLP DOI BibTeX RDF
27	Senem Velipasalar, Jason Schlessman, Cheng-Yao Chen, Wayne H. Wolf, Jaswinder Singh	SCCS: A Scalable Clustered Camera System for Multiple Object Tracking Communicating Via Message Passing Interface.	ICME	2006	DBLP DOI BibTeX RDF
27	Thomas T. Hildebrandt	Towards categorical models for fairness: fully abstract presheaf semantics of SCCS with finite delay.	Theor. Comput. Sci.	2003	DBLP DOI BibTeX RDF
27	Thomas T. Hildebrandt	A Fully abstract presheaf semantics for SCCS with finite delay.	CTCS	1999	DBLP DOI BibTeX RDF
27	Dirk Trossen, Karl-Heinz Scharer	SCCS: Scalable Conferencing Control Service.	ICCCN	1998	DBLP DOI BibTeX RDF	CORBA, Group Communication, Conferencing
27	Stefano Kasangian, Sebastiano Vigna	The Topos of Labelled Trees: A Categorical Semantics for SCCS.	Fundam. Informaticae	1997	DBLP DOI BibTeX RDF
27	Don Bolinger, Tan Bronson	Applying RCS and SCCS - from source control to project control.		1995	RDF
27	Helmut Herold, Manfred Meyer	SCCS und RCS - Versionsverwaltung unter UNIX.		1994	RDF
27	Carol Critchlow, Prakash Panangaden	The Expressive Power of Delay Operators in SCCS.	Acta Informatica	1991	DBLP DOI BibTeX RDF
27	Irène Guessarian, Wafaa Niar-Dinedane	Fairness and Regularity for Sccs Processes.	RAIRO Theor. Informatics Appl.	1989	DBLP DOI BibTeX RDF
27	Irène Guessarian, Lutz Priese	On the Minimal Number of * Operators to Model Regularity in Fair SCCS.	Inf. Process. Lett.	1988	DBLP DOI BibTeX RDF
27	Robert de Simone	Higher-Level Synchronising Devices in Meije-SCCS.	Theor. Comput. Sci.	1985	DBLP DOI BibTeX RDF
27	Glynn Winskel	A Complete System for SCCS with Modal Assertions.	FSTTCS	1985	DBLP DOI BibTeX RDF
27	Robert de Simone	On Meije and SCCS: Infinite Sum Operators VS. Non-Guarded Definitions.	Theor. Comput. Sci.	1984	DBLP DOI BibTeX RDF
17	Yang Liu 0003, Jun Sun 0001, Jin Song Dong	Scalable Multi-core Model Checking Fairness Enhanced Systems.	ICFEM	2009	DBLP DOI BibTeX RDF
17	Qi Zhao, Hai Tao	Motion Observability Analysis of the Simplified Color Correlogram for Visual Tracking.	ACCV (1)	2007	DBLP DOI BibTeX RDF
17	Chuan Xiu Huang, Ali Ghrayeb	A simple remedy for the exaggerated extrinsic information produced by the SOVA algorithm.	IEEE Trans. Wirel. Commun.	2006	DBLP DOI BibTeX RDF
17	David J. Pym, Chris M. N. Tofts	A Calculus and logic of resources and processes.	Formal Aspects Comput.	2006	DBLP DOI BibTeX RDF
17	Raffaella Gentilini, Carla Piazza, Alberto Policriti	Computing strongly connected components in a linear number of symbolic steps.	SODA	2003	DBLP BibTeX RDF
17	Shu-Yao Chien, Vassilis J. Tsotras, Carlo Zaniolo	Efficient schemes for managing multiversionXML documents.	VLDB J.	2002	DBLP DOI BibTeX RDF	Historical queries, Temporal indexing, Temporal clustering, XML database, Version management
17	Jianying Hu, Efstathios Hadjidemetriou	Spatial Color Component Matching of Images.	ICPR (3)	2002	DBLP DOI BibTeX RDF
17	Manuel Arenaz, Juan Touriño, Ramon Doallo	Towards Detection of Coarse-Grain Loop-Level Parallelism in Irregular Computations.	Euro-Par	2002	DBLP DOI BibTeX RDF
17	Chao Wang 0001, Gary D. Hachtel	Sharp Disjunctive Decomposition for Language Emptiness Checking.	FMCAD	2002	DBLP DOI BibTeX RDF
17	Shu-Yao Chien, Vassilis J. Tsotras, Carlo Zaniolo	XML Document Versioning.	SIGMOD Rec.	2001	DBLP DOI BibTeX RDF	XML
17	Yoon-chan Jhi, Ki-Chang Kim, Kemal Ebcioglu, Yong Surk Lee	A Prolog Tailoring Technique on an Epilog Tailored Procedure.	Ershov Memorial Conference	2001	DBLP DOI BibTeX RDF
17	Alvaro del Val	Simplifying Binary Propositional Theories into Connected Components Twice as Fast.	LPAR	2001	DBLP DOI BibTeX RDF
17	Chao Wang 0001, Roderick Bloem, Gary D. Hachtel, Kavita Ravi, Fabio Somenzi	Divide and Compose: SCC Refinement for Language Emptiness.	CONCUR	2001	DBLP DOI BibTeX RDF
17	Takayuki Fujiwara, Masafumi Tominaga, Kazuhito Murakami, Hiroyasu Koshimizu	Web-PICASSO: Internet Implementation of Facial Caricature System PICASSO.	ICMI	2000	DBLP DOI BibTeX RDF
17	Aiguo Xie, Peter A. Beerel	Implicit enumeration of strongly connected components.	ICCAD	1999	DBLP DOI BibTeX RDF
17	Gagan Hasteer, Anmol Mathur, Prithviraj Banerjee	An Implicit Algorithm for Finding Steady States and its Application to FSM Verification.	DAC	1998	DBLP DOI BibTeX RDF	model checking, verification, guided search
17	Cecilia Metra, Michele Favalli, Piero Olivo, Bruno Riccò	On-line detection of bridging and delay faults in functional blocks of CMOS self-checking circuits.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	1997	DBLP DOI BibTeX RDF
17	Carl Ponder	Organizing UNIX Directories as Lattices.	ACM SIGOPS Oper. Syst. Rev.	1997	DBLP DOI BibTeX RDF	UNIX
17	Jean-Marie Favre	Understanding-In-The-Large.	WPC	1997	DBLP DOI BibTeX RDF	Architecture, Evolution, Manufacture, Configuration Management, Software Understanding, Programming-In-The-Large, CPP
17	Diego Latella, Paola Quaglia	A Fully Parallel Calculus of Synchronizing Processes.	TAPSOFT	1993	DBLP DOI BibTeX RDF
17	Wang Yi 0001	Real-Time Behaviour of Asynchronous Agents.	CONCUR	1990	DBLP DOI BibTeX RDF
17	Gérard Boudol, Gérard Roucairol, Robert de Simone	Petri nets and algebraic calculi of processes.	Applications and Theory in Petri Nets	1985	DBLP DOI BibTeX RDF
17	Gérard Boudol, Gérard Roucairol, Robert de Simone	Petri Nets and Algebraic Calculi of Processes.	STACS	1985	DBLP DOI BibTeX RDF