6274 search results - page 698 / 1255 » Proofs, Programs, Processes |
231
click to vote
DAC
2000
ACM
16 years 8 months ago
2000
ACM
In this paper, we introduce a new technique for modeling and solving the dynamic power management (DPM) problem for systems with complex behavioral characteristics such as concurr...
200
click to vote
EACL
2009
ACL Anthology
16 years 7 months ago
2009
ACL Anthology
We present a unified view of many translation algorithms that synthesizes work on deductive parsing, semiring parsing, and efficient approximate search algorithms. This gives rise...
184
click to vote
ICMT
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. In Model-Driven Engineering models and metamodels are not preserved from the evolutionary pressure which inevitably affects almost any artefacts. Moreover, the coupling b...
165
click to vote
ICASSP
2008
IEEE
16 years 1 months ago
2008
IEEE
Software Defined Radios (SDRs) offer a programmable and dynamically reconfigurable method of reusing hardware to implement the physical layer processing of multiple communications...
203
click to vote
AGILEDC
2007
IEEE
16 years 1 months ago
2007
IEEE
Design is an inherently multidisciplinary endeavor. This raises the question of how to develop systems in ways that can best leverage the perspectives, practices, and knowledge ba...