2335 search results - page 217 / 467 » Type Checking Type Classes |
100
Voted
ISQED
2010
IEEE
15 years 2 months ago
2010
IEEE
We present a method to abstract, formalize, and verify industrial flash memory implementations. Flash memories contain specialized transistors, e.g., floating gate and split gate d...
103
Voted
DAGSTUHL
2007
15 years 2 months ago
2007
This paper tackles on ethical issues that are relevant when designing new technological service systems for the assisted living. In this paper we present our preliminary ethical gu...
90
Voted
CNIS
2006
15 years 2 months ago
2006
We present the design and a prototype of a lab course on computer security, the necessity of which arises from the students' need to complement course work by hands-on experi...
94
Voted
AAAI
1997
15 years 2 months ago
1997
This paper describes an approach for representing and manipulating sequences in description logics (DLs). The key idea is to represent sequences using sux trees, then represent t...
66
Voted
IJCAI
1989
15 years 1 months ago
1989
Most implementations of AND-parallelism tackle the shared variable problem by running literals in parallel only if they have no variables in common and thus are independent from e...