7890 search results - page 1243 / 1578 » The MathSAT 3 System |
189
click to vote
CODES
2005
IEEE
16 years 11 days ago
2005
IEEE
This paper provides an overview of the Blue Matter application development effort within the Blue Gene project that supports our scientific simulation efforts in the areas of pro...
168
click to vote
SC
2005
ACM
16 years 9 days ago
2005
ACM
The last decade has witnessed a rapid proliferation of superscalar cache-based microprocessors to build high-end computing (HEC) platforms, primarily because of their generality, ...
187
click to vote
SENSYS
2005
ACM
16 years 9 days ago
2005
ACM
Increasing user comfort and reducing operation costs have always been two primary objectives of building operations and control strategies. Current building control strategies are...
233
click to vote
LCTRTS
2005
Springer
16 years 7 days ago
2005
Springer
Effective use of the memory hierarchy is critical for achieving high performance on embedded systems. We focus on the class of streaming applications, which is increasingly preval...
185
click to vote
VIZSEC
2005
Springer
16 years 7 days ago
2005
Springer
This paper presents the Intrusion Detection toolkit (IDtk), an information Visualization tool for intrusion detection (ID). IDtk was developed through a user-centered design proce...