12084 search results - page 83 / 2417 » Effect Systems with Subtyping |
SCS
2004
13 years 10 months ago
2004
Limitations in scope but also difficulties with the efficiency and scalability of present algorithms seem to have so far limited the industrial uptake of existing automated FMEA t...
VTC
2010
IEEE
13 years 7 months ago
2010
IEEE
—In cellular systems, a handoff process is defined to transfer an active call of an MS from one cell to another in order to provide a seamless service to this MS. Generally, a h...
GECCO
2008
Springer
13 years 10 months ago
2008
Springer
For artificial entities to achieve high degrees of autonomy they will need to display appropriate adaptability. In this sense adaptability includes representational flexibility gu...
ICFP
2009
ACM
14 years 9 months ago
2009
ACM
We present a new approach for constructing and verifying higherorder, imperative programs using the Coq proof assistant. We build on the past work on the Ynot system, which is bas...
FAST
2011
13 years 17 days ago
2011
Multi-tier systems that combine SSDs with SAS/FC and/or SATA disks mitigate the capital cost burden of SSDs, while benefiting from their superior I/O performance per unit cost an...