1737 search results - page 308 / 348 » Hardware Support for Secure Processing in Embedded Systems |
167
Voted
FCCM
2008
IEEE
15 years 10 months ago
2008
IEEE
The map-reduce model requires users to express their problem in terms of a map function that processes single records in a stream, and a reduce function that merges all mapped out...
135
Voted
AAAI
1990
15 years 4 months ago
1990
This session will explore the reasons for the lack of impact in four important areas in which AI has been expected to significantly affect real world Software Engineering. The pan...
129
Voted
SIGMETRICS
2004
ACM
15 years 9 months ago
2004
ACM
This paper develops and evaluates new share-based scheduling algorithms for differentiated service quality in network services, such as network storage servers. This form of resou...
117
Voted
ICC
2007
IEEE
15 years 10 months ago
2007
IEEE
—Extensible software-based routers running on commodity off-the-shelf hardware and open-source operating systems have been motivated by the progress in hardware technologies and ...
115
Voted
ICCAD
1994
IEEE
15 years 7 months ago
1994
IEEE
Language containment is a method for design verification that involves checking if the behavior of the system to be verified is a subset of the behavior of the specifications (pro...