Sciweavers

1991 search results - page 222 / 399
» Using a Coding Standard to Improve Program Quality
Sort
View
ECBS
2010
IEEE
209views Hardware» more  ECBS 2010»
15 years 6 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...
110
Voted
ICSE
1998
IEEE-ACM
15 years 6 months ago
Measuring Cognitive Activities in Software Engineering
This paper presents an approach to the study of cognitive activities in collaborative software development. This approach has been developed by a multidisciplinary team made up of...
Pierre N. Robillard, Patrick d'Astous, Franç...
TIT
2008
129views more  TIT 2008»
15 years 2 months ago
Serial Schedules for Belief-Propagation: Analysis of Convergence Time
Abstract--Low-Density Parity-Check (LDPC) codes are usually decoded by running an iterative belief-propagation algorithm over the factor graph of the code. In the traditional messa...
Jacob Goldberger, Haggai Kfir
ECOOP
2000
Springer
15 years 6 months ago
Optimizing Java Programs in the Presence of Exceptions
The support for precise exceptions in Java, combined with frequent checks for runtime exceptions, leads to severe limitations on the compiler’s ability to perform program optimiz...
Manish Gupta, Jong-Deok Choi, Michael Hind
134
Voted
ICIP
2004
IEEE
16 years 4 months ago
Fast full search block motion estimation for H.264/AVC with multilevel successive elimination algorithm
We modify the multilevel successive elimination algorithm (MSEA) to make it compatible with the motion estimation required for the H.264/AVC video coding standard. The algorithm m...
Janne Heikkilä, Tuukka Toivonen