3312 search results - page 291 / 663 » A Systemic Plan of Technology Integration |
206
click to vote
VMCAI
2009
Springer
16 years 1 months ago
2009
Springer
This paper presents a case study in modelling and verifying the Linux Virtual File System (VFS). Our work is set in the context of Hoare’s verification grand challenge and, in p...
192
click to vote
RTAS
2008
IEEE
16 years 1 months ago
2008
IEEE
A hybrid scheduling algorithm is proposed, which integrates features of the Fixed Priority (FP) and Earliest Deadline First (EDF) scheduling policies. It is shown that this hybrid...
150
click to vote
EDBT
2010
ACM
15 years 10 months ago
2010
ACM
The growing availability of mobile devices produces an enormous quantity of personal tracks which calls for advanced analysis methods capable of extracting knowledge out of massiv...
191
click to vote
WCE
2007
15 years 7 months ago
2007
—RFID facilitates processing of product information, making it a promising technology for anti-counterfeiting. A number of RFID anti-counterfeiting mechanisms have recently been ...
189
click to vote
DAC
2009
ACM
16 years 7 months ago
2009
ACM
In this paper, we propose PDRAM, a novel energy efficient main memory architecture based on phase change random access memory (PRAM) and DRAM. The paper explores the challenges in...