10899 search results - page 686 / 2180 » The GP Programming System |
174
Voted
APLAS
2009
ACM
16 years 3 days ago
2009
ACM
In this paper we present polynomial time algorithms deciding branching bisimilarity between finite-state systems and several classes of infinite-state systems: BPA and normed BPP...
176
Voted
SIGCSE
1999
ACM
15 years 11 months ago
1999
ACM
Practical experiencesare necessaryto balance the theory discussed in textbooks and in class meetings. Effective practicalexperiencesmust have a clear purpose and must motivate stu...
194
click to vote
DATE
2004
IEEE
15 years 11 months ago
2004
IEEE
In this paper we present an approach for analysis of systems of parallel, communicating processes for SoC design. We present a method to detect communications that synchronize the...
189
click to vote
WICSA
2004
15 years 8 months ago
2004
Software architecture descriptions can play a wide variety of roles in the software lifecycle, from requirements specification, to logical design, to implementation architectures....
193
Voted
COLING
1990
15 years 8 months ago
1990
: An ellipsis resolution mechanism is presented. The mechanism is a part of a Natural Language Understanding System developed in the last years in order to be included as a main co...