3218 search results - page 30 / 644 » Timed Extensions for SDL |
TARK
2007
Springer
14 years 2 months ago
2007
Springer
In this paper we show how coalition logic can be reduced to the fusion of a normal modal STIT logic for agency and a standard normal temporal logic for discrete time, and how this...
CCGRID
2006
IEEE
14 years 2 months ago
2006
IEEE
Grid computing is emerging as a new infrastructure to provide collaborative and secure resource sharing over multiple geographically distributed organizations. In this scenario, r...
ICPPW
2006
IEEE
14 years 2 months ago
2006
IEEE
In retargeting loop-based code for multimedia instruction set extensions, a critical issue is that vector data types of mixed precision within a loop body complicate the paralleli...
ICCAD
2005
IEEE
14 years 2 months ago
2005
IEEE
— Balanced truncation (BT) model order reduction (MOR) is known for its superior accuracy and computable error bounds. Balanced stochastic truncation (BST) is a particular BT pro...
CCGRID
2004
IEEE
14 years 15 days ago
2004
IEEE
Grid computing aims to connect large numbers of geographically and organizationally distributed resources to increase computational power, resource utilization, and resource acces...