Search results for "microoperations"

Found 15 publication records. Showing 15 according to the selection in the facets

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
53	Werner Damm	A Microprogramming Logic.	IEEE Trans. Software Eng.	1988	DBLP DOI BibTeX RDF	microprogramming logic, syntax-directed proof system, horizontal computer architectures, clocked microarchitectures, axiomatic definition, microoperations, low-level parallelism, dynamic conflicts, specification, computer architecture, theorem proving, specification languages, architecture description language, formal logic, microprogramming, AADL, timing behavior
53	Vicki H. Allan, Robert A. Mueller	Compaction with General Timing.	IEEE Trans. Software Eng.	1988	DBLP DOI BibTeX RDF	general synchronous timing, microcode generation systems, branch delays, volatile registers, microoperations, multiple microinstructions, clocked microarchitectures, compilers, synchronisation, program compilers, microprogramming, target architecture, data-dependency graphs
44	Yunsi Fei, Zhijie Jerry Shi	Microarchitectural support for program code integrity monitoring in application-specific instruction set processors.	DATE	2007	DBLP DOI BibTeX RDF
44	Stephen W. Melvin, Michael Shebanow, Yale N. Patt	Hardware support for large atomic units in dynamically scheduled machines.	MICRO	1988	DBLP BibTeX RDF
44	Takanobu Baba, Hiroshi Minakawa, Kenzo Okuda	A visual microprogramming system.	MICRO	1987	DBLP DOI BibTeX RDF
44	Perng-Yi Richard Ma, Ted G. Lewis	Design of a Machine-Independent Optimizing System for Emulator Development.	ACM Trans. Program. Lang. Syst.	1980	DBLP DOI BibTeX RDF
42	Alexander Barkalov 0001, Larysa Titarenko, Malgorzata Mazurkiewicz, Kamil Mielcarek	Encoding of Microoperations in FPGA-Based Moore FSMs.	MOCAST	2019	DBLP DOI BibTeX RDF
42	Shuichi Matsuzaki, Hideaki Suzuki, Minetada Osano	An Approach to Describe the Tierra Instruction Set Using Microoperations: The First Result.	ECAL	2003	DBLP DOI BibTeX RDF
31	Masahiro Tsuchiya, Mario J. Gonzalez	Toward Optimization of Horizontal Microprograms.	IEEE Trans. Computers	1976	DBLP DOI BibTeX RDF	concurrent microoperations, horizontal microprogram, Code optimization, resource contention
22	O. N. Malykh, Yu. S. Shakhnovskii	Optimization of a Data Dependence Graph for the Local Microcode Compaction Problem. Part 1: Problem Statement.	Program. Comput. Softw.	2004	DBLP DOI BibTeX RDF
22	Fu-Chiung Cheng, Chuin-Ren Wang	Specification and Design of a Quasi-Delay-Insensitive Java Card.	VLSI Design	2000	DBLP DOI BibTeX RDF
22	S. Bharitkar, Kazuhiro Tsuchiya, Yoshiyasu Takefuji	Microcode optimization with neural networks.	IEEE Trans. Neural Networks	1999	DBLP DOI BibTeX RDF
22	Manoj Franklin, Mark Smotherman	A fill-unit approach to multiple instruction issue.	MICRO	1994	DBLP DOI BibTeX RDF	multiple operation issue, instruction-level parallelism, VLIW, superscalar
22	Bogong Su, Shiyuan Ding, Jian Wang 0046, Jinshi Xia	Microcode compaction with timing constraints.	MICRO	1987	DBLP DOI BibTeX RDF
22	Joseph A. Fisher, David Landskov, Bruce D. Shriver	Microcode compaction: looking backward and looking forward.	AFIPS National Computer Conference	1981	DBLP DOI BibTeX RDF