1161 search results - page 107 / 233 » Resource Modeling for Timed Creol Models |
124
Voted
ICML
1995
IEEE
16 years 4 months ago
1995
IEEE
In the single rent-to-buy decision problem, without a priori knowledge of the amount of time a resource will be used we need to decide when to buy the resource, given that we can ...
135
Voted
ICCAD
1993
IEEE
15 years 7 months ago
1993
IEEE
We have proposed an e cient measure to reduce the clock skew by assigning the clock network with variable branch widths. This measure has long been used for \H" clock tree. T...
206
Voted
ADHOC
2010
15 years 9 days ago
2010
A Mobile Ad-hoc Network has limited and scarce resources and thus routing protocols in such environments must be kept as simple as possible. The Simple Ant Routing Algorithm (SARA...
119
Voted
ICALP
1994
Springer
15 years 7 months ago
1994
Springer
We introduce a formal framework to study the time and space complexity of computing with faulty memory. For the fault-free case, time and space complexities were studied using the...
137
click to vote
WSC
2008
15 years 5 months ago
2008
This paper describes research that investigated the application of 3D Augmented Reality (AR) for animating traffic simulation models in real time to support the planning and desig...