2774 search results - page 190 / 555 » Query-Driven Program Testing |
148
Voted
ASP
2003
Springer
15 years 8 months ago
2003
Springer
Abstract. In general, disjunction is considered to add expressive power to propositional logic programs under stable model semantics, and to enlarge the range of problems which can...
148
Voted
CHARME
1999
Springer
15 years 7 months ago
1999
Springer
Hardware description languages (HDLs) are used today to describe circuits at all levels. In large HDL programs, there is a need for source code reduction techniques to address a my...
129
click to vote
SIGCSE
2008
ACM
15 years 3 months ago
2008
ACM
The annual ACM International Collegiate Programming Contest produces a competitive paradigm that is at odds with the pedagogical goals of modern computer science and software engi...
123
Voted
TCS
2008
15 years 3 months ago
2008
The replication number of a branching program is the minimum number R such that along every accepting computation at most R variables are tested more than once; the sets of variab...
109
click to vote
IPSN
2010
Springer
15 years 10 months ago
2010
Springer
We advocate a novel programming approach we call slotted programming that not only addresses the specific hardware capabilities of sensor nodes, but also facilitates coding throu...