Sciweavers

859 search results - page 78 / 172
» Implementing CMMI using a Combination of Agile Methods
Sort
View
ISSTA
2006
ACM
15 years 10 months ago
Test input generation for java containers using state matching
The popularity of object-oriented programming has led to the wide use of container libraries. It is important for the reliability of these containers that they are tested adequate...
Willem Visser, Corina S. Pasareanu, Radek Pel&aacu...
SIGGRAPH
2000
ACM
15 years 8 months ago
Conservative visibility preprocessing using extended projections
Visualization of very complex scenes can be significantly accelerated using occlusion culling. In this paper we present a visibility preprocessing method which efficiently compu...
Frédo Durand, George Drettakis, Joëlle...
CORR
2010
Springer
208views Education» more  CORR 2010»
15 years 4 months ago
Bounded Model Checking of Multi-threaded Software using SMT solvers
The transition from single-core to multi-core processors has made multi-threaded software an important subject in computer aided verification. Here, we describe and evaluate an ex...
Lucas Cordeiro, Bernd Fischer 0002
DSS
2008
186views more  DSS 2008»
15 years 4 months ago
A machine learning approach to web page filtering using content and structure analysis
As the Web continues to grow, it has become increasingly difficult to search for relevant information using traditional search engines. Topic-specific search engines provide an al...
Michael Chau, Hsinchun Chen
SIGGRAPH
1994
ACM
15 years 8 months ago
Fast volume rendering using a shear-warp factorization of the viewing transformation
Several existing volume rendering algorithms operate by factoring the viewing transformation into a 3D shear parallel to the data slices, a projection to form an intermediate but ...
Philippe Lacroute, Marc Levoy