219 search results - page 39 / 44 » Automatic Verification of Determinism for Structured Paralle... |
SIGSOFT
2007
ACM
15 years 10 months ago
2007
ACM
The practice of software development can likely be improved if an externalized model of each programmer's knowledge of a particular code base is available. Some tools already...
LCTRTS
2007
Springer
15 years 4 months ago
2007
Springer
In the design of real-time and embedded systems, it is important to establish a bound on the worst-case execution time (WCET) of programs to assure via schedulability analysis tha...
WCRE
2008
IEEE
15 years 4 months ago
2008
IEEE
CAPTCHAs are automated Turing tests used to determine if the end-user is human and not an automated program. Users are asked to read and answer Visual CAPTCHAs, which often appear...
AAAI
1996
14 years 11 months ago
1996
The NASA Personnel Security Processing Expert System is a tool that automatically determines the appropriate personnel background investigation required for a civil servant or con...
110
click to vote
COLING
1992
14 years 11 months ago
1992
This paper proposes a two-phase example-based machine translation methodology which develops translation templates from examples and then translates using template matching. This ...