158 search results - page 14 / 32 » Strong logics of first and second order |
113
Voted
ICSE
2003
IEEE-ACM
16 years 2 months ago
2003
IEEE-ACM
Comprehensive consistency management requires a strong mechanism for repair once inconsistencies have been detected. In this paper we present a repair framework for inconsistent d...
ASPDAC
2004
ACM
15 years 7 months ago
2004
ACM
The design of future high-performance embedded systems is hampered by two problems: First, the required hardware needs more energy than is available from batteries. Second, curren...
118
Voted
ICPP
1990
IEEE
15 years 6 months ago
1990
IEEE
A model for shared-memory systems commonly (and often implicitly) assumed by programmers is that of sequential consistency. For implementing sequential consistency in a cache-base...
113
Voted
JUCS
2006
15 years 1 months ago
2006
: This study represents a survey approach in order to analyse the information society in a regional setting. The first part deals with a current problematic issue: the human resour...
107
Voted
ICRA
2009
IEEE
14 years 11 months ago
2009
IEEE
In this paper, we propose a human daily activity recognition method by fusing the data from two wearable inertial sensors attached on one foot and the waist of the human subject, r...