Sciweavers

11381 search results - page 2183 / 2277
» Connectivity
Sort
View
ENTCS
2006
168views more  ENTCS 2006»
15 years 3 months ago
A Functional Programming Framework for Latency Insensitive Protocol Validation
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 ...
Syed Suhaib, Deepak Mathaikutty, Sandeep K. Shukla...
ENTCS
2006
146views more  ENTCS 2006»
15 years 3 months ago
Relating State-Based and Process-Based Concurrency through Linear Logic
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...
Iliano Cervesato, Andre Scedrov
ENVSOFT
2006
102views more  ENVSOFT 2006»
15 years 3 months ago
Gas exploration beyond the shelf break: An oceanographic challenge
Norway's second largest gas field, Ormen Lange, is located 140 km west off Kristiansund at an unprecedented depth when it comes to exploration. It will be the first Norwegian...
Ø. Thiem, J. Berntsen, T. Eldevik, G. Alend...
217
Voted
BMCBI
2007
115views more  BMCBI 2007»
15 years 3 months ago
Correlation between structure and temperature in prokaryotic metabolic networks
Background: In recent years, an extensive characterization of network structures has been made in an effort to elucidate design principles of metabolic networks, providing valuabl...
Kazuhiro Takemoto, Jose C. Nacher, Tatsuya Akutsu
BMCBI
2007
142views more  BMCBI 2007»
15 years 3 months ago
SABERTOOTH: protein structural alignment based on a vectorial structure representation
Background: The task of computing highly accurate structural alignments of proteins in very short computation time is still challenging. This is partly due to the complexity of pr...
Florian Teichert, Ugo Bastolla, Markus Porto
« Prev « First page 2183 / 2277 Last » Next »