1809 search results - page 245 / 362 » Software Model Checking Using Linear Constraints |
TACAS
2010
Springer
14 years 4 months ago
2010
Springer
Modern multicore processors, such as the Cell Broadband Engine, achieve high performance by equipping accelerator cores with small “scratchpad” memories. The price for increase...
CISIS
2010
IEEE
14 years 4 months ago
2010
IEEE
— The engineering of complex production automation systems involves experts from several backgrounds, such as mechanical, electrical, and software engineering. The production aut...
ICFEM
2005
Springer
14 years 2 months ago
2005
Springer
The development of Web Services has transformed the World Wide Web into a more application-aware information portal. The various standards ensure that Web Services are interpretabl...
EDBT
2009
ACM
14 years 1 months ago
2009
ACM
In this study, we present experiences of parallelizing XPath queries using the Xalan XPath engine on shared-address space multi-core systems. For our evaluation, we consider a sce...
ICASSP
2008
IEEE
14 years 3 months ago
2008
IEEE
Non-negative matrix factorisation (NMF) is an unsupervised learning technique that decomposes a non-negative data matrix into a product of two lower rank non-negative matrices. Th...