Raju Halder - researchr profile publications

researchr

You are not signed in
Sign in
Sign up

[Clear Filters]

Publications tagged slicing

Dependence condition graph for semantics-based abstract program slicingAgostino Cortesi, Raju Halder. LDTA 2010: 4 [doi]

Precise slicing of concurrent programsDennis Giffhorn, Christian Hammer. ASE, 16(2):197-234, 2009. [doi]

Sliced mean variance-covariance inverse regressionSimon J. Sheather, Joseph W. McKean, Kimberly Crimin. csda, 52(4):1908-1927, 2008. [doi]

Answering preference queries with bit-sliced index arithmeticDenis Rinfret. c3s2e 2008: 173-185 [doi]

Slicing for modern program structures: a theory for eliminating irrelevant loopsTorben Amtoft. ipl, 106(2):45-51, 2008. [doi]

Efficient dynamic dispatching with type slicingJoseph Gil, Yoav Zibin. TOPLAS, 30(1):5, 2007. [doi]

Improved Intra Prediction for Efficient Packetization in H.264 with Multiple Slice GroupsG. Nageswara Rao, S. S. B. K. Gupta Pallapothu. icmcs 2007: 1607-1610 [doi]

A Bit-Slice Implementation of the Whirlpool Hash FunctionKarl Scheibelhofer. ctrsa 2006: 385-401 [doi]

SAP NetWeaver: Slicing the fridgeMarkus Eisele, Ralf Kolb, Erwin Kraus, Christian von Ehrenstein. insk, 30(6):407-412, 2007. [doi]

Slicing Concurrent Real-Time System Specifications for VerificationIngo Brückner. IFM 2007: 54-74 [doi]

An Evaluation of Slicing Algorithms for Concurrent ProgramsDennis Giffhorn, Christian Hammer. SCAM 2007: 17-26 [doi]

Ultrahigh-field MRI whole-slice and localized RF field excitations using the same RF transmit arrayT. S. Ibrahim. tmi, 25(10):1341-1347, 2006. [doi]

3D Visualisation of Brain Slices by Using Computer TechniquesBaki Koyuncu, Alper Pahsa. incdm 2006: 127-134

Formal specification of program slicingFangjun Wu. SIGPLAN, 41(12):18-27, 2006. [doi]

A fast convergence algorithm for echo cancellers in full duplex transmission using back projection from slicerDanny Stopler, Ilan Reuven. tsp, 53(4):1534-1549, 2005. [doi]

The Efficiency of Critical Slicing in Fault LocalizationZuhoor A. Al-Khanjari, Martin R. Woodward, Haider Ali Ramadhan, Narayana Swamy Kutti. sqj, 13(2):129-153, 2005. [doi]

Using Dynamic Information in the Interprocedural Static Slicing of Binary ExecutablesÁkos Kiss, Judit Jász, Tibor Gyimóthy. sqj, 13(3):227-245, 2005. [doi]

Bit-Sliced Datapath for Energy-Efficient High Performance MicroprocessorsSumeet Kumar, Prateek Pujara, Aneesh Aggarwal. pacs 2005: 30-45 [doi]

Some Notes on Interprocedural Program SlicingKeith Brian Gallagher. SCAM 2004: 36-42 [doi]

Trees, slices, and wheels: On the floorplan area minimization problemAna Maria De Almeida, Rosália Rodrigues. networks, 41(4):235-244, 2003. [doi]

Interprocedural Static Slicing of Binary ExecutablesÁkos Kiss, Judit Jász, Gábor Lehotai, Tibor Gyimóthy. SCAM 2003: 118 [doi]

Type Error Slicing in Implicitly Typed Higher-Order LanguagesChristian Haack, J. B. Wells. ESOP 2003: 284-301 [doi]

Slicing-Book -Technik - Eine neue Technik für eine neue Lehre?Marianne Valerius, Anna Simon. login, 22(120), 2002.

An Upper Bound for 3D Slicing FloorplansSilke Salewski, Erich Barke. vlsid 2002: 567-572 [doi]

Handling Pointers and Unstructured Statements in the Forward Computed Dynamic Slice AlgorithmCsaba Faragó, Tamás Gergely. actaC, 15(4):489-508, 2002. [doi]

A Hybrid Program Slicing FrameworkJuergen Rilling, Bhaskar Karanth. SCAM 2001: 14-25 [doi]

Clonazepam suppresses oscillations in rat thalamic slicesVikaas S. Sohal, John R. Huguenard. ijon, 38-40:907-913, 2001. [doi]

Static Slicing and Parametric PolymorphismDavid Byers, Mariam Kamkar. SCAM 2001: 181-186 [doi]

Automatic searching of the anatomically same slice from follow-up CT images with a slice at the time of dose distribution planning in radiotherapyAkihiro Takemura, Hajime Harauchi, Tokuo Umeda, Kiyonari Inamura, Masayuki Suzuki, M. Iinuma. cars 2001: 1130-1131

A Tight Area Upper Bound for Slicing FloorplansHelvio P. Peixoto, Margarida F. Jacome, Ander Royo. vlsid 2000: 280 [doi]

Practical Sliced Configuration Spaces for Curved Planar PairsElisha Sacks. ijrr, 18(1):59-63, 1999. [doi]

A coherent sweep plane slicer for layered manufacturingSara McMains, Carlo H. Séquin. sma 1999: 285-295 [doi]

Iteration Space Slicing for LocalityWilliam Pugh, Evan Rosser. lcpc 2000: 164-184 [doi]

Application of the pointer state subgraph to static program slicingDavid W. Binkley, James R. Lyle. jss, 40(1):17-27, 1998. [doi]

How good are slicing floorplans?F. Y. Young, D. F. Wong. integration, 23(1):61-73, 1997. [doi]

Continuous Sigmoidal Belief Networks Trained using Slice SamplingBrendan J. Frey. nips 1997: 452-458 [doi]

Program SlicingDavid Binkley, Keith Brian Gallagher. ac, 43:1-50, 1996.

Shadows and Slices of PolytopesNina Amenta, Günter M. Ziegler. compgeom 1996: 10-19 [doi]

Dynamic slicing of distributed programsMariam Kamkar, Patrik Krajina. ICSM 1995: 222 [doi]

Evaluation of Program Slicing toolsTommy Hoffner, Mariam Kamkar, Peter Fritzson. AADEBUG 1995: 51-69

The Decomposition Slice Display SystemBradley M. Kuhn, Dennis J. Smith, Keith Brian Gallagher. seke 1995: 328-333

Visualizing Program SlicesThomas Ball, Stephen G. Eick. vl 1994: 288-295

Static Slicing in the Presence of Goto StatementsJong-Deok Choi, Jeanne Ferrante. TOPLAS, 16(4):1096-1113, 1994. [doi]

Restructuring Programs through Program SlicingHyeon Soo Kim, Yong Rae Kwon, In Sang Chung. ijseke, 4(3):349-368, 1994. [doi]

Precise Executable Interprocedural SlicesDavid Binkley. loplas, 2(1-4):31-45, 1993. [doi]

Interprocedural Dynamic Slicingplilp 1992: 370-384

The Verification of a Bit-slice ALUWarren A. Hunt Jr., Bishop Brock. msiw 1990: 282-306

Comments on Program SlicingHareton K. N. Leung, Hassan K. Reghbati. TSE, 13(12):1370-1371, 1987.

Merkmalsbildung mit dem Fourier-Slice-Theorem und einer nichtlinearen ErweiterungLutz Bernhardt. dagm 1985: 48-52

On the Complexity of Slice FunctionsIngo Wegener. TCS, 38:55-68, 1985.

runs on WebDSL