Search results for "CIL"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
159	George C. Necula, Scott McPeak, Shree Prakash Rahul, Westley Weimer	CIL: Intermediate Language and Tools for Analysis and Transformation of C Programs.	CC	2002	DBLP DOI BibTeX RDF
122	Yongjian Li, Rui Xue	Design of a CIL Connector to SPIN.	COMPSAC	2004	DBLP DOI BibTeX RDF
122	Heiko Krumm, Oswald Drobnik	Interactive verification of communication software on the basis of CIL.	Comput. Commun. Rev.	1984	DBLP DOI BibTeX RDF
75	Frederic Doucet, Sandeep K. Shukla, Masato Otsuka, Rajesh K. Gupta 0001	BALBOA: a component-based design environment for system models.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2003	DBLP DOI BibTeX RDF
56	Aviral Shrivastava, Ilya Issenin, Nikil D. Dutt	A Compiler-in-the-Loop framework to explore Horizontally Partitioned Cache architectures.	ASP-DAC	2008	DBLP DOI BibTeX RDF
56	Kouzou Ohara, Yukio Onishi, Noboru Babaguchi, Hiroshi Motoda	Constructive Inductive Learning Based on Meta-attributes.	Discovery Science	2004	DBLP DOI BibTeX RDF
56	Andrei M. Chepovsky, Andrei V. Klimov, Arkady V. Klimov, Yuri A. Klimov, Andrei S. Mishchenko, Sergei A. Romanenko, Sergei Yu. Skorobogatov	Partial Evaluation for Common Intermediate Language.	Ershov Memorial Conference	2003	DBLP DOI BibTeX RDF	polyvariant Binding-Time Analysis, mutable objects, Common Intermediate Language, Program transformation, Partial Evaluation, object-oriented languages
56	Allyn Dimock, Ian Westmacott, Robert Muller, Franklyn A. Turbak, J. B. Wells, Jeffrey Considine	Program Representation Size in an Intermediate Language with Intersection and Union Types.	Types in Compilation	2000	DBLP DOI BibTeX RDF
50	Martin Nordio, Peter Müller 0001, Bertrand Meyer 0001	Proof-Transforming Compilation of Eiffel Programs.	TOOLS (46)	2008	DBLP DOI BibTeX RDF	proof-transforming compiler, CIL, Software verification, Proof-Carrying Code, Eiffel, program proofs
47	Grit Denker, Jonathan K. Millen, Antonio Grau, Juliana Küster Filipe	Optimizing Protocol Rewrite Rules of CIL Specifications.	CSFW	2000	DBLP DOI BibTeX RDF
37	Niels H. M. Aan de Brugh, Viet Yen Nguyen, Theo C. Ruys	MoonWalker: Verification of .NET Programs.	TACAS	2009	DBLP DOI BibTeX RDF
37	Dragos Manolescu, Brian Beckman, V. Benjamin Livshits	Volta: Developing Distributed Applications by Recompiling.	IEEE Softw.	2008	DBLP DOI BibTeX RDF
37	Klaus Havelund	Runtime Verification of C Programs.	TestCom/FATES	2008	DBLP DOI BibTeX RDF
37	Ling Cheung	Randomized Wait-Free Consensus Using an Atomicity Assumption.	OPODIS	2005	DBLP DOI BibTeX RDF	Asynchronous Consensus, Wait-Free Termination, Weak Adversary, Randomized Algorithms, Probabilistic Model Checking
37	Hansoo Kim 0001, SugJe Sohn, Ying Wang 0013, Tolga Tezcan, Leon F. McGinnis, Chen Zhou 0006	General applications 1: a simulation architecture with distributed controllers for cell-based manufacturing systems.	WSC	2002	DBLP DOI BibTeX RDF
37	J. B. Wells, Allyn Dimock, Robert Muller, Franklyn A. Turbak	A Typed Intermediate Language for Flow-Directed Compilation.	TAPSOFT	1997	DBLP DOI BibTeX RDF
32	Saeed Piri, Michael S. Pangburn, Eren B. Çil	Impact of ridesharing platforms on hospitals' emergency department admissions.	Decis. Support Syst.	2024	DBLP DOI BibTeX RDF
32	Erdem Eray Cil, Laurent Schmalen	Log-Log Domain Sum-Product Algorithm for Information Reconciliation in Continuous-Variable Quantum Key Distribution.	CoRR	2024	DBLP DOI BibTeX RDF
32	Monire Jalili, Eren B. Çil, Michael S. Pangburn	Pricing and structuring product trials: Separate versus mixed wine tastings.	Eur. J. Oper. Res.	2024	DBLP DOI BibTeX RDF
32	Erdem Eray Cil, Laurent Schmalen	Log-Log Domain Sum-Product Algorithm for Information Reconciliation in Continuous-Variable Quantum Key Distribution.	CISS	2024	DBLP DOI BibTeX RDF
32	Süleyman Mete, Faruk Serin, Zeynel Abidin Çil, Erkan Celik, Eren Özceylan	A comparative analysis of meta-heuristic methods on disassembly line balancing problem with stochastic time.	Ann. Oper. Res.	2023	DBLP DOI BibTeX RDF
32	Alireza Yazdani 0002, Eren B. Çil, Michael S. Pangburn	Retail Sample Boxes: Counteracting the Adverse Effect of Accelerated Learning via Future Credit.	Manuf. Serv. Oper. Manag.	2023	DBLP DOI BibTeX RDF
32	Erdem Eray Cil, Laurent Schmalen	Iteration-Dependent Scaled Min-Sum Decoding for Low-Complexity Key Reconciliation in CV-QKD.	CoRR	2023	DBLP DOI BibTeX RDF
32	Zeynel Abidin Çil, Damla Kizilay, Zixiang Li, Hande Öztop	Two-sided disassembly line balancing problem with sequence-dependent setup time: A constraint programming model and artificial bee colony algorithm.	Expert Syst. Appl.	2022	DBLP DOI BibTeX RDF
32	Mustafa Erginli, Ibrahim Cil	Deep-Learning-Based Floor Path Model for Route Tracking of Autonomous Vehicles.	Syst.	2022	DBLP DOI BibTeX RDF
32	Kien Nguyen 0001, Minh Le, Brett Martin, Ibrahim Cil, Clinton Fookes	When AI meets store layout design: a review.	Artif. Intell. Rev.	2022	DBLP DOI BibTeX RDF
32	Erdem Cil, Icaro V. Soares, David Renaudeau, Ronan Lucas, Sema Dumanli, Ronan Sauleau, Denys Nikolayev	On the use of impedance detuning for gastrointestinal segment tracking of ingestible capsules.	CoRR	2022	DBLP DOI BibTeX RDF
32	Elisa Chao, Connor Chato, Reid Vender, Abayomi S. Olabode, Roux-Cil Ferreira, Art F. Y. Poon	Molecular source attribution.	PLoS Comput. Biol.	2022	DBLP DOI BibTeX RDF
32	Mustafa Eryilmaz, Metehan Çil, Sedat Aktürk, Mehmet Tilegi, Hakan Tirak, Atila Yilmaz, Seniha Esen Yüksel, Dinçer Gökcen	Defect Classification from Electronic Card Images by Deep Learning.	SIU	2022	DBLP DOI BibTeX RDF
32	Abdullah Emir Cil, Kazim Yildiz, Ali Buldu	Detection of DDoS attacks with feed forward based deep neural network model.	Expert Syst. Appl.	2021	DBLP DOI BibTeX RDF
32	Mojtaba Nayyeri, Gökce Müge Cil, Sahar Vahdati, Francesco Osborne, Andrey Kravchenko, Simone Angioni, Angelo A. Salatino, Diego Reforgiato Recupero, Enrico Motta, Jens Lehmann 0001	Link Prediction of Weighted Triples for Knowledge Graph Completion Within the Scholarly Domain.	IEEE Access	2021	DBLP DOI BibTeX RDF
32	Mojtaba Nayyeri, Gökce Müge Cil, Sahar Vahdati, Francesco Osborne, Mahfuzur Rahman, Simone Angioni, Angelo A. Salatino, Diego Reforgiato Recupero, Nadezhda Vassilyeva, Enrico Motta, Jens Lehmann 0001	Trans4E: Link prediction on scholarly knowledge graphs.	Neurocomputing	2021	DBLP DOI BibTeX RDF
32	Mojtaba Nayyeri, Gökce Müge Cil, Sahar Vahdati, Francesco Osborne, Mahfuzur Rahman, Simone Angioni, Angelo A. Salatino, Diego Reforgiato Recupero, Nadezhda Vassilyeva, Enrico Motta, Jens Lehmann 0001	Trans4E: Link Prediction on Scholarly Knowledge Graphs.	CoRR	2021	DBLP BibTeX RDF
32	Eren B. Çil	Managing Service Systems via Disguised Queues: The Role of Retaliating Customers.	Decis. Sci.	2021	DBLP DOI BibTeX RDF
32	Zixiang Li, Zeynel Abidin Çil, Süleyman Mete, Ibrahim Kucukkoc	A fast branch, bound and remember algorithm for disassembly line balancing problem.	Int. J. Prod. Res.	2020	DBLP DOI BibTeX RDF
32	Erdem Cil, Sema Dumanli	The Design of a Reconfigurable Slot Antenna Printed on Glass for Wearable Applications.	IEEE Access	2020	DBLP DOI BibTeX RDF
32	Zeynel Abidin Çil, Damla Kizilay	Constraint programming model for multi-manned assembly line balancing problem.	Comput. Oper. Res.	2020	DBLP DOI BibTeX RDF
32	Alireza Yazdani 0002, Eren B. Çil, Michael S. Pangburn	What if Hotelling's Firms Can Mass Customize?	Decis. Sci.	2020	DBLP DOI BibTeX RDF
32	Zeynel Abidin Çil, Zixiang Li, Süleyman Mete, Eren Özceylan	Mathematical model and bee algorithms for mixed-model assembly line balancing problem with physical human-robot collaboration.	Appl. Soft Comput.	2020	DBLP DOI BibTeX RDF
32	Abdullah Caliskan, Zeynel Abidin Çil, Hasan Badem, Dervis Karaboga	Regression-Based Neuro-Fuzzy Network Trained by ABC Algorithm for High-Density Impulse Noise Elimination.	IEEE Trans. Fuzzy Syst.	2020	DBLP DOI BibTeX RDF
32	Erdem Cil, Onur Tatar, Omer A. Kati, Z. Pelin Yildirim, Sema Dumanli	Techniques to The Development of Semi-solid Tissue Phantoms for Wearable and Implantable Antenna Measurements.	SIU	2020	DBLP DOI BibTeX RDF
32	Muzaffer Kanaan, Muhammed Cil	Cramer-Rao Lower Bounds for Magnetic Localization of a Wireless Capsule Endoscope based on the Magnetic Dipole Model.	PIMRC Workshops	2019	DBLP DOI BibTeX RDF
32	Erdem Cil, Sema Dumanli	The Design of a Pattern Reconfigurable Antenna Suitable for Smart Glasses.	PIMRC Workshops	2019	DBLP DOI BibTeX RDF
32	Süleyman Mete, Zeynel Abidin Çil, Eren Özceylan, Kürsad Agpak, Olga Battaïa	An optimisation support for the design of hybrid production lines including assembly and disassembly tasks.	Int. J. Prod. Res.	2018	DBLP DOI BibTeX RDF
32	Ahmet Cil, Salim Kahveci	Some challenges foreseen in 5G technology.	SIU	2018	DBLP DOI BibTeX RDF
32	Zeynel Abidin Çil, Süleyman Mete, Eren Özceylan, Kürsad Agpak	A beam search approach for solving type II robotic parallel assembly line balancing problem.	Appl. Soft Comput.	2017	DBLP DOI BibTeX RDF
32	Ramazan Yeniceri, Alptekin Vardar, Erdem Cil, Latif Akcay, Emre Goncu, Müstak E. Yalçin	A chaotic time-delay system based digital RNG and integrated autonomous test suite.	ECCTD	2017	DBLP DOI BibTeX RDF
32	Devin Hoesen, Cil Hardianto Satriawan, Dessi Puji Lestari, Masayu Leylia Khodra	Towards Robust Indonesian Speech Recognition with Spontaneous-Speech Adapted Acoustic Models.	SLTU	2016	DBLP DOI BibTeX RDF
32	Muhammed Maruf Öztürk, Ibrahim Cil, Ahmet Zengin	Development of a Multi-Agent Framework for Software Quality.	ACM SIGSOFT Softw. Eng. Notes	2015	DBLP DOI BibTeX RDF
32	Eren B. Çil, Martin A. Lariviere	Saving Seats for Strategic Customers.	Oper. Res.	2013	DBLP DOI BibTeX RDF
32	Murat Akpulat, Kemal Bicakci, Ugur Cil	Revisiting graphical passwords for augmenting, not replacing, text passwords.	ACSAC	2013	DBLP DOI BibTeX RDF
32	Gad Allon, Achal Bassamboo, Eren B. Çil	Large-Scale Service Marketplaces: The Role of the Moderating Firm.	Manag. Sci.	2012	DBLP DOI BibTeX RDF
32	Ibrahim Cil	Consumption universes based supermarket layout through association rule mining and multidimensional scaling.	Expert Syst. Appl.	2012	DBLP DOI BibTeX RDF
32	Azer Faraclas, Nicholas E. Williams, Faruk Dirisaglik, Kadir Cil, Ali Gokirmak, Helena Silva	Operation Dynamics in Phase-Change Memory Cells and the Role of Access Devices.	ISVLSI	2012	DBLP DOI BibTeX RDF
32	Eren Basar Çil, Fikri Karaesmen, E. Lerzan Örmeci	Dynamic pricing and scheduling in a multi-class single-server queueing system.	Queueing Syst. Theory Appl.	2011	DBLP DOI BibTeX RDF
32	Ibrahim Cil, Murat Mala	A multi-agent architecture for modelling and simulation of small military unit combat in asymmetric warfare.	Expert Syst. Appl.	2010	DBLP DOI BibTeX RDF
32	Eren Basar Çil, E. Lerzan Örmeci, Fikri Karaesmen	Effects of system parameters on the optimal policy structure in a class of queueing control problems.	Queueing Syst. Theory Appl.	2009	DBLP DOI BibTeX RDF	Mathematics Subject Classification (2000) 49L20, 93E20
32	Eren Basar Çil, E. Lerzan Örmeci, Fikri Karaesmen	Structural results on a batch acceptance problem for capacitated queues.	Math. Methods Oper. Res.	2007	DBLP DOI BibTeX RDF
32	Ibrahim Cil, Oguzhan Alpturk, Harun Resit Yazgan	A new collaborative system framework based on a multiple perspective approach: InteliTeam.	Decis. Support Syst.	2005	DBLP DOI BibTeX RDF
32	Tarik Çakar, Ibrahim Cil	Artificial neural networks for design of manufacturing systems and selection of priority rules.	Int. J. Comput. Integr. Manuf.	2004	DBLP DOI BibTeX RDF
32	Sophia Chilingarova	Optimizing JIT-compilation subsystem for Rotor 2.0.	OOPSLA Companion	2006	DBLP DOI BibTeX RDF	CIL, CLI, Rotor, SSCLI, optimization, JIT-compilation
32	James Lapalme, El Mostapha Aboulhamid, Gabriela Nicolescu, Luc Charest, François R. Boyer, J. P. David, Guy Bois	ESys.Net: a new solution for embedded systems modeling and simulation.	LCTES	2004	DBLP DOI BibTeX RDF	CIL, ESys.Net, attribute programming, component-based programming, simulation, Java, modeling, embedded systems, C++, framework, system on chip, VHDL, SystemC, hardware/software codesign, C#, Net, Verilog, HDLs, SystemVerilog
28	Jakob Sauer Jørgensen, Evangelos Papoutsellis, Laura Murgatroyd, Gemma Fardell, Edoardo Pasca	A directional regularization method for the limited-angle Helsinki Tomography Challenge using the Core Imaging Library (CIL).	CoRR	2023	DBLP DOI BibTeX RDF
28	Maohua Gan, Zeynep Yücel, Akito Monden	Improvement and Evaluation of Data Consistency Metric CIL for Software Engineering Data Sets.	IEEE Access	2022	DBLP DOI BibTeX RDF
28	Ziyuan Zhao, Mingxi Xu, Peisheng Qian, Ramanpreet Singh Pahwa, Richard Chang 0002	DA-CIL: Towards Domain Adaptive Class-Incremental 3D Object Detection.	CoRR	2022	DBLP DOI BibTeX RDF
28	Yu Su, Xinping Hu, Xiang Chen 0005, Yubin Qu, Qianshuang Meng	CIL-BSP: Bug Report Severity Prediction based on Class Imbalanced Learning.	QRS Companion	2022	DBLP DOI BibTeX RDF
28	Ziyuan Zhao, Mingxi Xu, Peisheng Qian, Ramanpreet Singh Pahwa, Richard Chang 0002	DA-CIL: Towards Domain Adaptive Class-Incremental 3D Object Detection.	BMVC	2022	DBLP BibTeX RDF
28	Tao Chen, Haizhou Shi, Siliang Tang, Zhigang Chen 0003, Fei Wu 0001, Yueting Zhuang	CIL: Contrastive Instance Learning Framework for Distantly Supervised Relation Extraction.	CoRR	2021	DBLP BibTeX RDF
28	Mingyu Liu, Yijie Wang 0001	NH-CIL: A Nested Hierarchy Algorithm for Class Incremental Learning.	CSCWD	2021	DBLP DOI BibTeX RDF
28	Tao Chen, Haizhou Shi, Siliang Tang, Zhigang Chen 0003, Fei Wu 0001, Yueting Zhuang	CIL: Contrastive Instance Learning Framework for Distantly Supervised Relation Extraction.	ACL/IJCNLP (1)	2021	DBLP DOI BibTeX RDF
28	Pietro Ferrara 0001, Agostino Cortesi, Fausto Spoto	From CIL to Java bytecode: Semantics-based translation for static analysis leveraging.	Sci. Comput. Program.	2020	DBLP DOI BibTeX RDF
28	Dragoslav Stojadinovic, Felipe A. P. de Figueiredo, Prasanthi Maddala, Ivan Seskar, Wade Trappe	SC2 CIL: Evaluating the Spectrum Voxel Announcement Benefits.	DySPAN	2019	DBLP DOI BibTeX RDF
28	Julia Gerick	School level characteristics and students' CIL in Europe - A latent class analysis approach.	Comput. Educ.	2018	DBLP DOI BibTeX RDF
28	Pietro Ferrara 0001, Agostino Cortesi, Fausto Spoto	CIL to Java-bytecode translation for static analysis leveraging.	FormaliSE@ICSE	2018	DBLP DOI BibTeX RDF
28	Sabine Wollscheid, Jørgen Sjaastad, Cathrine Tømte	The impact of digital devices vs. Pen(cil) and paper on primary school students' writing skills - A research review.	Comput. Educ.	2016	DBLP DOI BibTeX RDF
28	Cristian Ene, Clémentine Gritti, Yassine Lakhnech	CIL Security Proof for a Password-Based Key Exchange.	ProvSec	2013	DBLP DOI BibTeX RDF
28	Björn A. Grüning, Christian Senger, Anika Erxleben, Stephan Flemming, Stefan Günther	Compounds In Literature (CIL): screening for compounds and relatives in PubMed.	Bioinform.	2011	DBLP DOI BibTeX RDF
28	Rukshan Batuwita, Vasile Palade	FSVM-CIL: Fuzzy Support Vector Machines for Class Imbalance Learning.	IEEE Trans. Fuzzy Syst.	2010	DBLP DOI BibTeX RDF
28	Michael Bebenita, Florian Brandner, Manuel Fähndrich, Francesco Logozzo, Wolfram Schulte, Nikolai Tillmann, Herman Venter	SPUR: a trace-based JIT compiler for CIL.	OOPSLA	2010	DBLP DOI BibTeX RDF
28	Simone Campanoni, Giovanni Agosta, Stefano Crespi-Reghizzi	A parallel dynamic compiler for CIL bytecode.	ACM SIGPLAN Notices	2008	DBLP DOI BibTeX RDF	virtual execution system, parallel virtual machine, dynamic compilation
28	Nicu G. Fruja	Towards proving type safety of .NET CIL.	Sci. Comput. Program.	2008	DBLP DOI BibTeX RDF
28	Yongjian Li, Rui Xue	Design of a CIL Connector to Spin.	Int. J. Softw. Eng. Knowl. Eng.	2008	DBLP DOI BibTeX RDF
28	Giuseppe Attardi, Antonio Cisternino, Diego Colombo	CIL + Metadata > Executable Program.	J. Object Technol.	2004	DBLP DOI BibTeX RDF
28	Stacie Gomm, Donald H. Cooley	Computer and Information Literacy (CIL) and Netest - Three Years Later.	WebNet	2001	DBLP BibTeX RDF
28	Xinmin Tian, Dingxing Wang, Weimin Zheng, Meiming Shen, Cheng Li	Compiling CIL rewriting language for multiprocessors.	J. Comput. Sci. Technol.	1994	DBLP DOI BibTeX RDF
28	Heiko Krumm, Oswald Drobnik	Transformation of Constructive Specifications of Services and Protocols into the Logical Language of CIL.	PSTV	1984	DBLP BibTeX RDF
28	Heiko Krumm, Oswald Drobnik	Specification, Implementation, and Verification of Communication Services on the Basis of CIL.	Protocol Specification, Testing, and Verification	1983	DBLP BibTeX RDF
28	Oswald Drobnik, Heiko Krumm	CIL - Eine Sprache zur Implementierung von Kommunikationsdiensten.	Kommunikation in Verteilten Systemen	1983	DBLP DOI BibTeX RDF
28	T. R. Gheewala	Design of 2.5-Micrometer Josephson Current Injection Logic (CIL).	IBM J. Res. Dev.	1980	DBLP DOI BibTeX RDF
19	Jinseong Jeon, Keoncheol Shin, Hwansoo Han	Abstracting access patterns of dynamic memory using regular expressions.	ACM Trans. Archit. Code Optim.	2009	DBLP DOI BibTeX RDF	field affinity, layout transformation, pool allocation, regular expressions, Access patterns
19	Alexandru Stefan, Florin Craciun, Wei-Ngan Chin	A Flow-Sensitive Region Inference for CLI.	APLAS	2008	DBLP DOI BibTeX RDF
19	Shih-Hao Hung, Shu-Jheng Huang, Chia-Heng Tu	New Tracing and Performance Analysis Techniques for Embedded Applications.	RTCSA	2008	DBLP DOI BibTeX RDF
19	Alex Groce, Rajeev Joshi	Extending Model Checking with Dynamic Analysis.	VMCAI	2008	DBLP DOI BibTeX RDF
19	Jinseong Jeon, Keoncheol Shin, Hwansoo Han	Layout Transformations for Heap Objects Using Static Access Patterns.	CC	2007	DBLP DOI BibTeX RDF
19	Kevin W. Hamlen, Greg Morrisett, Fred B. Schneider	Certified In-lined Reference Monitoring on .NET.	PLAS	2006	DBLP DOI BibTeX RDF	in-lined reference monitoring, program rewriting, reference monitors, security automata, execution monitoring
19	Stanley B. Lippman	C++/CLI: evolving C++ within the .NET platform.	ACM Southeast Regional Conference (1)	2005	DBLP DOI BibTeX RDF
19	Wolfgang Grieskamp, Nikolai Tillmann, Colin Campbell, Wolfram Schulte, Margus Veanes	Action Machines - Towards a Framework for Model Composition, Exploration and Conformance Testing Based on Symbolic Computation.	QSIC	2005	DBLP DOI BibTeX RDF
19	Allyn Dimock, Ian Westmacott, Robert Muller, Franklyn A. Turbak, J. B. Wells	Functioning without Closure: Type-Safe Customized Function Representations for Standard ML.	ICFP	2001	DBLP DOI BibTeX RDF	Standard ML
19	Matthias Anlauff, Philipp W. Kutter, Alfonso Pierantonio, Asuman Sünbül	Using Domain-Specific Languages for the Realization of Component Composition.	FASE	2000	DBLP DOI BibTeX RDF
19	Jocelyne Erhel, Mounir Hahad, Thierry Priol	Extended Abstract: "No-Compile-Time Knowledge" Distribution of Finite Element Computations on Multiprocessors.	HICSS (1)	1996	DBLP DOI BibTeX RDF