Amir Pnueli - researchr profile publications

researchr

You are not signed in
Sign in
Sign up

[Clear Filters]

Publications tagged optimization

Optimizing Dvl PDZ domain inhibitor by exploring chemical spaceJufang Shan, Jie J. Zheng. jcamd, 23(1):37-47, 2009. [doi]

Autonomous agent behavior generation using multiobjective evolutionary optimizationDustin J. Nowak, Gary B. Lamont. gecco 2008: 1961-1968 [doi]

A comparison of automation techniques for optimization of compressor schedulingHa H. Nguyen, V. Uraikul, Christine W. Chan, Paitoon Tontiwachwuthikul. aes, 39(3):178-188, 2008. [doi]

Generalized Extremal Optimization for Solving Multiprocessor Task Scheduling ProblemPiotr Switalski, Franciszek Seredynski. seal 2008: 161-169 [doi]

A retrovirus inspired algorithm for virus detection & optimizationKenneth S. Edge, Gary B. Lamont, Richard A. Raines. gecco 2006: 103-110 [doi]

An optimization algorithm for the clearing of interbank paymentsYakov M. Shafransky, Alexander A. Doudkin. eor, 171(3):743-749, 2006. [doi]

On Budgeted Optimization ProblemsAlpár Jüttner. siamdm, 20(4):880-892, 2006. [doi]

Hybrid Optimizations: Which Optimization Algorithm to Use?John Cavazos, J. Eliot B. Moss, Michael F. P. O Boyle. CC (empty year): 124-138 [doi]

Validating More Loop OptimizationsYing Hu, Clark W. Barrett, Benjamin Goldberg, Amir Pnueli. ENTCS, 141(2):69-84, 2005. [doi]

TVOC: A Translation Validator for Optimizing CompilersClark W. Barrett, Yi Fang, Benjamin Goldberg, Ying Hu, Amir Pnueli, Lenore D. Zuck. cav 2005: 291-295 [doi]

Optimization of query streams using semantic prefetchingIvan T. Bowman, Kenneth Salem. TODS, 30(4):1056-1101, 2005. [doi]

Dynamic Task-Level Voltage Scheduling OptimizationsJeffrey A. Barnett. TC, 54(5):508-520, 2005. [doi]

A hybrid method of chaotic particle swarm optimization and linear interior for reactive power optimisationJiang Chuanwen, Etorre Bompard. mcs, 68(1):57-65, 2005. [doi]

Complexity of integer quasiconvex polynomial optimizationSebastian Heinz. jc, 21(4):543-556, 2005. [doi]

HOPE: A Homotopy Optimization Method for Protein Structure PredictionDaniel M. Dunlavy, Dianne P. O Leary, Dmitri Klimov, D. Thirumalai. jcb, 12(10):1275-1288, 2005. [doi]

Validating the Translation of an Industrial Optimizing CompilerI. Gordin, Raya Leviathan, Amir Pnueli. ATVA 2004: 230-247 [doi]

Optimization of Query Streams Using Semantic PrefetchingIvan T. Bowman, Kenneth Salem. SIGMOD 2004: 179-190 [doi]

Optimization of fed-batch bioreactors using genetic algorithm: multiple control variablesDebasis Sarkar, Jayant M. Modak. cce, 28(5):789-798, 2004. [doi]

Developing a Foundation for Code OptimizationMary Lou Soffa. CC 2004: 1-4 [doi]

Optimizing temporal queries: efficient handling of duplicatesIvan T. Bowman, David Toman. DKE, 44(2):143-164, 2003.

Simultaneous parameter estimation and model structure determination in FTIR spectroscopy by global MINLP optimizationAnastasia Vaia, Nikolaos V. Sahinidis. cce, 27(6):763-779, 2003. [doi]

FOM: A Framework for Metaheuristic OptimizationJ. A. Parejo, J. Racero, Fernando Guerrero, Terence Kwok, Kate A. Smith. iccS 2003: 886-895 [doi]

Validating software pipelining optimizationsRaya Leviathan, Amir Pnueli. cases 2002: 280-287 [doi]

VOC: A Translation Validator for Optimizing CompilersLenore D. Zuck, Amir Pnueli, Yi Fang, Benjamin Goldberg. ENTCS, 65(2):2-18, 2002. [doi]

Optimizing Nested Loops Using Local CPS ConversionJohn H. Reppy. lisp, 15(2-3):161-180, 2002.

Optimizing Temporal Queries: Efficient Handling of DuplicatesIvan T. Bowman, David Toman. rtas 2001: 93-100 [doi]

Optimizing Web Pages for InstructionTimothy Dirks. webnet 2001: 306-307

Multiobjective Optimization with Messy Genetic AlgorithmsDavid A. van Veldhuizen, Gary B. Lamont. SAC 2000: 470-476

Optimization of conical intersections using the semiempirical MNDOC-CI method with analytic gradientsRoberto Izzo, Martin Klessinger. jcc, 21(1):52-62, 2000. [doi]

Optimization of fuzzy reasoning by genetic algorithm using variable bit-selection probabilityMakoto Ohki, Toshiaki Moriyama, Masaaki Ohkita. scjapan, 30(6):54-63, 1999. [doi]

User and Computer Performance Optimization - A New Model for EfficiencyCraig D. Hanson, Pat V. Crain. cmg 1999: 385-395

Performance of Threading Scoring Functions Designed Using New Optimization MethodJadwiga R. Bienkowska, Robert G. Rogers, Temple F. Smith. jcb, 6(3/4):299-311, 1999.

A critical evaluation of several global optimization algorithms for the purpose of molecular dockingDavid J. Diller, Christophe L. M. J. Verlinde. jcc, 20(16):1740-1751, 1999. [doi]

A. Metropolis-Type Optimization Algorithm on the Infinite TreeDavid Aldous. algorithmica, 22(4):388-412, 1998. [doi]

How good is a Broyden-Fletcher-Goldfarb-Shanno-like update Hessian formula to locate transition structures? Specific reformulation of Broyden-Fletcher-Goldfarb-Shanno for optimizing saddle pointsJosep Maria Anglada, Josep Maria Bofill. jcc, 19(3):349-362, 1998. [doi]

Transmission line synthesis via constrained multivariable optimizationRohini Gupta, Byron Krauter, Lawrence T. Pileggi. tcad, 16(1):6-19, 1997. [doi]

A fixed interval ordering policy for joint optimization of age replacement and spare part provisioningA. B. M. Zohrul Kabir, S. H. A. Farrash. ijsysc, 28(12):1299-1309, 1997. [doi]

A reduced-restricted-quasi-Newton-Raphson method for locating and optimizing energy crossing points between two potential energy surfacesJosep Maria Anglada, Josep Maria Bofill. jcc, 18(8):992-1003, 1997. [doi]

Orientational sampling and rigid-body minimization in molecular docking revisited: On-the-fly optimization and degeneracy removalDaniel A. Gschwend, Irwin D. Kuntz. jcamd, 10(2):123-132, 1996.

On Parallel Complexity of Nonsmooth Convex OptimizationArkadi Nemirovski. jc, 10(4):451-463, 1994. [doi]

Parallel Global Optimization Methods for Molecular Configuration ProblemsRichard H. Byrd, Thomas Derby, Elizabeth Eskow, Klaas P. B. Oldenkamp, Robert B. Schnabel, Christos Triantafillou. ppsc 1993: 165-169

Optimization of pipe networksClaus Thorp Hansen, Kaj Madsen, Hans Bruun Nielsen. mp, 52:45-58, 1991.

Concurrent Stochastic Methods for Global OptimizationRichard H. Byrd, Cornelius L. Dert, Alexander H. G. Rinnooy Kan, Robert B. Schnabel. mp, 46:1-29, 1990.

Approximation and optimization on the Wiener spaceKlaus Ritter. jc, 6(4):337-364, 1990. [doi]

Multi-Level Optimization for Large Scale ASICSAkira Nagoya, Yukihiro Nakamura, Kiyoshi Oguri, Ryo Nomura. iccad 1990: 564-567

Other Comments on Optimization Algorithms for Distributed Queries Wojciech Cellary, Zbyszko Królikowski, Tadeusz Morzy. TSE, 14(4):439-441, 1988. [doi]

Macromodeling and Optimization of Digital MOS VLSI CircuitsMark Douglas Matson, Lance A. Glasser. tcad, 5(4):659-678, 1986. [doi]

Continuous optimization problems and a polynomial hierarchy of real functionsKer-I Ko. jc, 1(2):210-231, 1985. [doi]

A Semijoin Strategy for Distributed Query OptimizationChin-Wan Chung, Keki B. Irani. icdcs 1984: 368-377

Optimization of Teleprocessing Networks with Concentrators and Multiconnected TerminalsDonald T. Tang, Lin S. Woo, Lalit R. Bahl. TC, 27(7):594-604, 1978.

runs on WebDSL