382 search results - page 59 / 77 » Static Type-Inference for Trust in Distributed Information S... |
CSMR
2007
IEEE
14 years 1 months ago
2007
IEEE
Software systems are typically developed by teams of developers, with responsibilities for different parts of the code. Knowledge of how the developers collaborate, and how their ...
ICWN
2009
13 years 5 months ago
2009
Abstract-- The next generation of computers will be embossed by ubiquitous systems. The computer will disappear behind daily artifacts and will support people in their everyday lif...
CC
2001
Springer
13 years 11 months ago
2001
Springer
Compilers can exploit knowledge that a variable has a fixed known value at a program point for optimizations such as code specialization and constant folding. Recent work has shown...
DBPL
1999
Springer
13 years 12 months ago
1999
Springer
Semistructured databases are treated as dynamically typed: they come equipped with no independent schema or type system to constrain the data. Query languages that are designed fo...
WOSP
1998
ACM
13 years 12 months ago
1998
ACM
The POEMS project is creating an environment for end-to-end performance modeling of complex parallel and distributed systems, spanning the domains of application software, runti...