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 'EXECUTION' sort by level,fasc_key/DESCEND, pagina_ini_num/ASCEND ha restituito 502 riferimenti
Si mostrano 100 riferimenti a partire da 1
Selezionare un intervallo

Per ulteriori informazioni selezionare i riferimenti di interesse.

    1. Vivancos, E; Healy, C; Mueller, F; Whalley, D
      Parametric timing analysis

      ACM SIGPLAN NOTICES
    2. Ziegenbein, D; Wolf, F; Richter, K; Jersak, M; Ernst, R
      Interval-based analysis of software processes

      ACM SIGPLAN NOTICES
    3. Czajkowski, G; Daynes, L
      Multitasking without compromise: a virtual machine evolution

      ACM SIGPLAN NOTICES
    4. Holcik, M; Korneluk, RG
      XIAP, the guardian angel

      NATURE REVIEWS MOLECULAR CELL BIOLOGY
    5. Kountouris, AA; Wolinski, C; Le Lann, JC
      High-level synthesis using hierarchical conditional dependency graphs in the CODESIS system

      JOURNAL OF SYSTEMS ARCHITECTURE
    6. Corben, LA; Mattingley, JB; Bradshaw, JL
      A kinematic analysis of distracter interference effects during visually guided action in spatial neglect

      JOURNAL OF THE INTERNATIONAL NEUROPSYCHOLOGICAL SOCIETY
    7. Pucheral, P; Bouganim, L; Valduriez, P; Bobineau, C
      PicoDBMS: Scaling down database techniques for the smartcard

      VLDB JOURNAL
    8. Saygin, Y; Ulusoy, O
      Automated construction of fuzzy event sets and its application to active databases

      IEEE TRANSACTIONS ON FUZZY SYSTEMS
    9. Aubin, JP; Haddad, G
      Cadenced runs of impulse and hybrid control systems

      INTERNATIONAL JOURNAL OF ROBUST AND NONLINEAR CONTROL
    10. Zhang, J; Johansson, KH; Lygeros, J; Sastry, S
      Zeno hybrid systems

      INTERNATIONAL JOURNAL OF ROBUST AND NONLINEAR CONTROL
    11. Kazi, IH; Lija, DJ
      Coarse-grained thread pipelining: A speculative parallel execution model for shared-memory multiprocessors

      IEEE TRANSACTIONS ON PARALLEL AND DISTRIBUTED SYSTEMS
    12. Meudec, C
      ATGen: automatic test data generation using constraint logic programming and symbolic execution

      SOFTWARE TESTING VERIFICATION & RELIABILITY
    13. Sundara, M; Namasivayam, AK; Chen, R
      Observation-execution matching system for speech: a magnetic stimulation study

      NEUROREPORT
    14. Gangitano, M; Mottaghy, FM; Pascual-Leone, A
      Phase-specific modulation of cortical motor output during movement observation

      NEUROREPORT
    15. Cochin, S; Barthelemy, C; Roux, S; Martineau, J
      Electroencephalographic activity during perception of motion in childhood

      EUROPEAN JOURNAL OF NEUROSCIENCE
    16. Buccino, G; Binkofski, F; Fink, GR; Fadiga, L; Fogassi, L; Gallese, V; Seitz, RJ; Zilles, K; Rizzolatti, G; Freund, HJ
      Action observation activates premotor and parietal areas in a somatotopic manner: an fMRI study

      EUROPEAN JOURNAL OF NEUROSCIENCE
    17. Terenziani, P; Molino, G; Torchio, M
      A modular approach for representing and executing clinical guidelines

      ARTIFICIAL INTELLIGENCE IN MEDICINE
    18. Wegener, J; Mueller, F
      A comparison of static analysis and evolutionary testing for the verification of timing constraints

      REAL-TIME SYSTEMS
    19. Battalio, R; Jennings, R; Selway, J
      The relationship among market-making revenue, payment for order flow, and trading costs for market orders

      JOURNAL OF FINANCIAL SERVICES RESEARCH
    20. Wang, L; Yang, TC
      On the boosting of instruction scheduling by renaming

      JOURNAL OF SUPERCOMPUTING
    21. Arnold, M; Hsiao, M; Kremer, U; Ryder, BG
      Exploring the interaction between Java's implicitly thrown exceptions and instruction scheduling

      INTERNATIONAL JOURNAL OF PARALLEL PROGRAMMING
    22. Gu, Y; Lee, BS; Cai, WT
      JBSP: A BSP programming library in Java

      JOURNAL OF PARALLEL AND DISTRIBUTED COMPUTING
    23. Hasan, I; Malkamaki, M
      Are expansions cost effective for stock exchanges? A global perspective

      JOURNAL OF BANKING & FINANCE
    24. Shelton, SB; Johnson, GVW
      Tau and HMW tau phosphorylation and compartmentalization in apoptotic neuronal PC12 cells

      JOURNAL OF NEUROSCIENCE RESEARCH
    25. Lee, M; Liu, W; Prasanna, VK
      Parallel implementation of a class of adaptive signal processing applications

      ALGORITHMICA
    26. Rosenkrantz, DJ; Yu, L; Ravi, SS
      Efficient construction of minimum makespan schedules for tasks with a fixed number of distinct execution times

      ALGORITHMICA
    27. Park, D; Seong, BH; Saavedra, RH
      Adaptive software prefetching in scalable multiprocessors using cache information

      PARALLEL COMPUTING
    28. Evripidou, P
      D-3-Machine: A decoupled data-driven multithreaded architecture with variable resolution support

      PARALLEL COMPUTING
    29. Mehrotra, P; Zima, H
      High performance Fortran for aerospace applications

      PARALLEL COMPUTING
    30. Shudo, K; Muraoka, Y
      Asynchronous migration of execution context in Java Virtual Machines

      FUTURE GENERATION COMPUTER SYSTEMS
    31. Singh, G
      Performance of critical path type algorithms for scheduling on parallel processors

      OPERATIONS RESEARCH LETTERS
    32. Park, S; Jang, PY; Cho, HB
      Petri-net-based rapid development of a task execution module of equipment controller for distributed shop floor control

      COMPUTERS IN INDUSTRY
    33. Rinehart, NJ; Bradshaw, JL; Brereton, AV; Tonge, BJ
      Movement preparation in high-functioning autism and Asperger disorder: A serial choice reaction time task involving motor reprogramming

      JOURNAL OF AUTISM AND DEVELOPMENTAL DISORDERS
    34. Chen, SK; Fuchs, WK; Chung, JY
      Reversible debugging using program instrumentation

      IEEE TRANSACTIONS ON SOFTWARE ENGINEERING
    35. Ernst, MD; Cockrell, J; Griswold, WG; Notkin, D
      Dynamically discovering likely program invariants to support program evolution

      IEEE TRANSACTIONS ON SOFTWARE ENGINEERING
    36. Prakash, SB; Ramsey, MD
      The executive power over foreign affairs

      YALE LAW JOURNAL
    37. Prakash, SB; Yoo, JC
      The puzzling persistence of process-based federalism theories

      TEXAS LAW REVIEW
    38. Ferrell, A
      A proposal for solving the "payment for order flow" problem

      SOUTHERN CALIFORNIA LAW REVIEW
    39. Vaillancourt, DE; Slifkin, AB; Newell, KM
      Visual control of isometric force in Parkinson's disease

      NEUROPSYCHOLOGIA
    40. Yoo, JC
      Laws as treaties?: The constitutionality of congressional-executive agreements

      MICHIGAN LAW REVIEW
    41. Chung, KH; Van Ness, BF; Van Ness, RA
      Can the treatment of limit orders reconcile the differences in trading costs between NYSE and Nasdaq issues?

      JOURNAL OF FINANCIAL AND QUANTITATIVE ANALYSIS
    42. Samejima, K; Tone, S; Earnshaw, WC
      CAD/DFF40 nuclease is dispensable for high molecular weight DNA cleavage and stage I chromatin condensation in apoptosis

      JOURNAL OF BIOLOGICAL CHEMISTRY
    43. Solihin, Y; Lee, JJ; Torrellas, J
      Automatic code mapping on an intelligent memory architecture

      IEEE TRANSACTIONS ON COMPUTERS
    44. Staude, GH
      Precise onset detection of human motor responses using a whitening filter and the log-likelihood-ratio test

      IEEE TRANSACTIONS ON BIOMEDICAL ENGINEERING
    45. Moshovos, A; Sohi, GS
      Microarchitectural innovations: Boosting microprocessor performance beyondsemiconductor technology scaling

      PROCEEDINGS OF THE IEEE
    46. Hwu, WMW; August, DI; Sias, JW
      Program decision logic optimization using predication and control speculation

      PROCEEDINGS OF THE IEEE
    47. Kathail, V; Schlansker, MS; Rau, BR
      Compiling for EPIC architectures

      PROCEEDINGS OF THE IEEE
    48. Jahanshahi, M; Rowe, J; Fuller, R
      Impairment of movement initiation and execution but not preparation in idiopathic dystonia

      EXPERIMENTAL BRAIN RESEARCH
    49. Mintchell, GA
      Control, MES partner for c-manufacturing solutions

      CONTROL ENGINEERING
    50. Hoske, MT
      See clearly into plant-floor applications

      CONTROL ENGINEERING
    51. Harrold, D
      How manufacturing benefits by understanding ERP and IT

      CONTROL ENGINEERING
    52. Klenz, B
      Processing 'one version of truth' improves user confidence

      CONTROL ENGINEERING
    53. Yoo, J
      Politics as law?: The anti-ballistic missile treaty, the separation of powers, and treaty interpretation

      CALIFORNIA LAW REVIEW
    54. Thielscher, M
      The Qualification Problem: A solution to the problem of anomalous models

      ARTIFICIAL INTELLIGENCE
    55. Horvitz, E
      Principles and applications of continual computation

      ARTIFICIAL INTELLIGENCE
    56. Vagts, DF
      The United States and its treaties: Observance and breach

      AMERICAN JOURNAL OF INTERNATIONAL LAW
    57. Ung, D; Cifuentes, C
      Machine-adaptable dynamic binary translation

      ACM SIGPLAN NOTICES
    58. Zahir, R; Ross, J; Morris, D; Hess, D
      OS and compiler considerations in the design of the IA-64 architecture

      ACM SIGPLAN NOTICES
    59. De Clercq, PA; Blom, JA; Hasman, A; Korsten, HHM
      GASTON: an architecture for the acquisition and execution of clinical guideline-application tasks

      MEDICAL INFORMATICS AND THE INTERNET IN MEDICINE
    60. Brucker, P; Knust, S; Roper, D; Zinder, Y
      Scheduling UET task systems with concurrency on two parallel identical processors

      MATHEMATICAL METHODS OF OPERATIONS RESEARCH
    61. Curra, A; Agostino, R; Galizia, P; Fittipaldi, F; Manfredi, M; Berardelli, A
      Sub-movement cueing and motor sequence execution in patients with Huntington's disease

      CLINICAL NEUROPHYSIOLOGY
    62. Stappert, F; Altenbernd, P
      Complete worst-case execution time analysis of straight-line hard real-time programs

      JOURNAL OF SYSTEMS ARCHITECTURE
    63. Eeckhout, L; Neefs, H; De Bosschere, K
      Early design stage exploration of fixed-length block structured architectures

      JOURNAL OF SYSTEMS ARCHITECTURE
    64. de Kergommeaux, JC; Fagot, A
      Execution replay of parallel procedural programs

      JOURNAL OF SYSTEMS ARCHITECTURE
    65. Williams, SBK; Phillips, JG; Bellgrove, M; Bradshaw, JL; Bradshaw, JA; Pantelis, C
      Use of advance information in patients with schizophrenia

      JOURNAL OF CLINICAL AND EXPERIMENTAL NEUROPSYCHOLOGY
    66. Sato, S; Ishiai, S; Seki, K; Koyama, Y; Mizusawa, H
      Leftward movement in severe neglect

      NEUROCASE
    67. Pillai, RVK; Al-Khalili, D; Al-Khalili, AJ
      Low power architecture for floating paint MAC fusion

      IEE PROCEEDINGS-COMPUTERS AND DIGITAL TECHNIQUES
    68. Nudd, GR; Kerbyson, DJ; Papaefstathiou, E; Perry, SC; Harper, JS; Wilcox, DV
      PACE - A toolset for the performance prediction of parallel and distributed systems

      INTERNATIONAL JOURNAL OF HIGH PERFORMANCE COMPUTING APPLICATIONS
    69. Dos Santos, LCV; Heijligers, MJM; Van Eijk, CAJ; Van Eijndhoven, J; Jess, JAG
      A code-motion pruning technique for global scheduling

      ACM TRANSACTIONS ON DESIGN AUTOMATION OF ELECTRONIC SYSTEMS
    70. Cheng, FT; Yang, HC; Kuo, TL; Feng, CC; Jeng, MD
      Modeling and analysis of Equipment Managers in Manufacturing Execution Systems for semiconductor packaging

      IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART B-CYBERNETICS
    71. Ganis, G; Keenan, JP; Kosslyn, SM; Pascual-Leone, A
      Transcranial magnetic stimulation of primary motor cortex affects mental rotation

      CEREBRAL CORTEX
    72. Bhuyan, LN; Iyer, R; Wang, HJ; Kumar, A
      Impact of CC-NUMA memory management policies on the application performance of multistage switching networks

      IEEE TRANSACTIONS ON PARALLEL AND DISTRIBUTED SYSTEMS
    73. Lebak, JM; Bojanczyk, AW
      Design and performance evaluation of a portable parallel library for space-time adaptive processing

      IEEE TRANSACTIONS ON PARALLEL AND DISTRIBUTED SYSTEMS
    74. Fahringer, T; Scholz, B
      A unified symbolic evaluation framework for parallelizing compilers

      IEEE TRANSACTIONS ON PARALLEL AND DISTRIBUTED SYSTEMS
    75. Beck, JE; Reagin, JM; Sweeny, TE; Anderson, RL; Garner, T
      Applying a component-based software architecture to robotic workcell applications

      IEEE TRANSACTIONS ON ROBOTICS AND AUTOMATION
    76. Bagchi, S; Srinivasan, B; Whisnant, K; Kalbarczyk, Z; Iyer, RK
      Hierarchical error detection in a software implemented fault tolerance (SIFT) environment

      IEEE TRANSACTIONS ON KNOWLEDGE AND DATA ENGINEERING
    77. Nutt, GJ; Brandt, S; Griff, AJ; Siewert, S; Humphrey, M; Berk, T
      Dynamically negotiated resource management for data intensive application suites

      IEEE TRANSACTIONS ON KNOWLEDGE AND DATA ENGINEERING
    78. Hisley, D; Agrawal, G; Satya-narayana, P; Pollock, L
      Porting and performance evaluation of irregular codes using OpenMP

      CONCURRENCY-PRACTICE AND EXPERIENCE
    79. Weber, S; Posner, E
      Creating a pan-European equity market: the origins of EASDAQ

      REVIEW OF INTERNATIONAL POLITICAL ECONOMY
    80. Lin, M
      Timing analysis of PL programs

      CONTROL ENGINEERING PRACTICE
    81. von Mayrhauser, A; Chen, DX
      Effect of fault distribution and execution patterns on fault exposure in software: a simulation study

      SOFTWARE TESTING VERIFICATION & RELIABILITY
    82. Thobois, S; Dominey, P; Decety, J; Pollak, P; Gregoire, MC; Broussolle, E
      Overactivation of primary motor cortex is asymmetrical in hemiparkinsonianpatients

      NEUROREPORT
    83. Foltys, H; Kemeny, S; Krings, T; Boroojerdi, B; Sparing, R; Thron, A; Topper, R
      The representation of the plegic hand in the motor cortex: a combined fMRIand TMS study

      NEUROREPORT
    84. Nee, AYC; Kumar, AS; Tao, ZJ
      An intelligent fixture with a dynamic clamping scheme

      PROCEEDINGS OF THE INSTITUTION OF MECHANICAL ENGINEERS PART B-JOURNAL OF ENGINEERING MANUFACTURE
    85. McFarlane, DC; Bussmann, S
      Developments in holonic production planning and control

      PRODUCTION PLANNING & CONTROL
    86. Jung, YS; Skin, Y; Park, I
      An incremental objective achievement model in computerized procedure execution

      RELIABILITY ENGINEERING & SYSTEM SAFETY
    87. Wang, MQ; Sternberg, PW
      Patterning of the C-elegans 1 degrees vulval lineage by RAS and Wnt pathways

      DEVELOPMENT
    88. McCarthy, CE; Pollack, ME
      Towards focused plan monitoring: A technique and an application to mobile robots

      AUTONOMOUS ROBOTS
    89. Jancke, L; Loose, R; Lutz, K; Specht, K; Shah, NJ
      Cortical activations during paced finger-tapping applying visual and auditory pacing stimuli

      COGNITIVE BRAIN RESEARCH
    90. Healy, C; Sjodin, M; Rustagi, V; Whalley, D; Van Engelen, R
      Supporting timing analysis by automatic bounding of loop iterations

      REAL-TIME SYSTEMS
    91. Blieberger, J; Fahringer, T; Scholz, B
      Symbolic cache analysis for real-time systems

      REAL-TIME SYSTEMS
    92. Mueller, F
      Timing analysis for instruction caches

      REAL-TIME SYSTEMS
    93. Colin, A; Puaut, I
      Worst case execution time analysis for a processor with branch prediction

      REAL-TIME SYSTEMS
    94. Weber, H
      A motion planning and execution system for mobile robots driven by stepping motors

      ROBOTICS AND AUTONOMOUS SYSTEMS
    95. Baroni, P; Fogli, D
      Modeling robot cognitive activity through active mental entities

      ROBOTICS AND AUTONOMOUS SYSTEMS
    96. Lenarcic, J
      On the execution of the secondary task of redundant manipulators

      ROBOTICS AND AUTONOMOUS SYSTEMS
    97. Garcia-Martinez, R; Borrajo, D
      An integrated approach of learning, planning, and execution

      JOURNAL OF INTELLIGENT & ROBOTIC SYSTEMS
    98. Ben-Asher, Y; Stein, E
      Basic results in automatic transformations of shared memory parallel programs into sequential programs

      JOURNAL OF SUPERCOMPUTING
    99. Shih, KP; Sheu, JP; Chang, CY
      Efficient address generation for affine subscripts in data-parallel programs

      JOURNAL OF SUPERCOMPUTING
    100. Suranauwarat, S; Taniguchi, H
      Evaluation of a process scheduling policy for a WWW server based on its contents

      IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS


ASDD Area Sistemi Dipartimentali e Documentali, Università di Bologna, Catalogo delle riviste ed altri periodici
Documento generato il 09/08/20 alle ore 02:11:40