664 search results - page 111 / 133 » Building continuous webbed models for system F |
MICRO
2009
IEEE
15 years 4 months ago
2009
IEEE
Building an optimising compiler is a difficult and time consuming task which must be repeated for each generation of a microprocessor. As the underlying microarchitecture changes...
MOBIHOC
2010
ACM
14 years 7 months ago
2010
ACM
In this paper, we address the problem of preserving generated data in a sensor network in case of node failures. We focus on the type of node failures that have explicit spatial s...
112
click to vote
POPL
2011
ACM
14 years 15 days ago
2011
ACM
We describe a new algorithm for proving temporal properties expressed in LTL of infinite-state programs. Our approach takes advantage of the fact that LTL properties can often be...
112
click to vote
EFDBS
2003
14 years 11 months ago
2003
A definition of types in an information system is given from ld abstractions through data constructs, schema and definitions to physical data values. Category theory suggests tha...
153
click to vote
SIGMOD
2005
ACM
15 years 9 months ago
2005
ACM
The recent advances in hardware and software have enabled the capture of different measurements of data in a wide range of fields. These measurements are generated continuously an...