3108 search results - page 350 / 622 » An Approach to Incremental Design of Distributed Embedded Sy... |
203
click to vote
DASIP
2010
15 years 1 months ago
2010
This paper proposes an automatic design flow from userfriendly design to efficient implementation of video processing systems. This design flow starts with the use of coarsegrain ...
270
click to vote
POPL
2005
ACM
16 years 7 months ago
2005
ACM
This paper proposes a novel approach to shape analysis: using local reasoning about individual heap locations of global reasoning about entire heap abstractions. We present an int...
208
click to vote
ICEIS
2008
IEEE
16 years 1 months ago
2008
IEEE
In many areas of computer science ontologies become more and more important. The use of ontologies for domain modeling often brings up the issue of ontology integration. The task o...
184
click to vote
DATE
2008
IEEE
16 years 1 months ago
2008
IEEE
We propose the notion of logical reliability for real-time program tasks that interact through periodically updated program variables. We describe a reliability analysis that chec...
167
Voted
ATAL
2006
Springer
15 years 10 months ago
2006
Springer
The most natural way of thinking about negotiation is probably a situation whereby each of the parties involved initially make a proposal that is particularly beneficial to themse...