Philippe Suter - researchr profile publications

researchr

You are not signed in
Sign in
Sign up

[Clear Filters]

Publications tagged data-flow

Ordered Sets in the Calculus of Data StructuresViktor Kuncak, Ruzica Piskac, Philippe Suter. csl 2010: 34-48 [doi]

Building a Calculus of Data StructuresViktor Kuncak, Ruzica Piskac, Philippe Suter, Thomas Wies. vmcai 2010: 26-44 [doi]

Runtime Instrumentation for Precise Flow-Sensitive Type AnalysisEtienne Kneuss, Philippe Suter, Viktor Kuncak. RV 2010: 300-314 [doi]

Decision procedures for algebraic data types with abstractionsPhilippe Suter, Mirco Dotta, Viktor Kuncak. POPL 2010: 199-210 [doi]

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]

Robust Online Video Background Reconstruction Using Optical Flow and Pixel Intensity DistributionXiaodong Cai. icc 2008: 526-530 [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]

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]

Parallel Genetic Algorithm for a Flow-Shop Problem with Multiprocessor TasksCeyda Oguz, Yu-Fai Fung, Muhammet Fikret Ercan, X. T. Qi. iccsa 2003: 987-997 [doi]

Using Data Groups to Specify and Check Side EffectsK. Rustan M. Leino, Arnd Poetzsch-Heffter, Yunhong Zhou. PLDI 2002: 246-257 [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]

The Characterization of Data-Accumulating AlgorithmsStefan D. Bruda, Selim G. Akl. mst, 33(1):85-96, 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

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

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