1760 search results - page 297 / 352 » Program Analysis Using Weighted Pushdown Systems |
SIGSOFT
2006
ACM
14 years 10 months ago
2006
ACM
Though many tools are available to help programmers working on change tasks, and several studies have been conducted to understand how programmers comprehend systems, little is kn...
ASPLOS
1989
ACM
14 years 2 months ago
1989
ACM
A very long instruction word (VLIW) processorexploits parallelism by controlling multiple operations in a single instruction word. This paper describes the architecture and compil...
ICFP
2008
ACM
14 years 10 months ago
2008
ACM
The trend in microprocessor design toward multicore and manycore processors means that future performance gains in software will largely come from harnessing parallelism. To reali...
SERA
2004
Springer
14 years 3 months ago
2004
Springer
NuEditor is a tool suite supporting specification and verification of software requirements written in NuSCR. NuSCR extends SCR (Software Cost Reduction) notation that has been us...
KDD
2007
ACM
14 years 10 months ago
2007
ACM
The increasing pervasiveness of the Internet has dramatically changed the way that consumers shop for goods. Consumergenerated product reviews have become a valuable source of inf...