1418 search results - page 263 / 284 » The Dynamic Complexity of Formal Languages |
166
click to vote
DAM
2011
14 years 11 months ago
2011
Partial words, which are sequences that may have some undefined positions called holes, can be viewed as sequences over an extended alphabet A = A ∪ { }, where stands for a hol...
133
click to vote
EUROSYS
2007
ACM
16 years 1 months ago
2007
ACM
In this paper, we present COSMOS, a novel architecture for macroprogramming heterogeneous sensor network systems. Macroprogramming entails aggregate system behavior specification...
172
click to vote
ISCA
2012
IEEE
13 years 6 months ago
2012
IEEE
Data-race freedom is a valuable safety property for multithreaded programs that helps with catching bugs, simplifying memory consistency model semantics, and verifying and enforci...
124
click to vote
DATE
2009
IEEE
15 years 11 months ago
2009
IEEE
—We propose a new methodology based on Mixed Integer Linear Programming (MILP) for determining the input values that will exercise a specified execution path in a program. In or...
120
click to vote
OOPSLA
2009
Springer
15 years 10 months ago
2009
Springer
Side effects are both the essence and bane of imperative programming. The programmer must carefully coordinate actions to manage their side effects upon each other. Such coordinat...