1027 search results - page 190 / 206 » A Model for Java with Wildcards |
PLDI
2010
ACM
14 years 1 months ago
2010
ACM
Multithreaded programs are notoriously prone to race conditions, a problem exacerbated by the widespread adoption of multi-core processors with complex memory models and cache coh...
IFIP
2001
Springer
14 years 26 days ago
2001
Springer
Effective security management depends upon good risk management, which is itself based upon a reliable risk assessment, involving data collection of all the facets influencing sys...
DAC
2006
ACM
13 years 10 months ago
2006
ACM
Software-based self-test (SBST) has recently emerged as an effective methodology for the manufacturing test of processors and other components in systems-on-chip (SoCs). By moving ...
PEPM
2010
ACM
14 years 5 months ago
2010
ACM
Pushdown systems are well understood as abstract models of programs with (recursive) procedures. Reps et al. recently extended pushdown systems into weighted pushdown systems, whi...
TMRA
2005
Springer
14 years 1 months ago
2005
Springer
This work-in-progress report subsumes our ongoing research to develop a Topic Maps centric, modularised system which supports collaborative software development by combining the me...