653 search results - page 103 / 131 » Enhancing Commitment Machines |
123
click to vote
SPIN
2004
Springer
15 years 5 months ago
2004
Springer
Most approaches for model checking software are based on ration of abstract models from source code, which may greatly reduce the search space, but may also introduce errors that a...
109
click to vote
ICAT
2003
IEEE
15 years 5 months ago
2003
IEEE
Movements of upper limbs are complicated, various and indispensable for daily activities. For patients with impairment of their upper limb, rehabilitation along with medical treat...
IPPS
2003
IEEE
15 years 5 months ago
2003
IEEE
The current technologies have made it possible to execute parallel applications across heterogeneous platforms. However, the performance models available do not provide adequate m...
MSE
2003
IEEE
15 years 5 months ago
2003
IEEE
A tool has been created for use in a design course to automate integration of new components into a SystemOn-Chip (SoC). Students used this tool to implement a complete SoC Intern...
JCDL
2003
ACM
15 years 5 months ago
2003
ACM
Niche Search Engines offer an efficient alternative to traditional search engines when the results returned by general-purpose search engines do not provide a sufficient degree of...