2846 search results - page 266 / 570 » A Software Performance Engineering Tool based on the UML-SPT |
150
Voted
CBMS
2004
IEEE
15 years 10 months ago
2004
IEEE
Detection and monitoring of fluorescent lesions in mice is usually performed manually with the help of an image manipulation commercial software. The task is often daunting due to...
201
click to vote
CODES
2003
IEEE
15 years 12 months ago
2003
IEEE
In the Sesame framework, we develop a modeling and simulation environment for the efficient design space exploration of heterogeneous embedded systems. Since Sesame recognizes se...
175
click to vote
ICST
2009
IEEE
16 years 1 months ago
2009
IEEE
Aspect-oriented programming (AOP) languages introduce new constructs that can lead to new types of faults, which must be targeted by testing techniques. In particular, AOP languag...
215
click to vote
ICFEM
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. Certificate translation is a method that transforms certificates of source programs into certificates of their compilation. It provides strong guarantees on low-level cod...
236
click to vote
DICS
2006
15 years 10 months ago
2006
Virtual laboratories can be characterized by their long-lasting, large-scale computations, where a collection of heterogeneous tools is integrated into data processing pipelines. S...