8600 search results - page 1226 / 1720 » Measuring with Timed Patterns |
156
click to vote
CAISE
1997
Springer
15 years 11 months ago
1997
Springer
OO-Method is an OO Methodology that blends the use of formal specification systems with conventional OO methodologies based on practice. In contrast to other approaches in this fi...
176
Voted
PVM
1997
Springer
15 years 11 months ago
1997
Springer
Photo-realistic computergraphics is an area of research which tries to develop algorithms and methods to render images of arti cial models or worlds as realistically as possible, b...
175
click to vote
ICS
1993
Tsinghua U.
15 years 11 months ago
1993
Tsinghua U.
Many standardized hardware communication interfaces offer runtime flexibility and configurability at the cost of efficiency. An alternate approach is the use of a highly-effic...
195
click to vote
SIGSOFT
1994
ACM
15 years 11 months ago
1994
ACM
In this paper we present an approach, based on data ow analysis, that can provide cost-e ective analysis of concurrent programs with respect to explicitly stated correctness prope...
151
Voted
ICOST
2010
Springer
15 years 11 months ago
2010
Springer
Abstract. Keeping a healthy and balanced diet has long been a critical issue for a person wanting to stay fit and energetic in her/his daily life. We can always turn to a dietitian...