10055 search results - page 398 / 2011 » Structured programming using processes |
105
Voted
FOSSACS
2010
Springer
15 years 9 months ago
2010
Springer
For many application-level distributed protocols and parallel algorithms, the set of participants, the number of messages or the interaction structure are only known at run-time. T...
SIGCSE
2005
ACM
15 years 7 months ago
2005
ACM
Universities are increasingly offering courses online. Feedback, assessment, and guidance are important features of this online courseware. Together, in the absence of a human tut...
109
click to vote
ICALP
2005
Springer
15 years 7 months ago
2005
Springer
We introduce a foundational language for modelling applications over global computers whose interconnection structure can be explicitly manipulated. Together with process distribut...
114
Voted
IFIP
2004
Springer
15 years 7 months ago
2004
Springer
We study from an implementation viewpoint what constitutes a reasonable and effective notion of structural equivalence of terms in a calculus of concurrent processes and propose op...
126
click to vote
ALS
2003
Springer
15 years 7 months ago
2003
Springer
Despite recent successes in control theoretical programs for limb control, behavior-based cognitive approaches for control are somewhat lacking behind. Insights in psychology and ...