5200 search results - page 901 / 1040 » Symbolic models for control systems |
199
click to vote
RSP
2006
IEEE
16 years 11 days ago
2006
IEEE
Embedded real-time multimedia applications usually imply data parallel processing. SIMD processors embedded in SOCs are cost-effective to exploit the underlying parallelism. Howev...
197
click to vote
HPDC
2005
IEEE
15 years 12 months ago
2005
IEEE
Scheduling strategies for parallel and distributed computing have mostly been oriented toward performance, while striving to achieve some notion of fairness. With the increase in ...
137
click to vote
FROCOS
2005
Springer
15 years 12 months ago
2005
Springer
We describe results and status of a sub project of the Verisoft [1] project. While the Verisoft project aims at verification of a complete computer system starting with hardware a...
161
click to vote
GECCO
2005
Springer
15 years 12 months ago
2005
Springer
We introduce a clustering-based method of subpopulation management in genetic programming (GP) called Evolutionary Tree Genetic Programming (ETGP). The biological motivation behin...
191
click to vote
RE
2004
Springer
15 years 11 months ago
2004
Springer
Scenarios and goals are effective and popular techniques for requirements definition. Validation is essential in order to ensure that they represent what stakeholders actually wan...