Sciweavers

5390 search results - page 117 / 1078
» Support cluster machine
Sort
View
ICFEM
2007
Springer
15 years 4 months ago
Machine-Assisted Proof Support for Validation Beyond Simulink
Simulink is popular in industry for modeling and simulating embedded systems. It is deficient to handle requirements of high-level assurance and timing analysis. Previously, we sh...
Chunqing Chen, Jin Song Dong, Jun Sun 0001
AOSD
2004
ACM
15 years 3 months ago
Virtual machine support for dynamic join points
A widespread implementation approach for the join point mechanism of aspect-oriented languages is to instrument areas in code that match the static part of pointcut designators, i...
Christoph Bockisch, Michael Haupt, Mira Mezini, Kl...
ISCA
1993
IEEE
137views Hardware» more  ISCA 1993»
15 years 2 months ago
Architectural Support for Translation Table Management in Large Address Space Machines
Virtual memoy page translation tables provide mappings from virtual to physical addresses. When the hardware controlled Tratmlation L.ookaside Buffers (TLBs) do not contain a tran...
Jerome C. Huck, Jim Hays
ISSRE
2007
IEEE
14 years 11 months ago
Using Machine Learning to Support Debugging with Tarantula
Using a specific machine learning technique, this paper proposes a way to identify suspicious statements during debugging. The technique is based on principles similar to Tarantul...
Lionel C. Briand, Yvan Labiche, Xuetao Liu
LREC
2010
166views Education» more  LREC 2010»
14 years 11 months ago
Large Scale Multilingual Broadcast Data Collection to Support Machine Translation and Distillation Technology Development
The development of technologies to address machine translation and distillation of multilingual broadcast data depends heavily on the collection of large volumes of material from ...
Kevin Walker, Christopher Caruso, Denise DiPersio