6274 search results - page 777 / 1255 » Proofs, Programs, Processes |
179
click to vote
GW
2003
Springer
16 years 3 days ago
2003
Springer
This paper presents gesture analysis under the scope of motor control theory. Following the motor program view, some studies have revealed a number of invariant features that chara...
153
click to vote
ICALP
2003
Springer
16 years 3 days ago
2003
Springer
We provide an answer to an open question, posed by van Glabbeek [4], regarding the axiomatizability of ready trace semantics. We prove that if the alphabet of actions is finite, t...
174
click to vote
ICCAD
1999
IEEE
15 years 11 months ago
1999
IEEE
: In this paper, an algorithm for simultaneous logic restructuring and placement is presented. This algorithm first constructs a set of super-cells along the critical paths and the...
159
click to vote
KBSE
1997
IEEE
15 years 11 months ago
1997
IEEE
There are a number of competing component models in use today. Most are language-independent, but also platform-dependent and not designed to support a tool-based development para...
145
click to vote
CONCUR
1993
Springer
15 years 11 months ago
1993
Springer
The Communication Closed Layers law is shown to be modular complete for a model related to that of Mazurkiewicz. It is shown that in a modular style of program development the CCL...