4438 search results - page 183 / 888 » The Case for Collaborative Programming |
165
click to vote
MPC
1998
Springer
15 years 10 months ago
1998
Springer
Abstract. We present a description technique for the correct construction of programs that allows us to de ne terms like re nement, modelchecking, and synthesis as special operatio...
171
click to vote
ISQED
2007
IEEE
16 years 24 days ago
2007
IEEE
In nanometer regime, the effects of variations are having an increasing impact on the delay and power characteristics of devices as well as the yield of the circuit. Statistical t...
148
click to vote
ECAI
2008
Springer
15 years 8 months ago
2008
Springer
The goal of breast cancer screening programs is to detect cancers at an early (preclinical) stage, by using periodic mammographic examinations in asymptomatic women. In evaluating ...
166
click to vote
ML
1998
ACM
15 years 6 months ago
1998
ACM
This paper is a case study of a machine aided knowledge discovery process within the general area of drug design. More speci cally, the paper describes a sequence of experiments in...
136
click to vote
ATVA
2007
Springer
16 years 21 days ago
2007
Springer
Abstract. We consider the termination problem of programs manipulating treelike dynamic data structures. Our approach is based on a counter-example guided ion refinement loop. We ...