3618 search results - page 215 / 724 » Additive functions for number systems in function fields |
294
click to vote
PERVASIVE
2011
Springer
14 years 7 months ago
2011
Springer
Abstract. In this paper, we introduce CityCompiler, an integrated environment for the iteration-based development of spatial interactive systems. CityCompiler visualizes interactiv...
139
click to vote
ESOP
2005
Springer
15 years 10 months ago
2005
Springer
ite-state abstraction scheme such as predicate abstraction. The type system, which is also parametric, type checks exactly those programs that are accepted by the model checker. It...
152
click to vote
WSC
2008
15 years 7 months ago
2008
We consider the problem of selecting the best among several heavy-tailed systems using a large deviations perspective. In contrast to the light-tailed setting studied by Glynn and...
140
click to vote
ATC
2007
Springer
15 years 8 months ago
2007
Springer
Service-based Systems (SBS) have the advantage of composing distributed systems from various services provided by multiple providers transparently. In addition to functional correc...
140
click to vote
CORR
2008
Springer
15 years 4 months ago
2008
Springer
Pipelining is a well understood and often used implementation technique for increasing the performance of a hardware system. We develop several SystemC/C++ modeling techniques tha...