8083 search results - page 1275 / 1617 » A Formalization of Software Architecture |
168
click to vote
DEXAW
2003
IEEE
16 years 3 days ago
2003
IEEE
This paper examines a model of trusted computing wherein a computing platform is able to make assertions about its current software configuration that may be trusted by the user ...
160
click to vote
DSN
2003
IEEE
16 years 3 days ago
2003
IEEE
A hierarchical modeling framework for the dependability evaluation of Internet-based applications is presented and illustrated on a travel agency example. Modeling is carried out ...
217
click to vote
IEEEINTERACT
2003
IEEE
16 years 2 days ago
2003
IEEE
Recent studies on program execution behavior reveal that a large amount of execution time is spent in small frequently executed regions of code. Whereas adaptive cache management ...
152
click to vote
IPPS
2003
IEEE
16 years 2 days ago
2003
IEEE
A number of software packages are available for the construction of comprehensive human genetic maps. In this paper we parallelize the widely used package Genehunter. We restrict ...
185
click to vote
ISCAS
2003
IEEE
16 years 2 days ago
2003
IEEE
Reconfigurable Computers based on a combination of conventional microprocessors and Field Programmable Gate Arrays (FPGAs) presents new challenges to designers. Debugging on such ...