Sciweavers

8109 search results - page 45 / 1622
» A Model of Component-Based Programming
Sort
View
PLDI
2011
ACM
14 years 5 months ago
Partial-coherence abstractions for relaxed memory models
Michael Kuperstein, Martin T. Vechev, Eran Yahav
96
Voted
PLDI
2011
ACM
14 years 5 months ago
Predicate abstraction and CEGAR for higher-order model checking
Naoki Kobayashi, Ryosuke Sato, Hiroshi Unno
106
Voted
IAJIT
2007
123views more  IAJIT 2007»
15 years 2 months ago
The Development of a Simplified Process Model for CBSD
: This study introduces the MyCL process model, a simplified Component-Based Software Development (CBSD) process model that is clear and easy to be understood and hence, applied. I...
Hazleen Aris, Siti Salwah Salim
163
Voted
AMAI
1999
Springer
15 years 1 months ago
Logic Programs with Stable Model Semantics as a Constraint Programming Paradigm
Logic programming with the stable model semantics is put forward as a novel constraint programming paradigm. This paradigm is interesting because it bring advantages of logic prog...
Ilkka Niemelä
92
Voted
ESEC
1991
Springer
15 years 5 months ago
A Dynamic Failure Model for Predicting the Impact that a Program Location has on the Program
This paper presents a dynamic technique for predicting the e ect that a location" of a program will have on the program's computational behavior. The technique is based ...
Jeffrey M. Voas