Sciweavers

4839 search results - page 290 / 968
» A survey of computational complexity results in systems and ...
Sort
View
SASO
2008
IEEE
16 years 1 months ago
An Emergent System for Self-Aligning and Self-Organizing Shape Primitives
Motivated by the natural phenomenon of living cells selforganizing into specific shapes and structures, we present an emergent system that utilizes evolutionary computing methods...
Linge Bai, Manolya Eyiyurekli, David E. Breen
ACSC
2002
IEEE
15 years 11 months ago
Specifying Mode Requirements of Embedded Systems
This paper presents a formal notation for specifying requirements of embedded systems which exhibit continuous, real-time behaviour and move through various modes under digital co...
G. Smith
IEEECIT
2009
IEEE
16 years 1 months ago
Dynamic Software Product Lines for Service-Based Systems
—Ageing populations and the necessity to reduce environmental impact raise new challenges on our living buildings. Convergence of home control systems (air conditioning, light ma...
Paul Istoan, Grégory Nain, Gilles Perrouin,...
DAC
1999
ACM
15 years 11 months ago
Exact Memory Size Estimation for Array Computations without Loop Unrolling
This paper presents a new algorithm for exact estimation of the minimum memory size required by programs dealing with array computations. Memory size is an important factor a ecti...
Ying Zhao, Sharad Malik
ICMS
2010
15 years 5 months ago
The Design of Core 2: A Library for Exact Numeric Computation in Geometry and Algebra
There is a growing interest in numeric-algebraic techniques in the computer algebra community as such techniques can speed up many applications. This paper is concerned with one su...
Jihun Yu, Chee Yap, Zilin Du, Sylvain Pion, Herv&e...