17680 search results - page 744 / 3536 » Simulation of Computer Systems and Applications |
204
click to vote
PLDI
2010
ACM
16 years 4 months ago
2010
ACM
Dependent types provide a strong foundation for specifying and verifying rich properties of programs through type-checking. The earliest implementations combined dependency, which...
221
click to vote
PPAM
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. In order to take full advantage of high-end computing platforms, scientific applications often require modifications to source codes, and to their build systems that ge...
180
click to vote
IPPS
2005
IEEE
16 years 1 months ago
2005
IEEE
Sandboxing systems are extremely useful for secure execution of untrusted applications. Many of the sandboxing systems proposed so far provide security by intercepting system call...
216
click to vote
SIGOPSE
1994
ACM
15 years 11 months ago
1994
ACM
Application domains, such as multimedia, databases, and parallel computing, require operating system services with high performance and high functionality. Existing operating syst...
162
click to vote
DAC
2005
ACM
16 years 8 months ago
2005
ACM
While the past research discussed several advantages of multiprocessor-system-on-a-chip (MPSOC) architectures from both area utilization and design verification perspectives over ...