1524 search results - page 264 / 305 » Operational Semantics of Hybrid Systems |
PPOPP
2010
ACM
15 years 7 months ago
2010
ACM
We present a core calculus with two of X10's key constructs for parallelism, namely async and finish. Our calculus forms a convenient basis for type systems and static analys...
VL
2008
IEEE
15 years 4 months ago
2008
IEEE
Visual modeling languages for discrete behavior modeling allow the modeler to describe how systems develop over time during system runs. Models of these languages are the basis fo...
SEMCO
2007
IEEE
15 years 4 months ago
2007
IEEE
We describe StartMobile, a prototype system that enables users of cellular telephones and other mobile devices to access information, create information and execute commands on th...
FSTTCS
2007
Springer
15 years 3 months ago
2007
Springer
There are two somewhat contradictory ways of looking at modules in a given programming language. On the one hand, module systems are largely independent of the particulars of progr...
SAINT
2006
IEEE
15 years 3 months ago
2006
IEEE
Inter-organizational projects involve the creation, modification and management of content. Unless carefully handled, these overheads can cause the loss of mutual understanding. ...