13181 search results - page 173 / 2637 » Design and Implementation of Cohesion |
108
click to vote
CAV
1994
Springer
15 years 7 months ago
1994
Springer
Relational Coarsest Partition Problems (RCPPs) play a vital role in verifying concurrent systems. It is known that RCPPs are P-complete and hence it may not be possible to design ...
ASPDAC
2007
ACM
15 years 7 months ago
2007
ACM
Abstract-- A complementary ferroelectriccapacitor (CFC) logic-circuit style is proposed for a compact and standby-power-free content-addressable memory (CAM). Since the use of the ...
155
Voted
CSC
2006
15 years 4 months ago
2006
- A modified Montgomery modular multiplication algorithm using four-to-two CSA (carry save adder) was proposed. The modified algorithm avoids the carry delay and the repeated outpu...
145
click to vote
DGO
2003
15 years 4 months ago
2003
In this paper, we report on two user-centric evaluation studies of COPLINK, a suite of criminal data mining and knowledge management applications developed at the University of Ari...
142
click to vote
SOSP
2005
ACM
16 years 3 days ago
2005
ACM
Overlay networks are used today in a variety of distributed systems ranging from file-sharing and storage systems to communication infrastructures. However, designing, building a...