1086 search results - page 82 / 218 » Programming by Numbers: A Programming Method for Novices |
165
click to vote
ISSRE
2006
IEEE
16 years 6 days ago
2006
IEEE
BPEL is a language that could express complex concurrent behaviors. This paper presents a novel method of BPEL test case generation, which is based on concurrent path analysis. Th...
153
click to vote
CPM
2007
Springer
16 years 11 days ago
2007
Springer
We present a method to speed up the dynamic program algorithms used for solving the HMM decoding and training problems for discrete time-independent HMMs. We discuss the applicatio...
133
click to vote
CLUSTER
2002
IEEE
15 years 11 months ago
2002
IEEE
In modern clustering environments where the memory hierarchy has many layers (distributed memory, shared memory layer, cache, ¡ ¢ ), an important question is how to fully u...
149
click to vote
VMCAI
2005
Springer
15 years 11 months ago
2005
Springer
A Herbrand equality between expressions in a program is an equality which holds relative to the Herbrand interpretation of operators. We show that the problem of checking validity ...
239
click to vote
PLDI
1998
ACM
15 years 10 months ago
1998
ACM
A linear-scan algorithm directs the global allocation of register candidates to registers based on a simple linear sweep over the program being compiled. This approach to register...