5615 search results - page 211 / 1123 » On the Computational Capabilities of Several Models |
226
click to vote
PLDI
2012
ACM
13 years 9 months ago
2012
ACM
While graphics processing units (GPUs) provide low-cost and efficient platforms for accelerating high performance computations, the tedious process of performance tuning required...
197
click to vote
ER
1998
Springer
15 years 11 months ago
1998
Springer
It is widely acknowledged that information such as web content should be adapted for mobile platforms to account for restrictions in mobile environments. As emerging mobile platfor...
215
click to vote
SPIN
2004
Springer
16 years 16 days ago
2004
Springer
Abstract. In the classic approach to logic model checking, software verification requires a manually constructed artifact (the model) to be written in the language that is accepted...
221
click to vote
PERVASIVE
2011
Springer
14 years 10 months ago
2011
Springer
As location-sensing smart phones and location-based services gain mainstream popularity, there is increased interest in developing techniques that can detect anomalous activities. ...
204
click to vote
CW
2005
IEEE
16 years 24 days ago
2005
IEEE
Agents are systems capable of perceiving their environment through sensors, reasoning about their sensory input using some characteristic reasoning process and acting in their env...