2586 search results - page 246 / 518 » Automatic Abstraction for Congruences |
154
click to vote
OSS
2007
Springer
16 years 22 days ago
2007
Springer
Abstract. The use of Off-The-Shelf software components in ComponentBased Development implies many challenges. One of them is the lack of available and well-suited data to support s...
140
click to vote
OTM
2007
Springer
16 years 22 days ago
2007
Springer
Abstract. Although cryptographic implementation tasks are often undertaken by expert programmers, a plethora of performance and security driven options, as well as more mundane sof...
168
click to vote
PADL
2007
Springer
16 years 22 days 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...
189
click to vote
PVM
2007
Springer
16 years 22 days ago
2007
Springer
Abstract. The MPI Standard does not make any performance guarantees, but users expect (and like) MPI implementations to deliver good performance. A common-sense expectation of perf...
172
click to vote
SAMT
2007
Springer
16 years 22 days ago
2007
Springer
Abstract. In this paper we present a system, DoLSuD, for the automatic discovery of relevant substructures in a document layout. DoLSuD, Document Layout Substructure Discovery, ext...