6014 search results - page 808 / 1203 » Parametric Analysis of Computer Systems |
198
click to vote
RTA
2007
Springer
16 years 26 days ago
2007
Springer
This paper shows how to construct static analyzers using tree automata and rewriting techniques. Starting from a term rewriting system representing the operational semantics of the...
204
click to vote
3DPVT
2006
IEEE
16 years 25 days ago
2006
IEEE
The spherical harmonic (SPHARM) description is a powerful surface modeling technique that can model arbitrarily shaped but simply connected three dimensional (3D) objects. Because...
178
click to vote
DIAL
2006
IEEE
16 years 25 days ago
2006
IEEE
This paper lies on the field of ancient patrimonial books valorization: it precisely relates to the development of suitable assistance tools for humanists and historians to help t...
154
click to vote
IPPS
2006
IEEE
16 years 24 days ago
2006
IEEE
UPC’s implicit communication and fine-grain programming style make application performance modeling a challenging task. The correspondence between remote references and communi...
158
click to vote
PADS
2005
ACM
16 years 9 days ago
2005
ACM
Parallel and distributed simulations enable the analysis of complex systems by concurrently exploiting the aggregate computation power and memory of clusters of execution units. I...