15779 search results - page 2868 / 3156 » Change-oriented software engineering |
127
click to vote
CF
2005
ACM
15 years 4 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...
113
click to vote
CODES
2005
IEEE
15 years 4 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...
121
click to vote
PASTE
2010
ACM
15 years 4 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...
122
Voted
COMPSAC
2007
IEEE
15 years 4 months ago
2007
IEEE
The popularity of Service Oriented Computing (SOC) brings a large number of distributed, well-encapsulated and reusable services all over internet, and makes it possible to create...
122
click to vote
CODES
2008
IEEE
15 years 4 months ago
2008
IEEE
The performance of system-on-chip is determined not only by the performance of its functional units, but also by how efficiently they cooperate with one another. It is the on-chip...