3056 search results - page 186 / 612 » Open Implementation Analysis and Design |
118
click to vote
ICCD
2002
IEEE
16 years 1 months ago
2002
IEEE
Although x86 processors have been around for a long time and are the most ubiquitous processors in the world, the amount of academic research regarding details of their performanc...
118
click to vote
IWPC
2009
IEEE
15 years 11 months ago
2009
IEEE
We present a static analysis framework for inference of security-related program properties. Within this framework we design and implement ownership, immutability and information ...
144
click to vote
BMCBI
2008
15 years 4 months ago
2008
Background: The integration of biomedical information is essential for tackling medical problems. We describe a data model in the domain of flow cytometry (FC) allowing for massiv...
111
click to vote
CAV
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. While effective methods for bit-level verification of low-level properties exist, system-level properties that entail reasoning about a significant part of the design p...
125
click to vote
ISHPC
2003
Springer
15 years 9 months ago
2003
Springer
The paper presents the design and development of an online remote trace measurement and analysis system. The work combines the strengths of the TAU performance system with that of ...