8669 search results - page 1534 / 1734 » Computing matrix representations |
120
click to vote
ISORC
2005
IEEE
15 years 7 months ago
2005
IEEE
Service-based systems have many applications, including collaborative research and development, e-business, health care, environmental control, military applications, and homeland...
106
click to vote
LICS
2005
IEEE
15 years 7 months ago
2005
IEEE
Three-valued models, in which properties of a system are either true, false or unknown, have recently been advocated as a better representation for reactive program abstractions g...
100
click to vote
LICS
2005
IEEE
15 years 7 months ago
2005
IEEE
Number Decision Diagrams (NDD) are the automatabased symbolic representation for manipulating sets of integer vectors encoded as strings of digit vectors (least or most significa...
131
click to vote
MSE
2005
IEEE
15 years 7 months ago
2005
IEEE
System-level design of embedded computer systems is essential to manage complexity and enhance designer productivity. Viewing designs at t abstraction levels allows developers to ...
121
click to vote
SBACPAD
2005
IEEE
15 years 7 months ago
2005
IEEE
Executing long-running parallel applications in Opportunistic Grid environments composed of heterogeneous, shared user workstations, is a daunting task. Machines may fail, become ...