911 search results - page 41 / 183 » Kolmogorov Complexity Cores |
152
click to vote
TRUSTBUS
2009
Springer
16 years 21 days ago
2009
Springer
DKAL is a new expressive high-level authorization language. It has been successfully tried at Microsoft which led to further improvements of the language itself. One improvement is...
178
click to vote
ICES
2003
Springer
15 years 11 months ago
2003
Springer
This paper proposes a coprocessor architecture to speed up hardware evolution. It is designed to be implemented in an FPGA with an integrated microprocessor core. The coprocessor r...
151
click to vote
DATE
2010
IEEE
15 years 11 months ago
2010
IEEE
— Dirk Diekhoff, Elektrobit Automotive "The development of complex control units requires mature and reliable basic software as well as integration support particularly in e...
178
click to vote
EUROSYS
2006
ACM
16 years 3 months ago
2006
ACM
The large size and high complexity of securitysensitive applications and systems software is a primary cause for their poor testability and high vulnerability. One approach to all...
141
click to vote
STOC
2001
ACM
16 years 6 months ago
2001
ACM
Recently Rothemund and Winfree 6] have considered the program size complexity of constructing squares by selfassembly. Here, we consider the time complexity of such constructions ...