Search results for "CLU"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
108	Russell R. Atkinson, Barbara H. Liskov, Robert Scheifler	Aspects Of Implementing CLU.	ACM Annual Conference (1)	1978	DBLP DOI BibTeX RDF	CLU, Implementation methods, Parameterized modules, CLU, Programming language, Exception handling, Iterators
86	Hossein M. Sheini, Karem A. Sakallah	SMT(CLU): a step toward scalability in system verification.	ICCAD	2006	DBLP DOI BibTeX RDF
79	Vesa Hirvisalo, Jari Arkko, Juha Kuusela, Esko Nuutila, Markku Tamminen	XE design rationale: Clu revisited.	ACM SIGPLAN Notices	1989	DBLP DOI BibTeX RDF	CLU
72	Randal E. Bryant, Shuvendu K. Lahiri, Sanjit A. Seshia	Modeling and Verifying Systems Using a Logic of Counter Arithmetic with Lambda Expressions and Uninterpreted Functions.	CAV	2002	DBLP DOI BibTeX RDF
47	Robert C. B. Cooper, K. G. Hamilton	Preserving Abstraction in Concurrent Programming.	IEEE Trans. Software Eng.	1988	DBLP DOI BibTeX RDF	modular programming, abstractinterfaces, CLU, interface abstraction, monitor deadlock, fine-grain locking, parallel programming, data structures, programming languages, concurrent programming, system recovery, high level languages, data abstraction
46	Zaher S. Andraus, Karem A. Sakallah	Automatic abstraction and verification of verilog models.	DAC	2004	DBLP DOI BibTeX RDF	UCLID, logic of counter arithmetic with lambda expressions and uninter-preted functions (CLU), abstraction, register transfer level (RTL), verilog
36	Panagiotis Manolios, Sudarshan K. Srinivasan	Automatic verification of safety and liveness for pipelined machines using WEB refinement.	ACM Trans. Design Autom. Electr. Syst.	2008	DBLP DOI BibTeX RDF	flushing, pipelined machines, verification, refinement, SAT, bisimulation, commitment, liveness, Refinement maps
36	Shuvendu K. Lahiri, Sanjit A. Seshia	The UCLID Decision Procedure.	CAV	2004	DBLP DOI BibTeX RDF
36	Panagiotis Manolios, Sudarshan K. Srinivasan	Automatic Verification of Safety and Liveness for XScale-Like Processor Models Using WEB Refinements.	DATE	2004	DBLP DOI BibTeX RDF
36	Randal E. Bryant	Reasoning about Infinite State Systems Using Boolean Methods.	FSTTCS	2003	DBLP DOI BibTeX RDF
36	Charles Bates, Jeff Lucas, Joe Robinson	The Javelin Integrated Flight Simulation.	International Conference on Computational Science (2)	2001	DBLP DOI BibTeX RDF
36	Stephan Murer, Stephen M. Omohundro, David Stoutamire, Clemens A. Szyperski	Iteration Abstraction in Sather.	ACM Trans. Program. Lang. Syst.	1996	DBLP DOI BibTeX RDF	Sather, general control structures, iteration abstraction
36	John Beidler	Structuring Iterators to Encourage Reuse.	Ada-Europe	1993	DBLP DOI BibTeX RDF
36	Jeannette M. Wing	Writing Larch Interface Language Specifications.	ACM Trans. Program. Lang. Syst.	1987	DBLP DOI BibTeX RDF	Larch
32	Palash Das, Hemangee K. Kapoor	CLU: A Near-Memory Accelerator Exploiting the Parallelism in Convolutional Neural Networks.	ACM J. Emerg. Technol. Comput. Syst.	2021	DBLP DOI BibTeX RDF
32	Zhuoling Li, Minghui Dong, Shiping Wen 0001, Xiang Hu, Pan Zhou, Zhigang Zeng	CLU-CNNs: Object detection for medical images.	Neurocomputing	2019	DBLP DOI BibTeX RDF
32	Weijuan Xi, Tal Frank, Yotam Ben-Shoshan, Robert Ulichney, Jan P. Allebach	Color CLU-DBS Halftoning based on Neugebauer Primary Area Coverage: Improving the Breed.	Color Imaging: Displaying, Processing, Hardcopy, and Applications	2018	DBLP DOI BibTeX RDF
32	Anu Taneja, Anuja Arora	Clu-PoF-A Novel Post Filtering Approach for Efficient Context Aware Recommendations.	ITQM	2017	DBLP DOI BibTeX RDF
32	Shih-Web Ke, Dewi Wulandari	Merging CLU and PSR Methods for Accurate Prototype Selection.	J. Softw.	2016	DBLP DOI BibTeX RDF
32	Dongyuan Zhan, Hong Jiang 0001, Sharad C. Seth	CLU: Co-Optimizing Locality and Utility in Thread-Aware Capacity Management for Shared Last Level Caches.	IEEE Trans. Computers	2014	DBLP DOI BibTeX RDF
32	Elke Achtert, Christian Böhm 0001, Peer Kröger	DeLi-Clu: Boosting Robustness, Completeness, Usability, and Efficiency of Hierarchical Clustering by a Closest Pair Ranking.	PAKDD	2006	DBLP DOI BibTeX RDF
32	Andrey A. Ptitsyn, Winston Hide	CLU: A new algorithm for EST clustering.	BMC Bioinform.	2005	DBLP DOI BibTeX RDF
32	Barbara Liskov	A History of CLU.	HOPL Preprints	1993	DBLP DOI BibTeX RDF
32	Barbara Liskov, Russell R. Atkinson, Toby Bloom, J. Eliot B. Moss, Craig Schaffert, Robert Scheifler, Alan Snyder	CLU Reference Manual		1981	DOI RDF
32	Barbara H. Liskov, Alan Snyder	Exception Handling in CLU.	IEEE Trans. Software Eng.	1979	DBLP DOI BibTeX RDF
32	Barbara H. Liskov, Alan Snyder, Russell R. Atkinson, Craig Schaffert	Abstraction Mechanisms in CLU.	Commun. ACM	1977	DBLP DOI BibTeX RDF
18	Guy L. Steele Jr.	Organizing functional code for parallel execution or, foldl and foldr considered slightly harmful.	ICFP	2009	DBLP DOI BibTeX RDF	associative operator, conjugate transform, tree, reduction, monoid
18	José Arturo Olvera-López, Jesús Ariel Carrasco-Ochoa, José Francisco Martínez Trinidad	Object Selection Based on Clustering and Border Objects.	Computer Recognition Systems 2	2008	DBLP DOI BibTeX RDF
18	Naomi Seki, Lei Zhao, Jo Kei, Daisuke Ikebuchi, Yu Kojima, Yohei Hasegawa, Hideharu Amano, Toshihiro Kashima, Seidai Takeda, Toshiaki Shirai, Mitsutaka Nakata, Kimiyoshi Usami, Tetsuya Sunata, Jun Kanai, Mitaro Namiki, Masaaki Kondo, Hiroshi Nakamura	A fine-grain dynamic sleep control scheme in MIPS R3000.	ICCD	2008	DBLP DOI BibTeX RDF
18	Jed Liu, Aaron Kimball, Andrew C. Myers	Interruptible iterators.	POPL	2006	DBLP DOI BibTeX RDF	JMatch, Java, logic programming, exception, coroutine
18	Dariusz Mrozek, Bozena Malysiak, Jacek Fraczek, Pawel Kasprowski	Signal Cascades Analysis in Nanoprocesses with Distributed Database System.	International Conference on Computational Science (3)	2005	DBLP DOI BibTeX RDF
18	Shuvendu K. Lahiri, Randal E. Bryant	Deductive Verification of Advanced Out-of-Order Microprocessors.	CAV	2003	DBLP DOI BibTeX RDF
18	Dominic Duggan	Dynamic Typing for Distributed Programming in Polymorphic Languages.	ACM Trans. Program. Lang. Syst.	1999	DBLP DOI BibTeX RDF	parametric polmorphism, dynamic typing, static typing, marshalling
18	Myung Ho Kim	A New Iteration Mechanism for The C++ Programming Language.	ACM SIGPLAN Notices	1995	DBLP DOI BibTeX RDF	C++
18	Heiko Kießling, Uwe Krüger 0003	Blocks and Procedures.	ACM SIGPLAN Notices	1993	DBLP DOI BibTeX RDF
18	Robert D. Cameron	Efficient High-Level Iteration with Accumulators.	ACM Trans. Program. Lang. Syst.	1989	DBLP DOI BibTeX RDF
18	Bernd Hindel	An object-oriented programming language for distributed systems: Heraklit.	OOPSLA/ECOOP Workshop on Object-based Concurrent Programming	1988	DBLP DOI BibTeX RDF
18	John C. Mitchell, Gordon D. Plotkin	Abstract Types Have Existential Type.	ACM Trans. Program. Lang. Syst.	1988	DBLP DOI BibTeX RDF
18	J. Dana Eckart	Iteration and Abstract Data Types.	ACM SIGPLAN Notices	1987	DBLP DOI BibTeX RDF
18	Albert R. Meyer, Mark B. Reinhold	"Type" Is Not A Type.	POPL	1986	DBLP DOI BibTeX RDF
18	E. M. J. C. Van Oost	DUIF: A Data-Oriented Flowchart Environmemnt.	ACM SIGPLAN Notices	1983	DBLP DOI BibTeX RDF
18	Alan J. Demers, James E. Donahue	Data Types, Parameters, and Type Checking.	POPL	1980	DBLP DOI BibTeX RDF
18	Burt M. Leavenworth	A Data Abstraction Approach to Database Modelling.	Workshop on Data Abstraction, Databases and Conceptual Modelling	1980	DBLP DOI BibTeX RDF
18	Richard C. Holt, David B. Wortman	A model for implementing Euclid modules and type templates.	SIGPLAN Symposium on Compiler Construction	1979	DBLP DOI BibTeX RDF	EUCLID