3429 search results - page 621 / 686 » Modelling the Operational Semantics of Domain-Specific Model... |
ASPLOS
2009
ACM
14 years 9 months ago
2009
ACM
Parallel bit stream algorithms exploit the SWAR (SIMD within a register) capabilities of commodity processors in high-performance text processing applications such as UTF8 to UTF-...
POPL
2008
ACM
14 years 9 months ago
2008
ACM
The search for proof and the search for counterexamples (bugs) are complementary activities that need to be pursued concurrently in order to maximize the practical success rate of...
ICSE
2004
IEEE-ACM
14 years 9 months ago
2004
IEEE-ACM
The deployment of software components frequently fails because dependencies on other components are not declared explicitly or are declared imprecisely. This results in an incompl...
ASPLOS
2010
ACM
14 years 3 months ago
2010
ACM
Temperature is a dominant factor in the performance, reliability, and leakage power consumption of modern processors. As a result, increasing numbers of researchers evaluate therm...
BIBM
2008
IEEE
14 years 3 months ago
2008
IEEE
Biologists are often interested to query published phylogenetic data for research purposes. PhyQL, a web-based visual phylogenetic query engine, can be quite useful on this regard...