3168 search results - page 532 / 634 » Computing Event Dependencies in System Designs and Programs |
128
click to vote
TCS
2010
15 years 2 months ago
2010
This paper presents an embedded security sublanguage for enforcing informationflow policies in the standard Haskell programming language. The sublanguage provides useful informat...
154
Voted
MOBIHOC
2008
ACM
16 years 4 months ago
2008
ACM
Vehicular ad-hoc networks with inter-vehicular communications are a prospective technology which contributes to safer and more efficient roads and offers information and entertain...
152
click to vote
CCS
2009
ACM
15 years 11 months ago
2009
ACM
Along with the burst of open source projects, software theft (or plagiarism) has become a very serious threat to the healthiness of software industry. Software birthmark, which re...
150
Voted
ICSE
2007
IEEE-ACM
16 years 4 months ago
2007
IEEE-ACM
The need for high performance computing applications for computational science and engineering projects is growing rapidly, yet there have been few detailed studies of the softwar...
153
click to vote
ICCD
2005
IEEE
16 years 1 months ago
2005
IEEE
Simultaneous multithreading (SMT) seeks to improve the computation throughput of a processor core by sharing primary resources such as functional units, issue bandwidth, and cache...