2784 search results - page 529 / 557 » Light analysis of complex systems |
POPL
2011
ACM
12 years 10 months ago
2011
ACM
There have been several efforts to bring static type inference to object-oriented dynamic languages such as Ruby, Python, and Perl. In our experience, however, such type inference...
SAC
2011
ACM
12 years 10 months ago
2011
ACM
Dynamically typed programming languages are powerful tools for rapid software development. However, there are scenarios that would benefit from actual type information being avai...
ICDT
2012
ACM
11 years 10 months ago
2012
ACM
A universal model of a database D and a set Σ of integrity constraints is a database that extends D, satisfies Σ, and is most general in the sense that it contains sound and co...
ICSE
2012
IEEE-ACM
11 years 10 months ago
2012
IEEE-ACM
—Given limited resource and time before software release, development-site testing and debugging become more and more insufficient to ensure satisfactory software performance. As...
ICIP
2002
IEEE
2002
IEEE
Real-time reconstruction of wavelet encoded meshes for view-dependent transmission and visualization
14 years 9 months ago
Wavelet methods for geometry encoding is a recently emerged superset of multiresolution analysis which has proven to be very efficient in term of compression and adaptive transmis...