3507 search results - page 218 / 702 » Specialized execution environments |
122
click to vote
EDBT
2006
ACM
16 years 4 months ago
2006
ACM
Abstract. Streaming environments typically dictate incomplete or approximate algorithm execution, in order to cope with sudden surges in the data rate. Such limitations are even mo...
110
click to vote
TPHOL
2009
IEEE
15 years 11 months ago
2009
IEEE
VCC is an industrial-strength verification environment for low-level concurrent system code written in C. VCC takes a program (annotated with function contracts, state assertions,...
130
click to vote
AINA
2007
IEEE
15 years 11 months ago
2007
IEEE
A broad range of industries must be able to seamlessly integrate control applications using sensors distributed in the real world and IT applications supporting various business a...
105
click to vote
ICNS
2007
IEEE
15 years 10 months ago
2007
IEEE
The existence of good probabilistic models for the job arrival process and the delay components introduced at the different stages of job processing in a Grid environment is impor...
123
click to vote
IEEESCC
2007
IEEE
15 years 10 months ago
2007
IEEE
This paper presents a meta-model based approach to services applications deployment on constrained Execution Environments (EEs) which contain heterogeneous services implementation...