14244 search results - page 2176 / 2849 » Modeling Program Predictability |
207
click to vote
SAC
2000
ACM
15 years 11 months ago
2000
ACM
We describe a language providing concepts for modeling autonomous entities (agents) and cooperating entities (groups). Agents are the execution units of a GroupLog program. Each a...
160
click to vote
ISPD
1999
ACM
15 years 11 months ago
1999
ACM
- In this paper, we present an algorithm for gate sizing with controlled displacement to improve the overall circuit timing. We use a path-based delay model to capture the timing c...
204
Voted
COORDINATION
1999
Springer
15 years 11 months ago
1999
Springer
Abstract. Although coordination of concurrent objects is a fundamental aspect of object-oriented concurrent programming, there is only little support specification and abstraction ...
194
click to vote
APCHI
1998
IEEE
15 years 11 months ago
1998
IEEE
This paper describes a method for manipulating a threedimensional object without considering conventional three independent orthogonal views. We apply the direct manipulation to o...
196
click to vote
PACT
1999
Springer
15 years 11 months ago
1999
Springer
We introduce a new model for objects which can move around on a cellular grid. The model consists of two phases, the movement phase and the con ict resolution phase. In the movemen...