1636 search results - page 116 / 328 » InfoPad - An Experiment in System Level Design and Integrati... |
186
click to vote
DATE
2004
IEEE
15 years 10 months ago
2004
IEEE
Formal verification techniques have been playing an important role in pre-silicon validation processes. One of the most important points considered in performing formal verificati...
156
click to vote
MA
1999
Springer
15 years 11 months ago
1999
Springer
Jackal is a Java-based tool for communication using the KQML agent communication language. Some features that make it extremely valuable to agent development are its conversation ...
170
click to vote
DAC
2008
ACM
16 years 7 months ago
2008
ACM
Daedalus is a system-level design flow for the design of multiprocessor system-on-chip (MP-SoC) based embedded multimedia systems. It offers a fully integrated tool-flow in which ...
142
click to vote
LREC
2008
15 years 8 months ago
2008
Phonetic segmentation is the procedure which is used in many applications of speech processing, both as a subpart of automated systems or as the tool for an interactive work. In t...
160
click to vote
APSEC
2004
IEEE
15 years 10 months ago
2004
IEEE
Software is an increasing and important part of many products and systems. Software, hardware, and system level components have been developed and produced following separate proc...