Sciweavers

1941 search results - page 368 / 389
» On the Hardness of Approximate Reasoning
Sort
View
RTAS
2010
IEEE
14 years 9 months ago
Middleware for Resource-Aware Deployment and Configuration of Fault-Tolerant Real-time Systems
Developing large-scale distributed real-time and embedded (DRE) systems is hard in part due to complex deployment and configuration issues involved in satisfying multiple quality f...
Jaiganesh Balasubramanian, Aniruddha S. Gokhale, A...
SIGSOFT
2010
ACM
14 years 9 months ago
Representation dependence testing using program inversion
The definition of a data structure may permit many different concrete representations of the same logical content. A (client) program that accepts such a data structure as input i...
Aditya Kanade, Rajeev Alur, Sriram K. Rajamani, Ga...
ICCAD
2009
IEEE
135views Hardware» more  ICCAD 2009»
14 years 9 months ago
Enhanced reliability-aware power management through shared recovery technique
While Dynamic Voltage Scaling (DVS) remains as a popular energy management technique for real-time embedded applications, recent research has identified significant and negative i...
Baoxian Zhao, Hakan Aydin, Dakai Zhu
BMCBI
2011
14 years 6 months ago
Estimating developmental states of tumors and normal tissues using a linear time-ordered model
Background: Tumor cells are considered to have an aberrant cell state, and some evidence indicates different development states appearing in the tumorigenesis. Embryonic developme...
Bo Zhang, Beibei Chen, Tao Wu, Zhenyu Xuan, Xiaope...
SIAMCOMP
2011
14 years 6 months ago
The Complexity of Early Deciding Set Agreement
Set agreement, where processors decisions constitute a set of outputs, is notoriously harder to analyze than consensus where the decisions are restricted to a single output. This ...
Eli Gafni, Rachid Guerraoui, Bastian Pochon