13917 search results - page 2629 / 2784 » Abstraction of Probabilistic Systems |
253
Voted
ESOP
2005
Springer
16 years 16 days ago
2005
Springer
Abstract. We instantiate an Isabelle/HOL framework for proof carrying code to Jinja bytecode, a downsized variant of Java bytecode featuring objects, inheritance, method calls and ...
189
click to vote
EUROPAR
2005
Springer
16 years 16 days ago
2005
Springer
Abstract. Blue Gene/L uses a large number of low power processors, together with multiple integrated interconnection networks, to build a supercomputer with low cost, space and pow...
198
Voted
HIPEAC
2005
Springer
16 years 16 days ago
2005
Springer
Abstract. Designers of large parallel computers and clusters are becoming increasingly concerned with the cost and power consumption of the interconnection network. A simple way to...
198
Voted
ICDT
2005
ACM
16 years 16 days ago
2005
ACM
Abstract. A classical problem in query optimization is to find the optimal ordering of a set of possibly correlated selections. We provide an ion of this problem as a generalizati...
232
click to vote
ICIAR
2005
Springer
16 years 16 days ago
2005
Springer
Abstract. Background updating is an important aspect of dynamic scene analysis. Two critical problems: sudden camera perturbation and the sleeping person problem, which arise frequ...