114 search results - page 20 / 23 » Model-Checking Systems with Unbounded Variables without Abst... |
225
Voted
KI
2010
Springer
15 years 1 months ago
2010
Springer
Hybrid systems are models for complex physical systems and are defined as dynamical systems with interacting discrete transitions and continuous evolutions along differential equa...
167
Voted
TGC
2007
Springer
16 years 14 days ago
2007
Springer
Abstract. We propose and discuss foundations for programmable overlay networks and overlay computing systems. Such overlays are built over a large number of distributed computation...
155
Voted
CASSIS
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. We study secure information flow in a stack based Typed Assembly Language (TAL). We define a TAL with an execution stack and establish the soundness of its type system ...
228
Voted
GECCO
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. Improving image quality is the backbone of highly competitive display industry. Contemporary video processing system design is a challenging optimization problem. General...
203
Voted
TRIER
2002
15 years 6 months ago
2002
It is known that interprocedural detection of copy constants and elimination of faint code in parallel programs are undecidable problems, if base statements are assumed to execute...