390 search results - page 24 / 78 » Weather Report Translation Using a Translation Memory |
COMAD
2009
13 years 9 months ago
2009
Most defect-tracking systems provide canned reports and the ability to create custom reports. These reports provide a snapshot of the defects in the system and allow different typ...
ICS
2011
Tsinghua U.
13 years 5 days ago
2011
Tsinghua U.
Phase-Change Memory (PCM) technology has received substantial attention recently. Because PCM is byte-addressable and exhibits access times in the nanosecond range, it can be used...
CADE
2012
Springer
11 years 11 months ago
2012
Springer
We propose a word level, bounded model checking (BMC) algorithm based on translation into the effectively propositional fragment (EPR) of firstorder logic. This approach to BMC al...
CONCURRENCY
2007
13 years 8 months ago
2007
OpenMP has gained wide popularity as an API for parallel programming on shared memory and distributed shared memory platforms. Despite its broad availability, there remains a need ...
CAL
2010
13 years 6 months ago
2010
Address translation often emerges as a critical performance bottleneck for virtualized systems and has recently been the impetus for hardware paging mechanisms. These mechanisms ap...