5378 search results - page 828 / 1076 » Base Logics in Argumentation |
FC
2006
Springer
14 years 2 months ago
2006
Springer
Although Instant Messaging (IM) services are now relatively long-standing and very popular as an instant way of communication over the Internet, they have received little attention...
FMCAD
2006
Springer
14 years 2 months ago
2006
Springer
In this paper we formally specify and verify an implementation of the IEEE802.11a standard physical layer based OFDM (Orthogonal Frequency Division Multiplexing) modem using the HO...
ASYNC
2001
IEEE
14 years 2 months ago
2001
IEEE
This paper describes the synthesis and hardware implementation of a signal-type asynchronous data communication mechanism (ACM). Such an ACM can be used in systems where a data-dr...
CEC
2003
IEEE
14 years 2 months ago
2003
IEEE
Evolutionary computation presents a new paradigm shift in hardware design and synthesis. According to this paradigm, hardware design is pursued by deriving inspiration from biologi...
FPL
2000
Springer
14 years 2 months ago
2000
Springer
This paper discusses the design and implementation of finite state machines (FSM) with combinational circuits that are built primarily from RAM blocks. It suggests a novel state as...