7121 search results - page 1163 / 1425 » Functions as Session-Typed Processes |
126
click to vote
WWW
2010
ACM
15 years 5 months ago
2010
ACM
With the rapid growth in the number of online Web services, the problem of service adaptation has received significant attention. In matching and adaptation, the functional descri...
166
click to vote
HPDC
2010
IEEE
15 years 5 months ago
2010
IEEE
Parallel computing on volatile distributed resources requires schedulers that consider job and resource characteristics. We study unconventional computing environments containing ...
171
click to vote
FMICS
2010
Springer
15 years 5 months ago
2010
Springer
We investigate the application of the software bounded model checking tool CBMC to the domain of wireless sensor networks (WSNs). We automatically generate a software behavior mode...
131
click to vote
ASAP
2007
IEEE
15 years 5 months ago
2007
IEEE
Commercial designs are integrating from 10 to 100 embedded functional and storage blocks in a single system on chip (SoC) currently, and the number is likely to increase significa...
190
click to vote
CDC
2008
IEEE
15 years 5 months ago
2008
IEEE
Minimizing the rank of a matrix subject to constraints is a challenging problem that arises in many applications in control theory, machine learning, and discrete geometry. This c...