3996 search results - page 730 / 800 » A Publish |
181
click to vote
ENTCS
2006
15 years 6 months ago
2006
Using graph transformation as a formalism to specify model transformation, termination and confluence of the graph transformation system are often required properties. Only under ...
178
click to vote
ENTCS
2006
15 years 6 months ago
2006
Latency insensitive protocols (LIPs) have been proposed as a viable means to connect synchronous IP blocks via long interconnects in a system-on-chip. The reason why one needs to ...
200
click to vote
ENTCS
2006
15 years 6 months ago
2006
This paper has the purpose of reviewing some of the established relationships between logic and concurrency, and of exploring new ones. Concurrent and distributed systems are noto...
170
click to vote
BMCBI
2007
15 years 6 months ago
2007
Background: Yu et al. (BMC Bioinformatics 2007,8: 145+) have recently compared the performance of several methods for the detection of genomic amplification and deletion breakpoin...
153
click to vote
BMCBI
2007
15 years 6 months ago
2007
Background: Sequencing of prokaryotic genomes has recently revealed the presence of CRISPR elements: short, highly conserved repeats separated by unique sequences of similar lengt...