Sciweavers

1076 search results - page 128 / 216
» Supporting Design Patterns with Annotations
Sort
View
ARCS
1997
Springer
15 years 7 months ago
A Novel Universal Sequencer Hardware
This paper introduces a powerful novel sequencer hardware for controlling computational machines and for structured DMA (direct memory access) applications. The paper introduces t...
Reiner W. Hartenstein, Jürgen Becker, Michael...
ASPDAC
2008
ACM
100views Hardware» more  ASPDAC 2008»
15 years 5 months ago
Routability driven modification method of monotonic via assignment for 2-layer Ball Grid Array packages
Ball Grid Array packages in which I/O pins are arranged in a grid array pattern realize a number of connections between chips and a printed circuit board, but it takes much time in...
Yoichi Tomioka, Atsushi Takahashi
184
Voted
LPAR
2012
Springer
13 years 11 months ago
Querying Proofs
We motivate and introduce a query language PrQL designed for inspecting machine representations of proofs. PrQL natively supports hiproofs which express proof structure using hiera...
David Aspinall, Ewen Denney, Christoph Lüth
151
Voted
JCDL
2006
ACM
151views Education» more  JCDL 2006»
15 years 9 months ago
Tagging of name records for genealogical data browsing
In this paper we present a method of parsing unstructured textual records briefly describing a person and their direct relatives, which we use in the construction of a browsing t...
Mike Perrow, David Barber
BMCBI
2006
127views more  BMCBI 2006»
15 years 3 months ago
Using local gene expression similarities to discover regulatory binding site modules
Background: We present an approach designed to identify gene regulation patterns using sequence and expression data collected for Saccharomyces cerevisae. Our main goal is to rela...
Bartek Wilczynski, Torgeir R. Hvidsten, Andriy Kry...