3171 search results - page 259 / 635 » Application of Reduce Order Modeling to Time Parallelization |
163
Voted
DEON
2006
Springer
15 years 7 months ago
2006
Springer
In this paper we extend earlier work on deontic deadlines in CTL to the framework of alternating time temporal logic (ATL). The resulting setting enables us to model several concep...
145
click to vote
IPPS
2009
IEEE
15 years 10 months ago
2009
IEEE
Graphics Processing Units (GPUs) have been growing in popularity due to their impressive processing capabilities, and with general purpose programming languages such as NVIDIA’s...
139
click to vote
SCCC
2005
IEEE
15 years 9 months ago
2005
IEEE
We present a contribution on dynamic load balancing for distributed and parallel object-oriented applications. We specially target on peer to peer systems and its capability to di...
122
click to vote
SAMOS
2004
Springer
15 years 9 months ago
2004
Springer
— Architectural resources and program recurrences are the main limitations to the amount of Instruction-Level Parallelism (ILP) exploitable from loops, the most time-consuming pa...
154
click to vote
ECRTS
2008
IEEE
15 years 10 months ago
2008
IEEE
Real-time data services can benefit data-intensive real-time applications, e.g., e-commerce, via timely transaction processing using fresh data, e.g., the current stock prices. T...