2748 search results - page 393 / 550 » Generating Object-Z Specifications from Use Cases |
133
click to vote
ASPDAC
1995
ACM
15 years 7 months ago
1995
ACM
- In this paper, we present a new scheduling algorithms that generates area-efficient register transfer level datapaths with multiport memories. The proposed scheduling algorithm a...
127
Voted
ICPR
2008
IEEE
16 years 5 months ago
2008
IEEE
In this paper an efficient method of small object localization is proposed that integrates detection and tracking. The system is initialized using a strong detector and then it lo...
138
Voted
DAC
2001
ACM
16 years 4 months ago
2001
ACM
In this paper, we present a new technique for the e cient dynamic detection and removal of inactive clauses, i.e. clauses that do not a ect the solutions of interest of a Boolean ...
131
click to vote
WCRE
2000
IEEE
15 years 8 months ago
2000
IEEE
To fully understand the underlying architecture of an object-oriented software system, both static and dynamic analyses are needed. Dynamic reverse engineering techniques are espe...
129
click to vote
IEEEHPCS
2010
15 years 2 months ago
2010
Particle systems have been incorporated into a wide variety of applications in both academia and industry. They can be employed to investigate complex natural phenomena, illustrat...