3330 search results - page 455 / 666 » software 2010 |
127
Voted
CORR
2010
Springer
15 years 5 months ago
2010
Springer
Deterministic execution offers many benefits for debugging, fault tolerance, and security. Current methods of executing parallel programs deterministically, however, often incur h...
133
click to vote
CORR
2010
Springer
15 years 5 months ago
2010
Springer
Programs to solve so-called constraint problems are complex pieces of software which require many design decisions to be made more or less arbitrarily by the implementer. These dec...
111
click to vote
CORR
2010
Springer
15 years 5 months ago
2010
Springer
Sampled semantics of timed automata is a nite approximation of their dense time behavior. While the former is closer to the actual software or hardware systems ed granularity of ti...
182
click to vote
AINA
2010
IEEE
15 years 4 months ago
2010
IEEE
—This paper describes a method of linearizing the nonlinear characteristics of many sensors using an embedded neural network. The proposed method allows for complex neural networ...
143
click to vote
CORR
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. A GLObal Smart Space (GLOSS) provides support for interaction amongst people, artefacts and places while taking account of both context and movement on a global scale. Cr...