2296 search results - page 218 / 460 » The Expressive Power of Synchronizations |
196
click to vote
JOT
2007
15 years 6 months ago
2007
State machines can be used to specify the behaviour of objects in a system by describing the relationships between the states of the object and its ability to respond to events pr...
183
click to vote
IANDC
1998
15 years 6 months ago
1998
We set up a formal framework to describe transition system specifications in the style of Plotkin. This framework has the power to express many-sortedness, general binding mechan...
154
click to vote
TOSEM
2002
15 years 6 months ago
2002
Alloy is a little language for describing structural properties. It offers a declaration syntax compatible with graphical object models, and a set-based formula syntax powerful en...
156
click to vote
TSP
2008
15 years 6 months ago
2008
In this paper, we present a powerful technique for the blind extraction of direct-sequence code-division multiple access (DS-CDMA) signals from convolutive mixtures received by an ...
151
click to vote
TVLSI
2010
15 years 1 months ago
2010
A new approach for resource based optimization for high performance integrated circuits is presented. The methodology is applied to simultaneous shield and repeater insertion, resu...