57 search results - page 9 / 12 » Mizar's Soft Type System |
EUROSYS
2007
ACM
15 years 6 months ago
2007
ACM
Two oft-cited file systems, the Fast File System (FFS) and the Log-Structured File System (LFS), adopt two sharply different update strategies—update-in-place and update-out-of-...
ECRTS
2007
IEEE
15 years 3 months ago
2007
IEEE
Today’s CPUs consume a significant amount of power and generate a high amount of heat, requiring an active cooling system to support reliable operations. In case of cooling sys...
105
click to vote
CORR
2011
Springer
14 years 1 months ago
2011
Springer
Fractional frequency reuse (FFR) is an interference management technique well-suited to OFDMAbased cellular networks wherein the cells are partitioned into spatial regions with di...
ISCAS
2005
IEEE
15 years 3 months ago
2005
IEEE
Abstract — FPGAs offer excellent platform for System-onChips consisting of Intellectual Property (IP) blocks. The problem is that IP blocks and their interconnections are often F...
65
Voted
APSEC
2000
IEEE
15 years 1 months ago
2000
IEEE
It has been recognised that formal methods are useful as a modelling tool in requirements engineering. Specification languages such as Z permit the precise and unambiguous modell...