11089 search results - page 1641 / 2218 » Developing software families |
151
click to vote
ICASSP
2011
IEEE
14 years 11 months ago
2011
IEEE
In this paper the authors are addressing the concerns associated with fast growing DSP chips and tools and the impact they have on teaching DSP implementation. The authors also pr...
196
Voted
CGO
2011
IEEE
14 years 11 months ago
2011
IEEE
—This paper describes our trace-based JIT compiler (trace-JIT) for Java developed from a production-quality method-based JIT compiler (method-JIT). We first describe the design a...
155
Voted
CHI
2011
ACM
14 years 11 months ago
2011
ACM
Peace is an important value for the human-computer interaction research community, yet it has not resulted in the development of a research sub-community or even a research agenda...
309
Voted
FASE
2011
Springer
14 years 10 months ago
2011
Springer
Probabilistic verification techniques have been applied to the formal modelling and analysis of a wide range of systems, from communication protocols such as Bluetooth, to nanosca...
195
Voted
POPL
2011
ACM
14 years 10 months ago
2011
ACM
We consider programs for embedded real-time systems which use priority-driven preemptive scheduling with task priorities adjusted dynamically according to the immediate ceiling pr...