2373 search results - page 355 / 475 » Towards a Model of Computer Systems Research |
129
Voted
ISCA
2006
IEEE
15 years 10 months ago
2006
IEEE
Microprocessor design is undergoing a major paradigm shift towards multi-core designs, in anticipation that future performance gains will come from exploiting threadlevel parallel...
188
Voted
ELPUB
2007
ACM
15 years 8 months ago
2007
ACM
For national advisory services in the UK (UKOLN, CETIS, and OSS Watch), varieties of openness (open source software, open standards, and open access to research publications and d...
139
Voted
BMCBI
2007
15 years 4 months ago
2007
Background: Macromolecular visualization as well as automated structural and functional annotation tools play an increasingly important role in the post-genomic era, contributing ...
119
Voted
IEEEARES
2010
IEEE
15 years 11 months ago
2010
IEEE
Abstract—The differences between the fields of HumanComputer Interaction and Security (HCISec) and HumanComputer Interaction (HCI) have not been investigated very closely. Many ...
132
click to vote
STACS
1999
Springer
15 years 9 months ago
1999
Springer
Model checking is a method for the verification of systems with respect to their specifications. Symbolic model-checking, which enables the verification of large systems, procee...