2210 search results - page 271 / 442 » Applying a Model-based Approach for Embedded System Developm... |
116
click to vote
SAMOS
2004
Springer
15 years 8 months ago
2004
Springer
In this paper we present a new approach for generating high-speed optimized event-driven register transfer level (RTL) compiled simulators. The generation of the simulators is part...
114
click to vote
IJCAI
1993
15 years 4 months ago
1993
We describe a new approach to default reasoning, based on a principle of indi erence among possible worlds. We interpret default rules as extreme statistical statements, thus obta...
118
click to vote
LPAR
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. The main goal of this paper is to apply rewriting termination technology —enjoying a quite mature set of termination results and tools— to the problem of proving auto...
121
click to vote
EICS
2010
ACM
15 years 4 months ago
2010
ACM
We propose an approach that takes as input a task model, which includes the user's view of the interactive system, and automatically discovers a set of categorized and ranked...
SOFTWARE
2010
15 years 1 months ago
2010
Architecture is typically either a very non-tangible, conceptual aspect of a software system that can primarily be found in Word documents, or it is entirely driven by technology ...