1113 search results - page 61 / 223 » Counter Systems for Data Logics |
148
click to vote
ICCAD
2009
IEEE
15 years 1 months ago
2009
IEEE
Present application specific embedded systems tend to choose instruction set extensions (ISEs) based on limitations imposed by the available data bandwidth to custom functional un...
151
click to vote
SAFECOMP
2005
Springer
15 years 9 months ago
2005
Springer
As programmable logic controllers(PLCs) have been used in safety-critical applications, testing of PLC applications has become important. The previous PLC-based software testing te...
152
click to vote
STORAGESS
2005
ACM
15 years 9 months ago
2005
ACM
Data integrity is a fundamental aspect of storage security and reliability. With the advent of network storage and new technology trends that result in new failure modes for stora...
118
click to vote
EUSFLAT
2007
15 years 5 months ago
2007
The embedded soft computing approach in wireless sensor networks is suggested. This approach means a combination of embedded fuzzy logic and neural networks models for information...
117
click to vote
CADE
2010
Springer
15 years 5 months ago
2010
Springer
In this paper we use the decreasing diagrams technique to show that a left-linear term rewrite system R is confluent if all its critical pairs are joinable and the critical pair st...