4344 search results - page 56 / 869 » The resourcefulness of everyday design |
ICCAD
1994
IEEE
15 years 4 months ago
1994
IEEE
Application Specific Instruction-Set Processors (ASIPs) offer designers the ability for high-speed data and control processing with the added flexibility needed for late design sp...
130
click to vote
CADE
1998
Springer
15 years 4 months ago
1998
Springer
Abstract. We present the first implementation of a theorem prover running on a smart card. The prover is written in Java and implements a dual tableau calculus. Due to the limited ...
114
click to vote
ACL
2003
15 years 1 months ago
2003
Many applications of natural language processing technologies involve analyzing texts that concern the psychological states and processes of people, including their beliefs, goals...
CLUSTER
2002
IEEE
15 years 4 months ago
2002
IEEE
Computational Grids are large scale computing system composed of geographically distributed resources (computers, storage etc.) owned by self interested agents or organizations. T...
ICDE
2007
IEEE
15 years 6 months ago
2007
IEEE
Resource virtualization is currently being employed at all levels of the IT infrastructure to improve provisioning and manageability, with the goal of reducing total cost of owner...