32 search results - page 7 / 7 » Implementation and coupling of dynamic neurons through optoe... |
IT
2008
13 years 4 months ago
2008
provides a powerful abstraction basically allowing to perceiving all compute resources as entities that can be dynamically discovered and composed. These entities are called servic...
POPL
2010
ACM
14 years 2 months ago
2010
ACM
Program analysis tools typically compute two types of information: (1) may information that is true of all program executions and is used to prove the absence of bugs in the progr...