Sciweavers

677 search results - page 51 / 136
» Using task context to improve programmer productivity
Sort
View
ICFP
2007
ACM
14 years 8 months ago
Faster laziness using dynamic pointer tagging
In the light of evidence that Haskell programs compiled by GHC exhibit large numbers of mispredicted branches on modern processors, we re-examine the "tagless" aspect of...
Simon Marlow, Alexey Rodriguez Yakushev, Simon L. ...
ECBS
2010
IEEE
209views Hardware» more  ECBS 2010»
14 years 1 months ago
Continuous Verification of Large Embedded Software Using SMT-Based Bounded Model Checking
The complexity of software in embedded systems has increased significantly over the last years so that software verification now plays an important role in ensuring the overall pr...
Lucas Cordeiro, Bernd Fischer 0002, João Ma...
EUROMICRO
2004
IEEE
14 years 12 days ago
Using Academic Courses for Empirical Validation of Software Development Processes
Software Process Improvement needs sound empirical data gathered from a range of empirical studies such as controlled experiments or case studies. However, conducting empirical st...
Marcus Ciolkowski, Dirk Muthig, Jörg Rech
MLDM
2009
Springer
14 years 3 months ago
An Evidence-Driven Probabilistic Inference Framework for Semantic Image Understanding
This work presents an image analysis framework driven by emerging evidence and constrained by the semantics expressed in an ontology. Human perception, apart from visual stimulus a...
Spiros Nikolopoulos, Georgios Th. Papadopoulos, Io...
POPL
1994
ACM
14 years 23 days ago
Reducing Indirect Function call Overhead in C++ Programs
Modern computer architectures increasingly depend on mechanisms that estimate future control flow decisions to increase performance. Mechanisms such as speculative execution and p...
Brad Calder, Dirk Grunwald