1712 search results - page 139 / 343 » Abstract Constraint Data Types |
175
click to vote
CSREAESA
2006
15 years 8 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...
191
click to vote
TC
1998
15 years 6 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...
187
click to vote
PADL
2007
Springer
16 years 1 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...
207
click to vote
FLOPS
2010
Springer
16 years 1 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 ...
212
click to vote
BMCBI
2007
15 years 7 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...