6607 search results - page 767 / 1322 » Making TeX Work |
221
click to vote
OOPSLA
2007
Springer
16 years 1 months ago
2007
Springer
Omniscient debuggers make it possible to navigate backwards in time within a program execution trace, drastically improving the task of debugging complex applications. Still, they...
210
click to vote
OOPSLA
2007
Springer
16 years 1 months ago
2007
Springer
In runtime monitoring, a programmer specifies a piece of code to execute when a trace of events occurs during program execution. Previous and related work has shown that runtime m...
200
Voted
SPIN
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. Computational resources are increasing rapidly with the explosion of multi-core processors readily available from major vendors. Model checking needs to harness these res...
207
click to vote
ICAS
2006
IEEE
16 years 1 months ago
2006
IEEE
The size, complexity, heterogeneity, and dynamism of largescale computational grids make autonomic grid services and solutions necessary. In particular, grid schedulers must map a...
182
Voted
PARELEC
2006
IEEE
16 years 1 months ago
2006
IEEE
Usually, theories of surface growth are based on the study of global processes without taking in account the local behaviour of atoms. We have implemented two Montecarlo simulation...