Sciweavers

29 search results - page 3 / 6
» acs 2002
Sort
View
ACS
2002
13 years 5 months ago
Categorical Abstract Algebraic Logic: Algebraizable Institutions
cal Abstract Algebraic Logic: Algebraizable Institutions To Don Pigozzi this work is dedicated GEORGE VOUTSADAKIS Department of Mathematics, Iowa State University, Ames, IA 50011 U...
George Voutsadakis
ISCAS
2002
IEEE
104views Hardware» more  ISCAS 2002»
13 years 10 months ago
High-speed add-compare-select units using locally self-resetting CMOS
This paper presents a new self-resetting CMOS design for an Add-Compare-Select (ACS) unit, which is a key building block in a Viterbi decoder. Static CMOS and two-phase domino CMO...
Gunok Jung, Jun Jin Kong, Gerald E. Sobelman, Kesh...
AC
2002
Springer
13 years 5 months ago
Software Fault Prevention by Language Choice: Why C is Not My Favorite Language
How much does the choice of a programming language influence the prevalence of bugs in the resulting code? It seems obvious that at the level at which individuals write new progra...
Richard J. Fateman
AC
2002
Springer
13 years 5 months ago
Empirical Studies of Quality Models in Object-Oriented Systems
Measuring structural design properties of a software system, such as coupling, cohesion, or complexity, is a promising approach towards early quality assessments. To use such meas...
Lionel C. Briand, Jürgen Wüst
SIAMCO
2002
71views more  SIAMCO 2002»
13 years 5 months ago
Existence of Minimizers for Nonconvex, Noncoercive Simple Integrals
We consider the problem of minimizing autonomous, simple integrals like (P) min T 0 f x(t) , x (t) dt: x AC([0 , T]) with x(0) = x0 and x(T) = xT where f : R
P. Celada, S. Perrotta