4213 search results - page 708 / 843 » The Tau Parallel Performance System |
138
click to vote
LCPC
2009
Springer
15 years 9 months ago
2009
Springer
Abstract. In this paper, we describe transformation recipes, which provide a high-level interface to the code transformation and code generation capability of a compiler. These rec...
164
click to vote
MM
1993
ACM
15 years 8 months ago
1993
ACM
as a tree which specifies the presentation in an abstract, machineindependent way. This specification is created and edited using an authoring system; it is mapped to a particula...
150
click to vote
AUSFORENSICS
2004
15 years 6 months ago
2004
Password policies alone do not stand a chance of securing computer systems which rely on the use of secretbased, password authentication methods. The enforcement of "strong&q...
149
click to vote
DSD
2010
IEEE
15 years 4 months ago
2010
IEEE
—Since many embedded systems execute a predefined set of programs, tuning system components to application programs and data is the approach chosen by many design techniques to o...
138
click to vote
CORR
2008
Springer
15 years 4 months ago
2008
Springer
This article introduces a fully automated verification technique that permits to analyze real-time systems described using a continuous notion of time and a mixture of operational...