143 search results - page 19 / 29 » Designing aspects for side-effect localization |
B
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. CSP B is an integration of the process algebra Communicating Sequential Processes (CSP), and the B-Method, which enables consistent controllers to be written for B machin...
ISCAS
2005
IEEE
14 years 1 months ago
2005
IEEE
Abstract — Mapping applications onto different networks-onchip (NoCs) topologies is done by mapping processing cores on local ports of routers considering requirements like laten...
STORAGESS
2005
ACM
14 years 1 months ago
2005
ACM
As enterprise storage needs grow, it is challenging to manage storage systems. The costs of locally managing, supporting, and maintaining resilience in storage systems has skyrock...
ISCA
2003
IEEE
14 years 24 days ago
2003
IEEE
With power density and hence cooling costs rising exponentially, processor packaging can no longer be designed for the worst case, and there is an urgent need for runtime processo...
ISCC
2003
IEEE
14 years 24 days ago
2003
IEEE
Mobile IP is a network layer solution to the wide-area mobility problem in the Internet. Mobility agents’ hierarchies and regional registrations have been introduced in the fore...