5343 search results - page 856 / 1069 » Keyword programming in java |
173
click to vote
SIGSOFT
2006
ACM
16 years 16 days ago
2006
ACM
When working on a large software system, a programmer typically spends an inordinate amount of time sifting through thousands of artifacts to find just the subset of information n...
201
click to vote
KBSE
2005
IEEE
16 years 5 days ago
2005
IEEE
In test generation based on model-checking, white-box test criteria are represented as trap conditions written in a temporal logic. A model checker is used to refute trap conditio...
146
click to vote
KBSE
2005
IEEE
16 years 5 days ago
2005
IEEE
The term grammar-based software describes software whose input can be specified by a context-free grammar. This grammar may occur explicitly in the software, in the form of an in...
153
click to vote
KBSE
2005
IEEE
16 years 5 days ago
2005
IEEE
The high cost of locating faults in programs has motivated the development of techniques that assist in fault localization by automating part of the process of searching for fault...
164
click to vote
PLDI
2005
ACM
16 years 4 days ago
2005
ACM
Modulo scheduling is an effective code generation technique that exploits the parallelism in program loops by overlapping iterations. One drawback of this optimization is that reg...