1673 search results - page 239 / 335 » Software Components, Architectures and Reuse |
171
click to vote
ICS
2007
Tsinghua U.
15 years 10 months ago
2007
Tsinghua U.
Software or hardware data cache prefetching is an efficient way to hide cache miss latency. However effectiveness of the issued prefetches have to be monitored in order to maximi...
134
click to vote
SPIN
2007
Springer
15 years 10 months ago
2007
Springer
This paper describes a set of verification components that open the way to perform on-the-fly software model checking with the Cadp toolbox, originally designed for verifying the...
121
click to vote
COMPSAC
2006
IEEE
15 years 10 months ago
2006
IEEE
QoS has been one of the major challenges in Web Services area. Though negotiated in the contract, service quality usually can not be guaranteed by providers. Therefore, the servic...
146
click to vote
RE
2004
Springer
15 years 9 months ago
2004
Springer
In this work, we propose a framework for quantifying non-functional requirements (NFRs). This framework uses quality characteristics of the execution domain, application domain an...
107
click to vote
LCN
2003
IEEE
15 years 9 months ago
2003
IEEE
The GigaNetIC project aims to develop high-speed components for networking applications based on massively parallel architectures. A central part of this project is the design, ev...