12194 search results - page 301 / 2439 » cans 2010 |
222
click to vote
KBSE
2010
IEEE
15 years 5 months ago
2010
IEEE
A Software Product Line (SPL) is a family of programs. Testing an SPL is a challenge because the number of programs to examine may be exponential in the number of features. Howeve...
182
click to vote
OOPSLA
2010
Springer
15 years 5 months ago
2010
Springer
We introduce a type system based on intervals, objects representing the time in which a block of code will execute. The type system can verify time-based properties such as when a...
200
click to vote
PERCOM
2010
ACM
15 years 5 months ago
2010
ACM
Context-aware pervasive systems are an important emerging category of software, increasingly pervading into daily life, play and work. These systems are characterized by capabilit...
153
click to vote
PPDP
2010
Springer
15 years 5 months ago
2010
Springer
This article presents HSS1 , a compiler for CSS. It is first argued that generating CSS improves portability and maintainability of CSS files. This claim is supported by realist...
184
click to vote
SAMOS
2010
Springer
15 years 5 months ago
2010
Springer
—Memory bandwidth has always been a critical factor for the performance of many data intensive applications. The increasing processor performance, and the advert of single chip m...