Search results for "lib"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
92	Yung-Ching Hsieh, Chi-Yi Hwang, Youn-Long Lin, Yu-Chin Hsu	LiB: a CMOS cell compiler.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	1991	DBLP DOI BibTeX RDF
85	Rahul Kumar, C. P. Ravikumar	Leakage Power Estimation for Deep Submicron Circuits in an ASIC Design Environment.	ASP-DAC/VLSI Design	2002	DBLP DOI BibTeX RDF	Power Estimation, Leakage Power, Linear Regression, Deep Submicron
75	Yung-Ching Hsieh, Chi-Yi Hwang, Youn-Long Lin, Yu-Chin Hsu	LiB: A Cell Layout Generator.	DAC	1990	DBLP DOI BibTeX RDF
68	Duckjin Chai, Long Jin 0005, Buhyun Hwang, Keun Ho Ryu	Frequent Pattern Mining using Bipartite Graph.	DEXA Workshops	2007	DBLP DOI BibTeX RDF
58	Phillip M. Dickens, Jeremy Logan	Y-lib: a user level library to increase the performance of MPI-IO in a lustre file system environment.	HPDC	2009	DBLP DOI BibTeX RDF	romio, parallel i/o, lustre, collective i/o
58	Maurício Paletta, Pilar Herrero	EP-MAS.Lib: A MAS-Based Evolutionary Program Approach.	HAIS	2009	DBLP DOI BibTeX RDF	Multi-Agent System, JADE, Evolutionary Program, Combinatorial Optimization Problem
58	Filip Maric, Predrag Janicic	argo-lib: A Generic Platform for Decision Procedures.	IJCAR	2004	DBLP DOI BibTeX RDF
58	Ian Glendinning, Bernhard Ömer	Parallelization of the QC-Lib Quantum Computer Simulator Library.	PPAM	2003	DBLP DOI BibTeX RDF
58	Saïd Abdeddaïm, Burkhard Morgenstern	Speeding Up the DIALIGN Multiple Alignment Program by Using the 'Greedy Alignment of BIOlogical Sequences LIBrary' (GABIOS-LIB).	JOBIM	2000	DBLP DOI BibTeX RDF
56	Karl R. P. H. Leung	Extending Statecharts with ad lib and multi-thread features.	APSEC	2000	DBLP DOI BibTeX RDF	ad lib features, multithread features, dynamic reactive systems, software engineering, rules, diagrams, multi-threading, information resources, Web navigation, state diagram
51	Haizhi Xu, Steve J. Chapin	Improving address space randomization with a dynamic offset randomization technique.	SAC	2006	DBLP DOI BibTeX RDF	address space randomization, code islands, derandomization attacks, intrusion mitigation, randomization, denial-of-service attacks
43	Ming Zhang, Li-Biao Lib, Jing-Sheng Ding	Method for aggregating induced correlated interval grey linguistic variables and their application to multiple attribute decision making.	J. Intell. Fuzzy Syst.	2014	DBLP DOI BibTeX RDF
43	Lib Gibson	A brief history of the APL community.	ACM SIGAPL APL Quote Quad	1976	DBLP DOI BibTeX RDF
43	Lib Gibson	Algorithms.	ACM SIGAPL APL Quote Quad	1974	DBLP DOI BibTeX RDF
43	Lib Gibson	New problems.	ACM SIGAPL APL Quote Quad	1973	DBLP DOI BibTeX RDF
43	Lib Gibson	Algorithms.	ACM SIGAPL APL Quote Quad	1973	DBLP DOI BibTeX RDF
43	Lib Gibson	The APL project at shape XXXIX.	ACM SIGAPL APL Quote Quad	1972	DBLP DOI BibTeX RDF
38	Taemin Kim Park	D-Lib Magazine: Its First 13 Years.	D Lib Mag.	2010	DBLP DOI BibTeX RDF
38	Bonita Wilson, Allison L. Powell	A Tenth Anniversary for D-Lib Magazine.	D Lib Mag.	2005	DBLP DOI BibTeX RDF
38	Larry Mongin, Yueyu Fu, Javed Mostafa	Open Archives Data Service Prototype and Automated Subject Indexing Using D-Lib® Archive Content As a Testbed.	D Lib Mag.	2003	DBLP DOI BibTeX RDF
38	Junliang Zhang, Javed Mostafa, Himansu Tripathy	Information Retrieval by Semantic Analysis and Visualization of the Concept Space of D-Lib Magazine.	D Lib Mag.	2002	DBLP DOI BibTeX RDF
34	Rike Brecht, Torsten Brix, Ulf Döring, Veit Henkel, Heidi Krömker, Michael Reeßing	Digital Mechanism and Gear Library - Multimedia Collection of Text, Pictures and Physical Models.	ECDL	2009	DBLP DOI BibTeX RDF	interactive collection, digital engineering library, Multimedia
34	Scott Fowler, Sherali Zeadally	Fast Handover over Micro-MPLS-Based Wireless Networks.	ISCC	2006	DBLP DOI BibTeX RDF
34	Avinash Raj, Vihari Komaragiri	RUCID: Rapid Usable Consistent Interaction Design Patterns-Based Mobile Phone UI Design Library, Process and Tool.	HCI (1)	2009	DBLP DOI BibTeX RDF	Mobile phone UI design, lib, architecture, patterns, design process
23	Michael Malmros Sørensen, Adam N. Letchford	CP-Lib: Benchmark Instances of the Clique Partitioning Problem.	Math. Program. Comput.	2024	DBLP DOI BibTeX RDF
23	Dor Salomon, Itamar Levi	MaskSIMD-lib: on the performance gap of a generic C optimized assembly and wide vector extensions for masked software with an Ascon-p test case.	J. Cryptogr. Eng.	2023	DBLP DOI BibTeX RDF
23	Cheng Chi, Xin Zhang 0019, Jiahui Liu, Yulong Sun, Zihao Zhang, Xingqun Zhan	GICI-LIB: A GNSS/INS/Camera Integrated Navigation Library.	IEEE Robotics Autom. Lett.	2023	DBLP DOI BibTeX RDF
23	Cheng Chi, Xin Zhang 0019, Jiahui Liu, Yulong Sun, Zihao Zhang, Xingqun Zhan	GICI-LIB: A GNSS/INS/Camera Integrated Navigation Library.	CoRR	2023	DBLP DOI BibTeX RDF
23	Stefan Klikovits, Ezequiel Castellano, Ahmet Cetinkaya, Paolo Arcaini	Frenetic-lib: An extensible framework for search-based generation of road structures for ADS testing.	Sci. Comput. Program.	2023	DBLP DOI BibTeX RDF
23	Abigail Evans, Zihan Wang, Jieren Liu, Mingming Zheng	SIDE-lib: A Library for Detecting Symptoms of Python Programming Misconceptions.	ITiCSE (1)	2023	DBLP DOI BibTeX RDF
23	Kevin Lotz, Mitja Kulczynski, Dirk Nowotka, Danny Bøgsted Poulsen, Anders Schlichtkrull	Verified Verifying: SMT-LIB for Strings in Isabelle.	CIAA	2023	DBLP DOI BibTeX RDF
23	Martijn Hoeijmakers, Karim El Houari, Wenfeng Ye, Pierre L'Eplattenier, Attila Nagy, Dave Benson, Michel Rochette	pyheart-lib: A Python Library for LS-DYNA Multi-physics Heart Simulations.	FIMH	2023	DBLP DOI BibTeX RDF
23	Eugene Kharitonov, Jade Copet, Kushal Lakhotia, Tu Anh Nguyen, Paden Tomasello, Ann Lee 0001, Ali Elkahky, Wei-Ning Hsu, Abdelrahman Mohamed, Emmanuel Dupoux, Yossi Adi	textless-lib: a Library for Textless Spoken Language Processing.	CoRR	2022	DBLP BibTeX RDF
23		Lib-SibGMU - A University Library Circulation Dataset for Recommender Systems Developmen.	CoRR	2022	DBLP DOI BibTeX RDF
23	Michael L. Nelson, Herbert Van de Sompel	D-lib magazine pioneered web-based scholarly communication.	JCDL	2022	DBLP DOI BibTeX RDF
23	Fernando Rezende Zagatti, Paulo Augusto de Lima Medeiros, Esther da Cunha Soares, Lucas Nildaimon dos Santos Silva, Carlos Ramisch, Livy Real	mwetoolkit-lib: Adaptation of the mwetoolkit as a Python Library and an Application to MWE-based Document Clustering.	MWE@LREC2022	2022	DBLP BibTeX RDF
23	Alessandro Cimatti, Alberto Griggio, Stefano Tonetta	The VMT-LIB Language and Tools.	SMT	2022	DBLP BibTeX RDF
23	Zafer Esen, Philipp Rümmer	An SMT-LIB Theory of Heaps.	SMT	2022	DBLP BibTeX RDF
23	Xinbiao Gan, Wen Tan	MT-lib: A Topology-aware Message Transfer Library for Graph500 on Supercomputers.	CoRR	2021	DBLP BibTeX RDF
23	Sergio Rojas Galeano	Using BERT Encoding to Tackle the Mad-lib Attack in SMS Spam Detection.	CoRR	2021	DBLP BibTeX RDF
23	Luis Pineda, Brandon Amos, Amy Zhang 0001, Nathan O. Lambert, Roberto Calandra	MBRL-Lib: A Modular Library for Model-based Reinforcement Learning.	CoRR	2021	DBLP BibTeX RDF
23	Alessandro Cimatti, Alberto Griggio, Stefano Tonetta	The VMT-LIB Language and Tools.	CoRR	2021	DBLP BibTeX RDF
23	Ga-Eun Jung, JiKook Baek, Jianyong Liu, Van Quan Dao, Minh-Chau Dinh, Chang-Soon Kim, Myung-Kwan Lee, JungHyo Bae	The Precision SOC Estimation Method of LiB for EV Applications Using ANN.	ICTC	2021	DBLP DOI BibTeX RDF
23	Malte Mues, Falk Howar	JDart: Portfolio Solving, Breadth-First Search and SMT-Lib Strings (Competition Contribution).	TACAS (2)	2021	DBLP DOI BibTeX RDF
23	Guillaume Bury	Dolmen: A Validator for SMT-LIB and Much More.	SMT	2021	DBLP BibTeX RDF
23	Jan Jakubuv, Mikolás Janota, Andrew Reynolds 0001	Characteristic Subsets of SMT-LIB Benchmarks.	SMT	2021	DBLP BibTeX RDF
23	António Ramires, Gilberto Bernardes, Matthew E. P. Davies, Xavier Serra	TIV.lib: an open-source library for the tonal description of musical audio.	CoRR	2020	DBLP BibTeX RDF
23	Michael L. Nelson, Herbert Van de Sompel	A 25 Year Retrospective on D-Lib Magazine.	CoRR	2020	DBLP BibTeX RDF
23	Het Shah, Avishree Khare, Neelay Shah, Khizir Siddiqui	KD-Lib: A PyTorch library for Knowledge Distillation, Pruning and Quantization.	CoRR	2020	DBLP BibTeX RDF
23	Gidon Ernst	Cuvée: Blending SMT-LIB with Programs and Weakest Preconditions.	CoRR	2020	DBLP BibTeX RDF
23	Austin Kothig, John Edison Muñoz, Hamza Mahdi, Alexander Mois Aroyo, Kerstin Dautenhahn	HRI Physio Lib: A Software Framework to Support the Integration of Physiological Adaptation in HRI.	ICSR	2020	DBLP DOI BibTeX RDF
23	Lyndemberg Batista Nery, Francisco Paulo de Freitas Neto, Diogo Dantas Moreira	LiB: an undergraduate thesis digital library based on full-text search.	EATIS	2020	DBLP DOI BibTeX RDF
23	Zafer Esen, Philipp Rümmer	Abstract: Towards an SMT-LIB Theory of Heap.	SMT	2020	DBLP BibTeX RDF
23	Oliver Lum, Bruce L. Golden, Edward A. Wasil	OAR Lib: an open source arc routing library.	Math. Program. Comput.	2019	DBLP DOI BibTeX RDF
23	Nir Nissim, Aviad Cohen 0002, Jian Wu 0006, Andrea Lanzi, Lior Rokach, Yuval Elovici, C. Lee Giles	Sec-Lib: Protecting Scholarly Digital Libraries From Infected Papers Using Active Machine Learning Framework.	IEEE Access	2019	DBLP DOI BibTeX RDF
23	Frederik Gossen, Alnis Murtovi, Philip Zweihoff, Bernhard Steffen	ADD-Lib: Decision Diagrams in Practice.	CoRR	2019	DBLP BibTeX RDF
23	Ali Abbassi, Nancy A. Day, Derek Rayside	Astra Version 1.0: Evaluating Translations from Alloy to SMT-LIB.	CoRR	2019	DBLP BibTeX RDF
23	Steven Kutsch	InfOCF-Lib: A Java Library for OCF-based Conditional Inference.	DKB/KIK@KI	2019	DBLP BibTeX RDF
23	Sebastian Krings, Michael Leuschel	Embedding SMT-LIB into B for Interactive Proof and Constraint Solving.	IFM	2019	DBLP DOI BibTeX RDF
23	Liudmyla Omelchuk, Olena Shyshatska	Extending the SMT-Lib Standard with Theory of Nominative Data.	ICTERI Workshops	2019	DBLP BibTeX RDF
23	Liudmyla Omelchuk, Olena Shyshatska	SMT-LIB Theory of Nominative Data.	ICTERI (Revised Selected Papers)	2019	DBLP DOI BibTeX RDF
23	Michael D. Shah	Lib Metamorphosis: A Performance Analysis Framework for Exchanging Data Structures in Performance Sensitive Applications.	ICSME	2019	DBLP DOI BibTeX RDF
23	Ali Marjanian, Soodabeh Soleymani	On-line dynamic voltage stability status prediction based on DLM and LIB boundaries using phasor measurement unit information.	J. Intell. Fuzzy Syst.	2018	DBLP DOI BibTeX RDF
23	James H. Davenport, Matthew England 0001, Roberto Sebastiani, Patrick Trentin	OpenMath and SMT-LIB.	CoRR	2018	DBLP BibTeX RDF
23	Ashutosh Agrahari, Chadra Prakash Chaudhary, Syam Narayan Singh	Domain Analysis of D-Lib Magazine: A Bibliometric Study.	Webology	2018	DBLP BibTeX RDF
23	Daichi Ando	Effects of the Difference in Accented Beat Between Jazz and Classical Music Styles Through Sight-Reading of a Jazz Ad-Lib Solo.	JSAI-isAI Workshops	2018	DBLP DOI BibTeX RDF
23	Fangfan Li, Abbas Razaghpanah, Arash Molavi Kakhki, Arian Akhavan Niaki, David R. Choffnes, Phillipa Gill, Alan Mislove	lib•erate, (n): a library for exposing (traffic-classification) rules and avoiding them efficiently.	Internet Measurement Conference	2017	DBLP DOI BibTeX RDF
23	Stephen Forrest	Integration of SMT-LIB Support into Maple.	SC²@ISSAC	2017	DBLP BibTeX RDF
23	Edgar Mixcoha, Roberto Rosende, Rebeca García-Fandiño, Ángel Piñeiro	Cyclo-lib: a database of computational molecular dynamics simulations of cyclodextrins.	Bioinform.	2016	DBLP DOI BibTeX RDF
23	Tjark Weber	Scrambling and Descrambling SMT-LIB Benchmarks.	SMT@IJCAR	2016	DBLP BibTeX RDF
23	Nancy A. Day, Amirhossein Vakili	Representing hierarchical state machine models in SMT-LIB.	MiSE@ICSE	2016	DBLP DOI BibTeX RDF
23	Sarah Potvin, Élika Ortega, Isabel Galina, Alex Gil, Daniel Paul O'Donnell, Patrick Williams, Zoe Borovsky, Roxanne Shirazi, Zach Coble, Glen Worthey	Translation Hack-a-thon!: Applying the Translation Toolkit to a Global dh+lib.	DH	2016	DBLP BibTeX RDF
23	Bruce Kingma, Kathleen McClure	Lib-Value: Values, Outcomes, and Return on Investment of Academic Libraries, Phase III: ROI of the Syracuse University Library.	Coll. Res. Libr.	2015	DBLP DOI BibTeX RDF
23	David R. Cok, Aaron Stump, Tjark Weber	The 2013 Evaluation of SMT-COMP and SMT-LIB.	J. Autom. Reason.	2015	DBLP DOI BibTeX RDF
23	Dick Heiser	An Advanced Book for Beginners - How Computer Lib/Dream Machines Shaped Our Perspective on Cybercrud, Interactivity, Complex Texts and Computer Creativity.	Intertwingled - The Work and Influence of Ted Nelson	2015	DBLP DOI BibTeX RDF
23	Jamie Bullock, Ali Momeni	Ml.lib: robust, cross-platform, open-source machine learning for max and pure data.	NIME	2015	DBLP DOI BibTeX RDF
23	María Granados Buey, Ángel Luís Garrido, Sandra Escudero, Raquel Trillo, Sergio Ilarri, Eduardo Mena	SQX-Lib: Developing a Semantic Query Expansion System in a Media Group.	ECIR	2014	DBLP DOI BibTeX RDF
23	Xia Wang, Hongxin Cao	Study on building library personalized subject service platform in big data environment - Lib 2.0 solutions based on Hadoop framework.	CCIS	2014	DBLP DOI BibTeX RDF
23	Richard Bonichon, David Déharbe, Cláudia Tavares	Extending SMT-LIB v2 with λ-Terms and Polymorphism.	SMT	2014	DBLP BibTeX RDF
23	Jaesik Chung	A proposal for the IEEE EV LiB cell safety standard.	ICCVE	2013	DBLP DOI BibTeX RDF
23	Isabel Bermejo, Eva García-Llorente, Philippe Gimenez	monomialideal.lib.	ACM Commun. Comput. Algebra	2012	DBLP DOI BibTeX RDF
23	Jianping Zhu, Zhengsu Tao, Chunfeng Lv	Performance Evaluation of IEEE 802.15.4 CSMA/CA Scheme Adopting a Modified LIB Model.	Wirel. Pers. Commun.	2012	DBLP DOI BibTeX RDF
23	Oliver Hirsch, Heidemarie Keller, Tanja Krones, Norbert Donner-Banzhoff	arriba-lib: evaluation of an electronic library of decision aids in primary care physicians.	BMC Medical Informatics Decis. Mak.	2012	DBLP DOI BibTeX RDF
23	Nikolaj S. Bjørner, Vijay Ganesh, Raphaël Michel, Margus Veanes	SMT-LIB Sequences and Regular Expressions.	SMT@IJCAR	2012	DBLP DOI BibTeX RDF
23	Eranga Ukwatta, Jing Yuan 0001, Martin Rajchl, Aaron Fenster	Efficient Global Optimization Based 3D Carotid AB-LIB MRI Segmentation by Simultaneously Evolving Coupled Surfaces.	MICCAI (3)	2012	DBLP DOI BibTeX RDF
23	Amirhossein Vakili, Nancy A. Day	Avestan: a declarative modeling language based on SMT-LIB.	MiSE	2012	DBLP DOI BibTeX RDF
23	Chih-Hao Chen, Nen-Fu Huang	LIB: A Last-In-Backup Based Fast Recovery Scheme for Ring-Based Industrial Networks.	IEEE Commun. Lett.	2011	DBLP DOI BibTeX RDF
23	Clark W. Barrett, Leonardo Mendonça de Moura, Silvio Ranise, Aaron Stump, Cesare Tinelli	The SMT-LIB Initiative and the Rise of SMT - (HVC 2010 Award Talk).	Haifa Verification Conference	2010	DBLP DOI BibTeX RDF
23	Peng Liu 0016, Bingjie Xia, Chunchang Xiang, Xiaohang Wang 0001, Weidong Wang, Qingdong Yao	A networks-on-chip architecture design space exploration - The LIB.	Comput. Electr. Eng.	2009	DBLP DOI BibTeX RDF
23	Giampaolo Fresi Roglia, Lorenzo Martignoni, Roberto Paleari, Danilo Bruschi	Surgically Returning to Randomized lib(c).	ACSAC	2009	DBLP DOI BibTeX RDF
23	Yves Pochet, Mathieu Van Vyve	LS-LIB: A Library of Tools for Solving Production Planning Problems.	Bonn Workshop of Combinatorial Optimization	2008	DBLP DOI BibTeX RDF
23	Thomas King, Thomas Butter, Thomas Haenselmann	Loc{lib, trace, eva, ana}: research tools for 802.11-based positioning systems.	WINTECH	2007	DBLP DOI BibTeX RDF	digital compass, GPS, 802.11, positioning systems, tracking systems, location systems
23	Rike Brecht, Bastian Büchl, Heidi Krömker	myDMG-Lib - personalisierter Informationsraum einer digitalen Bibliothek.	MuC	2007	DBLP BibTeX RDF
23	Oliver Larkin	Int.Lib - a Graphical Preset interpolator for Max MSP.	ICMC	2007	DBLP BibTeX RDF
23	Wen-Tsan Hsieh, Chi-Chia Yu, Chien-Nan Jimmy Liu, Yi-Fang Chiu	A Scalable Power Modeling Approach for Embedded Memory Using LIB Format.	PATMOS	2006	DBLP DOI BibTeX RDF
23	Luke Finlay, Prabhu Manyem	Online LIB problems: Heuristics for Bin Covering and lower bounds for Bin Packing.	RAIRO Oper. Res.	2005	DBLP DOI BibTeX RDF
23	Frank McCown, Sheffan Chan, Michael L. Nelson, Johan Bollen	The Availability and Persistence of Web References in D-Lib Magazine	CoRR	2005	DBLP BibTeX RDF
23	Jing Li 0019, Qinhuo Liu, Qiang Liu 0009	A spectral-lib based algorithm to pick up pure crop pixels from hyperspectral image.	IGARSS	2004	DBLP DOI BibTeX RDF
23	Prabhu Manyem, Rhonda L. Salt, Marc Simon Visser	Approximation Lower Bounds in Online LIB Bin Packing and Covering.	J. Autom. Lang. Comb.	2003	DBLP DOI BibTeX RDF
23	Ron Shigeta, Melissa S. Cline, Guoying Liu, Michael A. Siani-Rose	GPCR-GRAPA-LIB-a refined library of hidden Markov Models for annotating GPCRs.	Bioinform.	2003	DBLP DOI BibTeX RDF