Search results for "assignable"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
84	Néstor Cataño, Marieke Huisman	CHASE: A Static Checker for JML's Assignable Clause.	VMCAI	2003	DBLP DOI BibTeX RDF
76	Charles C. Chiang, Andrew B. Kahng, Subarna Sinha, Xu Xu 0001, Alexander Zelikovsky	Fast and Efficient Bright-Field AAPSM Conflict Detection and Correction.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2007	DBLP DOI BibTeX RDF
76	Charles C. Chiang, Andrew B. Kahng, Subarna Sinha, Xu Xu 0001, Alexander Zelikovsky	Bright-Field AAPSM Conflict Detection and Correction.	DATE	2005	DBLP DOI BibTeX RDF
55	Ali Pinar, Bruce Hendrickson	Improving Load Balance with Flexibly Assignable Tasks.	IEEE Trans. Parallel Distributed Syst.	2005	DBLP DOI BibTeX RDF	flexibly assignable tasks, constrained least squares, load balancing, Parallel computing, maximum flow
38	Danilo Caivano	Continuous Software Process Improvement through Statistical Process Control.	CSMR	2005	DBLP DOI BibTeX RDF
38	Maria Teresa Baldassarre, Nicola Boffoli, Danilo Caivano, Giuseppe Visaggio	Managing Software Process Improvement (SPI) through Statistical Process Control (SPC).	PROFES	2004	DBLP DOI BibTeX RDF
28	Mahmood Ali, Yoav Zibin, Matthew M. Papi, Michael D. Ernst	Enforcing reference and object immutability in Java.	OOPSLA Companion	2008	DBLP DOI BibTeX RDF	IGJ, java, verification, compiler, case study, type system, polymorphism, assignable, bug finding, flow-sensitive, readonly, immutability, mutable, javac
28	Telmo Luis Correa Jr., Jaime Quinonez, Michael D. Ernst	Tools for enforcing and inferring reference immutability in Java.	OOPSLA Companion	2007	DBLP DOI BibTeX RDF	Javari, Java, verification, type system, assignable, side effects, readonly, immutability, mutable
28	Matthew S. Tschantz, Michael D. Ernst	Javari: adding reference immutability to Java.	OOPSLA	2005	DBLP DOI BibTeX RDF	Javari, Java, verification, type system, assignable, readonly, immutability, mutable
28	Bernd Wurth, Ulf Schlichtmann, Klaus Eckl, Kurt Antreich	Functional multiple-output decomposition with application to technology mapping for lookup table-based FPGAs.	ACM Trans. Design Autom. Electr. Syst.	1999	DBLP DOI BibTeX RDF	FPGA technology, TOS, assignable functions, implicit BDD-based methods, mapping synthesis, multiple-output decomposition, preferable functions, subfunction sharing gain, subfunction sharing potential, variable partitioning for decomposition, Boolean functions, decomposition, computer-aided design of VLSI
27	Rubing Chen, Yuan Gao, Zhichao Geng, Jinjiang Yuan	Revisit the scheduling problem with assignable or generalized due dates to minimize total weighted late work.	Int. J. Prod. Res.	2023	DBLP DOI BibTeX RDF
27	Jan-Erik Justkowiak, Sergey Kovalev, Mikhail Y. Kovalyov, Erwin Pesch	Single machine scheduling with assignable due dates to minimize maximum and total late work.	Eur. J. Oper. Res.	2023	DBLP DOI BibTeX RDF
27	A. S. Abubakar, Zied Hajej, Aime C. Nyoungue	Integrated Production, Maintenance, and Quality Strategy for Production Systems subject to Several Assignable Causes of Process Variation.	SSD	2023	DBLP DOI BibTeX RDF
27	Dvir Shabtay, Gur Mosheiov, Daniel Oron	Single machine scheduling with common assignable due date/due window to minimize total weighted early and late work.	Eur. J. Oper. Res.	2022	DBLP DOI BibTeX RDF
27	Katsuaki Higashimori, Fumikazu Inuzuka, Takuya Ohara	Physical topology optimization for highly reliable and efficient wavelength-assignable optical networks.	JOCN	2022	DBLP DOI BibTeX RDF
27	Jalal Taji, Hiwa Farughi, Hasan Rasay	Economic-statistical design of fully adaptive multivariate control charts under effects of multiple assignable causes.	Comput. Ind. Eng.	2022	DBLP DOI BibTeX RDF
27	Long Zhang, Yuzhong Zhang, Qingguo Bai	An approximation algorithm for a supply-chain scheduling problem with an assignable common due window and holding time.	J. Comb. Optim.	2022	DBLP DOI BibTeX RDF
27	Mohammad Javad Ershadi, Mohammad Mahdi Ershadi, S. Haghighi Naeini, Seyed Taghi Akhavan Niaki	An economic-statistical design of simple linear profiles with multiple assignable causes using a combination of MOPSO and RSM.	Soft Comput.	2021	DBLP DOI BibTeX RDF
27	Bojia Li, Yangsen Zhang, Ruoyu Chen 0002	一种可指定分布的海量数据生成方法 (Method for Generating Massive Data with Assignable Distribution).	计算机科学	2019	DBLP DOI BibTeX RDF
27	Long Zhang, Yuzhong Zhang, Qingguo Bai	Two-stage medical supply chain scheduling with an assignable common due window and shelf life.	J. Comb. Optim.	2019	DBLP DOI BibTeX RDF
27	Kai Zhao 0004, Jiawei Chen 0002	Robust Adaptive Fault-Tolerant Control of Nonlinear Systems With Assignable Tracking Performance Under Time-Varying Control Coefficients.	IEEE Access	2018	DBLP DOI BibTeX RDF
27	M. Bameni Moghadam, Y. Khadem, Shabnam Fani, Muhammad Adeel Pasha	Effects of non-normality on economic and economic statistical designs of -control charts with multiple assignable causes and Weibull in-control times.	Commun. Stat. Simul. Comput.	2018	DBLP DOI BibTeX RDF
27	Kai Zhao 0004, Yongduan Song, Jiye Qian, Jin Fu	Zero-error tracking control with pre-assignable convergence mode for nonlinear systems under nonvanishing uncertainties and unknown control direction.	Syst. Control. Lett.	2018	DBLP DOI BibTeX RDF
27	Youjun Chen, Lingfa Lu, Jinjiang Yuan	Two-stage scheduling on identical machines with assignable delivery times to minimize the maximum delivery completion time.	Theor. Comput. Sci.	2016	DBLP DOI BibTeX RDF
27	Martin Kasparick 0002, Max Rockstroh, Stefan Schlichting, Frank Golatowski, Dirk Timmermann	Mechanism for safe remote activation of networked surgical and PoC devices using dynamic assignable controls.	EMBC	2016	DBLP DOI BibTeX RDF
27	Yuan Gao, Jinjiang Yuan	Unary NP-hardness of minimizing the total deviation with generalized or assignable due dates.	Discret. Appl. Math.	2015	DBLP DOI BibTeX RDF
27	Ilyasse Aksikas, Stevan Dubljevic	Single-step feedback linearization with assignable dynamics for hyperbolic PDE.	MED	2015	DBLP DOI BibTeX RDF
27	Yunqiang Yin, T. C. E. Cheng, Shuenn-Ren Cheng, Chin-Chia Wu	Single-machine batch delivery scheduling with an assignable common due date and controllable processing times.	Comput. Ind. Eng.	2013	DBLP DOI BibTeX RDF
27	Yunqiang Yin, Shuenn-Ren Cheng, T. C. E. Cheng, Chin-Chia Wu, Wen-Hsiang Wu	Two-agent single-machine scheduling with assignable due dates.	Appl. Math. Comput.	2012	DBLP DOI BibTeX RDF
27	Y. Adler, V. Shper, Olga V. Maksimova	Assignable causes of variation and statistical models: another approach to an old topic.	Qual. Reliab. Eng. Int.	2011	DBLP DOI BibTeX RDF
27	Dvir Shabtay, George Steiner	A bicriteria approach to minimize the total weighted number of tardy jobs with convex controllable processing times and assignable due dates.	J. Sched.	2011	DBLP DOI BibTeX RDF
27	Luís H. C. Bicalho, André Gustavo dos Santos, José Elias Claudio Arroyo	Metaheuristic for parallel machines scheduling with resource-assignable sequence dependent setup times.	GECCO	2011	DBLP DOI BibTeX RDF
27	Kudret Demirli, Sujikumar Vijayakumar	Fuzzy logic based assignable cause diagnosis using control chart patterns.	Inf. Sci.	2010	DBLP DOI BibTeX RDF
27	Miguel V. Carriegos, Araceli DeFrancisco-Iribarren, Rafael Santamaria-Sanchez	The Effective Calculation of All Assignable Polynomials to a Single-Input System Over a BÉzout Domain.	IEEE Trans. Autom. Control.	2010	DBLP DOI BibTeX RDF
27	Edmar Hell Kamke, José Elias Claudio Arroyo, André Gustavo dos Santos	Iterated Local Search with Path Relinking for Solving Parallel Machines Scheduling Problem with Resource-Assignable Sequence Dependent Setup Times.	EvoCOP	2010	DBLP DOI BibTeX RDF
27	Hermann Lehner, Peter Müller 0001	Efficient Runtime Assertion Checking of Assignable Clauses with Datagroups.	FASE	2010	DBLP DOI BibTeX RDF
27	Edmar Hell Kamke, José Elias Claudio Arroyo, André Gustavo dos Santos	Reactive GRASP with Path Relinking for Solving Parallel Machines Scheduling Problem with Resource-assignable Sequence Dependent Setup Times.	NaBIC	2009	DBLP DOI BibTeX RDF
27	Andrey Barabanov, Romeo Ortega, Gerardo Escobar	On ultimate boundedness around non-assignable equilibria of linear time-invariant systems.	Autom.	2008	DBLP DOI BibTeX RDF
27	Shiwang Hou, Shurong Tong	Fuzzy logic based assignable causes ranking system for control chart abnormity diagnosis.	FUZZ-IEEE	2008	DBLP DOI BibTeX RDF
27	Jatinder N. D. Gupta, Karin Krüger, Volker Lauff, Frank Werner 0001, Yuri N. Sotskov	Heuristics for hybrid flow shops with controllable processing times and assignable due dates.	Comput. Oper. Res.	2002	DBLP DOI BibTeX RDF
27	Chung-Hsing Huang, Yi-Ni Lin	Decision rule of assignable causes removal under an SPC-EPC integration system.	Int. J. Syst. Sci.	2002	DBLP DOI BibTeX RDF
27	Xiangtong Qi, Gang Yu, Jonathan F. Bard	Single machine scheduling with assignable due dates.	Discret. Appl. Math.	2002	DBLP DOI BibTeX RDF
27	Ali Pinar, Bruce Hendrickson	Exploiting flexibly assignable work to improve load balance.	SPAA	2002	DBLP DOI BibTeX RDF	algorithms, load balancing, parallel computing, least squares, maximum-flow
27	Nikolaos Kazantzis, Stevan Dubljevic	Nonlinear discrete-time state feedback regulators with assignable closed-loop dynamics.	ACC	2001	DBLP DOI BibTeX RDF
27	Joel K. Jolayemi	An optimal design of multiattribute control charts for processes subject to a multiplicity of assignable causes.	Appl. Math. Comput.	2000	DBLP DOI BibTeX RDF
27	Matthew D. Russell, Howard Xu, Lingtao Wang	Action Assignable Graphics: A Flexible Human-Computer Interface Design Process.	CHI	1992	DBLP DOI BibTeX RDF
27	Sailesh K. Rao, Chi-Tsong Chen	Design of minimal-degree compensators with assignable poles or structure.	Autom.	1987	DBLP DOI BibTeX RDF
27	Dundar Dumlugol, Hugo De Man, Piet Stevens, Guido G. Schrooten	Local Relaxation Algorithms for Event-Driven Simulation of MOS Networks Including Assignable Delay Modeling.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	1983	DBLP DOI BibTeX RDF
27	Stephen A. Szygenda, Anthony A. Lekkos, John L. Fike	Implemented techniques for handling spikes in an assignable delay simulator.	WSC	1974	DBLP DOI BibTeX RDF
27	Edward W. Thompson, Stephen A. Szygenda, N. Billawala, R. Pierce	Timing analysis for digital fault simulation using assignable delays.	DAC	1974	DBLP BibTeX RDF
19	Martin Kuster	Multichannel Room Impulse Response Generation With Coherence Control.	IEEE Trans. Speech Audio Process.	2009	DBLP DOI BibTeX RDF
19	Pim van 't Hof, Daniël Paulusma, Johan M. M. van Rooij	Computing Role Assignments of Chordal Graphs.	FCT	2009	DBLP DOI BibTeX RDF
19	Steffen van Bakel, Maria Grazia Vigliotti	A Logical Interpretation of the λ-Calculus into the π-Calculus, Preserving Spine Reduction and Types.	CONCUR	2009	DBLP DOI BibTeX RDF
19	Jun Xu 0002, Xuemin Shen, Jon W. Mark, Jun Cai 0001	Quasi-Optimal Channel Assignment for Real-Time Video in OFDM Wireless Systems.	IEEE Trans. Wirel. Commun.	2008	DBLP DOI BibTeX RDF
19	A. Mani	Esoteric Rough Set Theory: Algebraic Semantics of a Generalized VPRS and VPFRS.	Trans. Rough Sets	2008	DBLP DOI BibTeX RDF	Esoteric Rough Set Theory, Variable Precision Rough Set Theory, Algebraic Semantics of Generalized Rough Set Theory, Irreflexive Rough Set Theory, VPRFS, GVPRFS, Rough Sets
19	Bikramjit Banerjee, Ahmed Abukmail, Landon Kraemer	Advancing the Layered Approach to Agent-Based Crowd Simulation.	PADS	2008	DBLP DOI BibTeX RDF
19	Martin Hofmann 0001, Mariela Pavlova	Elimination of Ghost Variables in Program Logics.	TGC	2007	DBLP DOI BibTeX RDF
19	Paritosh Shroff, Christian Skalka, Scott F. Smith 0001	The Nuggetizer: Abstracting Away Higher-Orderness for Program Verification.	APLAS	2007	DBLP DOI BibTeX RDF	0CFA, program analysis, program verification, higher-order
19	Rosaria Lombardo, Amalia Vanacore, Jean-François Durand	Non Parametric Control Chart by Multivariate Additive Partial Least Squares via Spline.	GfKl	2007	DBLP DOI BibTeX RDF
19	Ingmar Blau, Gerhard Wunder	User Allocation in Multi-System, Multi-Service Scenarios: Upper and Lower Performance Bound of Polynomial Time Assignment Algorithms.	CISS	2007	DBLP DOI BibTeX RDF
19	Andrew Dalley, John Fulcher, David Bomba, Ken Lynch, Peter Feltham	A technological model to define access to electronic clinical records.	IEEE Trans. Inf. Technol. Biomed.	2005	DBLP DOI BibTeX RDF
19	John Shalf, Shoaib Kamil 0001, Leonid Oliker, David Skinner	Analyzing Ultra-Scale Application Communication Requirements for a Reconfigurable Hybrid Interconnect.	SC	2005	DBLP DOI BibTeX RDF
19	Yang Yang 0001, Tak-Shing Peter Yum	Maximally flexible assignment of orthogonal variable spreading factor codes for multirate traffic.	IEEE Trans. Wirel. Commun.	2004	DBLP DOI BibTeX RDF
19	Ching-Fang Hsu 0002, Te-Lung Liu, Nen-Fu Huang	Multicast traffic scheduling in single-hop WDM networks with arbitrary tuning latencies.	IEEE Trans. Commun.	2004	DBLP DOI BibTeX RDF
19	Emmanuelle Vivier, Michel Terré, Bernard Fino	On the Complexity of Radio Resources Allocation in WCDMA Systems.	MWCN	2004	DBLP DOI BibTeX RDF
19	Jirí Fiala 0001, Daniël Paulusma	The Computational Complexity of the Role Assignment Problem.	ICALP	2003	DBLP DOI BibTeX RDF	role assignment 2002 Mathematics Subject Classification: 05C15, computational complexity, 03D15, graph homomorphism
19	Emmanuel Letier, Axel van Lamsweerde	Agent-based tactics for goal-oriented requirements elaboration.	ICSE	2002	DBLP DOI BibTeX RDF
19	Harriet Black Nembhard, Leyuan Shi, Mehmet Aktan	A real options design for quality control charts.	WSC	2000	DBLP DOI BibTeX RDF
19	Philippe Chrétienne, Françoise Lamour	Mapping Graphs onto a Partially Reconfigurable Architecture.	EDMCC	1991	DBLP DOI BibTeX RDF