414 search results - page 74 / 83 » Using Strongest Postconditions to Improve Software Quality |
100
Voted
TASE
2008
IEEE
15 years 8 days ago
2008
IEEE
Concurrent engineering has been widely used in managing design projects to speed up the design process by concurrently performing multiple tasks. Since the progress of a design tas...
96
Voted
SIGMETRICS
1996
ACM
15 years 4 months ago
1996
ACM
In this paper we describe our experiments on digital video applications, concentrating on the static and dynamic tradeo s involved in video playback. Our results were extracted fr...
113
click to vote
ELPUB
2007
ACM
15 years 4 months ago
2007
ACM
Electronic publishing is one part of a much larger process. There is a research lifecycle from creation of a programme for funded research through research proposals, projects, ou...
97
Voted
GRAPHICSINTERFACE
2004
15 years 1 months ago
2004
Today's hardware graphics accelerators incorporate techniques to antialias edges and minimize geometry-related sampling artifacts. Two such techniques, brute force supersampl...
132
click to vote
WWW
2005
ACM
16 years 1 months ago
2005
ACM
Automatic extraction of semantic information from text and links in Web pages is key to improving the quality of search results. However, the assessment of automatic semantic meas...