3038 search results - page 525 / 608 » Controlling Engineering Problem Solving |
125
click to vote
EMSOFT
2008
Springer
15 years 3 months ago
2008
Springer
Because of its small form factor, high capacity, and expected low cost, MEMS-based storage is a suitable storage technology for mobile systems. However, flash memory may outperfor...
111
Voted
DAGSTUHL
2006
15 years 3 months ago
2006
Programming technologies have improved continuously during the last decades, but from an Information Systems perspective, some well-known problems associated to the design and impl...
126
click to vote
ICFEM
2009
Springer
14 years 12 months ago
2009
Springer
In this paper we continue the study of a strict extension of the Computation Tree Logic, called graded-CTL, recently introduced by the same authors. This new logic augments the sta...
167
click to vote
TASE
2010
IEEE
14 years 9 months ago
2010
IEEE
This paper presents a robust calibration procedure for clustered wireless sensor networks. Accurate calibration of between-node distances is one crucial step in localizing sensor n...
142
click to vote
CGO
2011
IEEE
14 years 6 months ago
2011
IEEE
—Approximating ideal program outputs is a common technique for solving computationally difficult problems, for adhering to processing or timing constraints, and for performance ...