9626 search results - page 1776 / 1926 » Invariant Based Programming |
105
click to vote
ICPP
2009
IEEE
15 years 8 months ago
2009
IEEE
Memory-intensive threads can hoard shared resources without making progress on a multithreading processor (SMT), thereby hindering the overall system performance. A recent promisi...
118
click to vote
INFOCOM
2009
IEEE
15 years 8 months ago
2009
IEEE
The erasure resilience of rateless codes, such as Luby-Transform (LT) codes, makes them particularly suitable to a wide variety of loss-prone wireless and sensor network applicati...
121
click to vote
ICIW
2008
IEEE
15 years 8 months ago
2008
IEEE
— Model-Driven Architecture (MDA) is introduced to shorten the software development time, produce better quality of code and promote the reuse of software artifacts. On the other...
118
click to vote
IEEEIAS
2008
IEEE
15 years 8 months ago
2008
IEEE
: The Lack of security policy enforcement in web development languages is one of the most important challenges in web application systems development, as there is no formal check f...
131
click to vote
ICC
2007
IEEE
15 years 8 months ago
2007
IEEE
— We address a lifetime maximization problem for a single-hop wireless sensor network where multiple sensors encode and communicate their measurements of a Gaussian random source...