996 search results - page 149 / 200 » Enhancing UML Models: A Domain Analysis Approach |
156
Voted
SIGGRAPH
1992
ACM
15 years 7 months ago
1992
ACM
This paper discusses how interval analysis can be used to solve a wide variety of problems in computer graphics. These problems include ray tracing, interference detection, polygo...
136
Voted
ICCD
2001
IEEE
16 years 15 days ago
2001
IEEE
We present a simulation-based semi-formal verification method for sequential circuits described at the registertransfer level. The method consists of an iterative loop where cove...
144
Voted
IPPS
1998
IEEE
15 years 7 months ago
1998
IEEE
Characterizing shared-memory applications provides insight to design efficient systems, and provides awareness to identify and correct application performance bottlenecks. Configu...
117
Voted
CORR
1999
Springer
15 years 3 months ago
1999
Springer
In recent work we have presented a formal framework for linguistic annotation based on labeled acyclic digraphs. These `annotation graphs' oer a simple yet powerful method fo...
130
Voted
TCBB
2010
15 years 2 months ago
2010
—The correct interpretation of many molecular biology experiments depends in an essential way on the accuracy and consistency of the existing annotation databases. Such databases...