7197 search results - page 362 / 1440 » On the computational power of BlenX |
187
click to vote
ISVLSI
2003
IEEE
16 years 3 days ago
2003
IEEE
The need for small, high speed, low power computers as the end of Moore’s law approaches is driving research into nanotechnology. These novel devices have significantly differe...
189
click to vote
ISWC
2003
IEEE
16 years 3 days ago
2003
IEEE
In this paper we describe the MIThril 2003 wearable computing research platform. MIThril 2003 is a proven, accessible architecture that combines inexpensive, commodity hardware, a...
182
click to vote
NDSS
2003
IEEE
16 years 3 days ago
2003
IEEE
System call interposition is a powerful method for regulating and monitoring application behavior. In recent years, a wide variety of security tools have been developed that use t...
144
click to vote
PROCEDIA
2010
15 years 5 months ago
2010
Modern physical theory and modern computational techniques are used to provide conjecture on how nature computes. I utilize time-domain simulation of physical phenomena and build ...
194
click to vote
FROCOS
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. We discuss a pragmatic approach to integrate computer algebra into proof planning. It is based on the idea to separate computation and veri cation and can thereby exploit...