3316 search results - page 440 / 664 » Mining Software Engineering Data |
122
click to vote
FSEN
2007
Springer
15 years 5 months ago
2007
Springer
This paper deals with test case selection from axiomatic specifications whose axioms are quantifier-free first-order formulae. Test cases are modeled as ground formulae and any spe...
111
click to vote
CODES
2004
IEEE
15 years 5 months ago
2004
IEEE
The memory bandwidth largely determines the performance and energy cost of embedded systems. At the compiler level, several techniques improve the memory bandwidth at the scope of...
113
click to vote
EMSOFT
2006
Springer
15 years 5 months ago
2006
Springer
We present a deadlock avoidance algorithm for distributed systems that guarantees liveness. Deadlock avoidance in distributed systems is a hard problem and general solutions are c...
129
click to vote
INFOSCALE
2007
ACM
15 years 3 months ago
2007
ACM
Web service composition provision which requires efficient coordination of the execution of component services is a critical issue in service-oriented computing. Nowadays, BPEL4WS...
111
click to vote
CSUR
2004
15 years 1 months ago
2004
Many developments have taken place within dataflow programming languages in the past decade. In particular, there has been a great deal of activity and advancement in the field of ...