9110 search results - page 1678 / 1822 » Formally-Based Design Evaluation |
132
Voted
SEMWEB
2009
Springer
15 years 10 months ago
2009
Springer
GeRoMeSuite is a generic model management system which provides several functions for managing complex data models, such as schema integration, definition and execution of schema ...
159
Voted
APLAS
2009
ACM
15 years 10 months ago
2009
ACM
Abstract. Context-sensitive points-to analysis is critical for several program optimizations. However, as the number of contexts grows exponentially, storage requirements for the a...
135
Voted
ASSETS
2009
ACM
15 years 10 months ago
2009
ACM
In this paper, we propose an automatic approach, complete with a prototype system, for supporting instant access to maps for local navigation by people with visual impairment. The...
121
click to vote
CASES
2009
ACM
15 years 10 months ago
2009
ACM
Embedded systems are often implemented on FPGA devices and 25% of the time [2] include a soft processor— a processor built using the FPGA reprogrammable fabric. Because of their...
145
click to vote
CF
2009
ACM
15 years 10 months ago
2009
ACM
Recently, multi-core architectures with alternative memory subsystem designs have emerged. Instead of using hardwaremanaged cache hierarchies, they employ software-managed embedde...