490 search results - page 74 / 98 » Automated Generalization of Translation Examples |
SIGSOFT
2005
ACM
14 years 8 months ago
2005
ACM
In unit testing, a program is decomposed into units which are collections of functions. A part of unit can be tested by generating inputs for a single entry function. The entry fu...
WWW
2004
ACM
14 years 8 months ago
2004
ACM
Prior work has shown that semantic email processes (SEPs) can be an effective tool for automating emailmediated tasks that are currently performed manually in a tedious, time-cons...
CADE
2007
Springer
14 years 7 months ago
2007
Springer
Safety and security guarantees for individual applications in general depend on assumptions on the given context provided by distributed instances of operating systems, hardware pl...
SIGMOD
2006
ACM
14 years 7 months ago
2006
ACM
ct In some applications, data capture dominates query processing. For example, monitoring moving objects often requires more insertions and updates than queries. Data gathering usi...
ICCAD
2006
IEEE
14 years 4 months ago
2006
IEEE
The continuous minituarization of integrated circuits may reach atomic scales in a couple of decades. Some researchers have already built simple computation engines by manipulatin...