1996 search results - page 150 / 400 » Financial Theory 2 |
138
click to vote
ENTCS
2006
15 years 4 months ago
2006
We present GMC2 , a software model checker for GCC, the opensource compiler from the Free Software Foundation (FSF). GMC2 , which is part of the GMC static-analysis and model-check...
124
click to vote
DAM
2007
15 years 4 months ago
2007
A Skolem sequence is a sequence a1, a2, . . . , a2n (where ai ∈ A = {1, . . . , n}), each ai occurs exactly twice in the sequence and the two occurrences are exactly ai position...
125
click to vote
ACJ
2002
15 years 4 months ago
2002
This paper describes the deployment of residential broadband networks by relating two parallel but contrasting stories. Story 1 considers network providers' search for a kill...
117
click to vote
AUTOMATICA
2004
15 years 4 months ago
2004
Repetitive processes are a distinct class of 2D systems (i.e. information propagation in two independent directions) of both systems theoretic and applications interest. They cann...
151
click to vote
AUTOMATICA
2002
15 years 4 months ago
2002
In this paper we present various algorithms both for stability and performance analysis of discrete-time Piece-Wise Affine (PWA) systems. For stability, different classes of Lyapu...