773 search results - page 104 / 155 » Program Slicing by Calculation |
158
click to vote
DSN
2002
IEEE
15 years 11 months ago
2002
IEEE
A virtual duplex system (VDS) can be used to increase safety without the use of structural redundancy on a single machine. If a deterministic program P is calculating a given func...
199
click to vote
IEAAIE
1999
Springer
15 years 10 months ago
1999
Springer
This paper describes a new approach to model fuzzy sets using object-oriented programming techniques. Currently, the most frequently used method to model fuzzy sets is by using a p...
164
click to vote
CSE
2009
IEEE
15 years 10 months ago
2009
IEEE
Duplicating the full dynamic capabilities of the human eye-brain combination is a difficult task but an important goal because of the wide application that a system which can acqu...
190
click to vote
CASES
2006
ACM
15 years 10 months ago
2006
ACM
Ever increasing performance requirements have elevated deeply pipelined architectures to a standard even in the embedded processor domain, requiring the incorporation of dynamic b...
164
click to vote
FM
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. The key to the integration of formal methods into engineering practice is education. In teaching, domain-independent problems -i.e., not requiring prior engineering backg...