Skip to main content

Research Repository

Advanced Search

All Outputs (42)

Verification of resource requirements of distributed reasoning agents (2008)
Presentation / Conference
Alechina, N., Logan, B., Nga, N. H., & Rakib, A. (2008, March). Verification of resource requirements of distributed reasoning agents. Paper presented at Sixth Workshop on Quantitative Aspects of Programming Languages (QAPL 2008), Budapest, Hungary

We present a framework for verifying systems composed of heterogeneous reasoning agents, in which each agent may have differing knowledge and inferential capabilities, and where the resources each agent is prepared to commit to a goal (time, memory a... Read More about Verification of resource requirements of distributed reasoning agents.

Component-wise instruction-cache behavior prediction (2004)
Conference Proceeding
Rakib, A., Parshin, O., Thesing, S., & Wilhelm, R. (2004). Component-wise instruction-cache behavior prediction. In F. Wang (Ed.), https://doi.org/10.1007/978-3-540-30476-0_20

The precise determination of worst-case execution times (WCETs) for programs is mostly being performed on fully linked executables, since all needed information is available and all machine parameters influencing cache performance are available to th... Read More about Component-wise instruction-cache behavior prediction.