4013 search results - page 663 / 803 » computer 2002 |
112
click to vote
ANSS
2002
IEEE
15 years 5 months ago
2002
IEEE
Efficient scheduling of jobs on parallel processors is essential for good performance. However, design of such schedulers is challenging because of the complex interaction between...
97
Voted
CODES
2002
IEEE
15 years 5 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...
91
Voted
COMPSAC
2002
IEEE
15 years 5 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...
92
Voted
COOPIS
2002
IEEE
15 years 5 months ago
2002
IEEE
Because the ultimate purpose of the Semantic Web is to help users locate, organize, and process information, we strongly believe that it should be grounded in the information acces...
DATE
2002
IEEE
15 years 5 months ago
2002
IEEE
We have developed a technique to compute a Quasi Static Schedule of a concurrent specification for the software partition of an embedded system. Previous work did not take into a...