2255 search results - page 315 / 451 » High Assurance Software Systems |
162
click to vote
DCOSS
2010
Springer
15 years 11 months ago
2010
Springer
Abstract. The success of high-level programming models in Wireless Sensor Networks (WSNs) is heavily dependent on factors such as ease of programming, code well-structuring, degree...
155
click to vote
HCW
1999
IEEE
15 years 10 months ago
1999
IEEE
We present a new software technology for on-line performance analysis and visualization of complex parallel and distributed systems. Often heterogeneous, these systems need capabi...
167
click to vote
ICRA
1999
IEEE
15 years 10 months ago
1999
IEEE
Developing automated assembly systems normally happens in two distinct stages: rst an o -line" stage in which the system is designed and programmed in simulated and then an o...
200
click to vote
CC
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. Alias analysis, traditionally performed statically, is unsuited for a dynamic binary translator (DBT) due to incomplete control-flow information and the high complexity o...
161
click to vote
ECAI
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. This paper describes a new way of implementing an intelligent web caching service, based on an analysis of usage. Since the cache size in software is limited, and the sea...