2255 search results - page 165 / 451 » High Assurance Software Systems |
216
click to vote
CASES
2006
ACM
16 years 11 days ago
2006
ACM
Developing an optimizing compiler for a newly proposed architecture is extremely difficult when there is only a simulator of the machine available. Designing such a compiler requ...
149
click to vote
BMCBI
2007
15 years 6 months ago
2007
Background: The combination of mass spectrometry and solution phase amide hydrogen/deuterium exchange (H/D exchange) experiments is an effective method for characterizing protein ...
171
click to vote
HICSS
2003
IEEE
15 years 11 months ago
2003
IEEE
This paper is focused on the coordination of order and production policy between buyers and suppliers in supply chains. When a buyer and a supplier of an item work independently, ...
210
click to vote
IPPS
2007
IEEE
16 years 21 days ago
2007
IEEE
Search-based graph queries, such as finding short paths and isomorphic subgraphs, are dominated by memory latency. If input graphs can be partitioned appropriately, large cluster...
154
click to vote
ACSAC
2005
IEEE
16 years 1 days ago
2005
IEEE
A considerable effort has been recently devoted to the development of Database Management Systems (DBMS) which guarantee high assurance security and privacy. An important componen...