Sciweavers

3902 search results - page 535 / 781
» Hardware Synthesis from C C Models
Sort
View
CEJCS
2011
80views more  CEJCS 2011»
14 years 6 months ago
Evaluating distributed real-time and embedded system test correctness using system execution traces
: Effective validation of distributed real-time and embedded (DRE) system quality-of-service (QoS) properties (e.g., event prioritization, latency, and throughput) requires testin...
James H. Hill, Pooja Varshneya, Douglas C. Schmidt
WMCSA
2012
IEEE
14 years 2 months ago
SpinLoc: spin once to know your location
The rapid growth of location-based applications has spurred extensive research on localization. Nonetheless, indoor localization remains an elusive problem mostly because the accu...
Souvik Sen, Romit Roy Choudhury, Srihari Nelakudit...
HPDC
2012
IEEE
13 years 9 months ago
Leveraging renewable energy in data centers: present and future
Interest has been growing in powering data centers (at least partially) with renewable or “green” sources of energy, such as solar or wind. However, it is challenging to use t...
Ricardo Bianchini
BMCBI
2007
172views more  BMCBI 2007»
15 years 6 months ago
msBayes: Pipeline for testing comparative phylogeographic histories using hierarchical approximate Bayesian computation
Background: Although testing for simultaneous divergence (vicariance) across different population-pairs that span the same barrier to gene flow is of central importance to evoluti...
Michael J. Hickerson, Eli Stahl, Naoki Takebayashi
BMCBI
2004
104views more  BMCBI 2004»
15 years 6 months ago
Discriminative topological features reveal biological network mechanisms
Background: Recent genomic and bioinformatic advances have motivated the development of numerous network models intending to describe graphs of biological, technological, and soci...
Manuel Middendorf, Etay Ziv, Carter Adams, Jen Hom...