14699 search results - page 292 / 2940 » Complexity and Cognitive Computing |
219
click to vote
GI
2007
Springer
15 years 8 months ago
2007
Springer
Abstract: Modeling systems with Statecharts has become standard practice in the design of reactive embedded devices. However, the modeling of realistic applications with the paradi...
110
click to vote
JC
2006
15 years 4 months ago
2006
We prove upper bounds on the order and degree of the polynomials involved in a resolvent representation of the prime differential ideal associated with a polynomial differential s...
154
click to vote
AUTOMATICA
1999
15 years 4 months ago
1999
In this paper, we consider simple classes of nonlinear systems and prove that basic questions related to their stability and controllability are either undecidable or computationa...
128
click to vote
SPAA
2010
ACM
15 years 2 months ago
2010
ACM
We describe parallel implementations of LU factorization with pivoting for multicore architectures. Implementations that differ in two different dimensions are discussed: (1) usin...
141
click to vote
DLT
2009
15 years 2 months ago
2009
Abstract. We analyze Hmelevskii's theorem, which states that the general solutions of constant-free equations on three unknowns are expressible by a finite collection of formu...