3107 search results - page 157 / 622 » Error-Correcting Source Code |
115
click to vote
EUROPAR
2010
Springer
15 years 3 months ago
2010
Springer
Manual parallelization of programs is known to be difficult and error-prone, and there are currently few ways to measure the amount of potential parallelism in the original sequent...
130
click to vote
CJ
1999
15 years 2 months ago
1999
The ability to predict the directions of branches, especially conditional branches, is an important problem in modern computer architecture and advanced compilers. Many static and...
111
Voted
FM
2003
Springer
15 years 7 months ago
2003
Springer
Abstract. Program certification techniques formally show that programs satisfy certain safety policies. They rely on the correctness of the safety policy which has to be establish...
140
click to vote
TII
2010
14 years 9 months ago
2010
Behavior, Interaction, Priorities (BIP) is a component framework for constructing systems from a set of atomic components by using two kinds of composition operators: interactions ...
151
click to vote
HICSS
2005
IEEE
15 years 8 months ago
2005
IEEE
Prior characterizations of open source projects have been based on the model of a community-founded project. More recently, a second model has emerged, where organizations spinout...