7103 search results - page 581 / 1421 » Program Generation and Components |
159
click to vote
ADAEUROPE
2007
Springer
16 years 18 days ago
2007
Springer
In this article, we experiment a way to extend an Ada library called Cheddar. Cheddar provides a domain specific language. Programs written with this domain specific language can...
162
click to vote
ISSTA
2006
ACM
16 years 11 days ago
2006
ACM
DSD-Crasher is a bug finding tool that follows a three-step approach to program analysis: D. Capture the program’s intended execution behavior with dynamic invariant detection....
230
Voted
ECOOP
1991
Springer
15 years 10 months ago
1991
Springer
: Polymorphic inline caches (PICs) provide a new way to reduce the overhead of polymorphic message sends by extending inline caches to include more than one cached lookup result pe...
181
click to vote
CL
2010
Springer
15 years 6 months ago
2010
Springer
Autonomous mobile programs (AMPs) offer a novel decentralised load management technology where periodic use is made of cost models to decide where to execute in a network. In this...
143
click to vote
ISSTA
2006
ACM
16 years 11 days ago
2006
ACM
Test campaigns usually require only a restricted subset of paths in a program to be thoroughly tested. As random testing (RT) offers interesting fault-detection capacities at low ...