92 search results - page 7 / 19 » Relating Expectations to Automatically Recovered Design Patt... |
113
click to vote
FOSSACS
2006
Springer
15 years 4 months ago
2006
Springer
We define a new decidable logic for expressing and checking invariants of programs that manipulate dynamically-allocated objects via pointers and destructive pointer updates. The ...
107
click to vote
IUI
2010
ACM
15 years 10 months ago
2010
ACM
This paper describes our work in usage pattern analysis and development of a latent semantic analysis framework for interpreting multimodal user input consisting speech and pen ge...
114
click to vote
MICRO
1993
IEEE
15 years 5 months ago
1993
IEEE
The conventional classification of inter-instruction dependencies (data, anti and output dependencies) provides a basic scheme for the analysis of pipeline hazards in pipelined in...
106
click to vote
ISVLSI
2007
IEEE
15 years 7 months ago
2007
IEEE
Abstract— Time-to-Market plays a central role on System-ona-Chip (SoC) competitiveness and the quality of the final product is a matter of concern as well. As SoCs complexity in...
130
click to vote
CLOUD
2010
ACM
15 years 6 months ago
2010
ACM
Over the last 10–15 years, our industry has developed and deployed many large-scale Internet services, from e-commerce to social networking sites, all facing common challenges i...