12774 search results - page 220 / 2555 » A Framework for Proof Systems |
148
click to vote
ISTA
2007
15 years 8 months ago
2007
: Today, discrete-event simulation (DES) use in the manufacturing industry has become widespread, but far from all companies use this technology.Often simulation is used on a `one-...
169
click to vote
WCE
2007
15 years 7 months ago
2007
—The move to begin to place liabilities for copyright violations on internet intermediaries such as ISPs and Cyber Cafes as a result of contents allowed through their networks is...
317
click to vote
HPCA
2011
IEEE
14 years 10 months ago
2011
IEEE
The ever increasing size and complexity of Operating System (OS) kernel code bring an inevitable increase in the number of security vulnerabilities that can be exploited by attack...
202
click to vote
ICCS
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. A framework for a fully implicit solution method is implemented into (1) the High Order Methods Modeling Environment (HOMME), which is a spectral element dynamical core o...
218
click to vote
GLVLSI
2007
IEEE
16 years 28 days ago
2007
IEEE
Multi-Processor System-On-Chip (MPSoC) can provide the performance levels required by high-end embedded applications. However, they do so at the price of an increasing power densi...