2907 search results - page 421 / 582 » Presentations of Structures in Admissible Sets |
201
click to vote
EMSOFT
2004
Springer
16 years 10 days ago
2004
Springer
We present an extension of a mathematical framework proposed by the authors to deal with the composition of heterogeneous reactive systems. Our extended framework encompasses dive...
149
click to vote
DATE
2003
IEEE
16 years 7 days ago
2003
IEEE
In this article we propose a high speed and highly testable parallel two-rail code checker, which features a compact structure and is Totally-Self-Checking or Strongly Code-Disjoi...
168
click to vote
PASTE
2010
ACM
16 years 17 hour ago
2010
ACM
We present a novel technique that identifies the source compiler of program binaries, an important element of program provenance. Program provenance answers fundamental questions...
184
click to vote
CSB
2002
IEEE
15 years 12 months ago
2002
IEEE
There is a pressing need to align growing set of expressed sequence tags (ESTs) to newly sequenced human genome. The problem is, however, complicated by the exon/intron structure ...
185
click to vote
IOLTS
2002
IEEE
15 years 12 months ago
2002
IEEE
The reusing of the same hardware resources to implement speed-critical algorithms, without interrupting system operation, is one of the main reasons for the increasing use of reco...