Josep Silva - researchr profile publications

researchr

You are not signed in
Sign in
Sign up

[Clear Filters]

Publications tagged slicing

SOC: a slicer for CSP specificationsMichael Leuschel, Marisa Llorens, Javier Oliver, Josep Silva, Salvador Tamarit. PEPM 2009: 165-168 [doi]

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

Debugging techniques for declarative languages: Profiling, program slicing and algorithmic debuggingJosep Silva. aicom, 21(1):91-92, 2008. [doi]

Dynamic Slicing Techniques for Petri NetsMarisa Llorens, Javier Oliver, Josep Silva, Salvador Tamarit, Germán Vidal. ENTCS, 223:153-165, 2008. [doi]

Dynamic slicing of lazy functional programs based on redex trailsClaudio Ochoa, Josep Silva, Germán Vidal. lisp, 21(1-2):147-192, 2008. [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]

A Program Slicing Based Method to Filter XML/DTD DocumentsJosep Silva. sofsem 2007: 771-782 [doi]

Static Slicing of Rewrite SystemsDiego Cheda, Josep Silva, Germán Vidal. ENTCS, 177:123-136, 2007. [doi]

Forward slicing of functional logic programs by partial evaluationJosep Silva, Germán Vidal. tplp, 7(1-2):215-247, 2007. [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]

Combining algorithmic debugging and program slicingJosep Silva, Olaf Chitil. ppdp 2006: 157-166 [doi]

Slicing XML DocumentsJosep Silva. ENTCS, 157(2):187-192, 2006. [doi]

A Slicing Tool for Lazy Functional Logic ProgramsClaudio Ochoa, Josep Silva, Germán Vidal. jelia 2006: 498-501 [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

Slicing XML DocumentsJosep Silva. wwv 2005: 121-125

Lightweight program specialization via dynamic slicingClaudio Ochoa, Josep Silva, Germán Vidal. wcflp 2005: 1-7 [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]

Dynamic slicing based on redex trailsClaudio Ochoa, Josep Silva, Germán Vidal. PEPM 2004: 123-134 [doi]

Bit-Sliced Datapath for Energy-Efficient High Performance MicroprocessorsSumeet Kumar, Prateek Pujara, Aneesh Aggarwal. pacs 2005: 30-45 [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]

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]

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]

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

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]

Interprocedural Dynamic Slicingplilp 1992: 370-384

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