165 search results - page 21 / 33 » Computational Logic: Memories of the Past and Challenges for... |
SIGARCH
2008
13 years 8 months ago
2008
Conventional programming models were designed to be used by expert programmers for programming for largescale multiprocessors, distributed computational clusters, or specialized p...
MIDDLEWARE
2007
Springer
14 years 2 months ago
2007
Springer
Web based data services are very popular with the average computer user. Examples of such services include Gmail.com, Yahoo Photos, Yahoo Briefcase and Amazon S3 Service. In such ...
NCA
2007
IEEE
13 years 8 months ago
2007
IEEE
One of the key success factors behind the human species is the ability to think, plan and pursue goals. Apart from wisdom and tacit knowledge, experience and awareness of the phys...
DAC
2008
ACM
14 years 9 months ago
2008
ACM
C++ based verification methodologies are now emerging as the preferred method for SOC design. However most of the verification involving the C++ models are simulation based. The c...
PUC
2008
13 years 8 months ago
2008
Although many recent systems have been built to support Information Capture and Retrieval (ICR), these have not generally been successful. This paper presents studies that evaluate...