1054 search results - page 61 / 211 » Translation Validation of System Abstractions |
177
click to vote
HPCC
2007
Springer
16 years 9 days ago
2007
Springer
Abstract. Constructing flash memory based storage, FTL (Flash Translation Layer) manages mapping between logical address and physical address. Since FTL writes every data to new r...
174
click to vote
CDC
2009
IEEE
15 years 11 months ago
2009
IEEE
Abstract— For a right-invariant and controllable driftless system on SU(n), we consider a time-periodic reference trajectory along which the linearized control system generates s...
161
click to vote
ECSCW
2007
15 years 7 months ago
2007
Abstract. There is a growing interest in technologies for supporting individuals to manage their accessibility for interruptions. The applicability of these technologies is likely ...
145
click to vote
ICRA
2007
IEEE
16 years 14 days ago
2007
IEEE
Abstract— This paper describes a method of mirror localization to calibrate a catadioptric imaging system. Even though the calibration of a catadioptric system includes the estim...
154
click to vote
SEFM
2006
IEEE
16 years 4 days ago
2006
IEEE
We present an operational model for describing random reactive systems. Some models have already been proposed for this purpose, but they generally aim at performing global reason...