1712 search results - page 139 / 343 » Abstract Constraint Data Types |
114
click to vote
CSREAESA
2006
15 years 4 months ago
2006
- A systematic approach to building layered software architecture is proposed. Separate layering models required oper abstracting of hardware, persistent data, and communication pr...
126
click to vote
TC
1998
15 years 2 months ago
1998
Abstract—A widely used bus-encryption microprocessor is vulnerable to a new practical attack. This type of processor decrypts onthe-fly while fetching code and data, which are st...
117
click to vote
PADL
2007
Springer
15 years 9 months ago
2007
Springer
Abstract The Haskell String type is notoriously inefficient. We introduce a new data type, ByteString, based on lazy lists of byte arrays, combining the speed benefits of strict a...
151
click to vote
FLOPS
2010
Springer
15 years 10 months ago
2010
Springer
Abstract. We present the meta-theory behind the code generation facilities of Isabelle/HOL. To bridge the gap between the source (higherorder logic with type classes) and the many ...
147
click to vote
BMCBI
2007
15 years 3 months ago
2007
Background: There is a large amount of microarray data accumulating in public databases, providing various data waiting to be analyzed jointly. Powerful kernel-based methods are c...