3911 search results - page 705 / 783 » Using Operational Architecture to Model Embedded Software |
120
Voted
CF
2004
ACM
15 years 8 months ago
2004
ACM
Current instruction fetch policies in SMT processors are oriented towards optimization of overall throughput and/or fairness. However, they provide no control over how individual ...
135
Voted
DGO
2007
15 years 4 months ago
2007
Solving complex global problems such as illegal immigration, border control, and terrorism requires government organizations at all levels to share not only data but, more importa...
138
Voted
MIDDLEWARE
2007
Springer
15 years 8 months ago
2007
Springer
The emergence of applications domains such as pervasive and autonomic computing has increased the need for customisation and dynamic adaptation of both distributed systems, and th...
124
click to vote
GECCO
2007
Springer
15 years 8 months ago
2007
Springer
Engineering design increasingly uses computer simulation models coupled with optimization algorithms to find the best design that meets the customer constraints within a time con...
132
Voted
JLP
2006
15 years 2 months ago
2006
We introduce CoCasl as a light-weight but expressive coalgebraic extension of the algebraic specification language Casl. CoCasl allows the nested combination of algebraic datatype...