3718 search results - page 60 / 744 » IMPS: System Description |
101
click to vote
ICCAD
2000
IEEE
15 years 4 months ago
2000
IEEE
Most hardware description frameworks, whether schematic or textual, use cooperating finite state machines (CFSM) as the underlying abstraction. In the CFSM framework, a designer ...
116
click to vote
WCNC
2008
IEEE
15 years 6 months ago
2008
IEEE
— We propose a new multiple description (MD) coder design based on the Adaptive Multi-Rate Wideband (AMRWB) coder that can support transcoding-free communication between an ad-ho...
UML
2000
Springer
15 years 3 months ago
2000
Springer
Complex software systems require expressive notations for representing their software architectures. Two competing paths have emerged. One is to use a specialized notation for arc...
EURODAC
1995
IEEE
15 years 3 months ago
1995
IEEE
We present a system for the formal veri cation of processors which combines a computer algebra simpli cation tool with an object-oriented approach. It has been successfully used f...
128
click to vote
AAAI
1996
15 years 1 months ago
1996
We introduce a predictive concept recognition methodology for description logics based on a new closed terminology assumption. During knowledge engineering, our system adopts the ...