Jan Vitek - researchr profile publications

researchr

You are not signed in
Sign in
Sign up

[Clear Filters]

Publications tagged intermediate representation

Petri-nets as an Intermediate Representation for Heterogeneous ArchitecturesPeter Calvert, Alan Mycroft. europar 2011: 226-237 [doi]

Handling Multi-Versioning in LLVM: Code Tracking and CloningAlexandra Jimborean, Vincent Loechner, Philippe Clauss. WIR 2011: 45-52

A Probabilistic Generative Model for an Intermediate Constituency-Dependency RepresentationFederico Sangati. acl 2010: 19-24 [doi]

ERBIUM: a deterministic, concurrent intermediate representation for portable and scalable performanceCupertino Miranda, Philippe Dumont, Albert Cohen, Marc Duranton, Antoniu Pop. cf 2010: 119-120 [doi]

A Provably Correct Stackless Intermediate Representation for Java BytecodeDelphine Demange, Thomas P. Jensen, David Pichardie. aplas 2010: 97-113 [doi]

PinaVM: a systemC front-end based on an executable intermediate representationKevin Marquet, Matthieu Moy. emsoft 2010: 79-88 [doi]

Enhancing Source-Based Clone Detection Using Intermediate RepresentationGehan M. K. Selim, King Chun Foo, Ying Zou. WCRE 2010: 227-236 [doi]

Erbium: a deterministic, concurrent intermediate representation to map data-flow tasks to scalable, persistent streaming processesCupertino Miranda, Antoniu Pop, Philippe Dumont, Albert Cohen, Marc Duranton. cases 2010: 11-20 [doi]

Modular Certification of Low-Level Intermediate Representation ProgramsYuan Dong, Shengyuan Wang, Liwei Zhang, Ping Yang. compsac 2009: 563-570 [doi]

Flattening tuples in an SSA intermediate representationLukasz Ziarek, Stephen Weeks, Suresh Jagannathan. lisp, 21(3):333-358, 2008. [doi]

A Compiler Intermediate Representation for Reconfigurable FabricsZhi Guo, Betul Buyukkurt, John Cortes, Abhishek Mitra, Walid A. Najjar. ijpp, 36(5):493-520, 2008. [doi]

AHIR: A Hardware Intermediate Representation for Hardware Generation from High-level ProgramsSameer D. Sahasrabuddhe, Hakim Raja, Kavi Arya, Madhav P. Desai. vlsid 2007: 245-250 [doi]

An Intermediate Representation Approach to Reducing Test Suites for Retargeted CompilersGyun Woo, Heung Seok Chae, Hanil Jang. Ada-Europe 2007: 100-113 [doi]

Intermediate-representation recovery from low-level codeThomas W. Reps, Gogul Balakrishnan, Junghee Lim. PEPM 2006: 100-111 [doi]

An Intermediate Representation for the Interpretation of Temporal ExpressionsPawel P. Mazur, Robert Dale. acl 2006: [doi]

A Compiler Intermediate Representation for Reconfigurable FabricsZhi Guo, Walid A. Najjar. fpl 2006: 1-4 [doi]

A Heterogeneous Dependency Graph as Intermediate Representation for Instruction Set CustomizationKang Zhao, Jinian Bian, Sheqin Dong. jcis 2006: [doi]

Engineering a common intermediate representation for the Ovm frameworkKrzysztof Palacz, Jason Baker, Chapman Flack, Christian Grothoff, Hiroshi Yamauchi, Jan Vitek. SCP, 57(3):357-378, 2005. [doi]

Using Intermediate Representation Systems to Interact with Concept LatticesPeter Becker 0002. icfca 2005: 265-268 [doi]

Text mining: intermediate forms on knowledge representationC. Justicia de la Torre, Maria J. Martín-Bautista, Daniel Sánchez, María Amparo Vila Miranda. eusflat 2005: 1082-1087 [doi]

A universal intermediate representation for massively parallel software developmentPaul Damian Wells. SIGPLAN, 39(5):48-57, 2004. [doi]

An abstract intermediate representation in compilation systemsDai Guilan, Tian Jinlan, Zhang Suqing, Jiang Weidu. SIGPLAN, 38(2):12-18, 2003. [doi]

An Intermediate Level Representation Scheme for Secondary Features Recognition and B-rep Model SimplificationFrancesco Bianconi, Paolo Di Stefano. smi 2003: 99-110 [doi]

An Improved Intermediate Representation for Datapath GenerationNico Kasprzyk, Andreas Koch, Ulrich Golze, Michael Rock. ersa 2003: 88-94

Efficiently Computed Lexical Chains as an Intermediate Representation for Automatic Text SummarizationH. Gregory Silber, Kathleen F. McCoy. coling, 28(4):487-496, 2002.

Improving mobile program performance through the use of a hybrid intermediate representationChandra Krintz. PPPJ 2002: 175-180 [doi]

Proceedings of the naugural International Symposium on Principles and Practice of Programming in Java, PPPJ 2002, and Proceedings of the second workshop on Intermediate representation engineering for virtual machines, Dublin, Ireland, June 13-14, 2002John Waldron, James F. Power, editors, Volume 25 of ACM International Conference Proceeding Series, ACM, 2002.

Intermediate Representation in Model Based Recognition Using Straight Line and Ellipsoidal Arc PrimitivesSergiu Nedevschi, Tiberiu Marita, Daniela Puiu. iciap 2001: 156-161 [doi]

Virtual Occluders: An Efficient Intermediate PVS RepresentationVladlen Koltun, Yiorgos Chrysanthou, Daniel Cohen-Or. rt 2000: 59-70

Direct haptic rendering of isosurface by intermediate representationKwong-Wai Chen, Pheng-Ann Heng, Hanqiu Sun. vrst 2000: 188-194 [doi]

Program Representation Size in an Intermediate Language with Intersection and Union TypesAllyn Dimock, Ian Westmacott, Robert Muller, Franklyn A. Turbak, J. B. Wells, Jeffrey Considine. tic 2001: 27-52 [doi]

Constant Propagation in a Hierarchical Intermediate Program RepresentationMaurizio Giordano, Mario Mango Furnari, Renata Napolitano, Antonio Spagnolo. ijhsc, 10(2):153-184, 1999. [doi]

IF: An intermediate representation for SDL and its applicationsMarius Bozga, Jean-Claude Fernandez, Lucian Ghirvu, Susanne Graf, Jean-Pierre Krimm, Laurent Mounier, Joseph Sifakis. sdl 1999: 423-440

Area x Delay (A T) Efficient Multiplier Based on an Intermediate Hybrid Signed-Digit (HSD-1) RepresentationJeng-Jong J. Lue, Dhananjay S. Phatak. arith 1999: 216-224 [doi]

An Implementation of Loop Transformations with a Universal Intermediate Representation Interface LibraryKazuko Kambe, Tsuneo Nakanishi, Kazuki Joe, Yoshitoshi Kunieda, Fujio Kako. pdpta 1999: 1905-1911

Condensed Graphs: A Multi-level, Parallel, Intermediate RepresentationJohn P. Morrison, Niall J. Dalton. europar 1999: 866-876 [doi]

Transient variable caching in Java s stack-based intermediate representationPaul Týma. sp, 7(2):157-166, 1999.

IF: An Intermediate Representation and Validation Environment for Timed Asynchronous SystemsMarius Bozga, Jean-Claude Fernandez, Lucian Ghirvu, Susanne Graf, Jean-Pierre Krimm, Laurent Mounier. FM 1999: 307-327 [doi]

An Intermediate Representation for Reverse Engineering AnalysesRainer Koschke, Jean-Francois Girard. WCRE 1998: 241-250

An Object-Oriented Intermediate Code Representation for the Development of Parallelization ToolsMark R. Gilder, Mukkai S. Krishnamoorthy. joop, 7(8):50-56, 1995.

Clarity MCode: A Retargetable Intermediate Representation for CompilationBrian T. Lewis, L. Peter Deutsch, Theodore C. Goldstein. irep 1995: 119-128

A Simple Graph-Based Intermediate RepresentationCliff Click, Michael Paleczny. irep 1995: 35-49

The Concert Signature Representation: IDL as Intermediate LanguageJoshua S. Auerbach, James R. Russell. idl 1994: 1-12

Petri nets as intermediate representation between VHDL and symbolic transition systemsGert Döhmen. eurodac 1994: 572-577 [doi]

INTEK: A Software Tool for an Intermediate Knowledge Representation FormalismSang C. Suh, Clenio F. Salviano, Murat M. Tanik. seke 1993: 288-290

An Intermediate Representation for Behavioral SynthesisNikil D. Dutt, Tedd Hadley, Daniel Gajski. dac 1990: 14-19 [doi]

An Intermediate Representation for Mathematical Problem SolvingJ. F. Koegel, N. Lakshmipathy, J. Schlesinger. iccal 1989: 267-281

Conversion of Fortran to Ada Using an Intermediate Tree RepresentationJohn K. Slape, Peter J. L. Wallis. cj, 26(4):344-353, 1983.

Correction to Information Flow Certification Using an Intermediate Code Programm Representation Glenn H. MacEwen. TSE, 8(4):446, 1982.

Information Flow Certification Using an Intermediate Code Program RepresentationAllan L. Mennie, Glenn H. MacEwen. TSE, 7(6):594-607, 1981.

runs on WebDSL