Catalogo Articoli (Spogli Riviste)

HELP
ATTENZIONE: attualmente gli articoli Current Contents (fonte ISI) a partire dall'anno 2002 sono consultabili sulla Risorsa On-Line

Le informazioni sugli articoli di fonte ISI sono coperte da copyright

La ricerca find articoli where soggetti phrase all words 'program analysis' sort by level,fasc_key/DESCEND, pagina_ini_num/ASCEND ha restituito 87 riferimenti
Selezionare un intervallo

Per ulteriori informazioni selezionare i riferimenti di interesse.

    1. Shaham, R; Kolodner, EK; Sagiv, M
      Heap profiling for space-efficient Java

      ACM SIGPLAN NOTICES
    2. Lee, CS; Jones, ND; Ben-Amram, AM
      The size-change principle for program termination

      ACM SIGPLAN NOTICES
    3. Shaham, R; Kolodner, EK; Sagiv, M
      On the effectiveness of GC in Java

      ACM SIGPLAN NOTICES
    4. Ancourt, C; Nguyen, TVN
      Array resizing for scientific code debugging, maintenance and reuse

      ACM SIGPLAN NOTICES
    5. van Deursen, A; Moonen, L
      An empirical study into COBOL type inferencing

      SCIENCE OF COMPUTER PROGRAMMING
    6. De Pauw, W; Sevitsky, G
      Visualizing reference patterns for solving memory leaks in Java

      CONCURRENCY-PRACTICE AND EXPERIENCE
    7. Adhianto, L; Bodin, F; Chapman, B; Hascoet, L; Kneer, A; Lancaster, D; Wolton, I; Wirtz, M
      Tools for OpenMP application development: the POST project

      CONCURRENCY-PRACTICE AND EXPERIENCE
    8. Aversa, R; Di Martino, B; Mazzocca, N; Villano, U
      Reducing parallel program simulation complexity by static analysis

      JOURNAL OF SUPERCOMPUTING
    9. Lin, MS; Chang, MS; Chen, DJ
      A generalisation of consecutive k-out-of-n : G systems

      IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS
    10. Codish, M; Marriott, K; Taboch, C
      Improving program analyses by structure untupling

      JOURNAL OF LOGIC PROGRAMMING
    11. Codish, M; Lagoon, V; Bueno, F
      An algebraic approach to sharing analysis of logic programs

      JOURNAL OF LOGIC PROGRAMMING
    12. Melski, D; Reps, T
      Interconvertibility of a class of set constraints and context-free-language reachability

      THEORETICAL COMPUTER SCIENCE
    13. Muller, G; Marlet, R; Volanschi, EN
      Accurate program analyses for successful specialization of legacy system software

      THEORETICAL COMPUTER SCIENCE
    14. Assmann, U
      Graph rewrite systems for program optimization

      ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS
    15. Ramalingam, G
      Context-sensitive synchronization-sensitive analysis is undecidable

      ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS
    16. Reps, T
      Undecidability of context-sensitive data-dependence analysis

      ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS
    17. Bush, WR; Pincus, JD; Sielaff, DJ
      A static analyzer for finding dynamic programming errors

      SOFTWARE-PRACTICE & EXPERIENCE
    18. Giacobazzi, R; Ranzato, F; Scozzari, F
      Making abstract interpretations complete

      JOURNAL OF THE ACM
    19. File, G; Ranzato, F
      The powerset operator on abstract interpretations

      THEORETICAL COMPUTER SCIENCE
    20. Giacobazzi, R; Ranzato, F
      The reduced relative power operation on abstract domains

      THEORETICAL COMPUTER SCIENCE
    21. Lamma, E; Mello, P; Stefanelli, C; Van Hentenryck, P
      Exploiting type analysis for unification in a distributed environment

      COMPUTERS AND ARTIFICIAL INTELLIGENCE
    22. Hakman, M; Groth, T
      Object-oriented biomedical system modeling - The Rationale

      COMPUTER METHODS AND PROGRAMS IN BIOMEDICINE
    23. Aiken, A
      Introduction to set constraint-based program analysis

      SCIENCE OF COMPUTER PROGRAMMING
    24. Fecht, C; Seidl, H
      A faster solver for general systems of equations

      SCIENCE OF COMPUTER PROGRAMMING
    25. Ferdinand, C; Martin, F; Wilhelm, R; Alt, M
      Cache behavior prediction by abstract interpretation

      SCIENCE OF COMPUTER PROGRAMMING
    26. Rehof, J; Mogensen, TAE
      Tractable constraints in finite semilattices

      SCIENCE OF COMPUTER PROGRAMMING
    27. Codish, M; Sondergaard, H; Stuckey, PJ
      Sharing and groundness dependencies in logic programs

      ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS
    28. Hind, M; Burke, M; Carini, P; Choi, JD
      Interprocedural pointer alias analysis

      ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS
    29. Flanagan, C; Felleisen, M
      Componential set-based analysis

      ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS
    30. KIM SE; CHEN WF
      DESIGN GUIDE FOR STEEL FRAMES USING ADVANCED ANALYSIS PROGRAM

      Engineering structures
    31. Reps, T
      Program analysis via graph reachability

      INFORMATION AND SOFTWARE TECHNOLOGY
    32. FAHRINGER T
      EFFICIENT SYMBOLIC ANALYSIS FOR PARALLELIZING COMPILERS AND PERFORMANCE ESTIMATORS

      Journal of supercomputing
    33. NOROSE S
      MEASUREMENT OF WEAR AMOUNT

      Toraiborojisuto
    34. FAHRINGER T
      SYMBOLIC ANALYSIS TECHNIQUES FOR PROGRAM PARALLELIZATION

      Future generations computer systems
    35. SEIDL H; SORENSEN MH
      CONSTRAINTS TO STOP DEFORESTATION

      Science of computer programming
    36. Kelly, AD; Marriott, K; Macdonald, A; Stuckey, PJ; Yap, P
      Optimizing compilation of CLP(R)

      ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS
    37. JARZABEK S
      DESIGN OF FLEXIBLE STATIC PROGRAM ANALYZERS WITH PQL

      IEEE transactions on software engineering
    38. KELLY AD; MARRIOTT K; SONDERGAARD H; STUCKEY PJ
      A PRACTICAL OBJECT-ORIENTED ANALYSIS ENGINE FOR CLP

      Software, practice & experience
    39. EISENTHAL R; CORNISHBOWDEN A
      PROSPECTS FOR ANTIPARASITIC DRUGS - THE CASE OF TRYPANOSOMA-BRUCEI, THE CAUSATIVE AGENT OF AFRICAN SLEEPING SICKNESS

      The Journal of biological chemistry
    40. YANG FQ; MEI H; YUAN WH; WU Q; GUO Y
      EXPERIENCES IN BUILDING C++ FRONT-END

      ACM SIGPLAN NOTICES
    41. ANDERSON JM; BERC LM; DEAN J; GHEMAWAT S; HENZINGER MR; LEUNG STA; SITES RL; VANDEVOORDE MT; WALDSPURGER CA; WEIHL WE
      CONTINUOUS PROFILING - WHERE HAVE ALL THE CYCLES GONE

      ACM transactions on computer systems
    42. HOFMEYR JHS; CORNISHBOWDEN A
      THE REVERSIBLE HILL EQUATION - HOW TO INCORPORATE COOPERATIVE ENZYMESINTO METABOLIC MODELS

      Computer applications in the biosciences
    43. CORTESI A; FILE G; GIACOBAZZI R; PALAMIDESSI C; RANZATO F
      COMPLEMENTATION IN ABSTRACT INTERPRETATION

      ACM transactions on programming languages and systems
    44. PARFITT JP; FLOWERDEW R
      METHODOLOGICAL PROBLEMS IN THE GENERATION OF HOUSEHOLD WASTE STATISTICS - AN ANALYSIS OF THE UNITED-KINGDOM NATIONAL HOUSEHOLD WASTE ANALYSIS PROGRAM

      Applied geography
    45. ZHOU WL
      A TOOL FOR LAYERED ANALYZING AND UNDERSTANDING OF DISTRIBUTED PROGRAMS

      Computer communications
    46. DEMCZAR DJ; NAFZIGER AN; BERTINO JS
      PHARMACOKINETICS OF GENTAMICIN AT TRADITIONAL VERSUS HIGH-DOSES - IMPLICATIONS FOR ONCE-DAILY AMINOGLYCOSIDE DOSING

      Antimicrobial agents and chemotherapy
    47. STORACE M; BOVE M; GRATTAROLA M; PARODI M
      SIMULATIONS OF THE BEHAVIOR OF SYNAPTICALLY DRIVEN NEURONS VIA TIME-INVARIANT CIRCUIT MODELS

      IEEE transactions on biomedical engineering
    48. SEKAR R; RAMAKRISHNAN IV; MISHRA P
      ON THE POWER AND LIMITATIONS OF STRICTNESS ANALYSIS

      Journal of the ACM
    49. ODANI A; HASHIMOTO Y; TAKAYANAGI K; OTSUKI Y; KOUE T; TAKANO M; YASUHARA M; HATTORI H; FURUSHO K; INUI K
      POPULATION PHARMACOKINETICS OF PHENYTOIN IN JAPANESE PATIENTS WITH EPILEPSY - ANALYSIS WITH A DOSE-DEPENDENT CLEARANCE MODEL

      Biological & pharmaceutical bulletin
    50. NAOI K; TAKAHASHI N
      PROGRAM SLICING USING A PATH DEPENDENCE FLOW GRAPH

      Systems and computers in Japan
    51. MENDES P; KELL DB; WESTERHOFF HV
      WHY AND WHEN CHANNELING CAN DECREASE POOL SIZE AT CONSTANT NET FLUX IN A SIMPLE DYNAMIC CHANNEL

      Biochimica et biophysica acta (G). General subjects
    52. DELABANDA MG; HERMENEGILDO M; BRUYNOOGHE M; DUMORTIER V; JANSSENS G; SIMOENS W
      GLOBAL ANALYSIS OF CONSTRAINT LOGIC PROGRAMS

      ACM transactions on programming languages and systems
    53. HAGHIGHAT MR; POLYCHRONOPOULOS CD
      SYMBOLIC ANALYSIS FOR PARALLELIZING COMPILERS

      ACM transactions on programming languages and systems
    54. BIENIASZ LK
      A REACTION COMPILER FOR ELECTROCHEMICAL KINETICS

      Computers & chemistry
    55. THOMAS S; FELL DA
      DESIGN OF METABOLIC CONTROL FOR LARGE FLUX CHANGES

      Journal of theoretical biology
    56. CIAMPOLINI A; LAMMA E; MELLO P
      AN ABSTRACT INTERPRETATION FRAMEWORK FOR OPTIMIZING DYNAMIC MODULAR LOGIC LANGUAGES

      Information processing letters
    57. SUBHLOK J; KENNEDY K
      INTEGER PROGRAMMING FOR ARRAY SUBSCRIPT ANALYSIS

      IEEE transactions on parallel and distributed systems
    58. TIP F
      A SURVEY OF PROGRAM SLICING TECHNIQUES

      Journal of programming languages
    59. NAGAI T; IMANAKA T; TOYODA J; HIRASHIMA T; UEHARA K; NAGASAWA Y
      A METHOD FOR GENERATING PROGRAM SPECIFICATION FROM SOURCE PROGRAM - ANALYSIS BY TRANSFORMING PROGRAM STRUCTURE AND ARGUMENT MANIPULATION

      Systems and computers in Japan
    60. KRIKETOS AD; PAN DA; SUTTON JR; HOH JFY; BAUR LA; COONEY GJ; JENKINS AB; STORLIEN LH
      RELATIONSHIPS BETWEEN MUSCLE MEMBRANE-LIPIDS, FIBER-TYPE, AND ENZYME-ACTIVITIES IN SEDENTARY AND EXERCISED RATS

      American journal of physiology. Regulatory, integrative and comparative physiology
    61. BOVE M; GRATTAROLA M; MARTINOIA S; VERRESCHI G
      INTERFACING CULTURED NEURONS TO PLANAR SUBSTRATE MICROELECTRODES - CHARACTERIZATION OF THE NEURON-TO-MICROELECTRODE JUNCTION

      Bioelectrochemistry and bioenergetics
    62. DONALDSON C
      ECONOMICS, PUBLIC-HEALTH AND HEALTH-CARE PURCHASING - REINVENTING THEWHEEL

      Health policy
    63. CRAIG N; PARKIN D; GERARD K
      CLEARING THE FOG ON THE TYNE - PROGRAM BUDGETING IN NEWCASTLE-AND-NORTH-TYNESIDE-HEALTH-AUTHORITY

      Health policy
    64. SEKAR R; RAMAKRISHNAN IV
      FAST STRICTNESS ANALYSIS BASED ON DEMAND PROPAGATION

      ACM transactions on programming languages and systems
    65. VENKATESH GA
      EXPERIMENTAL RESULTS FROM DYNAMIC SLICING OF C-PROGRAMS

      ACM transactions on programming languages and systems
    66. DEBRAY SK
      ON THE COMPLEXITY OF DATA-FLOW ANALYSIS OF LOGIC PROGRAMS

      ACM transactions on programming languages and systems
    67. CODISH M; MULKERS A; BRUYNOOGHE M; DELABANDA MG; HERMENEGILDO M
      IMPROVING ABSTRACT INTERPRETATIONS BY COMBINING DOMAINS

      ACM transactions on programming languages and systems
    68. OMARA NB; JONES PR; ANGLIN DL; COX S; NAHATA MC
      PHARMACOKINETICS OF PHENYTOIN IN CHILDREN WITH ACUTE NEUROTRAUMA

      Critical care medicine
    69. NIKOLIK B
      CONSTRAINT PRESERVATION THROUGH LOOPS

      Information processing letters
    70. LEIBOWITZ JM; MCCLAIN JW; EVANS EA; RUMA P; RAUNER T
      CLIENT PERCEPTIONS OF QUALITY-OF-LIFE IN ACCREDITED AND NONACCREDITEDCOMMUNITY RESIDENTIAL FACILITIES

      Journal of developmental and physical disabilities
    71. PAN TC; LING SF; TSENG CH
      INTEGRATING AND AUTOMATING FINITE-ELEMENT ANALYSIS AND OPTIMIZATION ON PCS

      International journal of computer applications in technology
    72. NAOI K; TAKAHASHI N
      DETECTION OF UNFEASIBLE PATHS WITH A PATH-DEPENDENCE FLOW GRAPH

      Systems and computers in Japan
    73. BOVE M; MASSOBRIO G; MARTINOIA S; GRATTAROLA M
      REALISTIC SIMULATIONS OF NEURONS BY MEANS OF AN AD HOC MODIFIED VERSION OF SPICE

      Biological cybernetics
    74. UEDA K; MORITA M
      MODED FLAT GHC AND ITS MESSAGE-ORIENTED IMPLEMENTATION TECHNIQUE

      New generation computing
    75. ZIMA HP; BREZANY P; CHAPMAN BM
      SUPERB AND VIENNA-FORTRAN

      Parallel computing
    76. ASHLEY JM; CONSEL C
      FIXPOINT COMPUTATION FOR POLYVARIANT STATIC ANALYSES OF HIGHER-ORDER APPLICATIVE PROGRAMS

      ACM transactions on programming languages and systems
    77. CHOI JD; FERRANTE J
      STATIC SLICING IN THE PRESENCE OF GOTO STATEMENTS

      ACM transactions on programming languages and systems
    78. CODISH M; FALASLCHI M; MARRIOTT K
      SUSPENSION ANALYSES FOR CONCURRENT LOGIC PROGRAMS

      ACM transactions on programming languages and systems
    79. MULKERS A; WINSBOROUGH W; BRUYNOOGHE M
      LIVE-STRUCTURE DATA-FLOW ANALYSIS FOR PROLOG

      ACM transactions on programming languages and systems
    80. GARCIA MJ; GAVIRA R; BUELGA DS; DOMINGUEZGIL A
      PREDICTIVE PERFORMANCE OF 2 PHENYTOIN PHARMACOKINETIC DOSING PROGRAMSFROM NONSTEADY STATE DATA

      Therapeutic drug monitoring
    81. HARTEL PH; GLASER H; WILD JM
      COMPILATION OF FUNCTIONAL LANGUAGES USING FLOW GRAPH ANALYSIS

      Software, practice & experience
    82. RAPP M; SEGEV I; YAROM Y
      PHYSIOLOGY, MORPHOLOGY AND DETAILED PASSIVE MODELS OF GUINEA-PIG CEREBELLAR PURKINJE-CELLS

      Journal of physiology
    83. VRANICSOWERS S; FLESHMAN JW
      APPLICATION OF EXISTING DESIGN SOFTWARE TO PROBLEMS IN NEURONAL MODELING

      IEEE transactions on biomedical engineering
    84. MARRIOTT K; SONDERGAARD H
      DIFFERENCE-LIST TRANSFORMATION FOR PROLOG

      New generation computing
    85. DEBRAY SK; LIN NW
      COST-ANALYSIS OF LOGIC PROGRAMS

      ACM transactions on programming languages and systems
    86. BARBUTI R; GIACOBAZZI R; LEVI G
      A GENERAL FRAMEWORK FOR SEMANTICS-BASED BOTTOM-UP ABSTRACT INTERPRETATION OF LOGIC PROGRAMS

      ACM transactions on programming languages and systems
    87. MCLAUGHLIN SC; AITCHISON TC; MACFARLANE PW
      IMPROVED REPEATABILITY OF 12-LEAD ECG ANALYSIS USING CONTINUOUS SCORING TECHNIQUES

      Journal of electrocardiology


ASDD Area Sistemi Dipartimentali e Documentali, Università di Bologna, Catalogo delle riviste ed altri periodici
Documento generato il 07/06/20 alle ore 07:43:33