693 search results - page 84 / 139 » Test of Future System-on-Chips |
163
click to vote
TPHOL
2007
IEEE
16 years 17 days ago
2007
IEEE
We formalise the data race free (DRF) guarantee provided by Java, as captured by the semi-formal Java Memory Model (JMM) [1] and published in the Java Language Specification [2]. ...
183
click to vote
AIME
2007
Springer
16 years 15 days ago
2007
Springer
Software applications that work with biomedical data have significant knowledge-management requirements. Formal knowledge models and knowledge-based methods can be very useful in m...
153
click to vote
AUSDM
2007
Springer
16 years 15 days ago
2007
Springer
This paper describes the development of a predictive model for corporate insolvency risk in Australia. The model building methodology is empirical with out-ofsample future year te...
145
click to vote
ECOWS
2007
Springer
16 years 14 days ago
2007
Springer
Service composition and service statefulness are key concepts in Web Service system programming. In this paper we present JOLIE, which is the full implementation of our formal cal...
147
click to vote
ECTEL
2007
Springer
16 years 14 days ago
2007
Springer
Indicators help actors to organise, orientate and navigate through complex environments by providing contextual information relevant for the performance of learning tasks. In this ...