1058 search results - page 191 / 212 » Search Strategies for Automatic Performance Analysis Tools |
130
Voted
ENTCS
2007
15 years 3 months ago
2007
This paper promotes compositional reasoning in the context of safety-critical systems, and demonstrates a safety-oriented component model using an application from the automotive ...
194
Voted
CRV
2009
IEEE
15 years 10 months ago
2009
IEEE
The use of synthetic aperture radar (SAR) has become an integral part of sea-ice monitoring and analysis in the polar regions. An important task in sea-ice analysis is to segment ...
124
Voted
SIGIR
2009
ACM
15 years 10 months ago
2009
ACM
Most retrieval models estimate the relevance of each document to a query and rank the documents accordingly. However, such an approach ignores the uncertainty associated with the ...
141
Voted
CODES
2006
IEEE
15 years 9 months ago
2006
IEEE
The use of Application Specific Instruction-set Processors (ASIP) is a solution to the problem of increasing complexity in embedded systems design. One of the major challenges in...
135
Voted
OOPSLA
2004
Springer
15 years 9 months ago
2004
Springer
A proxy object is a surrogate or placeholder that controls access to another target object. Proxies can be used to support distributed programming, lazy or parallel evaluation, ac...