2316 search results - page 231 / 464 » The many forms of hypercomputation |
196
click to vote
DATE
2006
IEEE
16 years 16 days ago
2006
IEEE
Functional validation is a major bottleneck in pipelined processor design. Simulation using functional test vectors is the most widely used form of processor validation. While exi...
148
click to vote
DATE
2006
IEEE
16 years 16 days ago
2006
IEEE
Sophisticated C compiler support for network processors (NPUs) is required to improve their usability and consequently, their acceptance in system design. Nonetheless, high-level ...
177
click to vote
DEEC
2006
IEEE
16 years 16 days ago
2006
IEEE
Web applications have become an invaluable source of information for many different vertical solutions, but their complex navigation and semistructured format make their informatio...
170
click to vote
EDOC
2006
IEEE
16 years 16 days ago
2006
IEEE
Workflow forms a key part of many existing Service Oriented applications, involving the integration of services that may be made available at distributed sites. It is possible ng...
172
click to vote
FOCS
2006
IEEE
16 years 16 days ago
2006
IEEE
Let Λ : {0, 1}n ×{0, 1}m → {0, 1} be a Boolean formula of size d, or more generally, an arithmetic circuit of degree d, known to both Alice and Bob, and let y ∈ {0, 1}m be a...