2488 search results - page 479 / 498 » An improvement in formal verification |
130
click to vote
IPSN
2007
Springer
15 years 7 months ago
2007
Springer
FlashDB is a self-tuning database optimized for sensor networks using NAND flash storage. In practical systems flash is used in different packages such as on-board flash chips,...
101
click to vote
PPDP
2007
Springer
15 years 7 months ago
2007
Springer
Program transformation is an appealing technique which allows to improve run-time efficiency, space-consumption and more generally to optimize a given program. Essentially it con...
108
click to vote
AICCSA
2006
IEEE
15 years 7 months ago
2006
IEEE
Redundancy is a system property that generally refers to duplication of state information or system function. While redundancy is usually investigated in the context of fault tole...
157
click to vote
SEW
2006
IEEE
15 years 7 months ago
2006
IEEE
Established software development processes focus on delivering software within time and budget according to a set of requirements. However, practical experiences show that neither...
142
click to vote
IUI
2006
ACM
15 years 7 months ago
2006
ACM
Studying the relationship between natural language and affective information as well as assessing the underpinned affective qualities of natural language are becoming crucial for ...