2662 search results - page 305 / 533 » Objects-early tools: a demonstration |
183
click to vote
ICSM
2007
IEEE
16 years 1 months 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...
181
click to vote
IPPS
2007
IEEE
16 years 1 months 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...
205
click to vote
ISBI
2007
IEEE
16 years 1 months 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...
169
click to vote
ISVLSI
2007
IEEE
16 years 1 months 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...
192
click to vote
KBSE
2007
IEEE
16 years 1 months 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...