6740 search results - page 1168 / 1348 » Using Classification as a Programming Language |
144
click to vote
ICS
2009
Tsinghua U.
15 years 11 months ago
2009
Tsinghua U.
The Cell BE is a multicore processor with eight vector accelerators (called SPEs) that implement explicit cache management through direct memory access engines. While the Cell has...
145
click to vote
EDOC
2009
IEEE
15 years 11 months ago
2009
IEEE
Abstract—A simple and effective composition of software services into higher-level composite services is still a very challenging task. Especially in enterprise environments, Qua...
150
click to vote
ICAS
2009
IEEE
15 years 11 months ago
2009
IEEE
In open systems where the components, i.e. the agents and the resources, may be unknown at design time, or in dynamic and self-organizing systems evolving with time, there is a ne...
173
click to vote
FM
2009
Springer
15 years 11 months ago
2009
Springer
Abstract: There is growing need to develop formal verification tools for Message Passing Interface (MPI) programs, to eliminate bugs such as deadlocks and local assertion violatio...
134
click to vote
KBSE
2007
IEEE
15 years 11 months ago
2007
IEEE
This paper presents a tool that (i) constructs tree-based models of a program’s behavior during testing and (ii) employs these trees while reordering and reducing a test suite. ...