1850 search results - page 110 / 370 » Design-for-debugging of application specific designs |
117
click to vote
PERCOM
2007
ACM
16 years 3 months ago
2007
ACM
Most authentication protocols designed for ubiquitous computing environments try to solve the problem of intuitive, scalable, secure authentication of wireless communication. Due ...
124
Voted
CSREAESA
2006
15 years 5 months ago
2006
Transport triggered architecture (TTA) has been shown to provide an efficient way to design application specific instruction set processors. However, the interconnection network of...
129
Voted
ANSS
2001
IEEE
15 years 7 months ago
2001
IEEE
Simulation software has made great advances in recent years along the dimensions of modeling capabilities, animated graphics, and ease of use. There have also been real improvemen...
126
click to vote
FORTE
1990
15 years 4 months ago
1990
The importance of a design methodology when using Formal Description Techniques is generally agreed in the scientific community. This paper presents some design principles and con...
110
click to vote
ATAL
2008
Springer
15 years 5 months ago
2008
Springer
OperettA is a graphical tool that supports the design, verification and simulation of OperA models. It ensures consistency between different design parts, provides a formal specif...