2748 search results - page 88 / 550 » Generating Object-Z Specifications from Use Cases |
107
Voted
CGF
2008
15 years 20 days ago
2008
The accurate generation of soft shadows is a particularly computationally intensive task. In order to reduce rendering time, most real-time and offline applications decorrelate th...
112
Voted
DAC
2000
ACM
16 years 1 months ago
2000
ACM
In this paper we describe an area efficient power minimization scheme "Control Generated ClockingI` that saves significant amounts of power in datapath registers and clock dr...
108
click to vote
SIBGRAPI
1999
IEEE
15 years 4 months ago
1999
IEEE
This paper describes a real-time shadow generation algorithm for polygonal environments illuminated by movable point light sources. The main goal is to quickly reduce the number o...
85
Voted
CORR
2006
Springer
15 years 17 days ago
2006
Springer
This paper presents a case study concerning the challenges and requirements posed by next generation language resources, realized as an overall model of open, distributed and coll...
104
click to vote
SAFECOMP
2007
Springer
15 years 6 months ago
2007
Springer
We discuss the problem of generating test suites from UML state machines and present a method to extend the capabilities of existing automated test case generators. Current tools p...