2813 search results - page 74 / 563 » Formalizing Architectural Connection |
219
click to vote
ESWA
2011
14 years 9 months ago
2011
The types of police inquiries performed these days are incredibly diverse. Often data processing architectures are not suited to cope with this diversity since most of the case dat...
150
Voted
DBSEC
1996
15 years 3 months ago
1996
High assurance security is di cult to achieve in distributed computer systems and databases because of their complexity, non-determinism and inherent heterogeneity. The practical ...
159
Voted
HVC
2007
Springer
15 years 6 months ago
2007
Springer
Implementations of computer systems comprise many layers and employ a variety of programming languages. Building such systems requires support of an often complex, accompanying too...
104
click to vote
DAC
2000
ACM
16 years 3 months ago
2000
ACM
Contemporary microprocessors implement many iterative algorithms. For example, the front-end of a microprocessor repeatedly fetches and decodes instructions while updating interna...
134
Voted
DAC
2006
ACM
16 years 3 months ago
2006
ACM
Ever-growing complexity is forcing design to move above RTL. For example, golden functional models are being written as clearly as possible in software and not optimized or intend...