1463 search results - page 224 / 293 » Software engineering practices in Singapore |
97
Voted
AMAST
2006
Springer
15 years 4 months ago
2006
Springer
Abstract. State space explosion is the hardest challenge to the effective application of model checking methods. We present a new technique for achieving drastic state space reduct...
111
Voted
CODES
2004
IEEE
15 years 4 months ago
2004
IEEE
High-level hardware modeling is an essential, yet time-consuming, part of system design. However, effective component-based reuse in hardware modeling languages can reduce model c...
118
Voted
CSMR
2004
IEEE
15 years 4 months ago
2004
IEEE
Automatic analysis of programs with preprocessing directives and conditional compilation is challenging. The difficulties range from parsing to program understanding. Symbolic eva...
115
click to vote
FASE
2006
Springer
15 years 4 months ago
2006
Springer
Abstract. As XML diffusion keeps increasing, it is today common practice for most developers to deal with XML parsing and transformation. XML is used as format to e.g. render data,...
FSTTCS
2006
Springer
15 years 4 months ago
2006
Springer
We consider the problem of approximating normal and feature sizes of a surface from point cloud data that may be noisy. These problems are central to many applications dealing wit...