4480 search results - page 450 / 896 » Prototyping Completion with Constraints Using Computational ... |
167
click to vote
LICS
2009
IEEE
16 years 1 months ago
2009
IEEE
Several dynamical systems, such as deterministic automata and labelled transition systems, can be described as coalgebras of so-called Kripke polynomial functors, built up from co...
175
click to vote
SAC
2003
ACM
16 years 2 days ago
2003
ACM
Programmers of embedded systems often develop software in assembly code due to inadequate support from compilers and the need to meet critical speed and/or space constraints. Many...
203
click to vote
SC
2009
ACM
16 years 1 months ago
2009
ACM
In Fine-Grained Cycle Sharing (FGCS) systems, machine owners voluntarily share their unused CPU cycles with guest jobs, as long as the performance degradation is tolerable. For gu...
181
click to vote
ACTAC
2008
15 years 7 months ago
2008
Rules provide an expressive means for implementing database behavior: They cope with changes and their ramifications. Rules are commonly used for integrity enforcement, i.e., for ...
215
click to vote
CCGRID
2010
IEEE
15 years 1 months ago
2010
IEEE
This paper discusses our experience in building SPIRE, an autonomic system for service provision. The architecture consists of a set of hosted Web Services subject to QoS constrain...