5664 search results - page 682 / 1133 » Creativity support tools |
181
click to vote
PDP
2005
IEEE
16 years 14 days ago
2005
IEEE
The OpenMP source code repository is based on a set of representative applications and it is supported by a web site. It is an infrastructure that we make available to the communi...
164
click to vote
SEFM
2005
IEEE
16 years 14 days ago
2005
IEEE
The three main assertion-based verification approaches are: Design by Contract (DBC), Extended Static Checking (ESC) and Verified Design by Contract (VDBC). Each approach offers a...
154
click to vote
SWSTE
2005
IEEE
16 years 14 days ago
2005
IEEE
We present a new automated software acceptance tests framework. The framework is novel in supporting the entire lifecycle and all QA activities, including test maintenance over mu...
151
click to vote
SOFTVIS
2005
ACM
16 years 13 days ago
2005
ACM
Programming in parallel is an error-prone and complex task compounded by the lack of tool support for both programming and debugging. Recent advances in compiler-directed shared m...
135
click to vote
UIST
2005
ACM
16 years 13 days ago
2005
ACM
Supporting groups of individuals exploring large maps and design diagrams on interactive tabletops is still an open research problem. Today’s geospatial, mechanical engineering ...