4211 search results - page 763 / 843 » Types as Abstract Interpretations |
158
Voted
EXACT
2009
15 years 1 months ago
2009
Across many fields involving complex computing, software systems are being augmented with workflow logging functionality. The log data can be effectively organized using declarativ...
128
Voted
FMCO
2009
Springer
15 years 1 months ago
2009
Springer
Abstract. The paradigms of service-oriented computing and modeldriven development are becoming of increasing importance in the field of software engineering. According to these par...
167
Voted
ICCS
2009
Springer
15 years 1 months ago
2009
Springer
Abstract. The efficient use of multicore architectures for sparse matrixvector multiplication (SpMV) is currently an open challenge. One algorithm which makes use of SpMV is the ma...
182
Voted
ICSEA
2009
IEEE
15 years 1 months ago
2009
IEEE
The emerging Model-Driven Engineering paradigm advocates the use of models as first-class citizens in the software development process, while artifacts such as documentation and so...
194
Voted
ICUMT
2009
15 years 1 months ago
2009
Abstract--Multimedia broadcast over a single frequency network (MBSFN) has attracted a lot of interest recently. This paper is on Golden coded spatial multiplexing MBSFN transmissi...