2482 search results - page 435 / 497 » Characterizing Programming Systems Allowing Program Self-ref... |
ICCD
2006
IEEE
14 years 5 months ago
2006
IEEE
Abstract— Recent research has shown that forwarding speculative data to other processors before it is requested can improve the performance of multiprocessor systems. The most re...
SAC
2009
ACM
14 years 2 months ago
2009
ACM
This paper focuses on time-based declarative languages. The use of declarative languages has the advantage of their simplicity and gh-level abstraction, usually requiring few or n...
KES
2007
Springer
14 years 2 months ago
2007
Springer
One of the major early problems that biometrics faced was the lack of interoperability between different software applications and devices developed by different vendors. The Bio...
ACMSE
2006
ACM
14 years 2 months ago
2006
ACM
In this paper we consider the problem of automatically generating test suites associated with web-based enterprise systems. In particular, we discuss the construction of a tool de...
WOSP
2004
ACM
14 years 1 months ago
2004
ACM
Modelling and analysing distributed and mobile software systems is a challenging task. PEPA nets—coloured stochastic Petri nets—are a recently introduced modelling formalism w...