Sciweavers

4287 search results - page 524 / 858
» Minimal Mental Models
Sort
View
DATE
2008
IEEE
103views Hardware» more  DATE 2008»
16 years 1 months ago
Compositional design of isochronous systems
The synchronous modeling paradigm provides strong execution correctness guarantees to embedded system design while making minimal environmental assumptions. In most related framew...
Jean-Pierre Talpin, Julien Ouy, Loïc Besnard,...
GMP
2008
IEEE
128views Solid Modeling» more  GMP 2008»
16 years 1 months ago
A Multistep Approach to Restoration of Locally Undersampled Meshes
The paper deals with the problem of remeshing and fairing of undersampled areas (called ”holes”) in triangular meshes. In this work, we are particularly interested in meshes co...
Alexandra Bac, Nam-Van Tran, Marc Daniel
HASE
2008
IEEE
16 years 1 months ago
Formal Support for Quantitative Analysis of Residual Risks in Safety-Critical Systems
With the increasing complexity in software and electronics in safety-critical systems new challenges to lower the costs and decrease time-to-market, while preserving high assuranc...
Jonas Elmqvist, Simin Nadjm-Tehrani
ICC
2008
IEEE
138views Communications» more  ICC 2008»
16 years 1 months ago
Designing File Replication Schemes for Peer-to-Peer File Sharing Systems
—Peer-to-peer (P2P) file sharing systems are becoming increasingly popular due to their flexibility and scalability. We propose a new model to design file replication schemes ...
Jian Ni, Jie Lin, S. J. Harrington, Naveen Sharma
ICDCS
2008
IEEE
16 years 1 months ago
Data Estimation in Sensor Networks Using Physical and Statistical Methodologies
Wireless Sensor Networks (WSNs) are employed in many applications in order to collect data. One key challenge is to minimize energy consumption to prolong network lifetime. A sche...
Yingshu Li, Chunyu Ai, Wiwek P. Deshmukh, Yiwei Wu