2518 search results - page 100 / 504 » Using Communication Objects During Requirements Analysis |
175
click to vote
ECOOP
2007
Springer
15 years 10 months ago
2007
Springer
Object invariants describe the consistency of object states, and are crucial for reasoning about the correctness of object-oriented programs. However, reasoning about object invari...
163
Voted
ICS
1999
Tsinghua U.
15 years 10 months ago
1999
Tsinghua U.
Memory operations remain a significant bottleneck in dynamically scheduled pipelined processors, due in part to the inability to statically determine the existence of memory addr...
162
Voted
VLDB
1993
ACM
15 years 10 months ago
1993
ACM
In this paper we propose a new declustering method which is particularly suitable for image and cartographic databases used for visualization. Our declustering method is based on ...
157
click to vote
ICDCSW
2007
IEEE
16 years 13 days ago
2007
IEEE
Mobile devices are still memory-constrained when compared to desktop and laptop computers. Thus, in some circumstances, even while occupied by useful objects, some memory must be ...
155
Voted
CODES
1998
IEEE
15 years 10 months ago
1998
IEEE
Timing analysis for checking satisfaction of constraints is a crucial problem in real-time system design. In some current approaches, the delay of software modules is precalculate...