11752 search results - page 188 / 2351 » Those |
184
click to vote
ISVLSI
2007
IEEE
16 years 26 days ago
2007
IEEE
In this paper, we propose and implement a vector processing system that includes two identical vector microprocessors embedded in two FPGA chips. Each vector microprocessor suppor...
144
Voted
QSIC
2007
IEEE
16 years 26 days ago
2007
IEEE
: Testing against natural language requirements is the standard approach for system and acceptance testing. This test is often performed by an independent test organization unfamil...
135
click to vote
ROMAN
2007
IEEE
16 years 26 days ago
2007
IEEE
Abstract— We propose a “display robot” that directly anthropomorphizes objects using body parts that are like those of humans. It is constructed of devices that look like eye...
175
click to vote
TPHOL
2007
IEEE
16 years 26 days ago
2007
IEEE
Abstract. We use the theorem prover Isabelle to formalise and machinecheck results of the theory of generalised substitutions given by Dunne and used in the B method. We describe t...
173
click to vote
TPHOL
2007
IEEE
16 years 26 days ago
2007
IEEE
Placing our result in a web of related mechanised results, we give a direct proof that the de Bruijn λ-calculus (`a la Huet, Nipkow and Shankar) is isomorphic to an α-quotiented ...