165 search results - page 3 / 33 » Computational Logic: Memories of the Past and Challenges for... |
DATE
2005
IEEE
13 years 12 months ago
2005
IEEE
Both the number of embedded memories, as well as the total embedded memory content in our chips is growing steadily. Time for chip designers, EDA makers, and test engineers to upd...
IJCAI
2003
13 years 7 months ago
2003
We overview the development of first-order automated reasoning systems starting from their early years. Based on the analysis of current and potential applications of such systems...
WETICE
2009
IEEE
14 years 1 months ago
2009
IEEE
— The skyrocketing demand for a new generation of cloud-based consumer and business applications is driving the need for next generation of datacenters that must be massively sca...
DEBS
2003
ACM
13 years 11 months ago
2003
ACM
Publish/subscribe (pub/sub) middleware facilitates loosely coupled cooperation and fits well the needs of spontaneous, ad-hoc interaction. However, newly started mobile applicati...
VR
2010
IEEE
13 years 4 months ago
2010
IEEE
Virtual reconstruction and representation of historical environments and objects have been of research interest for nearly two decades. Physically-based and historically accurate ...