2673 search results - page 483 / 535 » Guided Static Analysis |
117
click to vote
IPPS
2007
IEEE
15 years 7 months ago
2007
IEEE
The rapid revolution in microprocessor chip architecture due to multicore technology is presenting unprecedented challenges to the application developers as well as system softwar...
103
Voted
ISSAC
2007
Springer
15 years 7 months ago
2007
Springer
We discuss the parallelization of algorithms for solving polynomial systems symbolically by way of triangular decompositions. We introduce a component-level parallelism for which ...
114
Voted
ICDM
2006
IEEE
15 years 6 months ago
2006
IEEE
Due to their capability for expressing semantics and relationships among data objects, semi-structured documents have become a common way of representing domain knowledge. Compari...
106
Voted
ISPD
2006
ACM
15 years 6 months ago
2006
ACM
The multilevel placement package mPL6 combines improved implementations of the global placer mPL5 (ISPD05) and the XDP legalizer and detailed placer (ASPDAC06). It consistently pr...
115
Voted
ICAC
2005
IEEE
15 years 6 months ago
2005
IEEE
When designing decentralised autonomic computing systems, a fundamental engineering issue is to assess systemwide behaviour. Such decentralised systems are characterised by the la...