1350 search results - page 73 / 270 » Reasoning about Staged Computation |
129
click to vote
IPPS
1999
IEEE
15 years 9 months ago
1999
IEEE
Run-time support for the CYCLIC(k) redistribution on the SPMD computation model is presently very relevant for the scientific community. This work is focused to the characterizati...
138
Voted
ATVA
2006
Springer
15 years 9 months ago
2006
Springer
Of special interest in formal verification are safety properties, which assert that the system always stays within some allowed region. Each safety property can be associated with...
161
click to vote
POPL
2012
ACM
14 years 24 days ago
2012
ACM
JavaScript has become the most widely used language for clientside web programming. The dynamic nature of JavaScript makes understanding its code notoriously difficult, leading t...
130
click to vote
UC
2009
Springer
15 years 11 months ago
2009
Springer
In this note we investigate the problem of computing the domain of attraction of a flow on R2 for a given attractor. We consider an operator that takes two inputs, the description...
151
click to vote
MIDDLEWARE
2005
Springer
15 years 10 months ago
2005
Springer
The vision of pervasive or ubiquitous computing, conceived by Mark Weiser, foresees a world where computing is embedded in every day objects. Such objects interact with each other...