5200 search results - page 901 / 1040 » Symbolic models for control systems |
223
click to vote
RSP
2006
IEEE
16 years 1 months 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...
218
Voted
HPDC
2005
IEEE
16 years 18 days 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 ...
150
click to vote
FROCOS
2005
Springer
16 years 15 days 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...
177
click to vote
GECCO
2005
Springer
16 years 15 days 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...
209
Voted
RE
2004
Springer
16 years 10 days 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...