10707 search results - page 562 / 2142 » Designing executable abstractions |
175
click to vote
ICPR
2002
IEEE
16 years 8 months ago
2002
IEEE
al modelling studies the different abstraction methods of the real world. The conception and the execution of virtual worlds depend strongly of the type of conceptual models. Exis...
318
click to vote
POPL
2009
ACM
16 years 7 months ago
2009
ACM
We develop a model of concurrent imperative programming with threads. We focus on a small imperative language with cooperative threads which execute without interruption until the...
182
click to vote
ESOP
2010
Springer
16 years 4 months ago
2010
Springer
Abstract. A verified compiler is an integral part of every security infrastructure. Previous work has come up with formal semantics for sequential and concurrent variants of Java a...
173
click to vote
ICCAD
2005
IEEE
16 years 4 months ago
2005
IEEE
Abstract — This paper describes a practical technique for the optimal scheduling of control dominated systems minimizing the weighted average latency over all control branches. S...
172
click to vote
CLUSTER
2009
IEEE
16 years 2 months ago
2009
IEEE
Abstract—SIFT is a widely-used algorithm that extracts features from images; using it to extract information from hundreds of terabytes of aerial and satellite photographs requir...