Sciweavers

6581 search results - page 913 / 1317
» Formalizing Design Patterns
Sort
View
ISCA
1997
IEEE
137views Hardware» more  ISCA 1997»
15 years 11 months ago
A Language for Describing Predictors and Its Application to Automatic Synthesis
As processor architectures have increased their reliance on speculative execution to improve performance, the importance of accurate prediction of what to execute speculatively ha...
Joel S. Emer, Nicholas C. Gloy
ER
2007
Springer
102views Database» more  ER 2007»
15 years 10 months ago
Relational Data Tailoring Through View Composition
This paper presents a methodology to derive views over a relational database by applying a sequence of appropriately defined operations to the global schema. Such tailoring and com...
Cristiana Bolchini, Elisa Quintarelli, Rosalba Ros...
HRI
2007
ACM
15 years 10 months ago
Elements of a spoken language programming interface for robots
In many settings, such as home care or mobile environments, demands on users' attention, or users' anticipated level of formal training, or other on-site conditions will...
Tim Miller, Andrew Exley, William Schuler
HRI
2007
ACM
15 years 10 months ago
The RUBI project: a progress report
The goal of the RUBI project is to accelerate progress in the development of social robots by addressing the problem at multiple levels, including the development of new scientifi...
Javier R. Movellan, Fumihide Tanaka, Ian R. Fasel,...
ASIAN
2006
Springer
98views Algorithms» more  ASIAN 2006»
15 years 10 months ago
Information Hiding in the Join Calculus
Abstract. We aim to provide information hiding support in concurrent object-oriented programming languages. We study the issue both at the object level and class level, in the cont...
Qin Ma 0002, Luc Maranget