1593 search results - page 81 / 319 » An Intelligent Model and Its Implementation of Search Engine |
174
click to vote
WOSP
2005
ACM
15 years 11 months ago
2005
ACM
Resource pools are computing environments that offer virtualized access to shared resources. When used effectively they can align the use of capacity with business needs (flexi...
162
click to vote
DAGSTUHL
2006
15 years 7 months ago
2006
This paper presents novel language and analysis techniques that significantly speed up software model checking of data structure properties. Consider checking a red-black tree imp...
157
click to vote
LPNMR
2009
Springer
16 years 21 days ago
2009
Springer
We apply ASP to model validation in a CASE setting, where models are UML class diagrams and object diagrams are called “snapshots”. We present the design and implementation of ...
187
click to vote
ALIFE
2002
15 years 6 months ago
2002
A new approach called bioinspired engineering of exploration systems (BEES) and its value for solving pressing NASA and DoD needs are described. Insects (for example honeybees and ...
163
click to vote
TPDS
2008
15 years 6 months ago
2008
Multicore processors are an architectural paradigm shift that promises a dramatic increase in performance. But, they also bring an unprecedented level of complexity in algorithmic ...