15155 search results - page 166 / 3031 » System Software |
180
click to vote
WISES
2003
15 years 7 months ago
2003
- Software agents have been already introduced successfully in the scope of embedded technology as smart controllers of intelligent systems. This paper presents a further applicati...
203
click to vote
ECBS
2010
IEEE
15 years 9 months ago
2010
IEEE
Model-based selective regression testing promises reduction in cost and labour by selecting a subset of the test suite corresponding to the modifications after system evolution. H...
151
click to vote
ICDE
2010
IEEE
16 years 6 months ago
2010
IEEE
Testing and debugging database software is often challenging and time consuming. A very arduous task for DB testers is finding a min-repro ? the "simplest possible setup"...
189
click to vote
TPHOL
1998
IEEE
15 years 10 months ago
1998
IEEE
In this paper we illustrate the use of formal methods in the development of a benchmark application we call the Village Telephone System which is characteristic of a class of netwo...
194
click to vote
ASIASIM
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. Recently, flash memory is widely used in embedded applications since it has strong points: non-volatility, fast access speed, shock resistance, and low power consumption...