6381 search results - page 181 / 1277 » Alternative Implementation of the C |
154
click to vote
PPOPP
1997
ACM
15 years 8 months ago
1997
ACM
As shared-memory multiprocessors become the dominant commodity source of computation, parallelizing compilers must support mainstream computations that manipulate irregular, point...
147
Voted
DBPL
2007
Springer
15 years 10 months ago
2007
Springer
Macro tree transducers (mtt) are an important model that both covers many useful XML transformations and allows decidable exact typechecking. This paper reports our first step tow...
154
click to vote
OTM
2010
Springer
15 years 3 months ago
2010
Springer
Making well-founded security investment decisions is hard: several alternatives may need to be considered, the alternatives’ space is often diffuse, and many decision parameters...
124
Voted
APSEC
2003
IEEE
15 years 8 months ago
2003
IEEE
Using the language Z for more than specification is hindered by the fact that its algebra of schemas is not monotonic with respect to refinement; so specification is modular, but ...
132
click to vote
CASCON
1997
15 years 6 months ago
1997
The role of brokers in client-server systems is to accommodate flexible, open, heterogeneous system design and to facilitate fault tolerance and improved performance through load...