20441 search results - page 3704 / 4089 » Locally Computable Structures |
125
click to vote
CODES
2002
IEEE
15 years 9 months ago
2002
IEEE
This paper describes the formal verification of the recently introduced Dual Transition Petri Net (DTPN) models [12], using model checking techniques. The methodology presented a...
120
click to vote
COMPSAC
2002
IEEE
15 years 9 months ago
2002
IEEE
A transactional workflow is composed of traditional flat transactions, and its execution has relaxed transactional atomicity. Due to different termination characteristics of trans...
167
Voted
GMP
2002
IEEE
15 years 9 months ago
2002
IEEE
A new computational method that creates a hex-dominant mesh of an arbitrary 3D geometric domain is presented. The proposed method generates a high-quality hexdominant mesh by: (1)...
131
click to vote
HPCA
2002
IEEE
15 years 9 months ago
2002
IEEE
As the frequency gap between main memory and modern microprocessor grows, the implementation and efficiency of on-chip caches become more important. The growing latency to memory ...
161
click to vote
ICDM
2002
IEEE
15 years 9 months ago
2002
IEEE
The similarity join has become an important database primitive to support similarity search and data mining. A similarity join combines two sets of complex objects such that the r...