11573 search results - page 1702 / 2315 » Designing Relational Databases |
201
click to vote
RTAS
2006
IEEE
16 years 1 months ago
2006
IEEE
We present an assume-guarantee interface algebra for real-time components. In our formalism a component implements a set of task sequences that share a resource. A component inter...
171
click to vote
SYNASC
2006
IEEE
16 years 1 months ago
2006
IEEE
In the eld of automated reasoning, one of the most challenging (even if, perhaps, somewhat overlooked) problems thus far has been to develop a means of discerning, from amongst al...
188
click to vote
ASPDAC
2006
ACM
16 years 1 months ago
2006
ACM
Abstract - this paper proposes the use of a high-level architecture exploration method for different MPEG4 video encoders using different customization parameters. The targeted arc...
188
click to vote
ASPLOS
2006
ACM
16 years 1 months ago
2006
ACM
Security has been considered as an important issue in processor design. Most of the existing mechanisms address security and integrity issues caused by untrusted main memory in si...
190
click to vote
HRI
2006
ACM
16 years 1 months ago
2006
ACM
This paper investigates human behavior around an interactive robot at a science museum. To develop a communication robot that works in daily environments, it is important to inves...