3169 search results - page 129 / 634 » A General Framework for Large Scale Systems Development |
149
click to vote
POPL
1994
ACM
15 years 8 months ago
1994
ACM
Rapide is a programming language framework designed for the development of large, concurrent, real-time systems by prototyping. The framework consists of a type language and defau...
152
click to vote
JSAC
2008
15 years 4 months ago
2008
Abstract--We consider the design of multiple-input multipleoutput communication systems with a linear precoder at the transmitter, zero-forcing decision feedback equalization (ZFDF...
146
click to vote
SIGSOFT
2008
ACM
16 years 5 months ago
2008
ACM
Program specifications are important for many tasks during software design, development, and maintenance. Among these, temporal specifications are particularly useful. They expres...
257
click to vote
CVPR
2012
IEEE
13 years 7 months ago
2012
IEEE
A large number of problems in computer vision can be modeled as energy minimization problems in a markov random field (MRF) framework. Many methods have been developed over the y...
167
click to vote
ICAC
2009
IEEE
15 years 11 months ago
2009
IEEE
In data centers hosting scaling Internet applications, operators face the tradeoff dilemma between resource efficiency and Quality of Service (QoS), and the root cause lies in wo...