623 search results - page 43 / 125 » Relational Parametricity for Control Considered as a Computa... |
108
click to vote
UCS
2004
Springer
15 years 5 months ago
2004
Springer
Abstract. We propose a unified ubiHome application service model which provides user-centered services by exploiting intelligent context-awareness. Recently, most of research relat...
110
click to vote
CNL
2009
15 years 29 days ago
2009
Abstract. As it is well-known, querying and managing structured data in natural language is a challenging task due to its ambiguity (syntactic and semantic) and its expressiveness....
103
click to vote
ASPLOS
2011
ACM
14 years 3 months ago
2011
ACM
The power-efficient massively parallel Graphics Processing Units (GPUs) have become increasingly influential for scientific computing over the past few years. However, their ef...
109
click to vote
ASPDAC
2008
ACM
15 years 1 months ago
2008
ACM
Abstract-- Increasing delay and power variation are significant challenges to the designers as technology scales to the deep sub-micron (DSM) regime. Traditional module selection t...
TSE
2002
14 years 11 months ago
2002
CASE (Computer Aided Software Engineering) tools are believed to have played a critical role in improving software productivity and quality by assisting tasks in software developme...