1598 search results - page 274 / 320 » A Unified Computation Model for Functional and Logic Program... |
156
click to vote
CASSIS
2004
Springer
15 years 8 months ago
2004
Springer
The JAVA CARD transaction mechanism can ensure that a sequence of statements either is executed to completion or is not executed at all. Transactions make verification of JAVA CARD...
146
click to vote
BMCBI
2010
15 years 4 months ago
2010
Background: Existing hidden Markov model decoding algorithms do not focus on approximately identifying the sequence feature boundaries. Results: We give a set of algorithms to com...
139
click to vote
BMCBI
2010
15 years 4 months ago
2010
Background: Genome sequencing projects have expanded the gap between the amount of known protein sequences and structures. The limitations of current high resolution structure det...
130
click to vote
RECONFIG
2009
IEEE
15 years 11 months ago
2009
IEEE
—We envision that future FPGA will use a hardwired network on chip (HWNoC) [14] as a unified interconnect for functional communications (data and control) as well as configurat...
165
click to vote
ICPR
2000
IEEE
15 years 9 months ago
2000
IEEE
This paper describes an infrastructure that enables transparent development of image processing software for parallel computers. The infrastructure’s main component is an image ...