5330 search results - page 776 / 1066 » The Performability Tool P'ility |
175
click to vote
CC
2005
Springer
16 years 9 days ago
2005
Springer
In this paper, we present a formal description of data slicing, which is a type-directed program transformation technique that separates a program’s heap into several independent...
176
Voted
EGC
2005
Springer
16 years 8 days ago
2005
Springer
Abstract. Monitoring systems are nowadays ubiquitous in complex environments, such as Grids. Their use is fundamental for performance evaluation, problem spotting, advanced debuggi...
183
click to vote
EMSOFT
2005
Springer
16 years 8 days ago
2005
Springer
Interrupt-driven embedded software is hard to thoroughly test since it usually contains a very large number of executable paths. Developers can test more of these paths using rand...
174
click to vote
EPIA
2005
Springer
16 years 8 days ago
2005
Springer
Space applications’ users have been relying for the past decades on custom developed software tools capable of addressing short term necessities during critical Spacecraft contro...
204
click to vote
EUROPAR
2005
Springer
16 years 8 days ago
2005
Springer
A style for programming problems from matrix algebra is developed with a familiar example and new tools, yielding high performance with a couple of surprising exceptions. The under...