7124 search results - page 990 / 1425 » Programming Languages and Operating Systems |
145
click to vote
TON
2012
13 years 7 months ago
2012
—Society relies heavily on its networked physical infrastructure and information systems. Accurately assessing the vulnerability of these systems against disruptive events is vit...
282
click to vote
ECOOP
2009
Springer
16 years 5 months ago
2009
Springer
We present a type system for checking object immutability, read-only references, and class immutability in an open or closed world. To allow object initialization outside object co...
131
click to vote
ASPLOS
2008
ACM
15 years 7 months ago
2008
ACM
Speck1 is a system that accelerates powerful security checks on commodity hardware by executing them in parallel on multiple cores. Speck provides an infrastructure that allows se...
122
Voted
IFIP
2010
Springer
15 years 2 months ago
2010
Springer
. Organizations are increasingly turning to large, enterprise-wide software systems as potential solutions to managing complex business-to-business (B2B) relationships. These syste...
133
click to vote
IISWC
2009
IEEE
15 years 11 months ago
2009
IEEE
Recent benchmark suite releases such as Parsec specifically utilise the tightly coupled cores available in chipmultiprocessors to allow the use of newer, high performance, models ...