660 search results - page 108 / 132 » Timed automata based analysis of embedded system architectur... |
SAC
2004
ACM
15 years 3 months ago
2004
ACM
for ideas, and then abstract away from these ideas to produce algorithmic processes that can create problem solutions in a bottom-up manner. We have previously described a top-dow...
105
click to vote
AFRICACRYPT
2010
Springer
15 years 4 months ago
2010
Springer
The market for RFID technology has grown rapidly over the past few years. Going along with the proliferation of RFID technology is an increasing demand for secure and privacy-prese...
87
Voted
SAS
2007
Springer
15 years 3 months ago
2007
Springer
Abstract. Silicon chip design has passed a threshold whereby exponentially increasing transistor density (Moore’s Law) no longer translates into increased processing power for si...
105
click to vote
ICDM
2010
IEEE
14 years 7 months ago
2010
IEEE
The Knowledge File System (KFS) is a smart virtual file system that sits between the operating system and the file system. Its primary functionality is to automatically organize fi...
IFIP
1998
Springer
15 years 1 months ago
1998
Springer
This paper presents a hybrid approach to automatic parallelization of computer programs which combines static extraction of threads (tasks) with dynamic scheduling for parallel an...