Amir Pnueli - researchr profile publications

researchr

You are not signed in
Sign in
Sign up

[Clear Filters]

Publications tagged data-flow

Using Data Mining Algorithms in Web Performance PredictionLeszek Borzemski, Marta Kliber, Ziemowit Nowak. cas, 40(2):176-187, 2009. [doi]

JAxT and JDI: the simplicity of junit applied to axioms and data invariantsMagne Haveraaen, Karl Trygve Kalleberg. OOPSLA 2008: 731-732 [doi]

Understanding Performance for Two 802.11 Competing FlowsKan Cai, Michael J. Feeley, Brendan Cully, Sharath J. George. jcst, 23(3):365-376, 2008. [doi]

A frequency assessment expert system of piezoelectric transducers in paucity of dataFengming M. Chang, Yeong-Chin Chen. eswa, 34(4):2747-2753, 2008. [doi]

Adaptive data compression for high-performance low-power on-chip networksYuho Jin, Ki Hwan Yum, Eun Jung Kim. euromicro 2008: 354-363 [doi]

Authority and ranking effects in data fusionAnselm Spoerri. jasis, 59(3):450-460, 2008. [doi]

Scheduling of Flow-Shop, Job-Shop, and Combined Scheduling Problems using MOEAs with Fixed and Variable Length ChromosomesMark P. Kleeman, Gary B. Lamont. In Keshav P. Dahal, Kay Chen Tan, Peter I. Cowling, editors, Evolutionary Scheduling. Volume 49 of Studies in Computational Intelligence, pages 49-99, Springer, 2007. [doi]

Special issue on high density data centersAbdlmonem H. Beitelmal. dpd, 21(2-3):113-114, 2007. [doi]

A Query Index for Stream Data Using Interval Skip Lists Exploiting LocalityJun-Ki Min. iccS 2007: 245-252 [doi]

Integrated Proactive Admission Control Technique For both UDP And TCP Traffic FlowsLakshmanan Senthilkumar, Venkadachalam Sankaranarayanan. jnw, 2(1):1-8, 2007. [doi]

Should co-occurrence data be normalized? A rejoinderLoet Leydesdorff. jasis, 58(14):2411-2413, 2007. [doi]

Efficient Data-Movement for Lightweight I/ORon Oldfield, Patrick Widener, Arthur B. Maccabe, Lee Ward, Todd Kordenbrock. cluster 2006: [doi]

Dynamics of POD Modes in Wall Bounded Turbulent FlowGiancarlo Alfonsi, Leonardo Primavera. iccS 2006: 465-472 [doi]

Illuminator: a Free Graphics Toolkit for Parallel Visualization of Continuum Field DataA. Powell, O. Ocholi, J. Vieyra, B. Zhou. cluster 2005: 1 [doi]

Flow control schedulingFerdinand Gramsamer, Mitchell Gusat, Ronald P. Luijten. mam, 27(5-6):233-241, 2003. [doi]

Ping-pong flow control for ATM ABR trafficCheng-Yuan Ku, Lain-Chyr Hwang, Hsin-Tzung Wu. csi, 25(5):515-528, 2003. [doi]

Low cost automation using INS/GPS data fusion for accurate positioningJ. Z. Sasiadek, Q. Wang. robotica, 21(3):255-260, 2003. [doi]

Using Data Groups to Specify and Check Side EffectsK. Rustan M. Leino, Arnd Poetzsch-Heffter, Yunhong Zhou. PLDI 2002: 246-257 [doi]

Shape Preserving Interpolatory Subdivision Schemes for Nonuniform DataFrans Kuijt, Ruud van Damme. jat, 114(1):1-32, 2002. [doi]

The DR-tree: A Main Memory Data Structure for Complex Multi-dimensional ObjectsYong-Ju Lee, Chin-Wan Chung. geoinformatica, 5(2):181-207, 2001.

A Visualization Tool for Analyzing Cluster Performance DataRena Haynes, Patricia Crossno, Eric Russell. cluster 2001: 295-302 [doi]

Control and Data Abstraction: The Cornerstones of Practical Formal VerificationYonit Kesten, Amir Pnueli. STTT, 2(4):328-342, 2000. [doi]

Efficient VLSI for Lempel-Ziv compression in wireless data communication networksBongjin Jung, Wayne P. Burleson. tvlsi, 6(3):475-483, 1998. [doi]

On-Line Load Balancing and Network FlowSteven J. Phillips, Jeffery Westbrook. algorithmica, 21(3):245-261, 1998.

Analyzing RMF Service Class Data and Workload Activity ReportsDonald R. Deese. cmg 1998: 831-841

Data-Structures for the Verification of Timed AutomataEugene Asarin, Marius Bozga, Alain Kerbrat, Oded Maler, Amir Pnueli, Anne Rasse. hybrid 1997: 346-360

Infering Structure in Semistructured DataSvetlozar Nestorov, Serge Abiteboul, Rajeev Motwani. SIGMOD, 26(4):39-43, 1997. [doi]

DB2 Data Sharing: Predictive Performance MethodsDavid A. Beulke. cmg 1997: 1032-1041

OOP for Business Data ProcessingRichard Riehle. joop, 8(9):51-56, 1996.

SLIQ: A Fast Scalable Classifier for Data MiningManish Mehta 0002, Rakesh Agrawal, Jorma Rissanen. edbt 1996: 18-32 [doi]

Effective data parallel computation using the Psi calculusLenore M. R. Mullin, Michael A. Jenkins. concurrency, 8(7):499-515, 1996.

LH* - A Scalable, Distributed Data StructureWitold Litwin, Marie-Anne Neimat, Donovan A. Schneider. TODS, 21(4):480-525, 1996. [doi]

Sysplex & DB2 Version 4 Data SharingDavid A. Beulke. cmg 1996: 154-161

Optical flow estimation and the interaction between measurement errors at adjacent pixel positionsHans-Hellmut Nagel. ijcv, 15(3):271-288, 1995. [doi]

Modelling Concurrent Accesses to Shared Data via Petri NetsNicoletta De Francesco, Ugo Montanari, Gioia Ristori. procomet 1994: 403-422

If the Future is Here, Where is My Data?Roger L. Eberlin, Cecelia Bellomo. cmg 1994: 1157-1166

Cost and Availability Tradeoffs in Replicated Data Concurrency ControlAkhil Kumar, Arie Segev. TODS, 18(1):102-131, 1993. [doi]

Comparison of Parallel Messy Genetic Algorithm Data Distribution StrategiesLaurence D. Merkle, Gary B. Lamont. icga 1993: 191-198

Virtual Data StructuresS. Doaitse Swierstra, Oege de Moor. ifip2-1 1993: 355-371

Inductive Data Types for Predicate TransformersOege de Moor. ipl, 43(3):113-117, 1992.

Data compression using word encoding with Huffman codeChengwen Liu, Clement T. Yu. jasis, 42(9):685-698, 1991.

Techniques for Using a Mainframe to Monitor AS/400 Performance DataCarolyn Barnett. cmg 1991: 644-649

Managing at the Knee of the Curve (The Use of SPC in Managing a Data Center)Jack Brey, Rick Sironi. cmg 1990: 895-901

Profiling Capacity DataTim Follen. cmg 1990: 245-251

Specification and Implementation of Concurrently Accessed Data Structures: An Abstract Data Type ApproachS. Kaplan, Amir Pnueli. STACS 1987: 220-244

Static vs Dynamic Management of Consistently Very Active Data SetsMartha R. Henley, Ingrid Liu. cmg 1987: 208-216

Standards for electronic data exchangeNigel Fenton. comcom, 7(4):181-185, 1984. [doi]

Constructing a covering triangulation by means of a nowhere-zero dual flowAndré Bouchet. JCT, 32(3):316-325, 1982. [doi]

Data management for thematic map generationFlavio Bonfatti, Paolo Tiberio. cg, 3(2-3):71-78, 1978. [doi]

Research Directions in Abstract Data StructuresMary Shaw. sigplan 1976: 66-68 [doi]

runs on WebDSL