15777 search results - page 2768 / 3156 » The Reformulation-Optimization Software Engine |
160
Voted
CISIS
2008
IEEE
15 years 6 months ago
2008
IEEE
Bluetooth standard allows the creation of piconets, with one node serving as its master and up to seven nodes serving as slaves. A Bluetooth ad hoc network can also be formed by in...
160
click to vote
CASES
2005
ACM
15 years 6 months ago
2005
ACM
Instruction set customization accelerates the performance of applications by compressing the length of critical dependence paths and reducing the demands on processor resources. W...
153
click to vote
CF
2005
ACM
15 years 6 months ago
2005
ACM
Result checking is the theory and practice of proving that the result of an execution of a program on an input is correct. Result checking has most often been envisioned in the fr...
132
click to vote
CODES
2005
IEEE
15 years 6 months ago
2005
IEEE
We propose a secure platform on a chip multiprocessor, known as FIDES, in order to enable next generation mobile terminals to execute downloaded native applications for Linux. Its...
144
Voted
PASTE
2010
ACM
15 years 6 months ago
2010
ACM
Packrat parsing is a powerful parsing algorithm presented by Ford in 2002. Packrat parsers can handle complicated grammars and recursive structures in lexical elements more easily...