100 search results - page 20 / 20 » Static Analysis of Non-interference in Expressive Low-Level ... |
COORDINATION
2009
Springer
14 years 6 months ago
2009
Springer
A future is a well-known programming construct used to introduce concurrency to sequential programs. Computations annotated as futures are executed asynchronously and run concurren...
SECON
2007
IEEE
13 years 11 months ago
2007
IEEE
—Programming Wireless Sensor Network (WSN) applications is known to be a difficult task. Part of the problem is that the resource limitations of typical WSN nodes force programm...
APLAS
2006
ACM
13 years 11 months ago
2006
ACM
The static determination of approximated values of string expressions has many potential applications. For instance, approximated string values may be used to check the validity an...
SIGSOFT
2007
ACM
14 years 6 months ago
2007
ACM
Asynchronous systems components are hard to write, hard to reason about, and (not coincidentally) hard to mechanically verify. In order to achieve high performance, asynchronous c...
PODS
2009
ACM
14 years 6 months ago
2009
ACM
Relational schema mappings have been extensively studied in connection with data integration and exchange problems, but mappings between XML schemas have not received the same amo...