1763 search results - page 25 / 353 » A Formalization of Polytime Functions |
FBT
1997
13 years 11 months ago
1997
Abstract: In most cases, it is simple inconvenience of use that keeps formal methods from being put to industrial use. This paper argues that functionalities, even though of simple...
TPHOL
2009
IEEE
14 years 4 months ago
2009
IEEE
Optical systems are becoming increasingly important as they tend to resolve many bottlenecks in the present age communications and electronics. Some common examples include their u...
FMCAD
2006
Springer
14 years 1 months ago
2006
Springer
Pervasive Logic is a broad term applied to the variety of logic present in hardware designs, yet not a part of their primary functionality. Examples of pervasive logic include init...
APSEC
2009
IEEE
13 years 8 months ago
2009
IEEE
Abstract--Formal methods are very useful in software industry and are becoming of paramount importance in practical engineering techniques. They involve the design and the modeling...
FORMATS
2003
Springer
14 years 3 months ago
2003
Springer
Abstract. The verification formalism / modeling and simulation language hybrid Chi is defined. The semantics of hybrid Chi is formally specified using Structured Operational Sem...