1406 search results - page 178 / 282 » Software trace cache |
ECLIPSE
2007
ACM
14 years 2 months ago
2007
ACM
The information in bug reports influences the speed at which bugs are fixed. However, bug reports differ in their quality of information. We conducted a survey among ECLIPSE devel...
ICFEM
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. CSP is a well-established formalism for modelling and verification of concurrent reactive systems based on refinement. Consolidated denotational models and an effective t...
ARCS
2006
Springer
14 years 1 months ago
2006
Springer
Abstract. We provide evidence of the feasibility and effectiveness of a middleware architecture for mobile devices which employs dense distributions of small computerized entities ...
CGI
2001
IEEE
14 years 1 months ago
2001
IEEE
We present a hardware-accelerated method for rendering high quality, antialiased shadows using the shadow map approach. Instead of relying on dedicated hardware support for shadow...
AMAST
2008
Springer
14 years 3 days ago
2008
Springer
The Hoare approach to program verification relies on the construction and discharge of verification conditions (VCs) but offers no support to trace, analyze, and understand the VCs...