1418 search results - page 261 / 284 » The Dynamic Complexity of Formal Languages |
129
click to vote
POPL
2010
ACM
16 years 1 months ago
2010
ACM
Program analysis tools typically compute two types of information: (1) may information that is true of all program executions and is used to prove the absence of bugs in the progr...
132
click to vote
ASPLOS
2006
ACM
15 years 10 months ago
2006
ACM
While the number of transistors on a chip increases exponentially over time, the productivity that can be realized from these systems has not kept pace. To deal with the complexit...
137
click to vote
INTERSENSE
2006
ACM
15 years 10 months ago
2006
ACM
— Wireless sensor network (WSN) architectures often feature a (single) base station in charge of coordinating the application functionality. Although this assumption simplified ...
189
click to vote
WOSP
1998
ACM
15 years 8 months ago
1998
ACM
The POEMS project is creating an environment for end-to-end performance modeling of complex parallel and distributed systems, spanning the domains of application software, runti...
182
click to vote
GPCE
2009
Springer
15 years 7 months ago
2009
Springer
Mapping problem-space features into solution-space features is a fundamental configuration problem in software product line engineering. A configuration problem is defined as g...