911 search results - page 121 / 183 » Combining programs and state machines |
ICFP
2006
ACM
14 years 8 months ago
2006
ACM
A transient hardware fault occurs when an energetic particle strikes a transistor, causing it to change state. These faults do not cause permanent damage, but may result in incorr...
CASSIS
2004
Springer
14 years 2 months ago
2004
Springer
Abstract. This paper addresses the problem of static checking of programs to ensure that they satisfy confidentiality policies in the presence of dynamic access control in the for...
WECWIS
2003
IEEE
14 years 2 months ago
2003
IEEE
Converting a conventional contract into an electronic equivalent that can be executed and enforced by computers is a challenging task. The difficulties are caused by the ambiguiti...
ICPPW
2002
IEEE
14 years 1 months ago
2002
IEEE
Distributed Shared Memory (DSM) systems provide a logically shared memory over physically distributed memory to enable parallel computation on Networks of Workstations (NOWs). In ...
ICASSP
2010
IEEE
13 years 9 months ago
2010
IEEE
We present a novel language identification technique using our recently developed deep-structured conditional random fields (CRFs). The deep-structured CRF is a multi-layer CRF mo...