7106 search results - page 339 / 1422 » Restricted Complexity, General Complexity |
125
Voted
APLAS
2000
ACM
15 years 9 months ago
2000
ACM
Previous studies on safety of program transformations with respect to performance considered two criteria: preserving performance within a constant factor and preserving complexit...
136
Voted
CONCUR
2000
Springer
15 years 9 months ago
2000
Springer
Abstract. In this paper, we introduce weak bisimulation in the framework of Labeled Concurrent Markov Chains, that is, probabilistic transition systems which exhibit both probabili...
136
Voted
CPE
2000
Springer
15 years 9 months ago
2000
Springer
In this paper we present a tool for the simulation of fluid models of high-speed telecommunication networks. The aim of such a simulator is to evaluate measures which can not be ...
125
click to vote
SAS
1999
Springer
15 years 9 months ago
1999
Springer
Abstract. Binary Decision Graphs are an extension of Binary Decision Diagrams that can represent some infinite boolean functions. Three refinements of BDGs corresponding to class...
132
click to vote
ISSS
1998
IEEE
15 years 9 months ago
1998
IEEE
The concept of retargetability enables compiler technology to keep pace with the increasing variety of domain-speci c embedded processors. In order to achieve user retargetability,...