9166 search results - page 1662 / 1834 » A framework for comparing models of computation |
178
click to vote
RTSS
2005
IEEE
16 years 1 days ago
2005
IEEE
Resource reservation has been recently supported by many real-time operating systems to provide applications with guaranteed and timely access to system resources. Typically, rese...
144
click to vote
ICCS
2005
Springer
15 years 12 months ago
2005
Springer
Three-dimensional direct numerical simulations are performed of turbulent combustion of initially spherical flame kernels. The chemistry is described by a progress variable which ...
178
click to vote
LCTRTS
2004
Springer
15 years 11 months ago
2004
Springer
This paper presents Spinach, a new simulator toolset specifically designed to target programmable network interface architectures. Spinach models both system components that are ...
188
click to vote
ICCD
2000
IEEE
15 years 10 months ago
2000
IEEE
A major obstacle to widespread acceptance of formal verification is the difficulty in using the tools effectively. Although learning the basic syntax and operation of a formal ver...
189
click to vote
AUSAI
2008
Springer
15 years 8 months ago
2008
Springer
In recent years, there has been a cross-fertilization of ideas between computational neuroscience models of the operation of the neocortex and artificial intelligence models of mac...