6153 search results - page 103 / 1231 » Modeling Cyclic Change |
178
click to vote
RTCSA
2005
IEEE
15 years 12 months ago
2005
IEEE
In this report, we propose an approach to integrate a hybrid garbage collection algorithm into the current response time analysis framework for real-time systems. In our approach,...
165
click to vote
CSL
2005
Springer
15 years 12 months ago
2005
Springer
Recent work establishes a direct link between the complexity of a linear logic proof in terms of the exchange rule and the topological complexity of its corresponding proof net, ex...
161
click to vote
CONCUR
1998
Springer
15 years 10 months ago
1998
Springer
In this paper we solve the following problem: \given a digital circuit composed of gates whose real-valued delays are in an integerbounded interval, is there a way to discretize ti...
138
click to vote
ECIS
2000
15 years 7 months ago
2000
-International Information Systems, often of critical importance for the operations of the multinational enterprise, are poorly researches and there is a dearth of theoretical fram...
135
click to vote
ICRA
2005
IEEE
15 years 12 months ago
2005
IEEE
— In this paper we present a mathematical model of the TRIKKE, a human-powered scooter produced by Trikke Tech Inc. The Trikke is a three-wheeled, single-rider vehicle that can b...