307 search results - page 37 / 62 » Automatic Parallelization Techniques for the EM-4 |
103
Voted
ATVA
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. We present a new method for fighting the state space explosion of process algebraic specifications, by performing static analysis on an intermediate format: linear proc...
113
click to vote
EDOC
2007
IEEE
15 years 8 months ago
2007
IEEE
The increasing complexity of modern Information Services (IS) makes necessary to carry on review activities. For many companies, these reviews take place within the framework of t...
125
click to vote
EDOC
2006
IEEE
15 years 8 months ago
2006
IEEE
Abstract— Component-based applications require good middleware support. In particular, business logic should be separated from management code for guaranteeing nonfunctional prop...
81
Voted
ICDCSW
2005
IEEE
15 years 7 months ago
2005
IEEE
This paper presents a distributed architecture for the management and retrieval of particular objects called POIsmarts. POIsmarts can be considered as the convergence between virt...
138
click to vote
SAINT
2005
IEEE
15 years 7 months ago
2005
IEEE
Existing replica services on the Grid we know to date assumes point-to-point communication and file transfer protocol. As such, when hundreds to thousands of hosts on the Grid ac...