2042 search results - page 111 / 409 » Variable Number of |
136
click to vote
CDC
2009
IEEE
15 years 8 months ago
2009
IEEE
Abstract-- This paper studies the stabilizability of an ndimensional quantized feedforward nonlinear system. The state of that system is first quantized into a finite number of bit...
116
click to vote
ESEM
2007
ACM
15 years 8 months ago
2007
ACM
Comprehension errors in software design must be detected at their origin to avoid propagation into later portions of the software lifecycle and also the final system. This researc...
145
click to vote
TVLSI
1998
15 years 3 months ago
1998
Abstract— The growing popularity of look-up table (LUT)based field programmable gate arrays (FPGA’s) has renewed the interest in functional or Roth–Karp decomposition techni...
130
click to vote
BROADNETS
2007
IEEE
15 years 10 months ago
2007
IEEE
Abstract— In this paper we analyze the positioning of landmarks in coordinates-based Internet distance prediction approaches with focus on Global Network Positioning (GNP). We sh...
133
click to vote
JSYML
2002
15 years 4 months ago
2002
Abstract. This paper develops the very basic notions of analysis in a weak secondorder theory of arithmetic BTFA whose provably total functions are the polynomial time computable f...