4290 search results - page 158 / 858 » Formal Approaches to Teamwork |
160
click to vote
DATE
2008
IEEE
16 years 1 months ago
2008
IEEE
Property checking is a promising approach to prove the correctness of today’s complex designs. However, in practice this requires the formulation of formal properties which is a...
151
click to vote
ICFCA
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. Managing knowledge is a difficult and slippery enterprise. A wide variety of technologies have to be invoked in providing support for knowledge requirements, ranging fro...
164
click to vote
FDL
2003
IEEE
15 years 12 months ago
2003
IEEE
Assuring correctness of digital designs is one of the major tasks in the system design flow. Formal methods have been proposed to accompany commonly used simulation approaches. I...
168
click to vote
ISSS
1998
IEEE
15 years 10 months ago
1998
IEEE
The concept of retargetability enables compiler technology to keep pace with the increasing variety of domain-speci c embedded processors. In order to achieve user retargetability,...
159
click to vote
IFM
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. This paper introduces the ISpec approach to interface specification. ISpec supports the development of interface specifications at various levels of formality and detail ...