10038 search results - page 1512 / 2008 » Model Checking for Managers |
199
click to vote
ICCAD
2010
IEEE
15 years 4 months ago
2010
IEEE
3D stacked circuits reduce communication delay in multicore system-on-chips (SoCs) and enable heterogeneous integration of cores, memories, sensors, and RF devices. However, vertic...
177
click to vote
IPPS
2010
IEEE
15 years 4 months ago
2010
IEEE
Transactional memory is an alternative programming model for managing contention in accessing shared in-memory data objects. Distributed transactional memory (TM) promises to alle...
224
click to vote
KBSE
2010
IEEE
15 years 4 months ago
2010
IEEE
SCA (Service Component Architecture) is an OASIS standard for describing service-oriented middleware architectures. In particular, SCA promotes a disciplined way for designing dis...
179
click to vote
SIGSOFT
2010
ACM
15 years 4 months ago
2010
ACM
Software systems must face two challenges today: growing complexity and increasing parallelism in the underlying computational models. The problem of increased complexity is often...
224
Voted
EDBT
2009
ACM
15 years 4 months ago
2009
ACM
In this work, we focus on managing scientific environmental data, which are measurement readings collected from wireless sensors. In environmental science applications, raw sensor...