10038 search results - page 1968 / 2008 » Model Checking for Managers |
145
click to vote
DATE
2002
IEEE
15 years 11 months ago
2002
IEEE
Microprocessors are today getting more and more inefficient for a growing range of applications. Its principles -The Von Neumann paradigm[3]- based on the sequential execution of ...
162
click to vote
ICNP
2002
IEEE
15 years 11 months ago
2002
IEEE
Despite a decade of research and development, multicast has not yet been deployed on a global scale. Among the difficulties with the current infrastructure are intermulticast fai...
175
click to vote
ISQED
2002
IEEE
15 years 11 months ago
2002
IEEE
With advancing semiconductor technology and exponentially growing design complexities, predictability of design tools becomes an important part of a stable top-down design process...
184
click to vote
SPAA
2010
ACM
15 years 10 months ago
2010
ACM
Transactional Memory (TM) is a promising technique that simplifies parallel programming for shared-memory applications. To date, most TM systems have been designed to efficientl...
155
click to vote
EICS
2009
ACM
15 years 10 months ago
2009
ACM
We describe work in progress on tools and infrastructure to support adaptive component-based software for mobile devices— in our case, Apple iPhones. Our high level aim is ‘de...