7197 search results - page 99 / 1440 » On the computational power of BlenX |
POPL
2010
ACM
14 years 8 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...
ADAEUROPE
2007
Springer
14 years 5 months ago
2007
Springer
The testing of programs in wireless sensor networks (WSN) is an important means to assure quality but is a challenging process. As pervasive computing has been identified as a not...
ALT
2011
Springer
12 years 11 months ago
2011
Springer
Deep architectures are families of functions corresponding to deep circuits. Deep Learning algorithms are based on parametrizing such circuits and tuning their parameters so as to ...
IPPS
2007
IEEE
14 years 5 months ago
2007
IEEE
1 Biological processes occurring inside cell involve multiple scales of time and length; many popular theoretical and computational multi-scale techniques utilize biomolecular simu...
CLUSTER
2005
IEEE
14 years 4 months ago
2005
IEEE
A large organization, such as a university, commonly supplies computational power through multiple independently administered computational domains (e.g. clusters). Each computati...