3706 search results - page 229 / 742 » System Description: E-KRHyper |
99
Voted
FDL
2008
IEEE
15 years 2 months ago
2008
IEEE
In this paper, we propose the design methodology for communication channel templates from formal specification to RTL description. In this flow, design and verification start from...
118
Voted
VMV
2008
15 years 2 months ago
2008
Architectural blueprints offer a concise, clear and high-level description of the structure of a building. On the other hand, state of the art reconstruction pipelines can nowaday...
102
Voted
HIS
2001
15 years 2 months ago
2001
To successfully prepare and model data, the data miner needs to be aware of the properties of the data manifold. In this chapter, the outline of a tool for automatically generating...
123
Voted
FIW
2003
15 years 2 months ago
2003
New voice services are investigated in the fields of Internet telephony (SIP – Session Initiation Protocol) and interactive voice systems (VoiceXML – Voice Extended Markup La...
150
Voted
FBT
2000
15 years 2 months ago
2000
The behavior of reactive systems can be described by their black box properties as a relation between input and output streams. More operational is the behavior's description...