Sciweavers

3902 search results - page 432 / 781
» Hardware Synthesis from C C Models
Sort
View
ECBS
2009
IEEE
164views Hardware» more  ECBS 2009»
16 years 1 months ago
Semantically Enhanced Containers for Concurrent Real-Time Systems
Future space missions, such as Mars Science Laboratory, are built upon computing platforms providing a high degree of autonomy and diverse functionality. The increased sophisticat...
Damian Dechev, Peter Pirkelbauer, Nicolas Rouquett...
ASPLOS
2008
ACM
15 years 8 months ago
Accelerating two-dimensional page walks for virtualized systems
Nested paging is a hardware solution for alleviating the software memory management overhead imposed by system virtualization. Nested paging complements existing page walk hardwar...
Ravi Bhargava, Ben Serebrin, Francesco Spadini, Sr...
193
Voted
CODES
2010
IEEE
15 years 3 months ago
Hardware/software optimization of error detection implementation for real-time embedded systems
This paper presents an approach to system-level optimization of error detection implementation in the context of fault-tolerant realtime distributed embedded systems used for safe...
Adrian Lifa, Petru Eles, Zebo Peng, Viacheslav Izo...
SIGMETRICS
2011
ACM
140views Hardware» more  SIGMETRICS 2011»
14 years 9 months ago
On the stability and optimality of universal swarms
Recent work on BitTorrent swarms has demonstrated that a bandwidth bottleneck at the seed can lead to the underutilization of the aggregate swarm capacity. Bandwidth underutilizat...
Xia Zhou, Stratis Ioannidis, Laurent Massouli&eacu...
BMCBI
2006
92views more  BMCBI 2006»
15 years 6 months ago
A jumping profile Hidden Markov Model and applications to recombination sites in HIV and HCV genomes
Background: Jumping alignments have recently been proposed as a strategy to search a given multiple sequence alignment A against a database. Instead of comparing a database sequen...
Anne-Kathrin Schultz, Ming Zhang, Thomas Leitner, ...