3719 search results - page 677 / 744 » RACER System Description |
107
click to vote
RSP
2005
IEEE
15 years 5 months ago
2005
IEEE
Abstract— John von Neumann proposed his famous architecture in a context where hardware was very expensive and bulky. His goal was to maximize functionality with minimal hardware...
101
click to vote
CAV
2005
Springer
15 years 5 months ago
2005
Springer
Model checking has proven to be an effective technology for verification and debugging in hardware and more recently in software domains. We believe that recent trends in both th...
104
click to vote
UML
2005
Springer
15 years 5 months ago
2005
Springer
Abstract. Evaluating the implications of an architecture design early in the software development lifecycle is important in order to reduce costs of development. Reliability is an ...
CASES
2004
ACM
15 years 5 months ago
2004
ACM
Application specific processors offer the potential of rapidly designed logic specifically constructed to meet the performance and area demands of the task at hand. Recently, t...
180
click to vote
ADS
2004
Springer
15 years 5 months ago
2004
Springer
Abstract. If we wish to implement dialogue systems which express emotion, dialogue corpora annotated for emotion would be a valuable resource. In order to develop such corpora we r...