2048 search results - page 345 / 410 » Intelligent search techniques for large software systems |
128
Voted
KI
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. We aim to demonstrate that automated deduction techniques, in particular those following the model computation paradigm, are very well suited for database schema/query re...
135
Voted
ANLP
1992
15 years 5 months ago
1992
This paper briefly describes the current implementation status of an intelligent information retrieval system, MARIE, that employs natural language processing techniques. Descript...
145
click to vote
CGO
2010
IEEE
15 years 9 months ago
2010
IEEE
Feedback-directed optimization (FDO) is effective in improving application runtime performance, but has not been widely adopted due to the tedious dual-compilation model, the dif...
184
Voted
ICFEM
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. We study the problem of applying statistical methods for approximate model checking of probabilistic systems against properties encoded as PCTL formulas. Such approximate...
189
Voted
PLDI
2003
ACM
15 years 10 months ago
2003
ACM
With power-related concerns becoming dominant aspects of hardware and software design, significant research effort has been devoted towards system power minimization. Among run-t...