3256 search results - page 367 / 652 » Applications of Formal Methods to System Design and Verifica... |
197
click to vote
CBSE
2004
Springer
16 years 1 days ago
2004
Springer
Embedded systems must be cost-effective. This imposes strict requirements on the resource consumption of their applications. It is therefore desirable to be able to determine the ...
140
click to vote
DATE
2002
IEEE
15 years 11 months ago
2002
IEEE
Complex embedded systems consist of hardware and software components from different domains, such as control and signal processing, many of them supplied by different IP vendors. ...
176
Voted
ICDCS
1998
IEEE
15 years 11 months ago
1998
IEEE
With the advancement of wireless network and mobile computing, there is an increasing need to build a mobile le system that can perform e ciently and correctly for accessing onlin...
159
click to vote
TVLSI
1998
15 years 6 months ago
1998
— Fault-tolerance is an important system metric for many operating environments, from automotive to space exploration. The conventional technique for improving system reliability...
177
click to vote
AGTIVE
2003
Springer
15 years 12 months ago
2003
Springer
Many polygon mesh algorithms operate in a local manner, yet are formally specified using global indexing schemes. This obscures the essence of these algorithms and makes their spe...