5744 search results - page 290 / 1149 » System level design, a VHDL based approach |
182
click to vote
TPHOL
1999
IEEE
15 years 11 months ago
1999
IEEE
Abstract. We present a generic approach to readable formal proof documents, called Intelligible semi-automated reasoning (Isar). It addresses the major problem of existing interact...
170
click to vote
IJCNN
2000
IEEE
15 years 11 months ago
2000
IEEE
A two-neural network approach to solving nonlinear optimal control problems is described in this study. This approach called the adaptive critic method consists of one neural netw...
186
Voted
MOBILITY
2009
ACM
15 years 11 months ago
2009
ACM
Many adaptative context-aware middleware exist and mostly rely on so-called vertical architectures that offer a functional decomposition for context-awareness. This architecture ...
162
click to vote
HOTOS
2007
IEEE
15 years 10 months ago
2007
IEEE
In this paper, we question whether hypervisors are really acting as a disruptive force in OS research, instead arguing that they have so far changed very little at a technical lev...
196
click to vote
ICPADS
1997
IEEE
15 years 10 months ago
1997
IEEE
Mobile agents are no longer a theoretical issue since different architectures for their realization have been proposed. With the increasing market of electronic commerce it become...