2662 search results - page 305 / 533 » Objects-early tools: a demonstration |
166
click to vote
ICSM
2007
IEEE
16 years 27 days ago
2007
IEEE
We have developed a new approach for software navigation called TagSEA (Tagging of Software Engineering Activities). TagSEA combines the notion of “waypointing” with “social...
160
click to vote
IPPS
2007
IEEE
16 years 27 days ago
2007
IEEE
Supercomputers are increasingly complex systems merging conventional microprocessors with system on a chip level designs that provide the network interface and router. At Sandia N...
172
click to vote
ISBI
2007
IEEE
16 years 27 days ago
2007
IEEE
Image model plays a critical role in recovering diagnosis-relevant information from noisy observation data. Unlike conventional denoising techniques based on local models, a patch...
152
click to vote
ISVLSI
2007
IEEE
16 years 26 days ago
2007
IEEE
Formal verification has become an important step in circuit and system design. A prominent technique is Bounded Model Checking (BMC) which is widely used in industry. In BMC it i...
159
click to vote
KBSE
2007
IEEE
16 years 26 days ago
2007
IEEE
toolkit demonstrates that predicate abstraction enables automated verification of real world Windows device Our predicate abstraction-based tool DDVerify enables the automated ve...