7225 search results - page 324 / 1445 » Software is data too |
165
click to vote
MSS
2005
IEEE
16 years 10 days ago
2005
IEEE
1 Preservation environments manage digital records for time periods that are much longer than that of a single vendor product. A primary requirement is the preservation of the auth...
146
click to vote
SCOPES
2004
Springer
16 years 3 days ago
2004
Springer
Digital signal processing applications are implemented in embedded systems with fixed-point arithmetic to minimize the cost and the power consumption. To reduce the application ti...
160
click to vote
GROUP
2003
ACM
16 years 16 hour ago
2003
ACM
Reconciliating divergent data is an important issue in concurrent engineering, mobile computing and software configuration management. Currently, a lot of synchronizers or merge ...
145
click to vote
DSOM
2003
Springer
15 years 12 months ago
2003
Springer
State of the art data centers use wired sensors embedded in equipment for thermal monitoring. The high cost of sensor installation restricts equipment relocation. We propose using...
176
Voted
ICSE
2003
IEEE-ACM
15 years 12 months ago
2003
IEEE-ACM
This paper presents a model checking-based approach to data flow testing. We characterize data flow oriented coverage criteria in temporal logic such that the problem of test ge...