2006 search results - page 203 / 402 » Testing with Respect to Concerns |
122
click to vote
GROUP
1999
ACM
15 years 8 months ago
1999
ACM
Many object-oriented toolkits and frameworks for groupware development provide shared objects as a basic service. This relieves developers of a lot of problems originating from th...
156
click to vote
RTCSA
1999
IEEE
15 years 8 months ago
1999
IEEE
A non-blocking protocol that allows real-time tasks to share data in a multiprocessor system is presented in this paper. The protocol gives the means to concurrent real-time tasks...
142
click to vote
FPL
1997
Springer
15 years 8 months ago
1997
Springer
Technology mapping can be viewed as the optimization problem of finding a minimum cost cover of the given Boolean network by choosing from given library of logic cells. The core of...
106
click to vote
ICRA
1993
IEEE
15 years 8 months ago
1993
IEEE
A sensorhas been developedandsuccessfullyimplementedto automaterobotcalibration.Its simpledesignmakesit ideal forproduction environments. It works in conjunction with precision sph...
136
click to vote
ALP
1994
Springer
15 years 8 months ago
1994
Springer
Abstract. We introduce a compositional characterization of the operational semantics of equational Horn programs. Then we show that this semantics and the standard operational sema...