Sciweavers

10 search results - page 1 / 2
» synasc 2007
Sort
View
SYNASC
2007
IEEE
112views Algorithms» more  SYNASC 2007»
13 years 11 months ago
Path-Constrained Relaxed Schedulability Analysis
Stefan Andrei, Samarjit Chakraborty
SYNASC
2007
IEEE
106views Algorithms» more  SYNASC 2007»
13 years 11 months ago
P2P Open Agent Networks for Decision Making
Vladimir Gorodetsky, Oleg Karsaev, Vladimir Samoil...
SYNASC
2007
IEEE
138views Algorithms» more  SYNASC 2007»
13 years 11 months ago
Some Applications of Weakly Picard Operators
Abstract. In this paper we give some applications of weakly Picard operators theory to linear positive approximation operators, to difference equations with deviating argument and...
Ioan A. Rus
SYNASC
2007
IEEE
105views Algorithms» more  SYNASC 2007»
13 years 11 months ago
Decompositions of Natural Numbers: From a Case Study in Mathematical Theory Exploration
In this technical report we present the proofs of properties appearing when solving the problem of prime decomposition of natural numbers using a scheme-based systematic exploratio...
Adrian Craciun, Madalina Hodorog