1454 search results - page 125 / 291 » Stateful traits and their formalization |
103
Voted
ENTCS
2006
15 years 23 days ago
2006
Reo is a coordination model based on circuit-like connectors which coordinate components through the interplay of data flow, synchronisation and mutual exclusion, state, and conte...
120
click to vote
FAC
2000
15 years 17 days ago
2000
In this paper we present a method of describing microprocessors at different levels of temporal and data abstraction. We consider microprogrammed, pipelined and superscalar proces...
100
click to vote
CSUR
1999
15 years 12 days ago
1999
useful for optimizing compilers [15], partial evaluators [11], abstract debuggers [1], models-checkers [2], formal verifiers [13], etc. The difficulty of the task comes from the fa...
113
click to vote
VLC
2002
15 years 11 days ago
2002
Graph layout algorithms typically conform to one or more aesthetic criteria (e.g. minimising the number of bends, maximising orthogonality). Determining the extent to which a grap...
109
Voted
HCI
2009
14 years 10 months ago
2009
Emotion is an important mental and physiological state, influencing cognition, perception, learning, communication, decision making, etc. It is considered as a definitive important...