1901 search results - page 374 / 381 » Predicting Program Properties from |
185
click to vote
ICALP
2005
Springer
16 years 28 days ago
2005
Springer
Abstract. Radio networks model wireless communication when processing units communicate using one wave frequency. This is captured by the property that multiple messages arriving s...
194
Voted
NPAR
2004
ACM
16 years 26 days ago
2004
ACM
We present a paint model for use in interactive painting systems that captures a wide range of styles similar to oils or acrylics. The model includes both a numerical simulation t...
179
Voted
ICALP
2004
Springer
16 years 24 days ago
2004
Springer
Monadic least fixed point logic MLFP is a natural logic whose expressiveness lies between that of first-order logic FO and monadic second-order logic MSO. In this paper we take ...
206
click to vote
LCPC
2004
Springer
16 years 23 days ago
2004
Springer
Abstract. Empirical optimizers like ATLAS have been very effective in optimizing computational kernels in libraries. The best choice of parameters such as tile size and degree of l...
187
click to vote
WORDS
2003
IEEE
16 years 21 days ago
2003
IEEE
Standards-based COTS middleware has been shown to be effective in meeting a range of functional and QoS requirements for distributed real-time and embedded (DRE) systems. Each sta...