36320 search results - page 47 / 7264 » From Code to Models |
108
click to vote
SIGMETRICS
1998
ACM
15 years 6 months ago
1998
ACM
While much work has been devoted to the study of cache behavior during the execution of codes with regular access patterns, little attention has been paid to irregular codes. An i...
147
click to vote
ATVA
2008
Springer
15 years 4 months ago
2008
Springer
Goanna is an industrial-strength static analysis tool used in academia and industry alike to find bugs in C/C++ programs. Unlike existing approaches Goanna uses the off-the-shelf N...
128
click to vote
HPCC
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. Checkpointing techniques are usually used to secure the execution of sequential and parallel programs. However, they can also be used in order to generate automatically a...
120
Voted
IRI
2007
IEEE
15 years 8 months ago
2007
IEEE
Domain-specific modeling has become a popular way of designing and developing systems. It generally involves a systematic use of a set of object-oriented models to represent vari...
104
click to vote
ENVSOFT
2007
15 years 2 months ago
2007
Communication across the science-policy interface is complicated by uncertainty and ignorance associated with predictions on which to base policies. The international symposium ...