377 search results - page 61 / 76 » Corticosteroids Operate as a Switch between Memory Systems |
TASE
2009
IEEE
14 years 2 months ago
2009
IEEE
—Formal verification of low-level programs often requires explicit reasoning and specification of runtime stacks. Treating stacks naively as parts of ordinary heaps can lead to...
AFP
2008
Springer
14 years 1 months ago
2008
Springer
This practical tutorial introduces the features available in Haskell for writing parallel and concurrent programs. We first describe how to write semi-explicit parallel programs b...
ISCAS
2002
IEEE
14 years 9 days ago
2002
IEEE
—JPEG2000 is an upcoming compression standard for still images that has a feature set well tuned for diverse data dissemination. These features are possible due to adaptation of ...
IPPS
1998
IEEE
13 years 11 months ago
1998
IEEE
Abstract. LAPACK90 is a set of LAPACK90 subroutines which interfaces FORTRAN90 with LAPACK. All LAPACK driver subroutines including expert drivers and some LAPACK computationals ha...
SAMOS
2004
Springer
14 years 22 days ago
2004
Springer
This paper presents a model for instruction-level distributed computing that allows the implementation of scalable chip multiprocessors. Based on explicit microthreading it serves ...